Software development for NASA missions is a particularly challenging task. Missions are extremely ambitious scientifically, have very strict time frames, and must be accomplished with a maximum degree of reliability. Verification technologies must therefore be pushed far beyond their current capabilities. Moreover, reuse and adaptation of software architectures and components must be incorporated in software development within and across missions. This paper discusses NASA applications that we are currently investigating from these perspectives.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Component Verification and Certification in NASA Missions


    Beteiligte:

    Kongress:

    Software Engineering CBSE4 Workshop


    Erscheinungsdatum :

    07.01.2001


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch