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

par Luc Fancelli

Thèse de doctorat en Sciences de l'ingénieur

Sous la direction de Charles André.

Soutenue en 1990

à Nice .


  • Résumé

    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

  • Titre traduit

    A mixed asynchronous/synchronous design method for discrete event system controllers


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (129 f.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 112-116. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Non disponible pour le PEB
  • Cote : 90NICE4386
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Disponible pour le PEB
  • Cote : 90NICE4386BIS

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : MF-1990-FAN
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.