• Langue : Français
• Discipline : Productique, automatique et informatique industrielles
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1993

Résumé en langue originale

Les travaux présentés dans ce mémoire proposent une surveillance en ligne de bas niveau dans la conception des systèmes à événements discrets. L'approche proposée, est motivée par trois objectifs principaux : garantir la sécurité humaine et celle des équipements, accroître la disponibilité matérielle et enfin assurer la fiabilité du système de commande. Pour répondre à ces objectifs, le système de surveillance est structuré en deux modules principaux : le module de contrôle de commande (mcc) et le module des filtres de commande (mfc). Le mcc est décomposé en sous-modules dédiés à chaque composant du système physique. Chaque sous-module a pour fonction la détection instantanée (réactivité) des défaillances du composant. Cette détection se fait par un traitement synchrone des évènements générés par le procédé. La programmation synchrone permet d'assurer un contrôle réactif. Le choix d'Esterel, comme langage synchrone, a été motivé pour son expression explicite des contraintes temporelles et son orientation activités. La détection réactive des défaillances, rend implicites les étapes de localisation et d'identification des composants défaillants et évite la propagation d'erreurs à d'autres composants du système. Une méthode de conception du mcc est proposée. Le mfc a pour fonction d'éviter la réalisation des commandes incompatibles avec l'état du procédé. Une démarche de conception des filtres de commande, est proposée afin d'assister le concepteur dans la génération des modèles des composants fonctionnels logiques (cfl). Les objets commandables sont développés afin de modéliser le comportement du système physique. Le modèle comportemental d'un cfl, est constitué des comportements élémentaires des composants contraints. Il s'agit de contraintes de fonctionnement et de sécurité. Une application informatique (coce ou conception des objets commandables élémentaires) est conçue afin d'assister le concepteur dans la modélisation des cfl. Une intégration de cette approche a une démarche de conception des systèmes automatisés (caspaim) est établie