Model-Based Design, Analysis and Synthesis for TSP Multi-Core Space systems

Abstract : Symmetric multiprocessing (SMP) and Time and Space Partitioning (TSP) are two complementary paradigms for the design of multi-core-based aerospace systems. They impose new steps in the development process: capturing complex configuration attributes, analyzing their correctness – in particular their predictability – while guaranteeing performance. In this context, model-based techniques provide a well-suited framework to design, analyze and automatically synthesize those systems. In this paper, we report on a set of extenstions of TASTE to support SMP and TSP-based multi-core platforms. We first present the key architectural elements of these systems and then detail how these have been integrated as part of the code generation tool-chain. We then present experiments realized on two case studies and two hardware targets, both provided with the RTEMS operating system and XTRATUM hypervisor.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01700859
Contributor : Claire Pagetti <>
Submitted on : Monday, February 5, 2018 - 12:55:17 PM
Last modification on : Friday, September 20, 2019 - 3:06:05 PM
Long-term archiving on : Saturday, May 26, 2018 - 12:00:08 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01700859, version 1

Citation

Christophe Honvault, Jérôme Hugues, Claire Pagetti. Model-Based Design, Analysis and Synthesis for TSP Multi-Core Space systems. ERTS 2018, Jan 2018, Toulouse, France. ⟨hal-01700859⟩

Share

Metrics

Record views

312

Files downloads

367