Simulation and Validation Strategy on Real-Time Autocoded Onboard Software for Formation Flying In-Orbit Ranging Demonstration

Olivier Bompis , Pierre-Yves Guidotti (1) , Michel Delpech (1) , Bernard Pontet (1)

1 CNES - Centre National d'Études Spatiales [Toulouse]

This article gives an overview of the simulation and validation strategy used for a real- time onboard software (OBSW) module developed on Matlab/Simulink® environment and autocoded into C language using the Real-Time Workshop Embedded Coder® (RTW). This module is the key point of the Formation Flying In-Orbit Ranging Demonstration (FFIORD) on PRISMA satellite mission. To respect requirements on real-time execution conditions and software reliability for space missions, the OBSW module is carefully tested before delivery and integration. Interesting results are obtained based on an inconstancies analysis of the C code produced by RTW, which leads to “good practice” guidelines for Simulink model implementation. Actions realised through this experiment aim at providing a background for the development of adequate Independent Verification and Validation (IV&V) procedures. They give more confidence and experience on the Model-Based Design domain before applying it to large scaled projects.

Keywords: Embedded Autocoded Software; Model Based Design; IV&V; Matlab/Simulink®; RTW®; LEON3; RTEMS

Domains: Computer Science [cs]; Embedded Systems

Olivier Bompis, Pierre-Yves Guidotti, Michel Delpech, Bernard Pontet. Simulation and Validation Strategy on Real-Time Autocoded Onboard Software for Formation Flying In-Orbit Ranging Demonstration. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270099⟩