University of Hull logo

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

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

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

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

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

An approach to safety analysis of clinical workflows (2014)
Journal Article
Gordon, N., Papadopoulos, Y., Sharvia, S., Walker, M., Al-Qora’n, L., & Al-Qora'n, L. (2014). An approach to safety analysis of clinical workflows. doi: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

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

Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support (2013)
Book
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

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). doi:10.1002/spe.1044. ISSN 0038-0644

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