Formal modelling and verification of autonomous reasoning based flight simulation system

Abstract

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 have the ability to 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 and safety-critical constraints. We
use the UPPAAL model checker to formally analyze the system’s behavior and verify correctness
properties.