Du ttm/rttl pour la validation des systemes commandes par grafcet

par PIERRE DE LOOR

Thèse de doctorat en Sciences appliquées

Sous la direction de Gérard Villermain Lecolier.

Soutenue en 1996

à Reims .

    mots clés mots clés


  • Résumé

    Notre travail de these porte sur la validation des systemes commandes par grafcet. L'originalite de l'approche preconisee, reside dans la prise en compte du modele de la partie operative qui constitue, en effet, l'objectif principal de l'automatisation. Ceci permet de limiter considerablement les evolutions possibles du grafcet a celles qui peuvent etre effectivement atteintes au sein du systeme automatise. Pour mettre en uvre cette approche, nous utilisons le formalisme ttm (timed transition model)/rttl (real time temporal logic) qui est adapte a la specification et a la verification des systemes a evenements discrets. Ce formalisme permet d'associer l'asynchronisme et le non determinisme de la partie operative au determinisme et au synchronisme du grafcet. Ainsi, des regles de reecriture generant un ttm equivalent a un systeme commande par grafcet sont elaborees. Un systeme de preuve dedie est egalement mis en uvre afin de valider efficacement des proprietes de securite, de vivacite et de temps de reponse, exprimees en rttl. La methode de validation preconisee est basee sur l'abstraction d'elements non pertinents vis-a-vis de la propriete etudiee. Ces elements sont identifies par le biais d'heuristiques qui prennent en compte l'intention du concepteur refletee par l'interaction entre la commande et la partie operative. Pour asseoir l'approche, une maquette informatique est realisee a l'aide des langages de programmation smalltalk et clp (r). Enfin, une extension de cette approche a la validation des systemes hybrides est egalement proposee


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 178 P.
  • Annexes : 107 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Reims Champagne-Ardenne. Bibliothèque universitaire. Bibliothèque Moulin de la Housse.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.