The workflow describes the application of the V&V method MSA - FLA (Model-based Safety Analysis with Failure Logical Analysis) to the Use Case with the aim of analysing the failure propagation phenomena and evaluating their consequences in terms of safety and reliability, based on a formal model of the system of interest, automatically generating Fault Trees and FMEA (Failure Mode and Effect Analysis) tables.
The workflow has just two inputs: System Requirements and System Architecture. Starting from these inputs, the main activities included in the workflow of the method are:

• Design of the System Functional Model: the system model should describe the system functional blocks, relevant in the context of the fault generation and propagation analysis, and their relationships;
• Extended Design with Failure Behavior: the system model should be extended with the annotations and decorations required to describe the fault behaviors of the functional blocks. This model is called Failure Mode and Error Propagation Model;
• Automatic FMEA Generation + Complete FMEA fields: FMEA tables are automatically generated from the Failure Mode and Error Propagation Model. Furthermore, they can be manually completed by the safety experts
• Automated FTA Generation: Fault Trees are automatically generated from the Failure Mode and Error Propagation Model.
• Hazard and Risk Analysis: an Hazard and Risk Analysis is performed, starting from the FMEA table and the FTs. As a result, refined safety requirements may be provided.

These activities are iteratively performed until the Hazard and Risk Analysis results are acceptable, according to the related standards.
The workflow outputs are:

• Failure Mode and Error Propagation Model;
• FTA Diagram;
• FMEA Table;
• Refined Safety Requirements.