Contribution à la vérification du comportement temporel d'applications Temps Réel

par Emmanuel Mesnard

Thèse de doctorat en Automatique, informatique appliquée

Sous la direction de Jean-Pierre Elloy.

Soutenue en 1994

à Nantes , en partenariat avec École centrale de Nantes (autre partenaire) .


  • Résumé

    Le travail présenté dans cette thèse porte sur la définition d'outils d'analyse comportementale. Le but de ces outils est d'analyser hors ligne des systèmes temps réel dont les contraintes temporelles peuvent être critiques afin de vérifier, a priori que les caractéristiques temporelles sont conformes aux spécifications. La mise au point de ces outils s'est effectuée en trois étapes. Nous avons tout d'abord recherché un ensemble de propriétés qui caractérisent les comportements fonctionnels et temporels d'une application temps réel. Dans un second temps, nous avons posé des hypothèses concernant le mode de description (modèle d'application) et le mode d'exécution de l'application. Ces hypothèses ont été construites dans l'objectif de rendre le comportement de l'application prédictible. Ceci conduit principalement à fixer des règles que le concepteur doit respecter lors de la description de l'application et à utiliser un mode d'exécution particulier basé sur un ordonnancement non préemptif avec une politique de type «tourniquet». Nous définissons alors un modèle d'analyse à base d'un graphe de nœuds, extrait de l'application décrite par des programmes en langage C. Des outils, «fonctionnels» et «temporels», sont enfin proposés pour prédire le comportement de l'application, c'est-à-dire extraire de l'application des caractéristiques fonctionnelles et temporelles sous forme de bornes minimales et maximales. Ces caractéristiques pourront alors être comparées aux spécifications.

  • Titre traduit

    Contribution to the verification of temporal behaviour on real-time applications


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (V-212 p.)
  • Annexes : Bibliogr. p. 205-211 (70 réf.)

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Savoie Mont Blanc. Bibliothèque du Laboratoire d'informatique, Systèmes, Traitement de l'information et de la connaissance (LISTIC).
  • Disponible pour le PEB
  • Cote : T P1994/82
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1508 bis
  • Bibliothèque : Ecole centrale de Nantes. Médiathèque.
  • Disponible pour le PEB
  • Cote : TH 1508
  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : THESE 1994 12 / Labo LURPA

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1994-MES
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.