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.