Outils pour la validation temporelle et l'optimisation de programmes synchrones

par APOSTOLOS KOUNTOURIS

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 1998

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Les travaux effectues dans le cadre de cette these visent a la definition eventuelle d'une methodologie de conception - implementation des systemes reactifs temps-reel. Dans beaucoup de cas l'implementation des systemes temps-reel est un probleme de conception conjointe materiel-logiciel, pour la raison simple que la satisfaction de contraintes temporels, necessitent l'adoption des architectures qui contiennent pas seulement des processeurs standards mais aussi de processeurs specialises sous forme de circuits synthetises, afin d'effectuer de maniere performante certaines parties du traitement, et ameliorer la performance globale du systeme. Dans notre approche signal sert comme formalisme de specification et par consequent sa representation interne comme representation interne du design. Ce qu'on espere de mettre en evidence est la capacite de signal et de sa representation interne, d'unifier le processus de developpement pas seulement en permettant de specifier sous le meme formalisme des sous-systemes aux implementations differentes (materiel ou logiciel), et appartenant aux domaines d'application differents, mais aussi en unifiant les diverses activites necessaires a travers les differentes phases de developpement sous la meme representation interne. Le graphe hierarchise aux dependances conditionnees (ghdc) et le calcul d'horloges peuvent renforcer les techniques existantes. Le premier domaine qui nous interesse est l'exploration de l'espace de solutions possibles. Son efficacite depend sur la capacite d'estimer l'impact de diverses choix d'implementation, sur la performance et le cout eventuels du systeme une fois celui-ci realise. En utilisant la representation interne de signal et le calcul d'horloges on va montrer comment on peut ameliorer les resultats de l'analyse temporelle de haut-niveau. Enfin, nous interessons a la synthese automatique de materiel et de logiciel a partir de specifications de haut-niveau. Une fois la phase d'exploration terminee, le code intermediaire pour acceder aux outils de synthese existants (i. E. Compilateurs, outils de synthese comportementale, optimiseurs etc. ), doit etre genere. La generation est automatique afin de garantir la correction du passage d'un langage a un autre. Actuellement les approches automatiques, comparees aux approches manuelles, sont moins performantes et pour cette raison le probleme d'optimisation des resultats a ete etudie afin d'exploiter le calcul d'horloges comme outil d'optimisation.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 226 P.
  • Annexes : 162 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1998/76
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.