Examples
In order to help the user, different examples are available in Eclipse Safety Framework. It is accessible from the path File > New wizard > Other. Some more examples may also be available when additional features are installed.

Recovery: a light example
This example corresponds to a short model, but with all the basic elements needed to perform a first propagation, and use all the different features like the reports, etc.
Circuit breaker: a complex example
A more complex example "Circuit breaker" is also available with the safety analysis of a sub model. This example describes a circuit breaker system with capacitance, thyristors, tension and power.