Skip to Main content Skip to Navigation
Conference papers

Perspectives on Probabilistic Assessment of Systems and Software

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01292293
Contributor : Marc Boyer Connect in order to contact the contributor
Submitted on : Tuesday, March 22, 2016 - 5:50:05 PM
Last modification on : Tuesday, November 16, 2021 - 5:14:49 AM
Long-term archiving on: : Monday, November 14, 2016 - 2:05:41 AM

File

paper_94.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01292293, version 1

Citation

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⟩

Share

Metrics

Record views

287

Files downloads

395