Phased mission modelling using fault tree analysis

An Overview of the Phase-modular Fault Tree Approach to Phased Mission System Analysis

Phased-mission systems (PMS) are systems supporting missions consisting of multiple, consecutive, and non-overlapping operational phases. System composition, structure, and behavior can change from phase to phase; as a result, components may be modeled in different modes over the course of the mission. The need to model components and relationships in different modes poses unique challenges to ...

High-level Petri Net Modelling of Phased Mission Systems

We propose a general methodology for the modelling and evaluation of phased mission systems, based on a Markov Regenerative Stochastic Petri Net approach. By exploiting the expressiveness and the representativity of MRSPN, we achieve a compact and neat modelling of even quite complex systems, relaxing many restrictive limitations of the other approaches appeared in the literature. Our approach ...

Phased mission modelling of systems with maintenance-free operating periods using simulated Petri nets

A common scenario in engineering is that of a system which operates throughout several sequential and distinct periods of time, during which the modes and consequences of failure differ from one another. This type of operation is known as a phased mission, and for the mission to be a success the system must successfully operate throughout all of the phases. Examples include a rocket launch and ...

Quantitative Analysis of Complex Electronic Systems using Fault Tree Analysis and Markov Modelling

Non-coherent Modelling in Compositional Fault Tree Analysis

The inclusion of NOT gates in a fault tree creates a “non-coherent” structure in which not only the failure of a component but also the negation of failure, i.e. the working state of the component, can contribute to the undesirable effects on a system. This type of non-coherent modelling remains controversial; its usefulness is still debated among academics, which explains why NOT gates have no...