nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process

verfasst von : Markus Hochstrasser, Stephan Myschik, Florian Holzapfel

Erschienen in: Model-Driven Engineering and Software Development

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Growing software size and complexity paired with its application in increasingly safety-critical environments requires to follow strict software development processes. They demand extensive documented development and verification activities as well as the creation and management of a huge number of artefacts. This paper presents a monolithic, process-oriented build tool for model-based development in MATLAB, Simulink, and Stateflow as well as its application and adaption for the implementation of a flight control algorithm in the light of RTCA DO-178C/DO-331, the accepted standard for airborne software certification. Beyond classical build automation functionality, the tool accelerates achieving a software design compliant to standards and evaluates completeness of process artefacts, their consistency, and correctness at a central place.

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

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Textual Notation for Modeling and Generating Code for Composite Structure

Nächstes Kapitel A Methodology for Generating Tests for Evaluating User-Centric Performance of Mobile Streaming Applications

http://open-do.org [Accessed on 2018/27/04].

Product of The MathWorks Inc. for model-based simulation and software development.

https://www.mathworks.com/help/releases/R2017b/simulink/slref/parameter.html.

Jaffry, David, 2014, http://de.mathworks.com/company/newsletters/articles/best-practices-for-implementing-modeling-guidelines-in-simulink.html [Accessed on 2017/27/07].

Simulink Projects is a MathWorks toolbox for team collaboration and to manage models, https://www.mathworks.com/discovery/simulink-projects.html [Accessed on 2018/28/04].

Persistent repository of data for modeling in SL/SF, https://www.mathworks.com/help/releases/R2017b/simulink/ug/what-is-a-data-dictionary.html [Accessed on 2018/27/04].

https://blogs.mathworks.com/developer/2015/01/20/the-other-kind-of-continuous-integration [Accessed on 2018/27/04].

https://www.eclipse.org/jetty [Accessed on 2018/27/04].

Product of The MathWorks Inc. for code generation out of SL/SF, https://de.mathworks.com/products/embedded-coder.html [Accessed on 2018/27/04].

Product of The MathWorks Inc. to prove structural equivalence of models and thereof generated code, https://www.mathworks.com/products/simulink-code-inspector.html [Accessed on 2018/27/04].

http://www.verocel.com/tools/lifecycle-management/ [Accessed on 2018/27/04].

https://www.ptc.com/de/products/plm/plm-products/integrity [Accessed on 2018/27/04].

https://www.btc-es.de/de/ [Accessed on 2018/27/04].

https://www.squoring.com/en/ [Accessed on 2018/27/04].

Traceability management tool of Dassault Systems, https://www.3ds.com/products-services/catia/products/reqtify/ [Accessed on 2018/27/04].

Traceability management solution of itemis AG, https://www.itemis.com/en/yakindu/traceability/ [Accessed on 2018/27/04].

Apache Ant is a Java library to setup build processes, http://ant.apache.org [Accessed on 2018/27/04].

Apache Maven is a project management and comprehension tool, https://maven.apache.org, [Accessed on 2018/27/04].

Gradle is a build management and automation tool, https://gradle.org [Accessed on 2018/24/04].

Basagiannis, S.: Software certification of airborne cyber-physical systems under DO-178C. In: Proceedings of 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), pp. 1–6. IEEE (2016)

National Research Council (U.S.), National Academies Press (U.S.): Critical Code: Software Producibility for Defense. National Academies Press, Washington, D.C. (2010)

Broy, M., Kirstan, S., Krcmar, H., Schätz, B.: What is the benefit of a model-based design of embedded software systems in the car industry? In: IR Management Association (ed.) Software Design and Development, pp. 310–334. IGI Global (2014)

Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards scalable verification of commercial avionics software. In: AIAA (ed.) Proceedings of AIAA Infotech@Aerospace 2010 (2010)

Paz, A., El Boussaidi, G.: On the exploration of model-based support for DO-178C-compliant avionics software development and certification. In: Proceedings of 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 229–236. IEEE (2016)

Hochstrasser, M., Hornauer, M., Holzapfel, F.: Formal Verification of Flight Control Applications along a Model-Based Development Process: A Case Study, 05 October 2016

Hochstrasser, M., Schatz, S.P., Nürnberger, K., Hornauer, M., Myschik, S., Holzapfel, F.: 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, pp. 69–86. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-65283-2_4CrossRef

Schatz, S.P., et al.: 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 (2016)

Nürnberger, K., Hochstrasser, M., Holzapfel, F.: Execution time analysis and optimisation techniques in the model-based development of a flight control software. IET Cyber-Phys. Syst.: Theory Appl. 2(2), 57–64 (2017). https://doi.org/10.1049/iet-cps.2016.0046

10.

Hochstrasser, M., Myschik, S., Holzapfel, F.: A process-oriented build tool for safety-critical model-based software development. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, pp. 191–202. SCITEPRESS - Science and Technology Publications (2018)

