Projet de recherche IT/IF/011 (Action de recherche IT)
Le projet a pour objectif l'étude des problèmes liés à l'automatisation de la transformation de la spécification graphique d'un système temps-réel en logiciel pour environnement parallèle. Cette spécification se présente sous forme de machine à états parallèles et hiérarchiques (langage de spécification G++). La transformation est prévue en deux étapes. La première produira un programme abstrait constitué d'un grand nombre de petits processus séquentiels et d'une représentation des contraintes (notamment temporelles) de la spécification et des interactions entre les processus. Dans une deuxième étape, le programme abstrait sera transformé en programme concret pour une architecture parallèle déterminée.
