All Outputs (5)

A safety analysis approach to clinical workflows : application and evaluation (2014)
Journal Article
Gordon, N., Kabir, S., Sharvia, S., Walker, M., & Al-Qora’n, L. (in press). A safety analysis approach to clinical workflows : application and evaluation. International Journal of Advanced Computer Science and Applications, 4(3), 82-91. https://doi.org/10.14569/SpecialIssue.2014.040310

Clinical workflows are safety critical workflows as they have the potential to cause harm or death to patients. Their safety needs to be considered as early as possible in the development process. Effective safety analysis methods are required to ens... Read More about A safety analysis approach to clinical workflows : application and evaluation.

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.

Safety analysis of clinical workflows: The case of the workflow within a radiology department (2014)
Presentation / Conference Contribution
Gordon, N., Sharvia, S., Walker, M., & Al-Qora'n, L. Safety analysis of clinical workflows: The case of the workflow within a radiology department. Presented at 2014 Science and Information Conference

This paper was originally presented at the Science and Information Conference, 2014, 27-29 August, London. Abstract: Radiology Information Systems (RIS) and Picture Archiving and Communication systems (PACS) are used widely to help in the workflow ma... Read More about Safety analysis of clinical workflows: The case of the workflow within a radiology department.

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.