Formal Verification of e-health systems

project picture

Formal Verification of e-health systems

Overview of the project

Bringing healthcare services to the fingertips of every citizen is good, but ensuring the reliability of these critical systems is better. Actually, these e-health systems are undeniably monitoring our life not only in the traditional clinical context, but also in our daily living.  In this projet, we aim to formally analyze the correctness of e-health systems. In particular, we aim to validate the functional requirements of these systems, in terms of service request and alarm activation. The effectiveness of our results will be shown on practical e-health applications for monitoring patients.