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: 10 Apr 2015 *

Full-text access for editors Access for subscribers Purchase this article Comment on this article