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 …

Security testing aims at validating software system requirements related to security
properties like confidentiality, integrity, authentication, authorization, availability, and non …

Designing a dependable system successfully is a challenging issue that is an ongoing
research subject in the literature. Different approaches have been adopted to analyse and …

New processes for the design of dependable systems must address both cost and
dependability concerns. They should also maximize the potential for automation to address …

During the whole life-cycle of software-intensive systems in safety-critical domains, system
models must consistently co-evolve with quality evaluation models like fault trees. However …

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 …

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 …

With the recent popularity of model-based design and verification (MBDE), fault injection
testing at the functional model level is gaining significant interest. The reason for this interest …

Software controls in technical systems are becoming more and more important and complex.
Model based safety analysis can give provably correct and complete results, often in a fully …