Abstract Fault Tree Analysis (FTA) is a well-established and well-understood technique,
widely used for dependability evaluation of a wide range of systems. Although many …

The scale and complexity of computer-based safety critical systems, like those used in the
transport and manufacturing industries, pose significant challenges for failure analysis. Over …

In model-based safety analysis both qualitative aspects ie what must go wrong for a system
failure) and quantitative aspects (ie how probable is a system failure) are very important. For …

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 …

Software Quality Assurance in Large Scale and Complex Software-intensive Systems
presents novel and high-quality research related approaches that relate the quality of …

Model-based safety analysis approaches aim at finding critical failure combinations by
analysis of models of the whole system (ie software, hardware, failure modes and …

Many states/transitions formalisms have been proposed in the literature to perform Safety
Analyses. In this paper we compare two of them: SAML and AltaRica. These formalisms …

Abstract Fault Tree Analysis has been a cornerstone of safety-critical systems for many
years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited …

It is well-known that in many safety critical applications safety goals are antagonistic to other
design goals or even antagonistic to each other. This is a big challenge for the system …

Components in programmable systems often exhibit patterns of failure that are independent
of function or system context. In this paper, we show that it is possible to capture, and reuse …