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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Perspectives on aerospace software validation


    Weitere Titelangaben:

    Die Aussichten der Einsatzfaehigkeit von Software fuer die Raumfahrt


    Beteiligte:
    Rubey, R.J. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1972


    Format / Umfang :

    3 Seiten


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013


    Perspectives in aerospace design

    American Institute of Aeronautics and Astronautics | SLUB | 1991




    Verifying Aerospace Software

    W. Visser | NTIS | 2005