Open AccessOpen Access


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

Moez Krichen1, Seifeddine Mechti2, Roobaea Alroobaea3, Elyes Said4, Parminder Singh5, Osamah Ibrahim Khalaf6, Mehedi Masud3,*

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.


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.


Cite This Article

M. Krichen, S. Mechti, R. Alroobaea, E. Said, P. Singh et al., "A formal testing model for operating room control system using internet of things," Computers, Materials & Continua, vol. 66, no.3, pp. 2997–3011, 2021.


This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • 2313


  • 1135


  • 0


Share Link