Perspectives on Probabilistic Assessment of Systems and Software - Archive ouverte HAL Access content directly
Conference Papers Year :

Perspectives on Probabilistic Assessment of Systems and Software


Safety standards in most domains (aeronautics, automotive, industry, nuclear, railway, space) consider software (and more generally, design) as a deterministic artefact. They propose a global rationale combining probabilistic evidence on hardware random failures and deterministic evidence on systematic causes of failures including software. In a context where software is more and more pervasive in all systems, and where it is sometimes advocated that software complexity and size seem to provide some relevance to a probabilistic view of software behaviour, several initiatives suggest to change the way to address software in the global system safety assessment. This is a complex question with many facets. Among them the authors propose to discuss in the paper:-foundations, relevance and limits of probabilistic assessment for software,-relationship between software criticality category, (or class, DAL/SIL/ASIL/SSIL etc.) and probabilistic safety objectives,-the rationale for software diversification and to what extent probabilistic assessment is part of it.
Fichier principal
Vignette du fichier
paper_94.pdf (336.77 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01292293 , version 1 (22-03-2016)


  • HAL Id : hal-01292293 , version 1


Emmanuel Ledinot, Jean-Paul Blanquart, Jean Gassino, Bertrand Ricque, Philippe Baufreton, et al.. Perspectives on Probabilistic Assessment of Systems and Software. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. ⟨hal-01292293⟩
306 View
424 Download


Gmail Facebook Twitter LinkedIn More