General points
Lauching a propagation
The propagation phase permits to generate the failure tree. Here are the steps to follow:
- Select a project in the view Project Explorer
- Right clic (or use the Global analysis menu), then Run propagation
- Select a propagation engine and a source file
- Eclipse Safety Framework includes an internal propagation engine.
- Select the feared events to be propagated
- The several available feared events are displayed. Feared events can be added or removed by clicking on the green arrows.
- Then click on Finish. If some, warnings related to the propagation are displayed in the tab Info Log.


