Today's software for aerospace systems typically is very complex. This is due to the increasing number of features as well as the high demand for safety, reliability, and quality. This complexity also leads to significant higher software development costs. To handle the software complexity, a structured development process is necessary. Additionally, compliance with relevant standards for quality assurance is a mandatory concern. To assure high software quality, techniques for verification are necessary. Besides traditional techniques like testing, automated verification techniques like model checking become more popular. The latter examine the whole state space and, consequently, result in a full test coverage. Nevertheless, despite the obvious advantages, this technique is rarely yet used for the development of aerospace systems.
A methodology for model-based development and automated verification of software for aerospace systems
2013-03-01
2977210 byte
Conference paper
Electronic Resource
English
Adopting Model-Based Software Design and Verification for Aerospace Systems
SAE Technical Papers | 2017
|Adopting Model-Based Software Design and Verification for Aerospace Systems
British Library Conference Proceedings | 2017
|Software Development Process Model for Aerospace Systems
British Library Conference Proceedings | 1993
|