Ensuring the Correctness and Well Modeling of Intelligent Healthcare Management Systems

Recent research focus more and more on IoT systems and their applications in order to make people life easier and controllable. The main aim
is to expand IoT applications and services into various domains while ensuring
communication and automated exchange between them. Recent research handles
many issues related to IoT especially implementation, modeling, and deployment.
However, many challenges need more deep and thorough analysis especially in
terms of flexible modeling, extensible implementation, with respect to the privacy issue. This work focuses principally on modeling IoT systems dedicated to
smart healthcare case. We attempt to address the emergency service by initiating a modeling mechanism for Healthcare Management System (HMS) by using
UML diagrams, and propose an appropriate access control in order to reinforce
it. Then, we ensure the correctness of the developed HMS by relying on the verification and validation based on a formal analysis that showed significant results
by using Alloy tool.