Title: Automated generation of minimal cut sets from AltaRica 3.0 models
Authors: Tatiana Prosvirnova; Antoine Rauzy
Addresses: LIX – Ecole Polytechnique – Route de Saclay, 91128 Palaiseau cedex, France ' Chaire Blériot-Fabre – Ecole Centrale de Paris – Grande voie des vignes, 92295 Châtenay-Malabry cedex, France
Abstract: In this article, we present an algorithm to generate minimal cut sets from AltaRica 3.0 models. AltaRica 3.0 improves the previous versions of the language by introducing a fixpoint mechanism to stabilise values of variables after each transition firing. This fixpoint mechanism allows the design of acausal models and the analysis of systems with instant loops. It makes however the generation of fault trees more complex. We show here that by using advanced partitioning techniques, we can nevertheless design an efficient generation algorithm. We illustrate the different steps of this algorithm by means of a red wire example.
Keywords: automated generation; fault trees; fault tree generation; minimal cut sets; model-based safety analysis; AltaRica 3.0; modelling; advanced partitioning.
DOI: 10.1504/IJCCBS.2015.068852
International Journal of Critical Computer-Based Systems, 2015 Vol.6 No.1, pp.50 - 80
Received: 25 Mar 2014
Accepted: 07 Oct 2014
Published online: 15 Apr 2015 *