The Space Department's (SD) Embedded Applications Group at the Johns Hopkins University Applied Physics Laboratory (JHU/APL) continues to apply its experience with independent requirements verification to achieve high confidence levels in the quality of Spacecraft Software. NASA's Van Allen Probes observatory, which was launched in August 2012, provides another stepping stone for continuous improvement of our independent software requirements verification process to support future spacecraft missions.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Confidence in Spacecraft Software: Continuous process improvement in requirements verification


    Contributors:


    Publication date :

    2014-03-01


    Size :

    1567587 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Runtime verification for autonomous spacecraft software

    Goldberg, A. / Havelund, K. / McGann, C. | Tema Archive | 2005


    Runtime Verification for Autonomous Spacecraft Software

    Goldberg, A. / Havelund, K. / McGann, C. et al. | British Library Conference Proceedings | 2005


    ADN-BASED PROPULSION FOR SPACECRAFT -KEY REQUIREMENTS AND EXPERIMENTAL VERIFICATION

    Gronland, T. A. / Anflo, K. / Bergman, G. et al. | British Library Conference Proceedings | 2004


    ADN-Based Propulsion for Spacecraft, -Key Requirements and Experimental Verification

    Grönland, Tor-Arne / Anflo, Kjell / Bergman, Göran et al. | AIAA | 2004


    Software Independent Verification and Validation for Spacecraft at JAXA

    Kohtake, Naohiko / Katoh, Atsushi / Ishihama, Naoki et al. | IEEE | 2008