Fuze : un environnement intégré pour l'analyse formelle de logiciels distribués temps réel

par Jean-Michel Bruel

Thèse de doctorat en Informatique

Sous la direction de Yves Raynaud.

Soutenue en 1996

à Toulouse 3 .


  • Résumé

    Aujourd'hui, les systemes informatiques sont de plus en plus distribues, reactifs et temps reel, rendant leur developpement extremement complexe. La difficulte de developpement de ces systemes rend necessaire l'utilisation de methodes et outils permettant de gerer la complexite et de conduire des specifications non ambigues des comportements desires. Les environnements formels, bases par des outils de developpement ameliorent la qualite de ces systemes. Nous presentons un environnement original de specification de logiciels. Cet environnement est base sur le formalisme z et sur l'integration entre les methodes graphiques orientees objet et les techniques de specification formelle. L'environnement permet d'une part la prise en compte et la verification des proprietes fonctionnelles et non-fonctionnelles du systeme. Nous utilisons dans notre demarche une representation explicite du temps et permet une representation de la dynamique du systeme. D'autre part, cet environnement est base par un outil permettant le developpement et l'analyse de modeles graphiques et formels de la structure et du comportement des systemes etudies

  • Titre traduit

    Fuze: an integrated environment for the formal analysis of distributed and real-time softwares


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : xviii-201 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1996TOU30257
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.