Elaboration d'un langage de specification comportementale de systemes automatises

Elaboration of a behavioural specification language for automated systems

• Auteur / Autrice : Ludovic Guillemaud
• Direction : Yves Quénec'hdu
• Type : Thèse de doctorat
• Discipline(s) : Traitement du signal et des télécommunications
• Date : Soutenance en 1998
• Etablissement(s) : Rennes 1

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.