Projet : EP-ATR - Projet Cairn, convention France Télécom-Cnet/Inria n°195C0870000MPR011 (04/1995-04/1998)

Projet : EP-ATR

Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : Projets Reutel-Arctica, convention MEN/Inria n°295A5040000MC011

Projet Cairn, convention France Télécom-Cnet/Inria n°195C0870000MPR011 (04/1995-04/1998)

Participants : Thierry Gautier, Paul Le Guernic, Irina Smarandache.

Mots clés : Signal, Alpha, conception conjointe matériel/logiciel, fonction affine .

Résumé :

Le projet Cairn («Codesign d'Applications Irrégulières et Régulières par Niveaux»), action de France Télécom-Cnet, regroupe les projets Api et EP-ATR, sur le thème de la conception conjointe logiciel/matériel en utilisant les langages Signal et Alpha.

Le travail sur le projet Cairn, mis en place dans le cadre des consultations thématiques de France Télécom-Cnet sur le thème «Techniques et outils pour la conception conjointe logiciel/matériel (codesign)», s'est achevé cette année. Cette action regroupait les projets Api et EP-ATR et portait sur l'utilisation conjointe des langages Signal et Alpha pour la spécification, la simulation et la réalisation matérielle et logicielle d'une application [[15]]; l'accent a été mis plus particulièrement sur la conception d'applications embarquées de traitement de signal et d'images, pour lesquelles on peut tirer profit des propriétés complémentaires des deux langages.

Les points de recherche suivants ont donc été abordés :

l'intégration des deux langages et l'étude théorique du problème d'«interfaçage» entre structures régulières (Alpha) et irrégulières (Signal);
l'interface de ces langages à VHDL ainsi qu'à des générateurs logiciels ciblant différentes technologies FPGA, circuits VLSI, réseaux de processeurs SIMD et/ou systoliques, frontaux (langage C);
la conception d'outils de transformation de spécifications, permettant ainsi des manipulations de spécifications adaptées aux différentes technologies visées;
l'évaluation de techniques de conception ainsi que l'identification de stratégies de conception (choix des technologies cibles, vérification, simulation).

Concernant le premier point mentionné ci-dessus, deux niveaux d'interfaçage entre les langages Signal et Alpha ont été étudiés et simulés en utilisant le langage C. L'étude théorique de l'interfaçage a généré par ailleurs la nécessité d'étendre les langages avec des concepts nouveaux. Dans ce cadre, les transformations affines d'horloges ont été étudiées et implémentées en Signal; elles sont l'objet de la thèse d'I. Smarandache [[13]].