Eclipse Safety Framework

Eclipse Safety Framework provides a set of tools for integrating safety techniques within a model driven engineering process based on both modelling standards, SysML and MARTE.

Model-Based Safety Analysis relies on the idea that safety analysis activities can follow the design process in a parallel flow using the system functional and physical architectures as a common basis. The system model is used to capture the overall architectures and the interactions between their components. This abstract view of the system may be enriched with safety information using dedicated annotations in order to describe possible dysfunctional behaviours.

Perform your safety analysis easily

As systems are becoming more complex, their safety assessment dramatically needs powerful tools. Most of the existing tools are poorly connected to the system design process and cannot be associated at early stages of the development cycle.

ESF will allow better interactivity between design and safety assessment activities. A dysfunctional model is built from the system model. It is used to specify possible failure-modes, mitigation barriers and propagation behaviour at components level. This is the manual local analysis. From the specification of feared events (expressed in safety requirements), it can then with an automatic global analysis produce propagation paths and corresponding fault trees. The dysfunctional model can be improved in an iterative way, until the safety requirements are fully satisfied. Finally, reports can be exported in different formats (e.g. HTML and PDF) to document the analyses hypothesis and results.

Overview

Moreover, as this approach is based on models, each time the system model evolves, a new safety analysis can be done on the modified parts, and keep the previous analysis on each unchanged component. This represents an important time-saving.

An open and standard DSML

To open our tools to end users customisation, and allow an interoperability with other tools, ESF uses a metamodel based on UML and profiled to comply with the safety domain. Another important objective of this project is thus the standardisation of its metamodel.