Date : 1990
Editeur / Publisher : [Lieu de publication inconnu] : [éditeur inconnu] , 1990
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : Nous nous intéressons à la conception de la partie commande de systèmes automatisés. Il s'agit de systèmes à événements discrets que l'on peut concevoir comme un ensemble de taches coopérantes s'exécutant en parallèle et soumises à des contraintes temporelles multiformes imposées par un environnement intrinsèquement asynchrone, parallèle et fortement hiérarchisé. Notre méthode de conception s'appuie sur un modèle formel dérivé des réseaux de Petri permettant de traduire les spécificités requises pour le système de contrôle/commande et notamment, les contraintes temporelles multiformes et la hiérarchisation. Un concept de factorisation de contraintes favorise l'expression de mécanismes de haut niveau tels que les suspensions d'exécution et facilite la mise en évidence d'un squelette de synchronisation pour l'automatisme à concevoir. La technique de mise en œuvre effective repose sur la modélisation obtenue et allie les possibilités offertes par l'utilisation d'un exécutif temps-réel au déterminisme et à l'efficacité du code produit par le compilateur du langage synchrone ESTEREL. Le squelette de synchronisation caractérisant la partie réactive de l'application est programmé directement en ESTEREL (aspects synchrones) et traduit sous la forme d'un automate déterministe dans lequel le parallélisme de source a été résolu et mis à plat. Les parties plus transformationnelles sont, pour leur part, décomposées en taches coopérantes gérées à la fois par un exécutif temps-réel (aspects asynchrones) de type SCEPTRE et par l'automate. Notre étude porte donc à la fois sur la modélisation et la réalisation effective de systèmes de commande temps-réel. Les apports sont à la fois techniques et conceptuels