HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Symbolic computation of minimal cuts for AltaRica models

Abstract : AltaRica tools developped at LaBRI have always been dedicated to model- checking thus focusing analysis onto functional aspects of systems. In this re- port we are interested by a problem encountered in safety assessment or diag- nosis domains: the computation of all failure scenarios. This problem consists to determine preponderant sequences of failures of elementary components that lead the system into a critical state. While model-checkers usually look for a counter-example of a good property of the system, here we want to compute all the most significant paths to a bad state. The solution presented in this paper is mainly a mix of existing works taken from the literature; however, in order to be able to treat large models, we have also implemented a preprocessing algorithm that permits to simplify the input model w.r.t. to specified unwanted states.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

Contributor : Gérald Point Connect in order to contact the contributor
Submitted on : Friday, October 28, 2011 - 10:59:58 AM
Last modification on : Monday, December 20, 2021 - 4:50:10 PM
Long-term archiving on: : Thursday, November 15, 2012 - 10:45:42 AM


Files produced by the author(s)


  • HAL Id : hal-00634022, version 1



Alain Griffault, Gérald Point, Fabien Kuntz, Aymeric Vincent. Symbolic computation of minimal cuts for AltaRica models. 2011. ⟨hal-00634022⟩



Record views


Files downloads