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

The AltaRica language can be used to create models of components to which several events can be associated, which can be assembled in a hierarchy, connected to each other by flows, and whose events can be synchronized. For the operational safety engineer, this means being able to model the propagation of failures in a system, and to study it using the various functionalities associated with the editing software. From a structural point of view, the AltaRica language is similar to object-oriented languages. Its fundamental elements are :...