Toward optimized code generation through model-based optimization

Abstract : Model-Based Development (MBD) provides an additional level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic treatments of these models with dedicated tools like synthesis of system's application by automatic code generation. Real-Time and Embedded Systems (RTES) are often constrained by their environment and/or the resources they own in terms of memory, energy consumption with respect to performance requirements. Hence, an important problem to deal with in RTES development is linked to the optimization of their software part. Although automatic code generation and the use of optimizing compilers bring some answers to application optimization issue, we will show in this paper that optimization results may be enhanced by adding a new level of optimizations in the modeling process. Our arguments are illustrated with examples of the Unified Modeling Language (UML) state machines diagrams which are widely used for control aspect modeling of RTES. The well-known Gnu Compiler Collection (GCC) is used for this study. The paper concludes on a proposal of two step optimization approach that allows reusing as they are, existing compiler optimizations.
Type de document :
Communication dans un congrès
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, Mar 2010, Dresden, Germany. pp.1313--1316, 2010, 〈http://www.date-conference.com/proceedings/PAPERS/2010/DATE10/PDFFILES/IP4_05.PDF〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00522657
Contributeur : Mister Dart <>
Soumis le : mardi 5 octobre 2010 - 09:47:25
Dernière modification le : mercredi 14 février 2018 - 14:17:52
Document(s) archivé(s) le : jeudi 6 janvier 2011 - 02:32:55

Fichier

DATE2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00522657, version 1

Collections

Citation

A. Charfi, C. Mraidha, S. Gerard, F. Terrier, Pierre Boulet. Toward optimized code generation through model-based optimization. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, Mar 2010, Dresden, Germany. pp.1313--1316, 2010, 〈http://www.date-conference.com/proceedings/PAPERS/2010/DATE10/PDFFILES/IP4_05.PDF〉. 〈inria-00522657〉

Partager

Métriques

Consultations de la notice

343

Téléchargements de fichiers

190