OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Model-based design, analysis and synthesis for multi-core and TSP avionics targets

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

Official URL: https://www.erts2018.org/authors_detail_inverted_Hugues Jérôme.html


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:
Deposited On:31 Jul 2018 12:42

Repository Staff Only: item control page