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 

作者机构：Faculty of CSITAlBaha UniversityAlBahaSaudi Arabia&ReDCAD LaboratorySfax UniversitySfaxTunisia MIRACL LaboratorySfax UniversitySfaxTunisia Department of Computer ScienceCollege of Computers and Information TechnologyTaif UniversityTaif21944Saudi Arabia International Institute of Technology of SfaxSfaxTunisia School of Computer Science and EngineeringLovely Professional UniversityPhagwara CityIndia Al-Nahrain Nanorenewable Energy Research CenterAl-Nahrain UniversityBaghdadIraq 

出 版 物：《Computers, Materials & Continua》 (计算机、材料和连续体（英文）)

年 卷 期：2021年第66卷第3期

页      面：2997-3011页

核心收录：

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：Taif University Researchers Supporting Project(TURSP-2020/36) Taif University Taif Saudi Arabia 

主　　题：Communication Internet of Things control rooms sensors cloud robot 

摘      要：Technological advances in recent years have significantly changed the way an operating room *** work aims to create a platformto solve the problems of operating room occupancy and prepare the rooms with an environment that is favorable for all *** this system,a doctor can control all operation rooms,especially before an operation,and monitor their temperature and humidity to prepare for the ***,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 *** platformis tested using a Raspberry PI card and *** sensors are connected to a cloud layer that collects and analyzes the temperature and humidity values obtained from the environment during an *** result of experimentations is visualized through a web application and an Android *** platform also considers the security aspects such as authorization to access application functionalities for the Web and the mobile *** can also test and evaluate the system’s existing problems and vulnerabilities using the IEEE and owasp IoT ***,the proposed framework is extended with a model based testing technique that may be adopted for validating the security aspects.