Abstract Model-based safety assessment (MBSA) has been one of the major research
thrusts of the System Safety Engineering community for about three decades. It has attracted …

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 …

The growth of data used by data-intensive computations, eg geographical information
systems (GIS), has far outpaced the growth of the power of a single processor. The …

Failure Modes and Effects analysis (FMEA) is a widely used technique for inductive safety
analysis. FMEA provides engineers with valuable information about failure modes of system …

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 …

The IEC 61499 standard enables the model-based design of complex industrial automation
systems, in which a model of the controlled physical processes called a plant, is …

This paper proposes an approach for testing of safety critical systems. It is based on a
behavioral and a fault model. The two models are analyzed for compatibility and necessary …

This paper proposes an approach for testing of safety-critical systems. It is based on a
behavioral and a fault model. The two models are analyzed for compatibility, and necessary …

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 …

Traditional camera models are often the result of a compromise between the ability to
account for non-linearities in the image formation model and the need for a feasible number …