Recherche Avancée

Thèse soutenue

Méthode de conception mixte asynchrone/synchrone pour la réalisation de systèmes de commande de processus discontinus

FR  |  
EN
Auteur / Autrice : Luc Fancelli
Direction : Charles André
Type : Thèse de doctorat
Discipline(s) : Sciences de l'ingénieur
Date : Soutenance en 1990
Etablissement(s) : Nice

Mots clés

FR

Mots clés contrôlés

Temps réel (informatique)
Parallélisme (informatique)
Petri, Réseaux de

Résumé

FR

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