The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

This paper reviews the state of the art on several issues in connected health networks and
devices, such as testing and verification of these systems, security and privacy issues …

Mobility management has been a long-standing issue in mobile wireless sensor networks
and especially in the context of cyber physical systems; its implications are immense. This …

In software engineering domain, cost and quality factors are leading scales to measure
software-product performance, reliability and correctness. Cost, sometime, is measured in …

The connectivity of devices, machines and people via Cloud infrastructure can support
collaborations among doctors and specialists from different medical organisations. Such …

Dependability is an umbrella concept that subsumes many key properties about a system,
including reliability, maintainability, safety, availability, confidentiality, and integrity. Various …

Medical data accuracy is crucial for providing reliable remote healthcare services for
patients. To this end, data accuracy assessment mechanisms must be developed. Prediction …

Mobile health has recently gained a lot of attention. Biological, environmental and
behavioral data collected from mobile devices can be analyzed and transmitted directly to …

Fast Healthcare Interoperability Resources (FHIR) is an International health standard for
health data developed by Health Level Seven--(HL7) an international organization for the …

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 …