Like industrial development organizations, the US space agency struggles with the challenges of creating reliable software. NASA's deep space community is attacking its software crisis via two complementary approaches - one stressing the power of engineering discipline, the other the potential of automated code generation and verification. Both predictable and unpredictable hazards await the spacecraft, robots, and scientific instruments that humans dispatch to explore our solar system. The toughest hazard may be the known presence of unknown bugs in even rigorously tested software. By exploring new technologies and approaches to develop provably reliable software within tough constraints, NASA has a chance to advance the state of the art, contributing to computer science as well as software engineering. In addition, any successful spin-off that improves reliability while cutting development time and costs could, in principle, generate savings for US industry equal to the nation's budget for space exploration.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    NASA's mission reliable


    Beteiligte:
    Regan, P. (Autor:in) / Hamilton, S. (Autor:in)

    Erschienen in:

    Computer, Long Beach ; 37 , 1 ; 59-68


    Erscheinungsdatum :

    2004


    Format / Umfang :

    10 Seiten, 6 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Reliable Service-Oriented Architecture for NASA's Mars Exploration Rover Mission

    Mak, R. / Walton, J. / Keely, L. et al. | British Library Conference Proceedings | 2005


    NASA's STEREO Mission

    Kucera, T. A. | NTRS | 2011


    NASA's STEREO Mission

    Gurman, Joseph B. | NTRS | 2010


    A Reliable Service-Oriented Architecture for NASA's Mars Exploration Rover Mission

    Mak, Ronald / Walton, Joan / Keely, Leslie et al. | NTRS | 2005


    NASA's Interstellar Probe Mission

    Wallace, R. / Ayon, A. / Mewaldt, R. et al. | NTRS | 2000