Skip to main content

Research Repository

See what's under the surface


A hierarchical method for the reduction of temporal expressions in Pandora (2010)
Conference Proceeding
Papadopoulos, Y., & Walker, M. (2010). A hierarchical method for the reduction of temporal expressions in Pandora. doi: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)
Conference Proceeding
Papadopoulos, Y., Walker, M., Reiser, M., Weber, M., Chen, D., Törngren, M., …Sandberg, A. (2010). Automatic allocation of safety integrity levels. doi: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.

A translation of state machines to temporal fault trees (2010)
Conference Proceeding
Papadopoulos, Y., Mahmud, N., & Walker, M. (2010). A translation of state machines to temporal fault trees. doi: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.