Les principaux thèmes
de recherche abordés dans ce domaine sont les suivants :
Les
techniques de modélisation à base de composants sont de plus en plus utilisées
dans la conception des systèmes informatiques distribués et réactifs. Elles
sont basées sur l’utilisation de composants existants, logiciels ou matériels,
de patterns ou des frameworks de conception qui contribuent
fortement à la réduction des coûts de développement de systèmes. Nous étudions
des modèles, méthodes et processus d’ingénierie système permettant la conception
des systèmes à base de composants sûrs de fonctionnement et l’évaluation de
leurs performances. II. Métamodelisation et intégration des modèles formels et semi-formels Malgré leurs avantages, les méthodes formelles rebutent les praticiens à cause de leurs notations et d'un manque de support méthodologique. Pour accroître leur utilisation industrielle, une solution est de les intégrer aux méthodes semi-formelles. Nos travaux portent sur des études théoriques relatives à la collaboration entre les modèles semi-formels et formels en vue de la construction de systèmes complexes. On envisage de réaliser l’intégration de certains outils et modèles formels actuels (langage B, Simulink, outils RTL, outils de conception électroniques EDA …) aux modèles semi-formels UML2/SysML en appliquant les techniques d’ingénierie des modèles MDA (Model-Driven Architecture). La définition
des règles de transformation et leur cohérence restent des problèmes critiques
: des approches telles que OMG MDA ne fournissent que des réponses
balbutiantes. On cherchera donc à se rapprocher des techniques de description
plus formelles, issues de la modélisation des langages de programmation. III. Diagnostics des systèmes et génération automatique des tests La génération automatique des tests à partir des spécifications formelles permet de les améliorer. IV. Architectures des systèmes distribués et parallèles Performances et sécurité des systèmes P2P, Grid Computing et Cloud Computing Parallélisation des programmes V. Simulation numérique et maquette virtuelle Simulation numérique haute performances Réalité virtuelle – Prototypage virtuel VI. Quelques références bibliographiques :
|