Spécification et conception de systèmes complexes temps-réel-strict distribués

par Laurent Carcagno

Thèse de doctorat en Informatique

Sous la direction de D. DOURS.

Soutenue en 1995

à Toulouse 3 .


  • Pas de résumé disponible.


  • Résumé

    Cette these concerne l'etude des systemes complexes temps-reel-strict distribues. L'importance des enjeux economiques et les consequences dramatiques que peuvent entrainer les defaillances de tels systemes, conduisent a developper des methodologies de conception qui prennent en compte les caracteristiques specifiques des systemes a realiser. La premiere partie, methodologie de conception et modelisation des systemes temps reel-strict distribues, introduit les concepts de base sur les systemes temps-reel et precise la demarche methodologique suivie pour passer de la specification d'un systeme temps-reel-strict a la definition complete de sa realisation. Cette methodologie repose sur une modelisation qui prend en compte les caracteristiques intrinseques des systemes temps-reel-strict, qui offre une approche deterministe et realiste en milieu physiquement distribue et qui permet d'obtenir automatiquement la machine la mieux adaptee pour traiter une application donnee. La deuxieme partie description de systemes complexes temps-reel-strict distribues precise le modele retenu pour decrire de tels systemes. C'est un modele de description adapte a la classe des applications visees qui autorise une description parallele et hierarchisee des systemes a realiser. Pour exprimer les applications selon le modele, le concepteur dispose du langage de description r. S. D. L. Ce langage autorise des techniques de parallelisation automatique des modules composant l'application. L'objet de la troisieme partie specification et conception de systemes temps-reel-strict distribues est de presenter l'outil de specification-conception qui permet a un concepteur de decrire graphiquement et textuellement son application en suivant les regles imposees par le modele de description, et de produire une representation v. H. D. L. Autorisant la simulation logique du systeme. Afin d'illustrer les fonctionnalites de cet outil, les differentes etapes de conception d'un systeme temps-reel-strict sont presentees sur un exemple

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : viii-246 p

Où se trouve cette thèse ?

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