Formal modelling and verification of autonomous reasoning based flight simulation system
Abdullah Abdullah · Lahore Garrison University Research Journal of Computer Science and Information Technology · 2024
The emerging trends towards intelligent computing have drastically changed the human lifestyle in every facet of their lives. Due to the swift escalation of smart systems and emerging technologies, human life has become much more dependent and even more addicted to fulfilling their desire using smart and tiny resource-bounded gadgets. This revolution has evolved towards autonomous decision support systems. Autonomous decision support systems can acquire information autonomously,reason the information, and adapt behavior accordingly. As these systems are deployed in a highly decentralized environment and exhibit complex adaptive behavior, however, the inconsistent nature of information may raise different challenging issues. This paper presents a multi-agent environmentally-aware framework for modeling and reasoning flight management systems. This system has a sound reasoning mechanism to execute and monitor flight control activities while considering liveness andsafety-critical constraints. We use the UPPAAL model checker to formally analyze the system’s behavior and verify its correctness properties.