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 metadatas

Cited literature [20 references]  Display  Hide  Download
Contributor : Gérald Point <>
Submitted on : Friday, October 28, 2011 - 10:59:58 AM
Last modification on : Sunday, March 15, 2020 - 10:08:02 AM
Document(s) archivé(s) le : 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