Validation de systèmes répartis : symétries d'architecture et de données

par François Michel

Thèse de doctorat en Informatique

Sous la direction de Pierre Azéma.

Soutenue en 1996

à Toulouse, INPT .


  • Résumé

    Cette these s'interesse a la validation de systemes repartis par analyse de l'espace des etats accessibles. Les symetries presentes dans un systeme, dans son architecture ou dans ses donnees, sont utilisees pour n'explorer qu'une partie des etats accessibles tout en conservant les capacites de verification et de test. L'exploitation des symetries permet alors l'analyse de systemes que l'explosion combinatoire mettait sinon hors de portee des techniques de description formelle. L'idee de base est de reduire le nombre des etats examines en ne considerant qu'un seul representant par classe d'equivalence d'etats symetriques. Grace a des structures syntaxiques introduites dans le langage de specification, le concepteur peut indiquer les symetries d'architecture ou de traitement du systeme considere. Les principales contributions de cette these sont: - les concepts de pool d'agents permutables et de trames de donnees, qui permettent les prises en compte respectives des symetries d'architecture et de donnees, et leur integration dans le langage ccs, - l'interpretation de ces constructeurs sur le domaine des graphes de comportement, au moyen d'une semantique transitionnelle, - la conception d'une algorithmique basee sur les concepts precedents pour la verification par bissimulation et la generation de tests

  • Titre traduit

    Validation of distributed systems by means of architectural and data symmetrics


  • Pas de résumé disponible.

Autre version

Symétrie d'architecture et de données : validation de systèmes répartis


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 162 f.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. f. 155-162

Où se trouve cette thèse\u00a0?

  • Bibliothèque : École nationale supérieure d'électrotechnique, d'électronique, d'informatique, d'hydraulique et des télécommunications. Bibliothèque.
  • Disponible pour le PEB
  • Cote : 96INPT046H/1

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Non disponible pour le PEB
  • Cote : MF-1996-MIC
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

à

Informations

  • Sous le titre : Symétrie d'architecture et de données : validation de systèmes répartis
  • Détails : 1 vol. (162 p.)
  • Notes : Rapport du LAAS, n°96483.
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.