Elaboration d'un langage de specification comportementale de systemes automatises

par LUDOVIC GUILLEMAUD

Thèse de doctorat en Traitement du signal et des télécommunications

Sous la direction de Yves Quénec'hdu.

Soutenue en 1998

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Les travaux visant a passer du langage de specification grafcet, a son application programmee dans les automates programmables industriels, le langage de programmation sfc, ont conduit a mettre a jour le besoin d'une extension du cadre operationnel du langage grafcet, dans le but de disposer d'un outil complet de specification comportementale. L'objet de cette these est de proposer une extension aux elements de specification exprimant la valeur des variables de sortie d'un grafcet, elements abordes dans le langage grafcet au travers des actions memorisees et des actions continues. On a donne a la generalisation de ces actions les noms respectifs de comportements declenches et des comportements permanents. Les premiers concernent des taches de calcul complementaires necessaires a la specification, mais non exprimables par l'outil actuel. Ils ont un caractere declenche puisqu'un grafcet aura une influence sur le declenchement de ces comportements. Les seconds font quant a eux, reference a des comportements a caractere continu tel que des regulations ou des suivis de variables d'entree reelles. Si cette these a pour objectif d'etudier ces extensions comportementales, elle doit le faire tout en garantissant au langage de specification complet a obtenir, une semantique precise et non ambigue. Cette garantie est assuree par le support theorique de la theorie des systemes sequentiels (tss), deja utilisee pour donner un sens aux elements de specification principaux du grafcet et valider une specification les comportant ; cette validation s'est notamment traduite par une etude particuliere de l'instabilite des specifications dites fugaces, visant a trouver le graphe des situations stables d'un grafcet. Ainsi, pour rester dans la droite ligne de cette prise en compte de l'instabilite, les specifications comportant les extensions comportementales mises a jour devront avoir une semantique coherente avec celle des grafcets plus simples, traites par la tss.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (200 p.)
  • Annexes : 65 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1998/97
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.