Methode de conception mixte asynchrone/synchrone pour la realisation de systemes de commande de processus discontinus

par LUC FANCELLI

Thèse de doctorat en Sciences appliquées

Sous la direction de CHARLES ANDRE.

Soutenue en 1990

à Nice .

    mots clés mots clés


  • Résumé

    Nous nous interessons a la conception de la partie commande de systemes automatises. Il s'agit de systemes a evenements discrets que l'on peut concevoir comme un ensemble de taches cooperantes s'executant en parallele et soumises a des contraintes temporelles multiformes imposees par un environnement intrinsequement asynchrone, parallele et fortement hierarchise. Notre methode de conception s'appuie sur un modele formel derive des reseaux de petri permettant de traduire les specificites requises pour le systeme de controle/commande et notamment, les contraintes temporelles multiformes et la hierarchisation. Un concept de factorisation de contraintes favorise l'expression de mecanismes de haut niveau tels que les suspensions d'execution et facilite la mise en evidence d'un squelette de synchronisation pour l'automatisme a concevoir. La technique de mise en uvre effective repose sur la modelisation obtenue et allie les possibilites offertes par l'utilisation d'un executif temps-reel au determinisme et a l'efficacite du code produit par le compilateur du langage synchrone esterel. Le squelette de synchronisation caracterisant la partie reactive de l'application est programme directement en esterel (aspects synchrones) et traduit sous la forme d'un automate deterministe dans lequel le parallelisme de source a ete resolu et mis a plat. Les parties plus transformationnelles sont, pour leur part, decomposees en taches cooperantes gerees a la fois par un executif temps-reel (aspects asynchrones) de type sceptre et par l'automate. Notre etude porte donc a la fois sur la modelisation et la realisation effective de systemes de commande temps-reel. Les apports sont a la fois techniques et conceptuels


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 MF
  • Annexes : 68 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.