Representation en logique formelle des modeles de systemes dans les etudes de fiabilite

par EMMANUEL DUHESME

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Gondran.

Soutenue en 1997

à Paris 9 .


  • Résumé

    Nous soutenons dans cette these l'idee que les problemes de modelisation des systemes sur lesquels butent les fiabilistes ne sont que les symptomes visibles d'une carence plus generale : l'absence de definition et de validation formelle des modeles. Pour resoudre le probleme de la modelisation des systemes boucles dans les etudes de fiabilite, qui etait a l'origine de la these, nous avons voulu montrer qu'il etait pertinent : - de definir et valider formellement les modeles de ces systemes, - de formaliser les changements de representations operees au cours des etudes, - de prendre en compte, en derniere etape, la semantique donnee aux modeles par l'outil informatique utilise. La logique formelle permet d'exprimer simplement des conditions necessaires et suffisantes pour que les modeles aient de bonnes proprietes relativement a la deduction. Nous avons ainsi montre que les modeles, utilisees pour modeliser les systemes a structure de graphe, sont incomplets des que la topologie du systeme etudie est bouclee. Nous avons aussi demontre que les diverses representations du systeme, utilisees au cours d'une etude, heritent de l'incompletude du modele initial. Nous avons enfin exhibe une methode de completion de ces modeles. Outre l'analyse et la resolution du probleme pose, l'etude formelle a permis : - de definir les axiomes de base de la representation des systemes etudies, - de definir les liens formels entre les diverses representations utilisees au cours des etudes de fiabilite. Ces deux resultats conferent a cette these un domaine d'application qui s'etend a l'ensemble des ateliers logiciels dedies aux etudes de fiabilite. La formalisation des modeles et des etudes qu'elle propose, constitue le travail de specification d'un atelier logiciel dedie aux etudes de fiabilite.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 223 P.
  • Annexes : 52 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.