Hugues, Jérôme and Honvault, Christophe and Pagetti, Claire
Model-based design, analysis and synthesis for multi-core and TSP avionics targets.
(2018)
In: 9th European Congress Embedded Real Time Software and Systems (ERTSS), 31 January 2018 - 2 February 2018 (Toulouse, France).
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 274kB |
Official URL: https://www.erts2018.org/authors_detail_inverted_Hugues Jérôme.html
Abstract
Multi-core, and Time and Space Partitionnong sys- tems are two emerging paradigms for architecting avionics systems. They impose new steps in the development process: capturing configuration attributes, analysing their correctness, or guaranteeing performance. In this context, model-based tech- niques provide a framework to design, analyse and synthesize these systems while automating much steps. In this paper, we report on a set of extenstions of TASTE to support multi-core and TSP systems. We first present the key architectural elements of these systems, and then detail how these have been support as part of the generation toolchain. We then present experiments realized on two case studies and two hardware targets, both provided with the XtratuM hypervisor.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
HAL Id: | hal-01852009 |
Audience (conference): | International conference proceedings |
Uncontrolled Keywords: | |
Institution: | Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE) Other partners > ESA - ESTEC (NETHERLANDS) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 31 Jul 2018 12:42 |
Repository Staff Only: item control page