Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles. (Contribution to the software execution platform integration in a generative model driven engineering)

Face a la complexite inherente des logiciels multitâches, une approche prometteuse est l'automatisation des developpements. En pratique, cette automatisation se concretise par des generateurs capables de produire des applications logicielles s'executant sur des plates-formes d'execution multitâche (par exemple des systemes d'exploitation multitâches). De tels generateurs constituent alors des ingenieries generatives dirigees par les modeles de ces plates-formes. Aujourd'hui, ces ingenieries decrivent implicitement ces plates-formes dans les generateurs eux-memes. Ces generateurs sont alors efficaces pour un ensemble de preoccupations homogenes, figees et repetitives. Dans le cas des systemes multitâches, les besoins sont certes repetitifs, cependant, ils sont majoritairement heterogenes et evolutifs. Les ingenieries mise en œuvre doivent alors etre adaptables et flexibles. Pour y parvenir, cette etude consiste a modeliser explicitement les plates-formes logicielles d'execution en entree des generateurs afin de les capitaliser et de les reutiliser. Pour cela, elle definit un motif dedie a la modelisation des plates-formes logicielles d'execution, une extension au langage UML destine a la modelisation des plates-formes logicielles d'execution multitâche (le profil Software Resource Modeling) et un style architecturale de transformation de modele integrant ces modeles de plates-formes explicites. Les deux premieres contributions constituent l'extension UML de l'Object Management Group pour la modelisation et l'analyse des systemes embarques temps reel (MARTE).

[1]  Timo Hämäläinen,et al.  UML 2.0 profile for embedded system design , 2005, Design, Automation and Test in Europe.

[2]  Jean-Philippe Babau.  Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel , 2005 .

[3]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[4]  Bran Selic,et al.  On software platforms, their modeling with UML 2, and platform-independent design , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[5]  Damien Chabrol.  Etude, conception et mise en oeuvre d'un protocole de communication synchrone tolérant aux fautes et prédictible sur des composants réseaux standards , 2006 .

[6]  Yann-Gaël Guéhéneuc.  Un cadre pour la traçabilité des motifs de conception , 2003 .

[7]  Sébastien Gérard,et al.  Modélisation UML exécutable pour les systèmes embarqués de l'automobile , 2000 .

[8]  Timo Hämäläinen,et al.  Modeling Embedded Software Platforms with a UML Profile , 2007, FDL.

[9]  João Paulo A. Almeida,et al.  Model-Driven Design of Distributed Applications , 2004, OTM Workshops.

[10]  Giancarlo Guizzardi,et al.  On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models , 2007, DB&IS.

[11]  Jean-Luc Béchennec,et al.  Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[12]  Jean Bézivin,et al.  TCS:: a DSL for the specification of textual concrete syntaxes in model engineering , 2006, GPCE '06.

[13]  Sébastien Gérard,et al.  Contribution à la modélisation explicite des plates-formes d'exécution pour l'IDM , 2007, Obj. Logiciel Base données Réseaux.

[14]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[15]  Francis Alizon,et al.  Les modèles dans l'action à France Télécom avec SmartQVT , 2008 .

[16]  Dae-Kyoo Kim,et al.  Inference of design pattern instances in UML models via logic programming , 2006 .

[17]  Manfred Broy,et al.  Challenges in automotive software engineering , 2006, ICSE.

[18]  Colin Atkinson,et al.  A Generalized Notion of Platforms for Model-Driven Development , 2005, Model-Driven Software Development.

[19]  Hervé Albin-Amiot.  Idiomes et patterns Java : application à la synthèse de code et à la détection , 2003 .

[20]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[21]  Isabelle Puaut,et al.  Worst-case execution time analysis of the RTEMS real-time operating system , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

[22]  Ahmad Badreddin Alkhodre.  Développement formel de systèmes temps réel à l'aide de SDL et IF ( Compilation pour système temps réel ) , 2004 .

[23]  M. G. Harbour,et al.  MAST Real-Time View: a graphic UML tool for modeling object-oriented real-time systems , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[24]  Sébastien Gérard,et al.  First Experiments Using the UML Profile for MARTE , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[25]  Gabor Karsai,et al.  Platform Modeling and Model Transformations for Analysis , 2004, J. Univers. Comput. Sci..

[26]  Sébastien Gérard,et al.  Leveraging Patterns on Domain Models to Improve UML Profile Definition , 2008, FASE.

[27]  Patrick Albert,et al.  A Constrained Object Model for Configuration Based Workflow Composition , 2005, Business Process Management Workshops.

[28]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

[29]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[30]  Frédéric Jouault.  Contribution à l'étude des langages de transformation de modèles , 2006 .

[31]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[32]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[33]  Sangiovanni-VincentelliAlberto,et al.  Platform-Based Design and Software Design Methodology for Embedded Systems , 2001 .

[34]  Jean-François Chauvard.  Liste des figures , 2005 .

[35]  Sébastien Gérard,et al.  Towards a Framework for Explicit Platform-Based Transformations , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[36]  Jean-Marc Jézéquel,et al.  Model-driven analysis and synthesis of textual concrete syntax , 2008, Software & Systems Modeling.

[37]  Jim Steel,et al.  On model typing , 2007, Software & Systems Modeling.

[38]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[39]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[40]  Laurent Nana,et al.  Cheddar: a flexible real time scheduling framework , 2004, SIGAda.

[41]  Hermann Kopetz,et al.  The Complexity Challenge in Embedded System Design , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[42]  Safouan Taha.  Modélisation conjointe logiciel/matériel de systèmes temps réel , 2008 .