Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués

Abstract : We focused on real-time embedded critical systems (RTECS) which present different problems: criticality, respect of time constraints and resources availability such as memory. In order to master design complexity of such systems, Model Driven Engineering (MDE) proposes to model it for analysis purposes and to generate, partially or totally, its execution code. However, these two phases must be correctly connected to ensure the generated code is always enforcing all the properties of the model initially analysed. In addition, the code generator must be adapted to several criteria: in particular to ensure respect of performances or to target different execution platforms which have their own execution constraints and semantics. To realize such an adaptation, the development process requires to evolve transformation rules according to these criteria. Its architecture needs also to allow the selection of the generated software components respecting these criteria.We answer such a problem by proposing a generation process based on the MDE. When the user specifies and validates a high-level model, a model transformation translates automatically this model into a detailed model close to the generated code. To ensure the conservation of the requirements, the detailed model is expressed in the same formalism as the initial model so that it remains analysable (by the same tools initially used). This approach determines the impact of the code generation strategy on the performances of the final system and allows the generator to adapt its strategy, in a given stage, to insure the respect of the system constraints. To facilitate the development and the selection of alternative strategies, we propose a methodology which articulates around a formalism for the orchestration of the transformations, a set of transformation patterns (which factorize and generalize the transformation rules) and an adaptation of software components according to their impact on the performances. We set up this process within the environment OSATE, for which we have developed the framework RAMSES (Refinement of AADL Models for Synthesis of Embedded Systems). We have experimented it on the code generation of the communications between tasks for which several strategies of implementation were defined.
Document type :
Theses
Complete list of metadatas

Cited literature [77 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-01308198
Contributor : Abes Star <>
Submitted on : Wednesday, April 27, 2016 - 1:19:46 PM
Last modification on : Thursday, October 17, 2019 - 12:36:09 PM
Long-term archiving on : Thursday, July 28, 2016 - 10:42:37 AM

File

theseCadoretV2.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01308198, version 1

Collections

Citation

Fabien Cadoret. Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarqués. Systèmes embarqués. Télécom ParisTech, 2014. Français. ⟨NNT : 2014ENST0024⟩. ⟨tel-01308198⟩

Share

Metrics

Record views

244

Files downloads

252