Distribution de programmes synchrones : Le cas d'Esterel
Résumé
The realization of modern embedded systems increase the requirements of automatic or semi-automatic code distributing tools. Indeed the evolution of the hardware/software platform use for the realization of such systems turn toward heterogeneous chip network.
Within the context of the synchronous language, all of their advantages, the possibility of distributing optimized code make this technologies more attractive.
Our works consist connect the Esterel language with existing software, which can make the code distribution. Our final choice is the SynDEx software, because this software use the same theoretical foundation (synchronous systems) than Esterel language.
Even, if the SynDEx software and the Esterel language use the same theoretical foundation, the Esterel language and the SynDEx software is different in the way they represent algorithm.
Indeed the Esterel language is a imperative and control oriented language, while the SynDEx software is data flow oriented. In this circumstances, one part of our work consisted to transform the representation of Esterel program to data flow representation. Furthermore, in the goal of increase the evaluation of programs we exploit the structural information of the program to minimize the really active part of the program.
Within the context of the synchronous language, all of their advantages, the possibility of distributing optimized code make this technologies more attractive.
Our works consist connect the Esterel language with existing software, which can make the code distribution. Our final choice is the SynDEx software, because this software use the same theoretical foundation (synchronous systems) than Esterel language.
Even, if the SynDEx software and the Esterel language use the same theoretical foundation, the Esterel language and the SynDEx software is different in the way they represent algorithm.
Indeed the Esterel language is a imperative and control oriented language, while the SynDEx software is data flow oriented. In this circumstances, one part of our work consisted to transform the representation of Esterel program to data flow representation. Furthermore, in the goal of increase the evaluation of programs we exploit the structural information of the program to minimize the really active part of the program.
La réalisation des systèmes embarqués modernes a fait naître le besoin de techniques et outils d'aide à la distribution automatique ou semi-automatique de code. En effet, l'évolution de la plate-forme matérielle/logicielle utilisée pour la réalisation de tels systèmes a tendance à s'orienter vers des réseaux et architectures de processeurs hétérogènes. Dans le cadre des langages synchrones, qui offrent déjà de nombreux avantages liés à une sémantique formelle (Model based design, outils de vérification...), la possibilité de distribution optimisée de code rendrait ces technologies encore plus < attrayantes >.
Notre travail a consisté à rapprocher le langage Esterel de logiciels existants permettant d'effectuer de la distribution de code. Notre choix final s'est porté sur le logiciel SynDEx, puisque ce dernier a l'immense avantage de reposer sur les même fondements théoriques (systèmes synchrones) que le langage Esterel.
Bien que reposant sur les mêmes fondements théoriques, le langage Esterel et le logiciel SynDEx se distinguent par le fait que le premier correspond à un style de langage orienté flot de contrôle tandis que le second utilise pour la représentation des algorithmes un style orienté flot de données. Dans ce contexte, une partie de notre travail a consisté à transformer la représentation des programmes Esterel vers une représentation orientée flot de données.
Notre travail a consisté à rapprocher le langage Esterel de logiciels existants permettant d'effectuer de la distribution de code. Notre choix final s'est porté sur le logiciel SynDEx, puisque ce dernier a l'immense avantage de reposer sur les même fondements théoriques (systèmes synchrones) que le langage Esterel.
Bien que reposant sur les mêmes fondements théoriques, le langage Esterel et le logiciel SynDEx se distinguent par le fait que le premier correspond à un style de langage orienté flot de contrôle tandis que le second utilise pour la représentation des algorithmes un style orienté flot de données. Dans ce contexte, une partie de notre travail a consisté à transformer la représentation des programmes Esterel vers une représentation orientée flot de données.
Domaines
Autre [cs.OH]
Loading...