Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal-insu.archives-ouvertes.fr/insu-02270099
Contributor : Axelle Pagnier <>
Submitted on : Friday, August 23, 2019 - 6:18:16 PM
Last modification on : Tuesday, August 27, 2019 - 1:27:30 AM
Long-term archiving on: : Friday, January 10, 2020 - 4:08:22 AM

File

ERTS2008_0042_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270099, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

24

Files downloads

130