Component Verification and Certification in NASA Missions
Dimitra Giannakopoulou, John Penix, Peter Norvig · NASA STI Repository (National Aeronautics and Space Administration) · 2001
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.