Skip to main content

Research Repository

Advanced Search

All Outputs (3)

Capture and reuse of composable failure patterns (2010)
Journal Article
Wolforth, I., Walker, M., Papadopoulos, Y., & Grunske, L. (2010). Capture and reuse of composable failure patterns. International Journal of Critical Computer-Based Systems, 1(1/2/3), 128-147. https://doi.org/10.1504/IJCCBS.2010.031710

Emerging safety analysis techniques use composition of failure models or fault simulation in formal models of a system to determine relationships between the causes and effects of failure. Most recent work has focused on developing system modelling a... Read More about Capture and reuse of composable failure patterns.

Engineering failure analysis and design optimisation with HiP-HOPS (2010)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., …Lien, R. (2011). Engineering failure analysis and design optimisation with HiP-HOPS. Engineering Failure Analysis, 18(2), 590-608. https://doi.org/10.1016/j.engfailanal.2010.09.025

The scale and complexity of computer-based safety critical systems, like those used in the transport and manufacturing industries, pose significant challenges for failure analysis. Over the last decade, research has focused on automating this task. I... Read More about Engineering failure analysis and design optimisation with HiP-HOPS.

Generalizable safety annotations for specification of failure patterns (2010)
Journal Article
Papadopoulos, Y., Walker, M., Grunske, L., & Wolforth, I. (2010). Generalizable safety annotations for specification of failure patterns. Software: Practice and Experience, 40(5), 453-483. https://doi.org/10.1002/spe.966

Components in programmable systems often exhibit patterns of failure that are independent of function or system context. In this paper, we show that it is possible to capture, and reuse where appropriate, such patterns for the purposes of system safe... Read More about Generalizable safety annotations for specification of failure patterns.