TY - GEN
T1 - Reliability analysis of healthcare information systems
T2 - 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015
AU - Gawanmeh, Amjad
AU - Al-Hamadi, Hussam
AU - Al-Qutayri, Mahmoud
AU - Chin, Shiu Kai
AU - Saleem, Kashif
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015
Y1 - 2015
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
AN - SCOPUS:84966539015
T3 - 2015 17th International Conference on E-Health Networking, Application and Services, HealthCom 2015
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.
Y2 - 13 October 2015 through 17 October 2015
ER -