Etude de la complexite des specifications estelle

par Jean-Luc Raffy

Thèse de doctorat en Sciences appliquées

Sous la direction de Stanislaw Budkowski.

Soutenue en 1998

à Evry-Val d'Essonne .

    mots clés mots clés


  • Résumé

    Le besoin de creer de nouveaux protocoles de communication, plus fiables et plus rapides, est apparu avec l'evolution des systemes de communication. Cependant ces protocoles sont aussi beaucoup plus complexes que les protocoles precedents. Les techniques de description formelle telles que estelle, permettent de specifier un protocole de communication selon un formalisme bien defini, prouver son bon fonctionnement ou mener une simulation quasi exhaustive afin de pouvoir accorder une confiance justifiee en son bon fonctionnement. Il faut pour cela que la specification soit d'une complexite maitrisable. Nous entendons par maitrisable, une complexite telle qu'elle permette de comprendre aisement ce qui est ecrit, de definir facilement des jeux de tests ou bien de pouvoir mener une simulation dans un temps compatible avec le temps de developpement du projet et de pouvoir apporter de modifications sans remettre toute la structure de la specification en cause. La maitrise de la complexite des specifications de protocoles necessite de bien comprendre ou se situe cette complexite, ses causes et ses consequences et d'etre capable de la quantifier. Nous avons donc d'abord determine tous les elements a l'origine de complexite des specifications estelle. Nous avons ensuite concu les mesures permettant de quantifier la complexite a partir de ces elements. Un outil d'analyse de complexite, ecat, a egalement ete developpe, permettant une large experimentation sur 28 specifications non triviales qui representent plus de 100 000 lignes de code. Enfin, un modele de qualite est propose avec un exemple de mise en uvre.

  • Titre traduit

    Study of estelle specifications complexity


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 194 P.
  • Notes : Publication autorisée par le jury
  • Annexes : 66 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.