Glossary

Experimenting with the MBSA methodology using the AltaRica language

Figure 1 - Illustration of a guarded transition system

Figure 2 - Nominal system reliability block diagram

Figure 3 - Diagram of the nominal system with an AltaRica tool

Figure 4 - AltaRica class code CC1

Figure 5 - AltaRica class code CC2

Figure 6 - AltaRica code for normal model assembly

Figure 7 - AltaRica code for class Eq1

Figure 8 - AltaRica code for Equipment2 class

Figure 9 - Step-by-step simulator

Figure 10 - Extract from the list of minimum cuts, nominal model

Figure 11 - Results of a stochastic analysis

Figure 12 - Section of fault tree for normal model automatically generated by MBSA tool

Figure 13 - Block diagram of augmented system

Figure 14 - Advanced system diagram with an AltaRica tool

Figure 15 - AltaRica code for advanced system class CC1

Figure 16 - Extract from the list of minimum cuts, enlarged model

Figure 17 - Results of a stochastic analysis