Formal verification of a UPPAALbased garage control system

Main Article Content

Bilal Abdullateef Kareem
Dr. Ahmad Senjari

Abstract

One of our society's major issues is citizen insecurity. Many homes currently lack a control system that allows them to operate an automatic garage door. Liftgate automation raises the issue of access security and system control. Because an intruder can corrupt the system and gain access to it. In other cases, opening and closing the door can result in an accident. Faced with this challenge, the goal is to create and test a system with formal specifications for controlling and accessing automatic sliding doors using UPPAAL. This system aims to ensure the system's proper operation and the safety of the environment that surrounds the sliding doors.

Article Details

How to Cite
Bilal Abdullateef Kareem, & Dr. Ahmad Senjari. (2022). Formal verification of a UPPAALbased garage control system. Eurasian Journal of Engineering and Technology, 7, 91–97. Retrieved from https://geniusjournals.org/index.php/ejet/article/view/1803
Section
Articles