Analyse de la commandabilité et de l'observabilité de systèmes modélisés hiérarchiquement : étude et réalisation de l'outil informatique PHOEBUS

par Françoise Martinolle

Thèse de doctorat en Électronique

Sous la direction de Jean-Claude Geffroy.

Soutenue en 1990

à Toulouse, INSA .


  • Pas de résumé disponible.


  • Résumé

    Cette these presente une analyse formelle basee sur un modele structuro-fonctionnel hierarchise de machines a etats finies tres utile pour l'evaluation de la testabilite de systemes sequentiels de controle commande. Des operateurs formels, emergence de commandabilite et emergence observationnelle, sont definis pour determiner les parties fonctionnelles commandables et distinguables des modeles de la hierarchie; plusieurs types de redondances fonctionnelles liees a la commandabilite et la distingabilite sont deduites et leurs causes diagnostiquees. Leur detection peut etre exploitee pour restreindre la generation de sequence de test aux seules parties testables et pour apprecier l'optimisation de la conception. Ces operateurs peuvent etre appliques a n'importe quel module de la hierarchie relativement a n'importe lequel de ses ancetres afin d'etudier l'effet de l'integration d'un module sur son fonctionnement commandable et distinguable. Deux autres operateurs, fusion et equivalence observationnelle sont definis pour effectuer l'extraction et la verification logique et temporelle du fonctionnement realise; differents modes temporels de fusion sont etudies. Plusieurs methodes d'application de ces operateurs sont comparees; l'interet de la strategie hierarchisee est souligne. Un prototype d'outil informatique, phoebus, implemente ces operateurs et methodes; il a ete utilise pour l'analyse de testabilite d'un arbitre de bus

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [10]-234 p

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 1990/136/MAR
  • Bibliothèque :
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.