Automated compositional safety analysis using component fault trees

Abstract

Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Especially changes in a system's architectural design invalidate former safety analyses and require an adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automatically generating mappings between failure ports in compositional safety analysis models. This way, automatic and system-wide safety analyses are enabled that can be easily repeated after making modifications to the system's architecture. We demonstrate the feasibility of our approach using a case study from the automotive domain

Towards the Adoption of Model-Based Engineering for the Development of Safety-Critical Systems in Industrial Practice

“…by introducing model-based FMEA techniques [18]. However, in order leverage compositional safety assessment in industrial practice, techniques for the automated composition of safety artifacts are need [19]. First, as a preliminary approach, to give system engineers a first feedback w.r.t.…”

Finding faults: A scoping study of fault diagnostics for Industrial Cyber–Physical Systems

“…Widely-distributed and now often physicallyseparated, ICPS are being used to create the Industrial Internet of Things (IIoT), where collections of discrete devices cooperate intelligently to perform large-scale industrial tasks (Leitão et al, 2017). ICPS differ from Cyber-Physical Systems (CPS) used in consumer or medical de-vices primarily in terms of their scale (Yen et al, 2017;Wu et al, 2017), security (Tanveer et al, 2018;Sargolzaei et al, 2016) and safety-critically (Mohrle et al, 2015;Kim et al, 2011). ICPS used in Smart Grids rely on industry-standard interfaces and sophisticated communications.…”

A More Reasonable Definition of Failure Mode for Mechanical Systems Using Meta-Action

“…Blischke and Murthy [17] divided failure into intermittent failure and persistence failure, and the latter is subdivided into partial failure and complete failure further. Möhrle et al [18] classified failure as input failure and output failure on the basis of the fault tree. Meanwhile, the two types are both divided into provision failure, content failure and timing failure.…”