Un outil de generation et d'aide a la validation de programmes temps-reel multi-transputers

par Olivier Pasquier

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Paul Calvez.

Soutenue en 1993

à Nantes .

    mots clés mots clés


  • Résumé

    L'objectif de ce travail est d'apporter une aide a la realisation et la validation des applications temps-reel implantees sur un reseau de transputers et concues a l'aide de la methodologie mcse. Pour cela, des regles de traduction efficaces de tous les mecanismes du modele fonctionnel ont ete definies et un executif temps-reel multi-processeurs a ete developpe pour supporter les relations. Un generateur de programmes transcrit automatiquement la description fonctionnelle de la solution qui se veut independante de la technologie de realisation en un programme occam qui exploite l'executif developpe. Le code genere tient compte de toutes les contraintes liees a l'architecture cible et a la repartition du logiciel sur celle-ci. Pour la validation de la solution, il est montre que le modele de description fonctionnelle permet de determiner les informations pertinentes pour la validation des applications. Les instructions necessaires a l'extraction temps-reel de ces informations pour creer une trace d'execution sont automatiquement produites par le generateur de programmes. Les informations recueillies sont presentees sous forme graphique, facilitant l'interpretation du deroulement de l'application au niveau fonctionnel. Afin de perturber le moins possible le comportement de l'application et ainsi relever un comportement realiste, une architecture materielle a ete developpee. Elle permet la communication d'informations dans un reseau de transputers sans perturber les processeurs non concernes par les messages

  • Titre traduit

    A software generator and validation assistance tool for real-time multi-transputer applications


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 176 P.
  • Annexes : 85 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. BU Sciences.
  • Accessible pour le PEB

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.
  • Accessible pour le PEB
  • Cote : MF-1993-PAS
  • 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.