OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Model-Checking approach to analyse temporal failure propagation with altaRica

Albore, Alexandre and Dal Zilio, Silvano and Infantes, Guillaume and Seguin, Christel and Virelizier, Pierre A Model-Checking approach to analyse temporal failure propagation with altaRica. (2017) In: IMBSA 2017 (5th International Symposium on Model-Based Safety and Assessment), 11 September 2017 - 13 September 2017 (Trento, Italy).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-319-64119-5_10


The design of complex safety critical systems raises new technical challenges for the industry. As systems become more complex-and include more and more interacting functions|it becomes harder to evaluate the safety implications of local failures and their possible propagation through a whole system. That is all the more true when we add time to the problem, that is when we consider the impact of computation times and delays on the propagation of failures. We describe an approach that extends models developed for Safety Analysis with timing information and provide tools to reason on the correctness of temporal safety conditions. Our approach is based on an extension of the AltaRica language where we can associate timing constraints with events and relies on a translation into a realtime model-checking toolset. We illustrate our method with an example that is representative of safety architectures found in critical systems.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. The definitive version is available at :https://link.springer.com/chapter/10.1007/978-3-319-64119-5_10
HAL Id:hal-01693391
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Other partners > SAFRAN (FRANCE)
Laboratory name:
Deposited On:26 Jan 2018 10:15

Repository Staff Only: item control page