Reliability analysis of healthcare information systems: State of the art and future directions

Amjad Gawanmeh, Hussam Al-Hamadi, Mahmoud Al-Qutayri, Shiu Kai Chin, Kashif Saleem

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

28 Scopus citations

Abstract

Testing and verification of healthcare information systems is a challenging and important issue since faults in these critical systems may lead to loss of lives, and in the best cases, loss of money and reputations. However, due to the complexity of these systems, and the increasing demand for new products and new technologies in this domain, there are several methods and technologies being used for testing these systems. In this paper, we review the state of the art on testing and verification of healthcare information systems, and then we identify several open issues and challenges in the area. We divide the exiting methods into three categories: simulation based methods, formal methods, and other techniques such as semi-formal methods. Then, we discuss challenging and open issues in the domain.

Original languageBritish English
Title of host publication2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages68-74
Number of pages7
ISBN (Electronic)9781467383257
DOIs
StatePublished - 2015
Event17th International Conference on E-Health Networking, Application and Services, HealthCom 2015 - Boston, United States
Duration: 13 Oct 201517 Oct 2015

Publication series

Name2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015

Conference

Conference17th International Conference on E-Health Networking, Application and Services, HealthCom 2015
Country/TerritoryUnited States
CityBoston
Period13/10/1517/10/15

Fingerprint

Dive into the research topics of 'Reliability analysis of healthcare information systems: State of the art and future directions'. Together they form a unique fingerprint.

Cite this