Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process
| Autor: | Florian Holzapfel, Stephan Myschik, Markus Hochstrasser |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
Correctness
business.industry Computer science Stateflow 020207 software engineering 02 engineering and technology Automation Software development process 020303 mechanical engineering & transports DO-178C Software 0203 mechanical engineering 0202 electrical engineering electronic engineering information engineering Software design Software engineering business computer Workflow management system computer.programming_language |
| Zdroj: | Communications in Computer and Information Science ISBN: 9783030110291 MODELSWARD (Revised Selected Papers) |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|