All Outputs (4)

A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Presentation / Conference Contribution
Papadopoulos, Y., & Walker, M. (2010). A hierarchical method for the reduction of temporal expressions in Pandora. . https://doi.org/10.1145/1772630.1772634

Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of even... Read More about A hierarchical method for the reduction of temporal expressions in Pandora.

Automatic allocation of safety integrity levels (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Walker, M., Reiser, M., Weber, M., Chen, D., Törngren, M., …Sandberg, A. (2010). Automatic allocation of safety integrity levels. . https://doi.org/10.1145/1772643.1772646

In this paper, we describe a concept for the automatic allocationof general Safety Integrity Levels (SILs) to subsystems andcomponents of complex hierarchical networked architectures thatdeliver sets of safety critical functions. The concept is gener... Read More about Automatic allocation of safety integrity levels.

Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS (2010)
Presentation / Conference Contribution
Nggada, S. H., Parker, D. J., & Papadopoulos, Y. I. (2010). Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 43(17), 204-209. https://doi.org/10.3182/20100908-3-pt-3007.00039

The occurrence of failure in a safety critical engineering system can be reduced through the use of preventive maintenance (PM). Each time a component of the system is maintained its effective age is reduced; the extent of this age reduction depends... Read More about Dynamic effect of perfect preventive maintenance on system reliability and cost using HiP-HOPS.

A translation of state machines to temporal fault trees (2010)
Presentation / Conference Contribution
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010). A translation of state machines to temporal fault trees. . https://doi.org/10.1109/dsnw.2010.5542620

State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or c... Read More about A translation of state machines to temporal fault trees.