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 >. <br />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.<br />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.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00327772 |
| Date | 06 July 2004 |
| Creators | Peix, Fabrice |
| Publisher | Université de Nice Sophia-Antipolis |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.002 seconds