Modélisation, validation et contrôle d'exécution des applications temps réel à base de réseaux de petri

par Espérance Rahal-Sallé

Thèse de doctorat en Sciences appliquées

Sous la direction de Pierre Ladet.


  • Résumé

    Une application temps réel est un ensemble de tâches en interaction et en relation avec un environnement. Nous nous proposons de modéliser, à l'aide des réseaux de pétri, les mécanismes de synchronisation et de communication entre tâches et avec l'environnement. Nous utilisons cette modélisation pour valider l'application (étape indispensable avant son exécution) puis pour la surveiller pendant son exécution, afin de détecter tout défaut dans l'enchainement prévu des opérations. Le modèle réseau de pétri est éventuellement renseigné c'est-a-dire complèté par un système de règles représentées ou non elles-mêmes par d'autres modèles réseaux de pétri décrivant les contrôles souhaités par l'utilisateur. Ce dernier pourra ainsi définir son application en précisant d'une part les tâches qui la composent et leur synchronisation et d'autre part, les règles de contrôle qui en assurent la surveillance: opérations effectuées dans un temps enveloppe, ordre des événements attendus, étreinte mortelle, actions contradictoires,…


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 Vol. (154 p.)
  • Annexes : Bibliogr. p. 137-139

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-145
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.