Symbolic computation of minimal cuts for AltaRica models - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2011

Symbolic computation of minimal cuts for AltaRica models

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00634022 , version 1

Citer

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

Collections

CNRS TDS-MACS LARA
370 Consultations
194 Téléchargements

Partager

Gmail Facebook X LinkedIn More