Joao Claudio Rodrigues-Americo - Un méta-modèle de composants pour la réalisation d’applications temps-réel flexibles et modulaires

14:00
Lundi
4
Nov
2013
Organisé par : 

Joao Claudio Rodrigues-Americo

Intervenant : 

Joao Claudio Rodrigues-Americo

Équipes : 
Information détaillée : 

- Composition du jury :

  • M. Jean BEZIVIN Université de Nantes, Rapporteur
  • M. Lionel SEINTURIER Université Lille 1, Rapporteur
  • Mme. Florence MARANINCHI Grenoble INP, Examinateur
  • M. Frédéric MALLET Université Nice Sophia Antipolis, Examinateur
  • M. Andy WELLINGS Université de York, Examinateur
  • M. Didier DONSEZ Université Grenoble 1, Directeur de thèse
Résumé : 

La croissante complexité du logiciel a mené les chercheurs en génie logiciel à chercher des approches pour concevoir et projeter des nouveaux systèmes. Par exemple, les architectures orientées services (SOA) et l’approche orientée composants sont considérées actuellement comme deux des moyens le plus avancés pour réaliser et intégrer rapidement des applications modulaires et flexibles. Une des principales préoccupations des solutions en génie logiciel et la réutilisation, et par conséquent, la généralité de la solution, ce qui peut empêcher son application dans des systèmes où des optimisation sont souvent utilisées, tels que les systèmes temps réel. Ainsi, créer un système temps réel est devenu très coûteux, dû au fait qu’ils sont souvent construits en partant de rien. De plus, la plupart des systèmes temps réel ne bénéficient pas des facilités apportées par le génie logiciel, tels que la modularité et la flexibilité. Ces dernières années, quelques travaux isolés ont proposé des solutions à ce problème, telles que la SOA temps réel et les modèles de composants temps réel. Cette thèse propose un méta-modèle unifié pour la conception d’applications orientées service et composant temps réel. Ce méta-modèle permet la reconfiguration architecturale dynamique dans les applications temps réel, ce qui les rend plus flexibles et modulaires. Services, composants, connexions et plate-formes peuvent être modélisés avec des attributs temps réel, qui sont pris en compte dans les phases de vérifications avant et durant l’exécution de l’applications. En outre, cette thèse propose aussi une méthodologie qui couvre tout le processus de développement, dès la modélisation jusqu’à son exécution. Pour démontrer la généralité de la solution, le méta-modèle est projeté sur des versions étendues des modèles standards AADL, SCA et UML-MARTE. Une plate-forme de déploiement et exécution, basé sur le modèle SCA, a été implémentée, et les évaluations montrent que la qualité de service attendue a été obtenue pour des applications temps réel mou.

Mots-clés : Évolution du logiciel, Adaptation dynamique, Temps-réel, Modèle de Composants, Architecture Orientée Service