MDE in action for safety analysis modelling

Since two years, I am working for the IMOFIS R&D project. The last year, we have developed a graphical modeler for safety concerns. This modeler is based on the EN 50126 and ISO 26262 norms.

The key idea of this work is to provide a graphical safety viewpoint for system engineering. The system is design with the SysML language. Safety engineers describe their analysis with the safety viewpoint.

The result is pretty cool ! In the next figure I described that the SysML “F2” operation of the SysML Block “CBTC” (Communication Based Train Control) is referenced by a barrier to prevent a derailment (the accident) in case of an excessive speed (the hazard).

In this work, we use several model-driven technologies to build our software :

1. The Eclipse Modeling Framework to describe the safety metamodel
2. The Extended Editing Framework to generate both property views and wizards
3. The Obeo Designer viewpoint-based studio to create graphical views  without any manual code
4. The GenDoc2 Topcased technology to generate documentations. This technology is based on the Acceleo model-driven code generation.

I will present this work on the Topcased Day conference in february !  In the meantime, you can look for screenshots, videos and publications on the Obeo network !