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

https://hal.archives-ouvertes.fr/hal-00634022
Contributor : Gérald Point <>
Submitted on : Friday, October 28, 2011 - 10:59:58 AM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM
Long-term archiving on : Thursday, November 15, 2012 - 10:45:42 AM

File

RR-1456-11.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00634022, version 1

Collections

Citation

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

Share

Metrics

Record views

541

Files downloads

263