Action : TICK - tick

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1 align="center">Etude et implémentation des systèmes réactifs synchrones</h1> <p align="center"><strong>TICK<br /> <br /> <br /> Rapport d'activité de l'année 2000<br /> <br /> <br /> <i><a name="tex2html1" href= "http://www.inria.fr/inria/organigramme/fiche_ur-sop.fr.html" target="_top" id="tex2html1">Sophia Antipolis</a></i><br /> <br /> <br /> Thème : <a name="tex2html2" href= "http://www.inria.fr/recherche/equipes/projets_theme1.fr.html" target="_top" id="tex2html2">1c</a><br /> <br /> <br /> <a name="tex2html3" href= "http://www.inria.fr/recherche/equipes/tick.fr.html" target= "_top" id="tex2html3">Page de présentation du projet</a> - Rapport d'activité au format <a name="tex2html4" href= "http://www.inria.fr/rapportsactivite/RA2000/tick/tick.ps.gz" target="_top" id="tex2html4">PostScript</a> ou <a name= "tex2html5" href= "http://www.inria.fr/rapportsactivite/RA2000/tick/tick.pdf" target="_top" id="tex2html5">PDF</a></strong></p> <blockquote> TICK est une action commune entre l'INRIA et le Centre de Mathématiques Appliquées (CMA) de l'Ecole des Mines de Paris. Elle a été fondée au début de l'année 2000 en prolongement de l'ex-projet MEIJE. </blockquote><br /> <hr />  <a name="CHILD_LINKS" id="CHILD_LINKS"></a> <ul> <li> <a name="tex2html16" href="compo_mn.html" target="main" id="tex2html16"><small>Composition de l'équipe</small></a> <ul> <li><a name="tex2html17" href= "compo_mn.html#SECTION00010100000000000000" target= "main" id="tex2html17"><small>Responsable scientifique</small></a></li> <li><a name="tex2html18" href= "compo_mn.html#SECTION00010200000000000000" target= "main" id="tex2html18"><small>Responsable permanent</small></a></li> <li><a name="tex2html19" href= "compo_mn.html#SECTION00010300000000000000" target= "main" id="tex2html19"><small>Assistante de projet</small></a></li> <li><a name="tex2html20" href= "compo_mn.html#SECTION00010400000000000000" target= "main" id="tex2html20"><small>Personnel Inria</small></a></li> <li><a name="tex2html21" href= "compo_mn.html#SECTION00010500000000000000" target= "main" id="tex2html21"><small>Ingénieur expert</small></a></li> <li><a name="tex2html22" href= "compo_mn.html#SECTION00010600000000000000" target= "main" id="tex2html22"><small>Personnel CMA</small></a></li> <li><a name="tex2html23" href= "compo_mn.html#SECTION00010700000000000000" target= "main" id="tex2html23"><small>Chercheurs doctorants</small></a></li> <li><a name="tex2html24" href= "compo_mn.html#SECTION00010800000000000000" target= "main" id="tex2html24"><small>Collaborateurs extérieurs</small></a></li> <li><a name="tex2html25" href= "compo_mn.html#SECTION00010900000000000000" target= "main" id= "tex2html25"><small>Stagiaires</small></a></li> </ul> </li> <li> <a name="tex2html26" href="prese_mn.html" target="main" id="tex2html26"><small>Présentation et objectifs généraux</small></a> <ul> <li><a name="tex2html27" href= "prese_mn.html#SECTION00020100000000000000" target= "main" id="tex2html27"><small>Contexte et Objectifs du projet</small></a></li> <li><a name="tex2html28" href= "prese_mn.html#SECTION00020200000000000000" target= "main" id="tex2html28"><small>Axes de recherche</small></a></li> <li><a name="tex2html29" href= "prese_mn.html#SECTION00020300000000000000" target= "main" id="tex2html29"><small>Relations internationales et industrielles</small></a></li> </ul> </li> <li> <a name="tex2html30" href="fonde_mn.html" target="main" id="tex2html30"><small>Fondements scientifiques</small></a> <ul> <li><a name="tex2html31" href="fonde_Esterel_mn.html" target="main" id="tex2html31"><small>Programmation Réactive Synchrone et Esterel</small></a></li> <li><a name="tex2html32" href= "fonde_verifanalyse_mn.html" target="main" id= "tex2html32"><small>Méthodes d'analyse et de vérification automatique de systèmes réactifs synchrones</small></a></li> </ul> </li> <li> <a name="tex2html33" href="domai_mn.html" target="main" id="tex2html33"><small>Domaines d'applications</small></a> <ul> <li> <a name="tex2html34" href="domai_telecom_mn.html" target="main" id= "tex2html34"><small>Télécommunications</small></a> <ul> <li><a name="tex2html35" href= "domai_telecom_mn.html#SECTION00041100000000000000" target="main" id="tex2html35"><small>Programmation réactive synchrones de protocoles</small></a></li> <li><a name="tex2html36" href= "domai_telecom_mn.html#SECTION00041200000000000000" target="main" id="tex2html36"><small>Spécification de microcontrÔleurs dédiés</small></a></li> </ul> </li> <li><a name="tex2html37" href="domai_transport_mn.html" target="main" id="tex2html37"><small>Systèmes embarqués en avionique/automobile</small></a></li> <li><a name="tex2html38" href="domai_Circuits_mn.html" target="main" id="tex2html38"><small>Synthèse de circuits</small></a></li> <li><a name="tex2html39" href="domai_codesign_mn.html" target="main" id="tex2html39"><small>Conception conjointe matériel / logiciel</small></a></li> </ul> </li> <li> <a name="tex2html40" href="logic_mn.html" target="main" id="tex2html40"><small>Logiciels</small></a> <ul> <li><a name="tex2html41" href= "logic_environnement-_mn.html" target="main" id= "tex2html41"><small>Esterel</small></a></li> <li><a name="tex2html42" href="logic_Xeve_mn.html" target="main" id= "tex2html42"><small>Xeve</small></a></li> </ul> </li> <li> <a name="tex2html43" href="resul_mn.html" target="main" id="tex2html43"><small>Résultats nouveaux</small></a> <ul> <li><a name="tex2html44" href="resul_modulaire_mn.html" target="main" id="tex2html44"><small>Compilation et optimisation modulaire d'Esterel</small></a></li> <li><a name="tex2html45" href= "resul_extensions_mn.html" target="main" id= "tex2html45"><small>Extensions de la syntaxe et expressivité</small></a></li> <li><a name="tex2html46" href="resul_efficace_mn.html" target="main" id="tex2html46"><small>Exécution «efficace» logicielle de programmes Esterel</small></a></li> <li><a name="tex2html47" href= "resul_abstraction_mn.html" target="main" id= "tex2html47"><small>Abstraction de registres dans l'analyse de programmes</small></a></li> <li><a name="tex2html48" href="resul_partition_mn.html" target="main" id="tex2html48"><small>Partitionnement séquentiel pour le calcul symbolique d'états atteignables</small></a></li> <li><a name="tex2html49" href="resul_syncasync_mn.html" target="main" id="tex2html49"><small>Modélisation de réseaux asynchrones de processus synchrones</small></a></li> <li><a name="tex2html50" href="resul_easyverif_mn.html" target="main" id="tex2html50"><small>Spécification simple de propriétés de correction</small></a></li> <li><a name="tex2html51" href="resul_Dc2HDL_mn.html" target="main" id="tex2html51"><small>Connexion avec les formalismes de decriptions de circuits</small></a></li> </ul> </li> <li> <a name="tex2html52" href="contr_mn.html" target="main" id="tex2html52"><small>Contrats industriels (nationaux, européens et internationaux)</small></a> <ul> <li><a name="tex2html53" href="contr_Syntel_mn.html" target="main" id="tex2html53"><small>Programmation synchrone pour les télécommunicatons</small></a></li> <li><a name="tex2html54" href="contr_conjointe_mn.html" target="main" id="tex2html54"><small>Cadence: conception conjointe et globale</small></a></li> <li><a name="tex2html55" href="contr_synthese_mn.html" target="main" id="tex2html55"><small>Synopsys: synthèse de circuits</small></a></li> <li><a name="tex2html56" href= "contr_microproceseur_mn.html" target="main" id= "tex2html56"><small>Intel</small></a></li> </ul> </li> <li> <a name="tex2html57" href="inter_mn.html" target="main" id="tex2html57"><small>Actions régionales, nationales et internationales</small></a> <ul> <li> <a name="tex2html58" href="inter_national_mn.html" target="main" id="tex2html58"><small>Actions nationales</small></a> <ul> <li><a name="tex2html59" href= "inter_national_mn.html#SECTION00081100000000000000" target="main" id="tex2html59"><small>Action de développement AEE</small></a></li> <li><a name="tex2html60" href= "inter_national_mn.html#SECTION00081200000000000000" target="main" id="tex2html60"><small>Action de recherche coopérative S-JAVA</small></a></li> <li><a name="tex2html61" href= "inter_national_mn.html#SECTION00081300000000000000" target="main" id="tex2html61"><small>Action Color-2000 Discobac</small></a></li> </ul> </li> </ul> </li> <li> <a name="tex2html62" href="diffu_mn.html" target="main" id="tex2html62"><small>Diffusion de résultats</small></a> <ul> <li><a name="tex2html63" href="diffu_animation_mn.html" target="main" id="tex2html63"><small>Animation de la Communauté scientifique</small></a></li> <li><a name="tex2html64" href= "diffu_enseignement_mn.html" target="main" id= "tex2html64"><small>Enseignement</small></a></li> </ul> </li> <li><a name="tex2html65" href="bibliographie_mn.html" target="main" id= "tex2html65"><small>Bibliographie</small></a></li> </ul> </body>