The Lunar Atmosphere Dust Environment Explorer (LADEE) mission orbited the moon in order to measure the density, composition, and time variability of the lunar dust environment. The successful mission launched September 7, 2013 and was de-orbited and impacted the moon’s surface on April 17, 2014. The ground-side and onboard flight software for the mission was developed using a Model-Based Software Engineering (MBSE) methodology combined with strong reuse of Government and Commercial Off-The-Shelf (G/COTS) components. Models of the spacecraft and flight software were developed in a graphical dynamics modeling package. Flight software requirements were prototyped and refined using the simulated models. After the model was shown to work as desired in the simulation framework, C-code software was automatically generated from the models. The auto-generated software was then tested in real-time Processor-in-the-Loop and Hardware-in-the-Loop test beds. Traveling Road Show test beds were used for early integration tests with payloads and other subsystems. Traditional techniques for verifying computational sciences models were used to characterize the spacecraft simulation. A lightweight set of formal methods analysis, static analysis, formal inspection, and code coverage analyses was utilized to further reduce defects in the onboard flight software artifacts. These techniques were applied early and often in the development process, iteratively increasing the capabilities of software and fidelity of vehicle models and test beds.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite




    (MBSE)2: Using MBSE to Architect, Implement, and Operate the MBSE System

    Noguchi, Ryan A. / Martin, James / Wheaton, Marilee J. | AIAA | 2020


    The FoReVer Methodology: A MBSE Framework for Formal Verification

    Baracchi, L. / Mazzini, S. / Cimatti, A. et al. | British Library Conference Proceedings | 2013



    RESEARCH ON VERIFICATION TECHNOLOGY OF AIRCRAFT RMS BASED ON MBSE

    Ju, C. / Wang, S. / Wang, T. | TIBKAT | 2021