No abstract

Ensuring the correctness of middleware that ensures interoperability of various medical devices is one of the biggest challenges in the e-health domain. Traditionally, these Device Interoperability Middleware (DIM) are analyzed using software testing. However, given the inherent incompleteness of testing and the randomness of the user behaviours, the analysis results are not guaranteed to be accurate. Some of these inaccuracies in analysis results could even put human life at risk. In order to overcome these limitations, we propose to use a probabilistic model checker PRISM for analyzing DIM. The proposed approach allows us to rigorously verify reliability properties of the given DIM and thus allows the designers to make appropriate measures to design more reliable systems. For illustration, we formally analyze a middleware that uses the HL7 FHIR and ontology-based description of the devices and a communication protocol to bridge the gap in heterogeneity for dealing with different vendors and incompatible data formats.

In the prevailing healthcare industry requirements, the demand of electronic medical record (EMR) has been increased to provide better healthcare to patients and provide convenient access to EMR. Healthcare providers are keen to move EMR's to the cloud. Cloud computing paradigm is giving insight to shared environment for EMR; however it brings a lot of challenges like security, privacy of medical data along with its advantages. Our designed system provides appropriate management of oncology patient records and provides privacy to patient textual and DICOM (Digital Imaging and Communications in Medicine) image information by anonymizing them. We have identified PDATA (Personal Data) and CDATA (Clinical Data) from the DICOM images retrieved from PACS (Picture Archiving and Communication System) server. The role based policies are been implemented and are stored in the database, which are used for the anonymization of PDATA.