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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Confidence in Spacecraft Software: Continuous process improvement in requirements verification


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    01.03.2014


    Format / Umfang :

    1567587 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Runtime verification for autonomous spacecraft software

    Goldberg, A. / Havelund, K. / McGann, C. | Tema Archiv | 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