Skip to main content

A Methodology to Design a Validated Mode Transition Logic

  • Conference paper
  • First Online:
Systems Thinking Approach for Social Problems

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 327))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Asiana 214 flight report ID: DCA13MA120. http://www.ntsb.gov/investigations/2013/asiana214/asiana214.html

  2. 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

    Google Scholar 

  3. 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

    Google Scholar 

  4. Rosenkrans W (2008) Autoflight audit. Flight Safety Foundation, pp 30–35

    Google Scholar 

  5. 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

    Google Scholar 

  6. 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

    Google Scholar 

  7. Rao PS, Chetty S (2002) Rapid prototyping tools for commercial autopilots. In: AIAA guidance, navigation, and control conference and exhibit. AIAA 2002-4651

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Manjunatha Rao .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics