Paper Info
Title
Formal reliability analysis of a typical FHIR standard based e-Health system using PRISM
Abstract
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. In particular, we use the PRISM model checker to analyze the Markov Decision Process (MDP) and Continuous Time Markov Chain (CTMC) models to assess the failure probabilities of the overall system.
Year
DOI
Venue
2014
10.1109/HealthCom.2014.7001811
e-Health Networking, Applications and Services
Keywords
Field
DocType
Markov processes,formal verification,health care,medical computing,open systems,probability,software reliability,CTMC model,FHIR standard,MDP,Markov decision process,PRISM,continuous time Markov chain,e-health system,failure probability assessment,fast health interoperable resources,formal reliability analysis,model checking
Data mining,Markov process,Continuous-time Markov chain,Interoperability,Computer science,PRISM model checker,Markov decision process,Probabilistic analysis of algorithms,User Friendly,Probabilistic logic
Conference
Citations 
PageRank 
References 
5
0.46
17
Authors
4
Name
Order
Citations
PageRank
Pervez, U.150.46
Osman Hasan240160.79
Latif, K.370.83
Sofiène Tahar4915110.41