Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Reconfiguration Control Method for Faulty Actuator on UAV Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

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

verfasst von : Markus Hochstrasser, Simon P. Schatz, Kajetan Nürnberger, Markus Hornauer, Stephan Myschik, Florian Holzapfel

Erschienen in: Advances in Aerospace Guidance, Navigation and Control

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel An Unusual Structure for a Feedforward Gust Load Alleviation Controller
Nächstes Kapitel Robust Incremental Nonlinear Dynamic Inversion Controller of Hexapod Flight Simulator Motion System
Fußnoten
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”.
 
6
Polarion Connector for Simulink, see http://​extensions.​polarion.​com/​extensions/​173-polarion-connector-for-simulink [Cited on 6 January 2017].
 
Literatur
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
2.
Certification Authorities Software Team (2004) Position paper CAST-21 - compiler-supplied libraries, January 2004
3.
Dillaber E, Kendrick L, Jin W, Reddy V (eds) (2010) Pragmatic strategies for adopting model-based design for embedded applications. SAE Int
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 IllinoisCrossRef
5.
Esterel Technologies SA (2015) Efficient development of safe avionics software with DO-178C objectives using SCADE suite: methodology handbook, June 2015
6.
7.
European Aviation Safety Agency EASA: certification specifications for normal, utility, aerobatic and commuter category aeroplanes: CS-23 Amendment 3
8.
Federal Aviation Administration FAA (2011) System safety analysis and assessment for part 23 airplanes (AC 23.1309-1E) 17 November 2011
9.
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
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
12.
IEEE Computer Society (2008) IEEE standard for floating point arithmetic (IEEE 754-2008), August 2008
13.
ISO/IEC (1999) Programming languages C - 2nd edn, December 1999
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
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
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
17.
Potter B (2012) Complying with DO-178C and DO-331 using model-based design
18.
RTCA (2000) DO-254 - design assurance guidance for airborne electronic hardware
19.
RTCA (2011) DO-178C - software considerations in airborne systems and equipment certification
20.
RTCA (2011) DO-331 - model-based development and verification supplement to DO-178C and DO-278A
21.
RTCA (2011) DO-333 formal methods supplement to DO-178C and DO-278A
22.
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
24.
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
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
27.
The MathWorks automotive advisory board: MathWorks automotive advisory board control algorithm modeling guidelines using MATLAB, Simulink, and Stateflow: R2016b
28.
The MathWorks Inc. Embedded coder user’s guide: R2016b
29.
The MathWorks Inc. Guidelines and factors to consider for code generation: R2016b
30.
The MathWorks Inc. Modeling guidelines for high-integrity systems: R2016b
31.
The MathWorks Inc. (2014) Embedded coder R2014b - MISRA AC AGC compliance considerations
32.
The MathWorks Inc. (2016) DO qualification R2016b: model-based design workflow for DO-178C
33.
The Motor Industry Software Reliability Association (2013) MISRA-C:2012 - Guidelines for the use of C language in critical systems, March 2013
Metadaten
Titel
Aspects of a Consistent Modeling Environment for DO-331 Design Model Development of Flight Control Algorithms
verfasst von
Markus Hochstrasser
Simon P. Schatz
Kajetan Nürnberger
Markus Hornauer
Stephan Myschik
Florian Holzapfel
Copyright-Jahr
2018
Buch
Advances in Aerospace Guidance, Navigation and Control

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

Electronic ISBN: 978-3-319-65283-2

Copyright-Jahr: 2018

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

    Premium Partner

    Bildnachweise