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:
    D. Giannakopoulou (Autor:in) / J. Penix (Autor:in)

    Erscheinungsdatum :

    2001


    Format / Umfang :

    3 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Component Verification and Certification in NASA Missions

    Giannakopoulou, Dimitra / Penix, John / Norvig, Peter | NTRS | 2001




    Adapting New Electronic Component Technology on NASA Missions

    Sampson, Michael J. / Agarwal, Shri G. | NTRS | 2019


    Adapting New Electronic Component Technology on NASA Missions

    Sampson, Michael J. / Agarwal, Shri G. | NTRS | 2019