Résumé

Today’s technical systems complexity is increasing in most industrial domains. In combination with the rapid increase in safety regulations and standards, it is therefore necessary to increase the scope and intensity of Safety Assessments of technical systems. Safety Assessment methods like Failure Mode and Effects Analysis (FMEA) as well as Fault Tree Analysis (FTA) are typically applied in a classical manual form which are not easily reproducible and difficult to update in case of design changes. To meet these challenges, an automated workflow was developed that combines Model Based System Engineering (MBSE) and Model Based Safety Analysis (MBSA). This workflow includes the qualitative modelling of the system with its formalized requirements, the nominal and failure behavior using SysML (Systems Modelling Language) as a platform. The model is then automatically passed to a tool called smartIflow Workbench, which allows an extensive simulation and deep analysis of the nominal and failure behavior of the system based on modelchecking techniques and temporal logic for requirement specification. Finally, this workflow allows to automatically generate the FMEA and FTA safety artifacts and such enables to verify in a reproducible way, the critical and in many cases safety-related design aspects of complex technical systems in the preliminary MIL (Model in the Loop) concept phase. Using an example system, the proposed workflow is explained and the automatically generated FMEA and FTA results are compared with those of the classic manual methods.

Détails

Actions