The Lunar Atmosphere Dust Environment Explorer (LADEE) mission will orbit the moon in order to measure the density, composition and time variability of the lunar dust environment. The ground-side and onboard flight software for the mission is being developed using a Model-Based Software methodology. In this technique, models of the spacecraft and flight software are developed in a graphical dynamics modeling package. Flight Software requirements are prototyped and refined using the simulated models. After the model is shown to work as desired in this simulation framework, C-code software is automatically generated from the models. The generated software is then tested in real time Processor-in-the-Loop and Hardware-in-the-Loop test beds. Travelling Road Show test beds were used for early integration tests with payloads and other subsystems. Traditional techniques for verifying computational sciences models are used to characterize the spacecraft simulation. A lightweight set of formal methods analysis, static analysis, formal inspection and code coverage analyses are utilized to further reduce defects in the onboard flight software artifacts. These techniques are applied early and often in the development process, iteratively increasing the capabilities of the software and the fidelity of the vehicle models and test beds.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Validation and Verification of LADEE Models and Software


    Contributors:

    Conference:

    51st AIAA Aerospace Sciences Meeting ; 2013 ; Grapevine, TX, United States


    Publication date :

    2013-01-07


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Validation and Verification of LADEE Models and Software

    Gundy-Burlet, K. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013




    LADEE Flight Software: Verification Techniques

    Gundy-Burlet, Karen | NTRS | 2014