Le modèle GRAFCET : réflexion et intégration dans une plate-forme multiformalisme synchrone

par Daniel Gaffé

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

Sous la direction de Charles André.

Soutenue en 1996

à Nice .


  • Résumé

    De la modélisation à la validation, l'approche synchrone est bien adaptée pour concevoir les systèmes informatiques réactifs temps-réles. En Automatique, le modèle synchrone GRAFCET est largement adopté dans le milieu industriel pour modéliser les systèmes automatisés de production. Son pouvoir conceptuel est cependant limité par sa sémantique qui manque encore de formalisation. Pour bénéficier des avantages respectifs de chaque formalisme synchrone, nous préconisons une approche multiformalisme de conception. Le travail présenté dans cette thèse, vise donc à intégrer le modèle GRAFCET dans une plate-forme synchrone. Nous souhaitons ainsi rapprocher les domaines de l'Informatique et de l'Automatique. Pour celà, nous sommes d'abord revenu sur les problèmes d'évolution et de définition qui se rattachent à la sémantique du GRAFCET. Cette étude nous a conduit à définir un nouveau modèle: S-GRAFCET fondé sur une nouvelle interprétation des règles d'évolution. Nous nous sommes ensuite intéressé à la compilation du S-GRAFCET. Deux méthodes sont présentées dans le mémoire, elles ont permis l'élaboration de compilateurs opérationnels. La première est basée sur une réécriture systématique des comportements en ESTEREL, la seconde sur la recherche directe des états stables. Le code généré (machine à états finie) est le point d'entrée pour des générateurs, des simulateurs et des outils de preuves propres à l'approche synchrone. La maîtrise complète de la chaîne de compilation permet également de réaliser des vérifications plus proches du domaine d'application et d'exprimer les propriétés de sûreté en systèmes d'équations booléennes ou directement en GRAFCET.

  • Titre traduit

    The GRAFCET model : discussion and integration in a multiformalism synchronous platform


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication

Le modèle GRAFCET : réflexion et intégration dans une plate-forme multiformalisme synchrone


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (170 p.)
  • Annexes : Bibliogr. (85 réf.)

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Savoie Mont Blanc. Bibliothèque du Laboratoire d'informatique, Systèmes, Traitement de l'information et de la connaissance (LISTIC).
  • Disponible pour le PEB
  • Cote : T P1996/4935
  • Bibliothèque : Université Côte d’Azur. Service commun de la documentation. Bibliothèque Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

Cette thèse a donné lieu à une publication

Informations

  • Sous le titre : Le modèle GRAFCET : réflexion et intégration dans une plate-forme multiformalisme synchrone
  • Détails : 1 vol. (170 p.)
  • Annexes : Bibliogr. (85 réf.)
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.