Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Claire Pagetti <>
Submitted on : Monday, February 5, 2018 - 12:55:17 PM
Last modification on : Tuesday, March 16, 2021 - 3:20:07 PM
Long-term archiving on: : Saturday, May 26, 2018 - 12:00:08 AM


Files produced by the author(s)


  • HAL Id : hal-01700859, version 1



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⟩



Record views


Files downloads