An approach to safety analysis of clinical workflows (2014)
Journal Article
Al-Qora'n, L., Gordon, N., Sharvia, S., Walker, M., & Papadopoulos, Y. (2014). An approach to safety analysis of clinical workflows. Athens Journal of Health, 1(3), 201-216. https://doi.org/10.30958/ajh.1-3-4

A clinical workflow considers the information and processes that are involved in providing a clinical service. They are safety critical since even minor faults have the potential to propagate and consequently cause harm to a patient, or even for a pa... Read More about An approach to safety analysis of clinical workflows.

Enhancing the EAST-ADL error model with HiP-HOPS semantics (2014)
Journal Article
Sharvia, S., Papadopoulos, Y., Chen, D., Walker, M., Yuan, W., & Lönn, H. (2014). Enhancing the EAST-ADL error model with HiP-HOPS semantics. Athens journal of technology & engineering, 1(2), 119-136

EAST-ADL is a domain-specific modelling language for the engineering of automotive embedded systems. The language has abstractions that enable engineers to capture a variety of information about design in the course of the lifecycle — from requiremen... Read More about Enhancing the EAST-ADL error model with HiP-HOPS semantics.

Exploring the impact of different cost heuristics in the allocation of safety integrity levels (2014)
Journal Article
Azevedo, L. S., Parker, D., Papadopoulos, Y., Walker, M., Sorokos, I., & Araújo, R. E. (2014). Exploring the impact of different cost heuristics in the allocation of safety integrity levels. Lecture notes in computer science, 8822, 70-81. https://doi.org/10.1007/978-3-319-12214-4_6

Contemporary safety standards prescribe processes in which system safety requirements, captured early and expressed in the form of Safety Integrity Levels (SILs), are iteratively allocated to architectural elements. Different SILs reflect different r... Read More about Exploring the impact of different cost heuristics in the allocation of safety integrity levels.

Using simulation to evaluate dynamic systems with weibull or lognormal distributions (2014)
Journal Article
Edifor, E., Gordon, N., Walker, M., & Papadopoulos, Y. (2014). Using simulation to evaluate dynamic systems with weibull or lognormal distributions. Advances in Intelligent Systems and Computing, 286, 117-187. https://doi.org/10.1007/978-3-319-07013-1_17

© Springer International Publishing Switzerland 2014. Most techniques for quantitatively analysing the temporal fault trees of safety-critical systems are used with the assumption that the systems under study have exponentially distributed component... Read More about Using simulation to evaluate dynamic systems with weibull or lognormal distributions.

Assisted assignment of automotive safety requirements (2013)
Journal Article
Azevedo, L. D. S., Parker, D., Walker, M., Papadopoulos, Y., & Araújo, R. E. (2014). Assisted assignment of automotive safety requirements. IEEE Software, 31(1), 62-68. https://doi.org/10.1109/ms.2013.118

ISO 26262, a functional-safety standard, uses Automotive Safety Integrity Levels (ASILs) to assign safety requirements to automotive-system elements. System designers initially assign ASILs to system-level hazards and then allocate them to elements o... Read More about Assisted assignment of automotive safety requirements.

Compositional synthesis of temporal fault trees from state machines (2012)
Journal Article
Papadopoulos, Y., Walker, M., & Mahmud, N. (2012). Compositional synthesis of temporal fault trees from state machines. Performance Evaluation Review, 39(4), 79-88. https://doi.org/10.1145/2185395.2185444

Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it is difficult to represent in a single coherent and complete picture how the system and its constituent parts... Read More about Compositional synthesis of temporal fault trees from state machines.

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.

Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook (2009)
Journal Article
Papadopoulos, Y., & Walker, M. (2009). Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control engineering practice, 17(10), 1115-1125. https://doi.org/10.1016/j.conengprac.2008.10.003

The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the notation and mathematical foundation of this widely used safety analysis technique. The Handbook recognises that classical combinatorial fault trees... Read More about Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook.