Skip to main content
SpringerLink
Log in
Book cover

Advances in Aerospace Guidance, Navigation and Control pp 69–86Cite as

Aspects of a Consistent Modeling Environment for DO-331 Design Model Development of Flight Control Algorithms

  • Conference paper
  • First Online:

Abstract

This paper shows, how MATLAB, Simulink, and Stateflow are used for the development of high-integrity aircraft controller software at the Institute of Flight System Dynamics at TU München. It introduces the implemented, so-called “Modeling Environment” that configures the tools and supports developers in creating DO-331 compliant Design Models and Source Code (RTCA: DO-331 - Model-Based Development and Verification Supplement to DO-178C and DO-278A, 2011, [20]). The components of the Modeling Environment are explained in detail in the light of the software, hardware, and process context of the controller application. Therefor, the paper distinguishes between two roles of a Design Model. It serves as replacement for Software Low-Level Requirements and Software Architecture on the one hand, and forms the basis for automatic code generation on the other hand. A consistent Modeling Environment unites requirements imposed by both roles. To support this goal, the objective of the paper is to summarize the required content and share gathered experience.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   329.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

Learn about institutional subscriptions

Notes

  1. 1.

    http://www.fsd.mw.tum.de/infrastructure/gnc-subsystems/ [Cited on 6 January 2017].

  2. 2.

    http://de.mathworks.com/help/matlab/matlab_prog/floating-point-numbers.html [Cited on 09/05/2016].

  3. 3.

    Limitations on controlling the identifier format are documented in the Embedded Coder User’s Guide [28] pp. 36–33 “Identifier Format Control Parameters Limitations”.

  4. 4.

    https://polarion.plm.automation.siemens.com/products/polarion-requirements [Cited on 6 January 2017].

  5. 5.

    http://de.mathworks.com/products/simverification/ [Cited on 6 January 2017].

  6. 6.

    Polarion Connector for Simulink, see http://extensions.polarion.com/extensions/173-polarion-connector-for-simulink [Cited on 6 January 2017].

  7. 7.

    http://de.mathworks.com/help/simulink/ug/working-with-data-objects.html [Cited on 6 January 2017].

