Skip to main content

A synthesis of logic and bio-inspired techniques in the design of dependable systems (2016)
Journal Article
Papadopoulos, Y., Walker, M., Parker, D., Sharvia, S., Bottaci, L., Kabir, S., …Sorokos, I. (2016). A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control, 41, 170-182. https://doi.org/10.1016/j.arcontrol.2016.04.008

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecast... Read More about A synthesis of logic and bio-inspired techniques in the design of dependable systems.

Model-based dependability analysis : state-of-the-art, challenges and future outlook (2015)
Book Chapter
Kabir, S., Papadopoulos, Y., Sharvia, S., & Walker, M. (2015). Model-based dependability analysis : state-of-the-art, challenges and future outlook. In I. Mistrik, N. Ali, B. Tekinerdogan, R. Soley, & J. Grundy (Eds.), Software Quality Assurance: In Large Scale and Complex Software-intensive Systems, 251-278. Elsevier. https://doi.org/10.1016/B978-0-12-802301-3.00012-0

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability technique... Read More about Model-based dependability analysis : state-of-the-art, challenges and future outlook.

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. doi: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.

Safety analysis of clinical workflows: The case of the workflow within a radiology department (2014)
Conference Proceeding
Gordon, N., Sharvia, S., Walker, M., & Al-Qora'n, L. (2014). Safety analysis of clinical workflows: The case of the workflow within a radiology department. https://doi.org/10.1109/sai.2014.6918174

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.

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.

Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support (2013)
Book Chapter
Al-Qora'n, L., Sharvia, S., Papadopoulos, Y., & Gordon, N. (2013). Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support. Global Telemedicine and eHealth Updates: Knowledge Resources, 527 - 531. International Society for Telemedicine & eHealth

Home Telehealth systems are used to help in the management of chronic conditions by patients themselves. Effective safety analysis tools are needed to ensure reliability and safety of these high risk systems. We hereby explain how Hierarchically-Perf... Read More about Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support.

An approach to optimization of fault tolerant architectures using HiP-HOPS (2011)
Journal Article
Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., & Tohdo, T. (2011). An approach to optimization of fault tolerant architectures using HiP-HOPS. Software: Practice and Experience, 41(11), 1303-1327. https://doi.org/10.1002/spe.1044

New processes for the design of dependable systems must address both cost and dependability concerns. They should also maximize the potential for automation to address the problem of increasing technological complexity and the potentially immense des... Read More about An approach to optimization of fault tolerant architectures using HiP-HOPS.


;