11.

RTCA: DO-178C - Software Considerations in Airborne Systems and Equipment Certification (2011)

12.

RTCA: DO-331 - Model-Based Development and Verification Supplement to DO-178C and DO-278A (2011)

13.

Conrad, M., et al.: Automating code reviews with simulink code inspector. In: Dagstuhl (ed.) Proceedings of VIII Dagstuhl-Workshop, München, fortiss GmbH (2012)

14.

Conrad, M., Friedman, J., Sandmann, G.: Verification and validation according to IEC 61508: a workflow to facilitate the development of high-integrity applications. SAE Int. J. Commercial Veh. 2, 272–279 (2009)CrossRef

15.

Erkinnen, T., Potter, B.: Model-based design for DO-178B with qualified tools. In: AIAA Modeling and Simulation Technologies Conference and Exhibit. American Institute of Aeronautics and Astronautics Inc, Hyatt Regency McCormick Place, Chicago (2009)

16.

Marques, J.C., Yelisetty, S.M.H., Dias, L.A.V., da Cunha, A.M.: Using model-based development as software low-level requirements to achieve airborne software certification. In: Proceedings of 2012 Ninth International Conference on Information Technology - New Generations, pp. 431–436. IEEE (2012)

17.

Potter, B.: Complying with DO-178C and DO-331 using Model-Based Design (2012)

18.

Berglund, T., McCullough, M.: Building and Testing with Gradle. O’Reilly, Beijing and Sebastopol (2011)

19.

Humble, J., Farley, D.: Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation. Tenth printing edn. A Martin Fowler Signature Book. Addison-Wesley, Upper Saddle River (2015)

20.

Sonatype Company: Maven: The Definitive Guide. O’Reilly, Cambridge (2008)

21.

Rahman, A., Partho, A., Meder, D., Williams, L.: Which factors influence practitioners’ usage of build automation tools? In: Proceedings of 2017 IEEE/ACM 3rd International Workshop on Rapid Continuous Software Engineering (RCoSE), pp. 20–26. IEEE (2017)

22.

Dillaber, E., Kendrick, L., Jin, W., Reddy, V. (eds.) Pragmatic Strategies for Adopting Model-Based Design for Embedded Applications. SAE International (2010)

23.

Estrada, R.G., Sasaki, G., Dillaber, E.: Best practices for developing DO-178 compliant software using Model-Based Design. AIAA Infotech@Aerospace, Boston (2013)

24.

Zisman, A.: Using rules for traceability creation. In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 147–170. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2239-5_7CrossRef

25.

Seibel, A., Hebig, R., Giese, H.: Traceability in model-driven engineering: efficient and scalable traceability maintenance. In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 215–240. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2239-5_10CrossRef

26.

Lochmann, H., Hessellund, A.: An integrated view on modeling with multi domain-specific languages. In: Proceedings of the IASTED International Conference Software Engineering (2009)

27.

Holten, D.: Hierarchical edge bundles: visualization of adjacency relations in hierarchical data. IEEE Trans. Vis. Comput. Graph. 12, 741–748 (2006)CrossRef

28.

Quan, Q.: Introduction to Multicopter Design and Control. Springer, Singapore (2017). https://doi.org/10.1007/978-981-10-3382-7CrossRef

29.

The MathWorks Inc.: DO Qualification R2017b: Model-Based Design Workflow for DO-178C (2017)

30.

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

31.

The MathWorks Automotive Advisory Board: MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow: R2016b (2017)

32.

The MathWorks Inc.: DO Qualification Kit - Simulink Code Inspector Tool Operational Requirements: R2017b (2017)

33.

The MathWorks Inc.: Simulink Code Inspector Reference: R2017b, Natick, MA, USA (2017)

34.

Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model. 9, 493–528 (2010)CrossRef

35.

OMG Object Management Group: Software & System Process Engineering Meta-Models Specification (SPEM 2.0), April 2008

36.

Gallina, B.: A model-driven safety certification method for process compliance. In: Proceedings of 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 204–209. IEEE (2014)

37.

Couto, R., Ribeiro, A.N., Campos, J.C.: The modelery: a collaborative web based repository. In: Murgante, B., et al. (eds.) ICCSA 2014. LNCS, vol. 8584, pp. 1–16. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09153-2_1CrossRef

38.

Mahapatra, S., Ghidella, J., Walker, G.: Team-based collaboration in model-based design. In: AIAA Modeling and Simulation Technologies Conference. American Institute of Aeronautics and Astronautics, Reston (2012)

Titel: Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process
verfasst von: Markus Hochstrasser
Stephan Myschik
Florian Holzapfel
Verlag: Springer International Publishing
Buch: Model-Driven Engineering and Software Development
Print ISBN: 978-3-030-11029-1

Electronic ISBN: 978-3-030-11030-7

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-11030-7_17

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

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

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"