All Outputs (5)

Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks (2014)
Book Chapter
Kabir, S., Walker, M., & Papadopoulos, Y. (2014). Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks. In Model-Based Safety and Assessment; Lecture Notes in Computer Science (96-109). Springer Verlag. https://doi.org/10.1007/978-3-319-12214-4_8

Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic s... Read More about Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks.

Integrating model checking with HiP-HOPS in model-based safety analysis (2014)
Journal Article
Sharvia, S., & Papadopoulos, Y. (2015). Integrating model checking with HiP-HOPS in model-based safety analysis. Reliability Engineering and System Safety, 135(March), 64-80. https://doi.org/10.1016/j.ress.2014.10.025

The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by fo... Read More about Integrating model checking with HiP-HOPS in model-based safety analysis.

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.-J., 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.