Model-Based Safety Assessment: Rational and trends

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.