Title :
Model-Based Safety Assessment: Rational and trends
Author :
Rauzy, Antoine ; Bleriot-Fabre, Chaire
Author_Institution :
Lab. de Genie Industriel, Ecole Centrale de Paris, Châtenay-Malabry, France
Abstract :
In this article, we discuss rational and trends of Model-Based Safety Assessment of complex systems. We start by explaining why classical modeling methodologies are not sufficient to tackle today´s industrial challenges. Then, we sketch the main features of AltaRica 3.0, a high level modeling language which aims at overcoming these difficulties. Finally, we suggest some ideas to better integrate safety engineering with other system engineering disciplines.
Keywords :
high level languages; safety-critical software; systems engineering; AltaRica 3.0 high level modeling language; complex systems; model-based safety assessment; model-based system engineering; Computational modeling; Fault trees; Mathematical model; Probabilistic logic; Reliability engineering; Risk management; Safety;
Conference_Titel :
Mecatronics (MECATRONICS), 2014 10th France-Japan/ 8th Europe-Asia Congress on
Conference_Location :
Tokyo
DOI :
10.1109/MECATRONICS.2014.7018626
