Formal Analysis of an IoT-Based Healthcare Application

扫码查看

原文链接

NETL

外文摘要：In the healthcare context， remote monitoring based on the Internet of Things (IoT) technology is a widespread application。 Underlying entities are interacting to bring up various services， so that their communication has to be ensured without defects such as deadlocks。 The correct validation of these IoT applications is a major concern because of their distributed and concurrent features， as well as， the safety-critical nature of the health context。 In this paper， we show how we use a model checking approach to accurately validate the behavior of an IoT-based healthcare application。 We then focus on verifying three important classes of properties namely safety， liveness， and absence of deadlock。 The verification is guaranteed by means of the UPPAAL model checker。

外文关键词：

ComputersSurveillanceMedical servicesSystem recoveryModel checkingSafetyBehavioral sciences

作者：

Maissa Elleuch、Sofiène Tahar

展开 >

作者单位：

Digital Research Center of Sfax, Technopark of Sfax, Sfax, Tunisia|CES Laboratory, National School of Engineers of Sfax, Sfax University, Tunisia

Dept. of Electrical & Computer Engineering, Concordia University, Montreal, Quebec, Canada

会议名称：

IEEE Symposium on Computers and Communications

会议地点：

Gammarth(TN)

会议母体文献：

2023 IEEE Symposium on Computers and Communications

页码：

1-5

出版时间：

2023

DOI：

10.1109/ISCC58397.2023.10218130