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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Component Verification and Certification in NASA Missions


    Contributors:

    Publication date :

    2001


    Size :

    3 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English