Skip to Main content Skip to Navigation
Conference papers

System Optimization: A Use Case in the Space Domain

Abstract : The JUpiter ICy moons Explorer mission, JUICE, is the first large-class mission in the Cosmic Vision 2015-2025 program of the European Space Agency. Planned for launch in 2022 and arrival at Jupiter in 2030, it will spend at least three years making detailed observations of the biggest planet in the Solar System and three of its largest moons, Ganymede, Callisto and Europa. JUICE will carry a total of 11 scientific experiments (instruments) to study the gas giant planet and its large ocean-bearing moons. Each instrument will do a number of readings producing streams of data, which will be stored in the on-board mass storage and then transmitted to Earth via a specific protocol. In this paper we present a model-based approach for system optimization in terms of instrument parameters, mass storage configuration, and transmission band allocation. We use standard modeling and testing languages with formal semantics for describing the system and the different configuration scenarios, which are then executed in co-simulation mode to produce (1) very precise results and (2) graphical comparison of different configurations to help trade off.
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01708355
Contributor : Mihal Brumbulli <>
Submitted on : Tuesday, February 13, 2018 - 3:30:17 PM
Last modification on : Saturday, February 17, 2018 - 1:22:09 AM
Document(s) archivé(s) le : Monday, May 7, 2018 - 12:32:37 AM

File

ERTS_2018_paper_3.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01708355, version 1

Collections

Citation

Mihal Brumbulli, Emmanuel Gaudin, Alexandre Cortier, Alain Rossignol. System Optimization: A Use Case in the Space Domain. 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France. ⟨hal-01708355⟩

Share

Metrics

Record views

375

Files downloads

105