VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System.

It is reported that many health diseases leading to critical conditions (and deaths) could have been avoided or prevented with regular health monitoring that can enable early detection.With the alarming global health threat, better medical assistance may be possible if vital signs are monitored on a regular basis.In this regard, the proposed informal methods lack formal soundness and guarantee when used in health monitoring systems.Moreover, the ability of domain/healthcare experts to express the healthcare policies to be monitored is one of the most important inputs in developing such a system.Thus, we propose a domain-specific language (DSL) that can be used by experts to describe healthcare policies.Since the application is related to healthcare, the correctness of the monitoring system built from the policies is of utmost importance.We thus rely on formal monitoring approaches to synthesize monitoring code from policies, which necessitates translating policies expressed in our DSL to the Timed Automata formalism.To illustrate the feasibility of the proposed approach, a prototype implementation of a client-server-based mobile application has been developed.We examine preliminary performance assessments using the prototype developed, finding that the response time for monitoring sufficiently large amounts of data is reasonable.