ALFRED: a methodology to enable component fault trees for layered architectures

by   Kai Hoefig, et al.

Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts to save time and costs. When development artefacts are reused, their existing safety analysis models are an important input for an early safety assessment for the new system, since they already provide a valid model. Component fault trees support such reuse strategies by a compositional horizontal approach. But current development strategies do not only divide systems horizontally, e.g., By encapsulating different functionality into separate components and hierarchies of components, but also vertically, e.g. Into software and hardware architecture layers. Current safety analysis methodologies, such as component fault trees, do not support such vertical layers. Therefore, we present here a methodology that is able to divide safety analysis models into different layers of a systems architecture. We use so called Architecture Layer Failure Dependencies to enable component fault trees on different layers of an architecture. These dependencies are then used to generate safety evidence for the entire system and over all different architecture layers. A case study applies the approach to hardware and software layers.



There are no comments yet.


page 3

page 4

page 6


Verification of Component Fault Trees Using Error Effect Simulations

The growing complexity of safety-relevant systems causes an increasing e...

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees

The importance of mission or safety critical software systems in many ap...

Combination of component fault trees and Markov chains to analyze complex, software-controlled systems

Fault Tree analysis is a widely used failure analysis methodology to ass...

Using Bayesian Modelling to Predict Software Incidents

Traditionally, fault- or event-tree analyses or FMEAs have been used to ...

Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees

This paper considers the design-phase safety analysis of vehicle guidanc...

Waymo's Safety Methodologies and Safety Readiness Determinations

Waymo's safety methodologies, which draw on well established engineering...

ArChes – Automatic generation of component fault trees from continuous function charts

The growing size and complexity of software in embedded systems poses ne...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.