Perspectives on Probabilistic Assessment of Systems and Software
| Autor: | Ledinot, Emmanuel, Blanquart, Jean-Paul, Gassino, Jean, Ricque, Bertrand, Baufreton, Philippe, Boulanger, Jean-Louis, Camus, Jean-Louis, Comar, Cyrille, Delseny, Hervé, Quéré, Philippe |
|---|---|
| Přispěvatelé: | DGT/DPR/DESA, Dassault Aviation, Airbus Defence and Space [Toulouse], Institut de Radioprotection et de Sûreté Nucléaire (IRSN), SAFRAN Group, Compartimentation et dynamique cellulaires (CDC), Centre National de la Recherche Scientifique (CNRS)-Institut Curie [Paris]-Université Pierre et Marie Curie - Paris 6 (UPMC), CERTIFER, Esterel Technologies (ESTEREL TECHNOLOGIES), Esterel Technologies, AdaCore SAS (AdaCore SAS), Airbus [France], Technocentre Renault [Guyancourt], RENAULT, Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut Curie [Paris]-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: | |
| Zdroj: | Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|