Abstract FR:

L'ensemble des travaux de cette thèse s'insère dans le cadre de la réalisation des micro-controleur de communication pour des réseaux locaux industriels. L'objectif de cette thèse est la spécification, la conception et la réalisation d'un système de communication temps réel basé sur les protocoles MMS et ATM. L'architecture de notre système de communication MMS/ATM couple le protocole MMS directement avec le protocole ATM. Ce couplage se fait au moyen d'une interface (appelée sous-couche de communication MMS/ATM) qui permet de faire le lien direct entre les services MMS et les services ATM. Les fonctionnalités de cette interface sont décrites. Elles sont aussi spécifiés et validées au moyen d'outils de vérification et de techniques de description formelles. Cette architecture MMS/ATM est réalisée sous forme d'un micro-contrôleur de communication appelé MACAN : MMS/ATM Control Area Network Integrated Circuit. Lors de la réalisation de MACAN, nous avons parcouru toutes les étapes dans le processus de conception d'un circuit intégré selon une méthodologie bien définie. Une évaluation de la complexité et des estimations de performance du MACAN sont présentés comment étant les résultats de nos travaux