Abstract
Autopilot mode confusion has resulted in many aircraft accidents. This brings out the importance of design validation for the complicated mode transition logic (MTL) for aircraft autopilot systems. A method of implementing mode transition tables in terms of transition and condition tables was developed for the Indian SARAS autopilot. This method is used for designing the mode transition for a generic aircraft. A practical method of reviews, assertions, safe states, and safe transitions is experimented for this design as a process. This practical process has yielded good results and helped the team to come up with the validated MTL. This approach is presented here as an industry experience paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Asiana 214 flight report ID: DCA13MA120. http://www.ntsb.gov/investigations/2013/asiana214/asiana214.html
Joshi A, Miller SP, Heimdahl MPE (2003) Mode confusion analysis of a flight guidance system using formal methods. In: The 22nd digital avionics systems conference (DASC’03), vol 1, pp 2.D.1, 21-12, 12–16 Oct 2003
Hughes D, Dornheim MA, Sparaco P, Phillips EH, Scott WB (1995) Automated cockpits special report (part 1). Aviat Week Space Technol 142(5):52–65
Rosenkrans W (2008) Autoflight audit. Flight Safety Foundation, pp 30–35
Boorman DJ, Mumaw RJ, Pritchett A, Jackson A (2004) A new autoflight/FMS interface: guiding design principles. In: Pritchett A, Jackson A (eds) Proceedings of the international conference on human–computer interaction in aeronautics (CD-ROM), Toulouse
Leveson N, Pinnel LD, Sandys SD, Koga S, Reese JD (1997) Analyzing software specifications for mode confusion potential. In: Proceedings of a workshop on human error and system development, pp 132–146
Rao PS, Chetty S (2002) Rapid prototyping tools for commercial autopilots. In: AIAA guidance, navigation, and control conference and exhibit. AIAA 2002-4651
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer India
About this paper
Cite this paper
Rao, M., Mishra, A., Jeppu, Y., Murthy, N. (2015). A Methodology to Design a Validated Mode Transition Logic. In: Vijay, V., Yadav, S., Adhikari, B., Seshadri, H., Fulwani, D. (eds) Systems Thinking Approach for Social Problems. Lecture Notes in Electrical Engineering, vol 327. Springer, New Delhi. https://doi.org/10.1007/978-81-322-2141-8_24
Download citation
DOI: https://doi.org/10.1007/978-81-322-2141-8_24
Published:
Publisher Name: Springer, New Delhi
Print ISBN: 978-81-322-2140-1
Online ISBN: 978-81-322-2141-8
eBook Packages: EngineeringEngineering (R0)