Open Access

ARTICLE

A Formal Testing Model for Operating Room Control System Using Internet of Things

Moez Krichen¹, Seifeddine Mechti², Roobaea Alroobaea³, Elyes Said⁴, Parminder Singh⁵, Osamah Ibrahim Khalaf⁶, Mehedi Masud^3,*

1 Faculty of CSIT, AlBaha University, AlBaha, Saudi Arabia & ReDCAD Laboratory, Sfax University, Sfax, Tunisia
2 MIRACL Laboratory, Sfax University, Sfax, Tunisia
3 Department of Computer Science, College of Computers and Information Technology, Taif University, Taif, 21944, Saudi Arabia
4 International Institute of Technology of Sfax, Sfax, Tunisia
5 School of Computer Science and Engineering, Lovely Professional University, Phagwara City, India
6 Al-Nahrain Nanorenewable Energy Research Center, Al-Nahrain University, Baghdad, Iraq

* Corresponding Author: Mehedi Masud. Email:

Computers, Materials & Continua 2021, 66(3), 2997-3011. https://doi.org/10.32604/cmc.2021.014090

Received 30 August 2020; Accepted 18 October 2020; Issue published 28 December 2020

Abstract

Technological advances in recent years have significantly changed the way an operating room works. This work aims to create a platform to solve the problems of operating room occupancy and prepare the rooms with an environment that is favorable for all operations. Using this system, a doctor can control all operation rooms, especially before an operation, and monitor their temperature and humidity to prepare for the operation. Also, in the event of a problem, an alert is sent to the nurse responsible for the room and medical stuff so that the problem can be resolved. The platform is tested using a Raspberry PI card and sensors. The sensors are connected to a cloud layer that collects and analyzes the temperature and humidity values obtained from the environment during an operation. The result of experimentations is visualized through a web application and an Android application. The platform also considers the security aspects such as authorization to access application functionalities for the Web and the mobile applications. We can also test and evaluate the system’s existing problems and vulnerabilities using the IEEE and owasp IoT standards. Finally, the proposed framework is extended with a model based testing technique that may be adopted for validating thesecurity aspects.

---

Keywords

---

Citations