Synthèse d'architecture pour les circuits de communication : application, projet Prometheus

Une approche de la synthèse d'architecture pour les circuits de communication a été étudiée dans ce mémoire de thèse: elle cherche à implanter systématiquement les protocoles des méthodes d'accès au médium (niveau MAC) à partir d'une description comportementale du protocole. Cette description est effectuée à partir d'un ensemble d'instructions dédiées appelé MACS, dont le compilateur a été prototypé rapidement. La synthèse est basée sur une architecture flexible de modèles qui analyse la syntaxe des trames et qui traite la sémantique des données temps-réel. La translation vers des architectures matérielles est effectuée à partir de graphes transformés qui représentent les caractéristiques du protocole et des méthodes simples d'allocation de modules dont les architectures sont définies au préalable. Cette approche nous permet de prototyper rapidement l'implantation des protocoles de communication de contrôle-commande pour étudier leur comportement par la simulation complète de tout le système. Les travaux de cette thèse ont été supportés en grande partie par le projet européen EURÊKA PROMETHEUS sur la Voiture Intelligente et Sûre qui nous a servi de champ d'applicatio