Model-Based Design, Analysis and Synthesis for TSP Multi-Core Space systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

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

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (401.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01700859 , version 1 (05-02-2018)

Identifiants

  • HAL Id : hal-01700859 , version 1

Citer

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⟩
357 Consultations
465 Téléchargements

Partager

Gmail Facebook X LinkedIn More