Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process-Reference-Cited by-同舟云学术

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

Published:2019 Issue: Volume: Page:380-405
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Hochstrasser Markus,Myschik Stephan,Holzapfel Florian

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-11030-7_17

Reference38 articles.

1. 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)

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

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

4. 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)

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

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Standard Compliant Requirements-Based Development of a Multilevel Battery Controller for Aerospace Applications;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01

2. Comprehensive Overview of a Process-Oriented Build Tool for Airborne Safety-Critical Software Development;2023 10th International Conference on Recent Advances in Air and Space Technologies (RAST);2023-06-07