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 …

Current aero-engine safety assessments mostly rely on experience-based safety analysis
methods such as Fault Tree Analysis (FTA) or Failure Modes and Effects Analysis (FMEA) …

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 …

Reliability allocation is an important task that needs to be done in the design phase of
machine tool remanufacturing to ensure that remanufactured machine tools meet the …

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 …

Safety assessment is a well-established process for assuring the safety and reliability of
critical (aeronautical) systems. It uses probabilistic (quantitative) analysis to provide precise …

Turbocharging is an effective way to address the problem of reduction in power and
increase in fuel consumption of aviation piston engines during high‐altitude flight. However …

Self-healing can be used to reduce hazards in embedded real-time systems which are
applied in safety-critical environments. These systems may react to failures by a structural …

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 …