References

  1. Braun B, Philip S, Peter L, Dambeck J, Holzapfel F (2013) Multi-purpose flying sensor testbed: AIRTEC 2013 aerospace sensors/aerospace testing. Frankfurt a. M., 6 November 2013

    Google Scholar 

  2. Certification Authorities Software Team (2004) Position paper CAST-21 - compiler-supplied libraries, January 2004

    Google Scholar 

  3. Dillaber E, Kendrick L, Jin W, Reddy V (eds) (2010) Pragmatic strategies for adopting model-based design for embedded applications. SAE Int

    Google Scholar 

  4. Erkinnen T, Potter B (2009) Model-based design for DO-178B with qualified tools: AIAA modeling and simulation technologies conference and exhibit. American Institute of Aeronautics and Astronautics Inc, Hyatt Regency McCormick Place, Chicago Illinois

    Book  Google Scholar 

  5. Esterel Technologies SA (2015) Efficient development of safe avionics software with DO-178C objectives using SCADE suite: methodology handbook, June 2015

    Google Scholar 

  6. Estrada RG, Sasaki G, Dillaber E (2013) Best practices for developing DO-178 compliant software using model-based design. AIAA Infotech@Aerospace. Boston. https://doi.org/10.2514/6.2013-4566

    Google Scholar 

  7. European Aviation Safety Agency EASA: certification specifications for normal, utility, aerobatic and commuter category aeroplanes: CS-23 Amendment 3

    Google Scholar 

  8. Federal Aviation Administration FAA (2011) System safety analysis and assessment for part 23 airplanes (AC 23.1309-1E) 17 November 2011

    Google Scholar 

  9. Hochstrasser M, Hornauer M, Holzapfel F (2016) Formal verification of flight control applications along a model-based development process: a case study. In: DGLR Workshop - Software Safety. München, 05 October 2016. http://www.dglr.de/fileadmin/inhalte/dglr/fb/q3/veranstaltungen/L63_Q34_2016_Software_Safety/2016_DGLR_Workshop_TUM_samoconsult.pdf

  10. Hornauer M, Holzapfel F (2011) Model based testing for CS-23 avionic and UAV applications: DGLR workshop 2011. In: DGLR Workshop - Verifikation in der modellbasierten Software-Entwicklung, München

    Google Scholar 

  11. Hornauer M, Schuck F, Holzapfel F (2013) Wechselwirkungen zwischen GNC algorithmus und software. In: DGLR Workshop - Durchgängige Entwicklung von GNC Funktionen - vom Algorithmus zur Embedded Software. München

    Google Scholar 

  12. IEEE Computer Society (2008) IEEE standard for floating point arithmetic (IEEE 754-2008), August 2008

    Google Scholar 

  13. ISO/IEC (1999) Programming languages C - 2nd edn, December 1999

    Google Scholar 

  14. Karlsson E, Gabrys A, Schatz SP, Holzapfel F (2016) Dynamic flight path control coupling for energy and maneuvering integrity. In: IEEE control systems society (ed) proceedings of 14th international conference on control, automation, robotics and vision

    Google Scholar 

  15. Karlsson E, Schatz SP, Baier T, Dörhöfer C, Gabrys A, Hochstrasser M, Krause C, Lauffs PJ, Mumm NC, Nürnberger K, Peter L, Schneider V, Philip S, Steinert L, Zollitsch AW, Holzapfel F (2016) Automatic flight path control of an experimental DA42 general aviation aircraft. In: IEEE control systems society (ed.) proceedings of 14th international conference on control, automation, robotics and vision

    Google Scholar 

  16. Krause C, Holzapfel F (2016) Designing a system automation for a novel UAV demonstrator. In: IEEE control systems society (ed.) proceedings of 14th international conference on control, automation, robotics and vision

    Google Scholar 

  17. Potter B (2012) Complying with DO-178C and DO-331 using model-based design

    Google Scholar 

  18. RTCA (2000) DO-254 - design assurance guidance for airborne electronic hardware

    Google Scholar 

  19. RTCA (2011) DO-178C - software considerations in airborne systems and equipment certification

    Google Scholar 

  20. RTCA (2011) DO-331 - model-based development and verification supplement to DO-178C and DO-278A

    Google Scholar 

  21. RTCA (2011) DO-333 formal methods supplement to DO-178C and DO-278A

    Google Scholar 

  22. Schatz SP, Holzapfel F (2014) Modular trajectory/path following controller using nonlinear error dynamics. In: 2014 IEEE international aerospace electronics and remote sensing technology (ICARES), pp. 157–163. IEEE. https://doi.org/10.1109/ICARES.2014.7024374

  23. Schatz SP, Schneider V, Karlsson E, Holzapfel F, Baier T, Dörhöfer C, Hochstrasser M, Gabrys A, Krause C, Lauffs PJ, Mumm NC, Nürnberger K, Peter L, Spiegel P, Steinert L, Zollitsch AW (2016) Flightplan flight tests of an experimental DA42 generation aviation aircraft. In: IEEE control systems society (ed.) proceedings of 14th international conference on control, automation, robotics and vision

    Google Scholar 

  24. Scheible J (2012) Automatisierte qualitätsbewertung am beispiel von matlab simulink-modellen in der automobil-domäne. Dissertation, Eberhard Karls Universität Tübingen, Tübingen. https://publikationen.uni-tuebingen.de/xmlui/handle/10900/49708

  25. Schneider V, Mumm N, Holzapfel F (2015) Trajectory generation for an integrated mission management system. In: 2014 IEEE international aerospace electronics and remote sensing technology (ICARES). IEEE

    Google Scholar 

  26. Schneider V, Piprek P, Schatz SP, Baier T, Dörhöfer C, Hochstrasser M, Gabrys A, Karlsson E, Krause C, Lauffs PJ, Mumm NC, Nürnberger K, Peter L, Spiegel P, Steinert L, Holzapfel F (2016) Online trajectory generation using clothoid segments. In: IEEE control systems society (ed) proceedings of 14th international conference on control, automation, robotics and vision

    Google Scholar 

  27. The MathWorks automotive advisory board: MathWorks automotive advisory board control algorithm modeling guidelines using MATLAB, Simulink, and Stateflow: R2016b

    Google Scholar 

  28. The MathWorks Inc. Embedded coder user’s guide: R2016b

    Google Scholar 

  29. The MathWorks Inc. Guidelines and factors to consider for code generation: R2016b

    Google Scholar 

  30. The MathWorks Inc. Modeling guidelines for high-integrity systems: R2016b

    Google Scholar 

  31. The MathWorks Inc. (2014) Embedded coder R2014b - MISRA AC AGC compliance considerations

    Google Scholar 

  32. The MathWorks Inc. (2016) DO qualification R2016b: model-based design workflow for DO-178C

    Google Scholar 

  33. The Motor Industry Software Reliability Association (2013) MISRA-C:2012 - Guidelines for the use of C language in critical systems, March 2013

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Flight System Dynamics, Technische Universität München, Munich, Germany

    Markus Hochstrasser, Simon P. Schatz, Kajetan Nürnberger, Markus Hornauer & Florian Holzapfel

  2. Chair of Flight Mechanics and Flight Control, Universität der Bundeswehr München, Neubiberg, Germany

    Stephan Myschik

Authors
  1. Markus Hochstrasser
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Simon P. Schatz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kajetan Nürnberger
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Markus Hornauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Stephan Myschik
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Florian Holzapfel
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Markus Hochstrasser .

Editor information

Editors and Affiliations

  1. Avionics and Control Systems Department, Rzeszów University of Technology, Rzeszów, Poland

    Bogusław Dołęga

  2. The Institute of Aeronautics and Applied Mechanics, Warsaw University of Technology, Warsaw, Poland

    Robert Głębocki

  3. Avionics and Control Systems Department, Rzeszów University of Technology, Rzeszów, Poland

    Damian Kordos

  4. The Institute of Aeronautics and Applied Mechanics, Warsaw University of Technology, Warsaw, Poland

    Marcin Żugaj

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hochstrasser, M., Schatz, S.P., Nürnberger, K., Hornauer, M., Myschik, S., Holzapfel, F. (2018). Aspects of a Consistent Modeling Environment for DO-331 Design Model Development of Flight Control Algorithms. In: Dołęga, B., Głębocki, R., Kordos, D., Żugaj, M. (eds) Advances in Aerospace Guidance, Navigation and Control. Springer, Cham. https://doi.org/10.1007/978-3-319-65283-2_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-65283-2_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-65282-5

  • Online ISBN: 978-3-319-65283-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation