Journal of Aeronautics & Aerospace Engineering

Journal of Aeronautics & Aerospace Engineering
Open Access

ISSN: 2168-9792

Nanda M

Nanda M


  • Research Article
    Analyze the Mode Transition Logic of Automatic Flight Control System using Semi-Formal Approach
    Author(s): Rathina Kumar V, Nanda M and Jayanthi JRathina Kumar V, Nanda M and Jayanthi J

    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 ope.. Read More»
    DOI: 10.4172/2168-9792.1000167

    Abstract PDF

Relevant Topics