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

• Auteur / Autrice : Apostolos Kountouris
• Direction : Paul Le Guernic
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1998
• Etablissement(s) : Rennes 1

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.