Software free of serious errors and definciencies is essential for aerospace applications. Over the last 15 years validation procedures and techniques have been developed whose success is evidenced by the almost perfect performance of software in critical missile and space applications. These methods will have to be improved if they are to be improved to be suitable for validating the larger and more complex aerospace software systems of the future. The avenues of improvement being explored for the future will increase the suitability of the aerospace validation procedures and techniques for other applications.
Perspectives on aerospace software validation
Die Aussichten der Einsatzfaehigkeit von Software fuer die Raumfahrt
Wescon Conference Records ; 16 ; Sess-3
1972
3 Seiten
Article (Journal)
English
Formal Validation of Aerospace Software
British Library Conference Proceedings | 2013
|Perspectives in aerospace design
SLUB | 1991
|The aerospace world - Aerospace technology Software
Online Contents | 1999
AIAA | 1979
|