Symbolic computation of minimal cuts for AltaRica models - Archive ouverte HAL Access content directly
Reports Year :

Symbolic computation of minimal cuts for AltaRica models


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.
Fichier principal
Vignette du fichier
RR-1456-11.pdf (440.29 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00634022 , version 1 (28-10-2011)


  • 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⟩


361 View
190 Download


Gmail Facebook Twitter LinkedIn More