Usman Pervez and Osman Hasan
Fast Health Interoperable Resources (FHIR) is the recently proposed standard from HL7. Its distinguishing features include the user friendly implementation, support of built-in terminologies and for widely-used web standards. Given the safety-critical nature of FHIR, the rigorous analysis of e-health systems using the FHIR is a dire need since they are prone to failures. As a first step towards this direction, we propose to use probabilistic model checking, i.e., a formal probabilistic analysis approach, to assess the reliability of a typical e-health system used in hospitals based on the FHIR standard.
J. A. Khan, U. Pervez, H. A. Akbar and O. Hasan, “A Wearable Wireless Sensor for Cardiac Monitoring”, Wearable and Implantable Body Sensor Networks (BSN-2016), IEEE, San Francisco, USA, 2016, pp. 61-65
U. Pervez, A. Mehmood, O. Hasan, K. Latif, and A. Gawanmeh, “Formal Reliability Analysis of Device Interoperability Middleware (DIM) based E-Health System using PRISM ”, IEEE International Conference on e-Health Networking, Applications and Services, (Healthcom 2015), Boston, USA, pp. 108-115.
U. Pervez, O. Hasan, K. Latif, S. Tahar, A. Gawanmeh and M. Hamdi, “Formal Reliability Analysis of a Typical FHIR Standard based E-Health System using PRISM”, IEEE International Conference on e-Health Networking, Applications and Services, (Healthcom 2014), Natal RN Brazil, pp. 43-48