The analysis of critical systems reuqire to model them within a formalism that make it possible to capture the eatures of interest for the sudy. As a consequence, a reliability study may involve the use of several mathematical models. Several tools have been developped in order to unify, in a same software workbench, a subset of the existing methods. To be user-friendly such a tool has to provide the use with a graphical interface. However, a sound and claear mathematical semantics is also required. The aim of this paper is to present the AltaRical language. AltaRica is used as the mathematical basis for the reliability worbench we are currently developping. AltaRica descriptions are to be compiled into classical risk assessment models such as fault trees and stochastic Petri nets, as well as models used in the formal methods framework.
展开▼