Action : TICK - tick

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00044000000000000000" id= "SECTION00044000000000000000">Conception conjointe matériel / logiciel</a></h2> <a name="TICK_domaine_codesign" id= "TICK_domaine_codesign"></a> <p><strong>Mots clés :</strong> <i>ingénierie, circuits digitaux .</i></p> <p>Les systèmes embarqués sont souvent faits de composants mixtes matériel / logiciel dont la conception doit être conjointe. Les langages synchrones sont bien adaptés à ce problème, car ils peuvent être compilés indifféremment sur des cibles matérielles ou logicielles. Nous travaillons dans ce domaine avec la société Cadence Design Systems. Cette société développe des langages fortement inspirés d'Esterel, mais à la syntaxe influencée par les langages C (comme ECL, «Esterel C Language») ou Java (comme Jester, «Java-Esterel»). Nous étudions la possibilité d'intégrer ces formalismes dans le produit VCC (Virtual Components Compiler).</p> <p>Comme les systèmes conjoints n'ont pas d'horloge unique, nous étudions également une version multihorloge du langage.</p> </body>