Software for safety critical systems must deal with the hazards identified by safety analysis.
This paper investigates, how the results of one safety analysis technique, fault trees, are …

Safety is an important requirement for many modern systems. To ensure safety of complex
critical systems, well-known safety analysis methods have been formalized. This holds in …

In train control systems, more and more (electro-) mechanical devices are substituted by
software based devices. To sustain the high level safety standards for these embedded …

Classical combinatorial fault trees can be used to assess combinations of failures but are
unable to capture sequences of faults, which are important in complex dynamic systems. A …

This article extends safety assurance approaches for automated driving by explicitly
acknowledging the complexity of the emergent system behavior. We introduce a framework …

Unlike faults in classical systems, faults in Cyber-Physical Systems will often be caused by
the system's interaction with its physical environment and social context, rendering these …

Behavior in time domain is often crucial for safety critical systems. Standard fault trees
cannot express time-dependent behavior. In the paper, timing analysis of safety properties …

Fault tree analysis is a traditional deductive safety analysis technique that is applied during
the system design stage. However, traditional fault trees often suffer from a lack of formal …

Causal Models are increasingly suggested as a means to reason about the behavior of
cyber-physical systems in socio-technical contexts. They allow us to analyze courses of …

In recent years, robots have made substantial in-roads in the medical field and are gradually
finding their way into clinical practice. Intuitive Surgical's da Vinci® surgical robot broke …