MODÉLISATION HÉTÉROGÈNE ET LOGICIEL ENFOUI
 
Les systèmes hétérogènes sont des systèmes utilisant conjointement plusieurs modèles de calcul (automates, flots de données, événements discrets, …). Ce type de modélisation prend une importance croissante dans la conception des systèmes embarqués dans le cadre de l'ingénierie dirigée par les modèles. Actuellement, la plupart des modèles de calcul sont soit décrits de manière informelle en langage naturel, soit décrits par une implémentation de référence qui est généralement l'outil qui supporte le modèle. Pour permettre la spécification de systèmes de façon indépendante des outils utilisés, nous cherchons à décrire les modèles de calcul de façon précise, mais à un niveau d'abstraction plus élevé que celui des langages de programmation. Une thèse est en cours actuellement sur la « Formalisation des modèles d’exécution et de leurs interactions, applications et réalisation d’outils pour les systèmes embarqués. » Cette thèse a déjà produit un méta-modèle qui permet de décrire la structure de modèles de systèmes, et un moteur d'exécution générique qui s'appuie sur un certain nombre d'opérations primitives pour décrire la sémantique des modèles de calcul. L'objectif est de permettre de simuler le comportement d'un système ou de générer son code à partir de son modèle et de la description des modèles de calcul qu'il utilise. Cette description formelle des modèles de calcul permet de plus de préciser les interactions entre modèles de calculs, et donc de donner une sémantique précise aux modèles hétérogènes.

L’équipe est fortement impliquée dans le projet « Usine logicielle » du pôle de compétitivité SYSTEM@TIC PARIS-REGION.

Acteurs : Frédéric BOULANGER, Cécile HARDEBOLLE, Christophe JACQUET, Dominique MARCADET, Assia TOUIL, Guy VIDAL-NAQUET.