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

Publikováno v: 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

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9cd6b23b2022b7967f06dcb7bca2f84b
https://hal.archives-ouvertes.fr/hal-01292293/document

Static Analysis of the Accuracy in Control Systems: Principles and Experiments.

Autor: Goubault, Eric, Putot, Sylvie, Baufreton, Philippe, Gassino, Jean

Publikováno v: Formal Methods for Industrial Critical Systems; 2008, p3-20, 18p