Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Papyrus/customizations/robotics/fta
System analysis via fault trees
A fault tree is a top down and deductive method that represents graphically and logically the combination of events and the paths leading to the occurrence of an undesired event or state. To perform FTA on RobMoSys system models, each component is annotated with local safety analysis information. Failure modes are associated to the ports, component’s internal failures are defined and fault propagation is then done by combining logic gates (AND, OR) and propagation links.
After components fault annotation and fault propagation in the system, a top event is selected for fault tree generation and analysis. Fault trees are generated in openpsa standard format.
Fault tree analysis is performed using HEffective, a tool developed by CEA for Heterogeneous Effects Inferences and Verification. Minimal cut-sets are calculated.