Autopilot system is a highly critical avionics system in modern aircraft as it steers the aircraft automatically. The autopilot is a highly complex system driven by a complex logic and is one of the major reasons for the accidents in automated airliner. The autopilot logic consists of the mode-transition logic which in automated mode steers the aircraft based on the aircraft aerodynamics. In the automated mode the correct and efficient working of the modetransition is highly critical; hence a high assurance approach is required to analyze the logic for its functionality and performance. In this paper, we present a semi-formal method based approach to analyze and validate the Mode-Transition Logic (MTL) for an indigenously developed commercial aircraft in the vertical and lateral directions. The MTL is analyzed and validated for its correct, complete, and reliable functionality and operation using Stateflow. The modeled MTL logic is validated for the allowed transitions based on the input combinations against the requirements for functionality and safety. The outcome of the approach shows encouraging results with respect to assurance in functionality, performance and safety in comparison to the conventional manual approach of testing. Similar semiformal based approach can be used to reduce the design effort in the design and development of complex system designs as compared to the manual analysis.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.