NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long distances exploring geographic features formed by surface water early in the planet's history. The software-based functions for these missions will need to be robust and highly reliable, raising significant challenges in the context of recent Mars mission failures attributed to software faults. After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges; 1) Program synthesis tools based on automated inference that generate documentation for manual review and annotations for automated certification. 2) Model-checking tools for concurrent object-oriented software that achieve memorability through synergy with program abstraction and static analysis tools.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Software Construction and Analysis Tools for Future Space Missions


    Contributors:

    Conference:

    TACAS 2002 ; 2002 ; Grenoble, France


    Publication date :

    2002-01-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English





    Onboard science software enabling future space science and space weather missions

    Rilee, M.L. / Boardsen, S.A. / Bhat, M.K. et al. | IEEE | 2002


    7.0505 Onboard Science Software Enabling Future Space Science and Space Weather Missions

    Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2002


    Radiation Shielding Evaluation Tools for Risk Reduction on Future Human Space Missions

    Nounu, Hatem / Kim, Myung-Hee / Cucinotta, Francis | AIAA | 2012


    Future interplanetary unmanned space missions

    Hunter II, M.W. / Moll, R.L. | Engineering Index Backfile | 1967