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

By: Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty

Abstract

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. This paper proposes 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, necessitating 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. Preliminary performance assessments using the prototype developed finding that the response time for monitoring sufficiently large amounts of data is reasonable.

Keywords

Domain-Specific Language, Timed Automata, Client-Server Architecture, Formal Runtime Monitors, Remote Health Monitoring

Cite as:

Rahul Bharadwaj Pendyala, Abhinandan Panda, Srinivas Pinisetty, “VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System”, Journal of Object Technology, Volume 23, no. 2 (March 2024), pp. 1-12, doi:10.5381/jot.2024.23.2.a4.