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 contribution

21 Citations (Scopus)

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 languageEnglish (US)
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 (Print)9781467383257
DOIs
StatePublished - Apr 15 2016
Event17th International Conference on E-Health Networking, Application and Services, HealthCom 2015 - Boston, United States
Duration: Oct 13 2015Oct 17 2015

Other

Other17th International Conference on E-Health Networking, Application and Services, HealthCom 2015
CountryUnited States
CityBoston
Period10/13/1510/17/15

Fingerprint

Reliability analysis
Information Systems
information system
Information systems
Formal methods
Delivery of Health Care
Testing
Technology
reputation
new technology
money
Direction compound
simulation
demand

ASJC Scopus subject areas

  • Health Policy
  • Health Information Management
  • Computer Networks and Communications
  • Computer Science Applications
  • Health Informatics
  • Surgery
  • Health(social science)

Cite this

Gawanmeh, A., Al-Hamadi, H., Al-Qutayri, M., Chin, S. K., & Saleem, K. (2016). Reliability analysis of healthcare information systems: State of the art and future directions. In 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015 (pp. 68-74). [7454475] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/HealthCom.2015.7454475

Reliability analysis of healthcare information systems : State of the art and future directions. / Gawanmeh, Amjad; Al-Hamadi, Hussam; Al-Qutayri, Mahmoud; Chin, Shiu Kai; Saleem, Kashif.

2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015. Institute of Electrical and Electronics Engineers Inc., 2016. p. 68-74 7454475.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Gawanmeh, A, Al-Hamadi, H, Al-Qutayri, M, Chin, SK & Saleem, K 2016, Reliability analysis of healthcare information systems: State of the art and future directions. in 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015., 7454475, Institute of Electrical and Electronics Engineers Inc., pp. 68-74, 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015, Boston, United States, 10/13/15. https://doi.org/10.1109/HealthCom.2015.7454475
Gawanmeh A, Al-Hamadi H, Al-Qutayri M, Chin SK, Saleem K. Reliability analysis of healthcare information systems: State of the art and future directions. In 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015. Institute of Electrical and Electronics Engineers Inc. 2016. p. 68-74. 7454475 https://doi.org/10.1109/HealthCom.2015.7454475
Gawanmeh, Amjad ; Al-Hamadi, Hussam ; Al-Qutayri, Mahmoud ; Chin, Shiu Kai ; Saleem, Kashif. / Reliability analysis of healthcare information systems : State of the art and future directions. 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 68-74
@inproceedings{d7bd79d16f5c4b11ac63b6f8b039102a,
title = "Reliability analysis of healthcare information systems: State of the art and future directions",
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.",
author = "Amjad Gawanmeh and Hussam Al-Hamadi and Mahmoud Al-Qutayri and Chin, {Shiu Kai} and Kashif Saleem",
year = "2016",
month = "4",
day = "15",
doi = "10.1109/HealthCom.2015.7454475",
language = "English (US)",
isbn = "9781467383257",
pages = "68--74",
booktitle = "2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Reliability analysis of healthcare information systems

T2 - State of the art and future directions

AU - Gawanmeh, Amjad

AU - Al-Hamadi, Hussam

AU - Al-Qutayri, Mahmoud

AU - Chin, Shiu Kai

AU - Saleem, Kashif

PY - 2016/4/15

Y1 - 2016/4/15

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84966539015&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84966539015&partnerID=8YFLogxK

U2 - 10.1109/HealthCom.2015.7454475

DO - 10.1109/HealthCom.2015.7454475

M3 - Conference contribution

SN - 9781467383257

SP - 68

EP - 74

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

PB - Institute of Electrical and Electronics Engineers Inc.

ER -