Principle of the MBSA methodology
Experimentation of the MBSA methodology through the AltaRica language

The aim of the MBSA approach is to develop a precise behavioral model of the system and to automate the analysis part using the power of the computer tool. This is achieved by augmenting the nominal behavior of a system described in the modeling stage, by merging it with its behavior in the presence of failures, obtained by its failure model . A failure model is a model of the system in the presence of failures: each failure is considered in turn, and its repercussions are described in the system model by linking the system components...