As systems are becoming more complex, their safety assessment 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.
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.
The Eclipse Safety Framework provides a set of tools for integrating safety techniques within a model driven engineering process based on both modeling standards, SysML and MARTE.