Contraintes et temps absolu dans les reseaux de petri application a l'ordonnancement de taches a durees incertaines dans les systemes temps-reel

par Frédéric Boutet

Thèse de doctorat en Informatique industrielle

Sous la direction de Gilles Motet.

Soutenue en 1999

à Toulouse, INSA .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Un systeme temps-reel est caracterise par le fait que son comportement correct depend non seulement des calculs effectues par la machine mais aussi du temps pris par elle pour les executer. Pour un tel systeme, nous sommes ici interesses par les methodes de conception a base de reseaux de petri et les techniques de verification associees. Notre contribution tend a montrer que deux choses : d'une part que l'utilisation des intervalles temporels en temps absolu est possible et souhaitable pour une analyse complementaire a celle en temps relatif ; d'autre part que si un systeme est l'ouvrage de competences provenant de domaines tres divers, les reseaux de petri peuvent etre le support formel des nombreux raisonnements, si varies qu'ils soient, a plusieurs niveaux d'abstraction, pour la realisation d'objectifs tres differents. Ceci est illustre par l'application des reseaux a predicats contraints, qui manipulent des contraintes, aux problemes d'ordonnancement de taches a durees incertaines.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 250 p.
  • Annexes : 127 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Institut national des sciences appliquées. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 1999/500/BOU
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.