HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 metadata

https://hal-insu.archives-ouvertes.fr/insu-02270099
Contributor : Axelle Pagnier Connect in order to contact the contributor
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

45

Files downloads

165