Model based safety analysis using SysML with automatic generation of FTA and FMEA artifacts

Girard, Gaëlle (School of Engineering and Architecture (HEIA-FR), HES-SO // University of Applied Sciences Western Switzerland) ; Baeriswyl, Ivan (School of Engineering and Architecture (HEIA-FR), HES-SO // University of Applied Sciences Western Switzerland) ; Hendriks, Jonathan James (School of Engineering and Architecture (HEIA-FR), HES-SO // University of Applied Sciences Western Switzerland) ; Scherwey, Roland (School of Engineering and Architecture (HEIA-FR), HES-SO // University of Applied Sciences Western Switzerland) ; Müller, Christian (Department of Computer Science, Ulm University of Applied Sciences, Ulm, Germany) ; Hönig, Philipp (Department of Computer Science, Ulm University of Applied Sciences, Ulm, Germany) ; Lunde, Rüdiger (Department of Computer Science, Ulm University of Applied Sciences, Ulm, Germany)

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.


Keywords:
Conference Type:
published full paper
Faculty:
Ingénierie et Architecture
School:
HEIA-FR
Institute:
iSIS - Institut des systèmes intelligents et sécurisés
Publisher:
Venice, Italy, 1-5 November 2020
Date:
2020-11
Venice, Italy
1-5 November 2020
Pagination:
8 p.
Published in:
Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference (Esrel 2020 PSAM 15), 1-5 November 2020, Venice, Italy
Appears in Collection:

Note: The status of this file is: restricted


 Record created 2020-11-03, last modified 2020-12-08

Fulltext:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)