Eclipse for Railway Safety Engineering

Session Type: 
Standard [25 minutes]

Schedule info


Do you know that Eclipse technologies can be used to control the safety of critical systems like train?

This talk introduces an ongoing work to evaluate Eclipse-based modeling tools for railway risk evaluations. It will be focus on a use case based on Alstom business, but the same approach can be translated to any business which need to control some safety behaviors (automotive, space, SLA and QoS of infrastructure, ...).

To insure safe traffics railway signalling systems , there are two joint concerns : the safety system design engineer's concern and the safety evaluation engineer's concern.

  • The former develops a safe system and the latter provides the clues and
  • the justifications of the safety integrity levels reached.

The safety evaluation discipline uses different formalisms and methodologies such as :

  • preliminary risk analysis,
  • failure modes and effect analysis,
  • fault trees analysis,
  • informal assessments or formal property demonstrations
  • .

All deal with dysfunctional views of the system being developed.

Nowadays, risk evaluations of large railway systems is a noteworthy activity in a global engineering process. It should actually interoperate with the system design and produce a large amount of documentation. In order to alleviate those problems, the key idea of this work is to combine model-driven tools to connect the system’s specification models, the risk analysis models and the risk analysis documentations.

Hence, in this talk, we use the SysML Topcased editor, the Obeo Designer viewpoint-based framework, an EMF model as a safety DSL and the Topcased GenDoc plugin as a risk analysis modeling framework.
We will show how a graphical view can help users to manage complexity of a risk analysis and how Eclipse helps to interoperate between differents tools.

Several screenshots and a flash demo can be found there: