Résumé:
Au fur et à mesure que la complexité des systèmes mixtes croît, la co-synthèse d'interfaces de communication pour le co-design devient un processus complexe. Il devient nécessaire de définir de nouvelles méthodes automatiques de haut niveau permettant de maîtriser la complexité et d'aider les concepteurs à synthétiser ses interfaces.
Dans les systèmes mixtes (matériel/logiciel), il est possible de distinguer trois types de communication: communication logiciel/logiciel, communication matériel/matériel, et communication logiciel/matériel. Le premier et le deuxième type de communication posent moins de problèmes puisqu'ils nécessitent un mécanisme simple pour la communication. Par contre, le dernier type pose plus de problèmes, en raison de l'hétérogénéité des composants utilisés pour les deux parties, la nature des traitements, les différences de vitesses, etc. Un autre problème posé par l'étape de co-synthèse d'interface est dû au fait que certains détails de l'interface ne sont connus qu'à l'issue de l'étape de partitionnement.
Le présent mémoire introduit une approche automatique de haut niveau pour la co-synthèse d'interfaces de communication dans le co-design, elle consiste à procéder par affinements successifs sur le code de co-spécification Java. Nous tentons de résoudre un certain nombre des problèmes rencontrés durant la co-synthèse. Des solutions sont proposées pour l'analyse de code, la description des composants architecturaux, et les différentes étapes de co-synthèse d'interfaces.
