Logic for Mode Transition of Autopilots in Lateral Direction for Commercial Aircrafts

Nair, Aparna S

doi:10.9756/bijmmi.4117

Cited by 3 publications

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is easily understood and provides a very concise way of specifying a large number of transitions in simple tabular column. Vertical and lateral modes of the autopilot have been designed using mode transition logic and the technique has been extended to cover the navigation and approach modes [2,3]. All the possible mode transitions in the presence of external or internal event and performance criteria are presented in the subsequent sections.…”

Section: Literature Surveymentioning

confidence: 99%

“…The guard is a logical statement which is used for mode transition of aircraft. The mode is changed only the conditions are true [2][3]. In this case the mode could not be activated, which could be due to improper implementation of the MTL logic or pilot error or system error.…”

Section: Literature Surveymentioning

confidence: 99%

“…RTRT tool generates the coverage report. In case of safety critical software developed for highest criticality i.e., Level A [3], code is tested for 100% MCDC (modified condition decision coverage) coverage. Model level robustness is validated by importing the autocode into Reactis tool suite [13].…”

Section: Approachmentioning

confidence: 99%

“…The incorrect mode transition logic has led to accidents in the past year. The accidents are overcome by improving the Mode transition logic analysis [2,3].…”

Section: Introductionmentioning

confidence: 99%

“…At same time the growing complexity places in the system and increase the risk of the mode transition logic. To fly commercial fly today, the pilots must be a master in several complex, dynamically interacting system and should know operating at different levels of automation [3].…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

Analyze the Mode Transition Logic of Automatic Flight Control System using Semi-Formal Approach

Kumar¹,

Jayanthi²

2016

J Aeronaut Aerospace Eng

View full text Add to dashboard Cite

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.

show abstract

Section: Literature Surveymentioning

confidence: 99%

Section: Literature Surveymentioning

confidence: 99%

Section: Approachmentioning

confidence: 99%

“…The incorrect mode transition logic has led to accidents in the past year. The accidents are overcome by improving the Mode transition logic analysis [2,3].…”

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Analyze the Mode Transition Logic of Automatic Flight Control System using Semi-Formal Approach

Kumar¹,

Jayanthi²

2016

J Aeronaut Aerospace Eng

View full text Add to dashboard Cite

show abstract

Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft

Sheregar

Nanda

Kushal

et al. 2017

2017 IEEE Aerospace Conference

View full text Add to dashboard Cite

Analysing MTL properties using NuSMV model checker

Shreya¹,

Nanda

2016

2016 IEEE International Conference on Recent Trends in Electronics, Information &Amp; Communication Technology (RTEICT)

View full text Add to dashboard Cite

Reliability and safety property of any hardware is an important parameter. To achieve this and to improve the performance bounds of the designed system it is important to enhance the efficiency by proper verification techniques. To overcome the problems arising due to the software crisis, formal methods are used. The use of formal methods in aerospace domain is the latest research that is being carried out. Formal verification, a part of formal methods is a mathematical modelling technique used to verify the hardware systems. Technique such as model checking is used to efficiently bridge the gap between design and developed stage of the system with less errors and more efficiency. In this paper, we propose to use NuSMV for verifying the vertical mode functionality of the Mode Transition Logic (MTL). MTL is a very critical functionality in aircraft. It assists the control of trajectories, weather and systems. The NuSMV model checker is used to analyse the functional behaviour of the model. The model is initially designed and developed using Mat-lab/Simulink tool suite. The semantic translation of the MTL model to NuSMV is done by means of specification languages such as CTL and LTL. Test cases generated at the Simulink model level are used as a reference to test the linear and non-linear properties of the MTL vertical model in NuSMV. These test cases are compared with the results obtained using NuSMV analysis. The efficiency is defined by earlier fault detection and improving the software development life cycle of the system.

show abstract

Logic for Mode Transition of Autopilots in Lateral Direction for Commercial Aircrafts

Abstract: Abstract---

Cited by 3 publications

References 2 publications

Analyze the Mode Transition Logic of Automatic Flight Control System using Semi-Formal Approach

Analyze the Mode Transition Logic of Automatic Flight Control System using Semi-Formal Approach

Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft

Analysing MTL properties using NuSMV model checker

Contact Info

Product

Resources

About