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

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.