Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1 align="center">Environnement de programmation d'applications temps réel</h1> <p align="center"><strong>EP-ATR<br> <br> <br> Rapport d'activité de l'année 1999<br> <br> <br> <i><a name="tex2html1" href= "/inria/organigramme/fiche_ur-ren.fr.html" target="_top" id= "tex2html1">Rennes</a></i><br> <br> <br> Thème : <a name="tex2html2" href= "/recherche/equipes/projets_theme1.fr.html" target="_top" id= "tex2html2">1c</a><br> <br> <br> <a name="tex2html3" href="/recherche/equipes/epatr.fr.html" target="_top" id="tex2html3">Page de présentation du projet</a> - Rapport d'activité au format <a name="tex2html4" href= "ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA1999/epatr.ps.gz" target="_top" id="tex2html4">PostScript</a> ou <a name= "tex2html5" href= "ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA1999/epatr.pdf" target="_top" id="tex2html5">PDF</a></strong></p><br> <hr>  <a name="CHILD_LINKS" id="CHILD_LINKS"></a> <ul> <li> <a name="tex2html46" href="compo_mn.html" target="main" id="tex2html46"><small>Composition de l'équipe</small></a> <ul> <li><a name="tex2html47" href= "compo_mn.html#SECTION00010100000000000000" target= "main" id="tex2html47"><small>Responsable scientifique</small></a></li> <li><a name="tex2html48" href= "compo_mn.html#SECTION00010200000000000000" target= "main" id="tex2html48"><small>Assistante de projet</small></a></li> <li><a name="tex2html49" href= "compo_mn.html#SECTION00010300000000000000" target= "main" id="tex2html49"><small>Personnel Inria</small></a></li> <li><a name="tex2html50" href= "compo_mn.html#SECTION00010400000000000000" target= "main" id="tex2html50"><small>Personnel CNRS</small></a></li> <li><a name="tex2html51" href= "compo_mn.html#SECTION00010500000000000000" target= "main" id="tex2html51"><small>Personnel Université de Rennes 1</small></a></li> <li><a name="tex2html52" href= "compo_mn.html#SECTION00010600000000000000" target= "main" id="tex2html52"><small>Chercheurs doctorants</small></a></li> </ul> </li> <li> <a name="tex2html53" href="prese_mn.html" target="main" id="tex2html53"><small>Présentation et objectifs généraux</small></a> <ul> <li><a name="tex2html54" href="prese_module-2_mn.html" target="main" id="tex2html54"><small>Contexte des études</small></a></li> <li><a name="tex2html55" href="prese_module-3_mn.html" target="main" id="tex2html55"><small>Objectif général du projet</small></a></li> <li><a name="tex2html56" href="prese_module-4_mn.html" target="main" id="tex2html56"><small>Conception synchrone</small></a></li> <li> <a name="tex2html57" href="prese_module-5_mn.html" target="main" id="tex2html57"><small>Thèmes de recherche</small></a> <ul> <li><a name="tex2html58" href= "prese_module-5_mn.html#SECTION00024100000000000000" target="main" id="tex2html58"><small>Description d'applications</small></a></li> <li><a name="tex2html59" href= "prese_module-5_mn.html#SECTION00024200000000000000" target="main" id="tex2html59"><small>Étude des propriétés des processus synchrones</small></a></li> <li><a name="tex2html60" href= "prese_module-5_mn.html#SECTION00024300000000000000" target="main" id="tex2html60"><small>Méthodes et outils pour la conception d'architectures de mise en oeuvre</small></a></li> <li><a name="tex2html61" href= "prese_module-5_mn.html#SECTION00024400000000000000" target="main" id="tex2html61"><small>Développements et expérimentations</small></a></li> </ul> </li> <li><a name="tex2html62" href="prese_module-6_mn.html" target="main" id="tex2html62"><small>Problèmes ouverts et perspectives</small></a></li> </ul> </li> <li> <a name="tex2html63" href="fonde_mn.html" target="main" id="tex2html63"><small>Fondements scientifiques</small></a> <ul> <li> <a name="tex2html64" href="fonde_module-7_mn.html" target="main" id="tex2html64"><small>Spécification et programmation synchrone</small></a> <ul> <li><a name="tex2html65" href= "fonde_module-7_mn.html#SECTION00031100000000000000" target="main" id="tex2html65"><small>Sémantique synchrone</small></a></li> <li><a name="tex2html66" href= "fonde_module-7_mn.html#SECTION00031200000000000000" target="main" id="tex2html66"><small>Langage Signal</small></a></li> </ul> </li> <li> <a name="tex2html67" href="fonde_module-8_mn.html" target="main" id="tex2html67"><small>Vérification et synthèse</small></a> <ul> <li><a name="tex2html68" href= "fonde_module-8_mn.html#SECTION00032010000000000000" target="main" id="tex2html68"><small>Synthèse d'automatismes discrets</small></a></li> </ul> </li> </ul> </li> <li> <a name="tex2html69" href="domai_mn.html" target="main" id="tex2html69"><small>Domaines d'applications</small></a> <ul> <li><a name="tex2html70" href="domai_module-9_mn.html" target="main" id= "tex2html70"><small>Panorama</small></a></li> <li><a name="tex2html71" href="domai_module-10_mn.html" target="main" id= "tex2html71"><small>Télécommunications</small></a></li> <li><a name="tex2html72" href="domai_module-11_mn.html" target="main" id= "tex2html72"><small>Énergie</small></a></li> </ul> </li> <li> <a name="tex2html73" href="logic_mn.html" target="main" id="tex2html73"><small>Logiciels</small></a> <ul> <li> <a name="tex2html74" href="logic_module-12_mn.html" target="main" id="tex2html74"><small>Environnement de programmation Signal</small></a> <ul> <li> <a name="tex2html75" href= "logic_module-12_mn.html#SECTION00051010000000000000" target="main" id= "tex2html75"><small>Environnement de compilation</small></a> <ul> <li><a name="tex2html76" href= "logic_module-12_mn.html#SECTION00051011000000000000" target="main" id= "tex2html76"><small>Traitements frontaux.</small></a></li> <li><a name="tex2html77" href= "logic_module-12_mn.html#SECTION00051012000000000000" target="main" id= "tex2html77"><small>Transformations du graphe.</small></a></li> <li><a name="tex2html78" href= "logic_module-12_mn.html#SECTION00051013000000000000" target="main" id= "tex2html78"><small>Post-traitements.</small></a></li> </ul> </li> <li><a name="tex2html79" href= "logic_module-12_mn.html#SECTION00051020000000000000" target="main" id="tex2html79"><small>Diffusion du logiciel</small></a></li> </ul> </li> <li><a name="tex2html80" href="logic_module-13_mn.html" target="main" id= "tex2html80"><small>Sigali</small></a></li> </ul> </li> <li> <a name="tex2html81" href="resul_mn.html" target="main" id="tex2html81"><small>Résultats nouveaux</small></a> <ul> <li> <a name="tex2html82" href="resul_module-15_mn.html" target="main" id="tex2html82"><small>Évolutions de Signal et de son environnement</small></a> <ul> <li><a name="tex2html83" href= "resul_module-15_mn.html#SECTION00061010000000000000" target="main" id="tex2html83"><small>Évolutions du langage</small></a></li> <li><a name="tex2html84" href= "resul_module-15_mn.html#SECTION00061020000000000000" target="main" id="tex2html84"><small>Environnement Signal-<small>DC+</small></small></a></li> </ul> </li> <li><a name="tex2html85" href="resul_jp2_mn.html" target="main" id="tex2html85"><small>Structures synchrones</small></a></li> <li><a name="tex2html86" href="resul_module-17_mn.html" target="main" id= "tex2html86"><small><small>BDL</small>, un formalisme synchrone déclaratif pour <small>UML</small></small></a></li> <li> <a name="tex2html87" href="resul_module-18_mn.html" target="main" id="tex2html87"><small>Format commun <small>DC+</small> et multi-formalisme</small></a> <ul> <li><a name="tex2html88" href= "resul_module-18_mn.html#SECTION00064010000000000000" target="main" id= "tex2html88"><small>Multi-formalisme Signal-Lustre-Esterel via <small>DC+</small></small></a></li> <li><a name="tex2html89" href= "resul_module-18_mn.html#SECTION00064020000000000000" target="main" id="tex2html89"><small>Modélisation synchrone de la norme <small>IEC 1131</small> de programmation des systèmes de contrôle</small></a></li> </ul> </li> <li> <a name="tex2html90" href="resul_module-19_mn.html" target="main" id="tex2html90"><small>Vérification et validation</small></a> <ul> <li><a name="tex2html91" href= "resul_module-19_mn.html#SECTION00065010000000000000" target="main" id="tex2html91"><small>Sigali : plate-forme de vérification basée sur les automates</small></a></li> <li><a name="tex2html92" href= "resul_module-19_mn.html#SECTION00065020000000000000" target="main" id="tex2html92"><small>Amélioration du calcul d'horloges</small></a></li> <li><a name="tex2html93" href= "resul_module-19_mn.html#SECTION00065030000000000000" target="main" id="tex2html93"><small>Simulation de systèmes hybrides</small></a></li> </ul> </li> <li> <a name="tex2html94" href="resul_module-20_mn.html" target="main" id="tex2html94"><small>Synthèse automatique de contrôleurs</small></a> <ul> <li><a name="tex2html95" href= "resul_module-20_mn.html#SECTION00066010000000000000" target="main" id="tex2html95"><small>Bisimulation versus contrôle</small></a></li> <li><a name="tex2html96" href= "resul_module-20_mn.html#SECTION00066020000000000000" target="main" id="tex2html96"><small>Observation partielle</small></a></li> <li><a name="tex2html97" href= "resul_module-20_mn.html#SECTION00066030000000000000" target="main" id="tex2html97"><small>Minimisation des contrôleurs</small></a></li> </ul> </li> <li><a name="tex2html98" href="resul_module-21_mn.html" target="main" id="tex2html98"><small>Interprétation abstraite des systèmes réactifs</small></a></li> <li><a name="tex2html99" href="resul_module-22_mn.html" target="main" id="tex2html99"><small>Preuves co-inductives de systèmes réactifs</small></a></li> <li> <a name="tex2html100" href="resul_module-25_mn.html" target="main" id="tex2html100"><small>Mises en oeuvre distribuées</small></a> <ul> <li><a name="tex2html101" href= "resul_module-25_mn.html#SECTION00069010000000000000" target="main" id="tex2html101"><small>Critères pour la distribution de programmes synchrones</small></a></li> <li><a name="tex2html102" href= "resul_module-25_mn.html#SECTION00069020000000000000" target="main" id="tex2html102"><small>Distribution sur une architecture de type «Time Triggered»</small></a></li> </ul> </li> <li><a name="tex2html103" href="resul_jp1_mn.html" target="main" id="tex2html103"><small>Structures de données pour le déploiement asynchrone de systèmes de transition synchrones</small></a></li> <li> <a name="tex2html104" href="resul_module-26_mn.html" target="main" id="tex2html104"><small>Synthèse de circuits et conception de systèmes matériels/logiciels</small></a> <ul> <li><a name="tex2html105" href= "resul_module-26_mn.html#SECTION000611010000000000000" target="main" id= "tex2html105"><small>Pré-synthèse</small></a></li> <li><a name="tex2html106" href= "resul_module-26_mn.html#SECTION000611020000000000000" target="main" id="tex2html106"><small>Génération de chemins de données sous contraintes de ressources</small></a></li> <li><a name="tex2html107" href= "resul_module-26_mn.html#SECTION000611030000000000000" target="main" id="tex2html107"><small>Génération d'automates de contrôle</small></a></li> <li><a name="tex2html108" href= "resul_module-26_mn.html#SECTION000611040000000000000" target="main" id= "tex2html108"><small>.</small></a></li> </ul> </li> <li><a name="tex2html109" href= "resul_module-ail_mn.html" target="main" id= "tex2html109"><small>Architectures embarquées pour l'automobile</small></a></li> <li><a name="tex2html110" href= "resul_module-27_mn.html" target="main" id= "tex2html110"><small>Techniques d'algèbre MaxPlus pour l'évaluation de performances</small></a></li> </ul> </li> <li> <a name="tex2html111" href="contr_mn.html" target="main" id="tex2html111"><small>Contrats industriels (nationaux, européens et internationaux)</small></a> <ul> <li><a name="tex2html112" href= "contr_module-29_mn.html" target="main" id= "tex2html112"><small>Projet Reutel-2000, convention Alcatel Alsthom Recherche/Inria n° 197A93600000MC012 (09/1997-08/2000)</small></a></li> <li> <a name="tex2html113" href="contr_module-31_mn.html" target="main" id="tex2html113"><small>Projet Esprit Sacres, convention n°195C4170031307006 (11/1995-01/1999)</small></a> <ul> <li><a name="tex2html114" href= "contr_module-31_mn.html#SECTION00072010000000000000" target="main" id="tex2html114"><small>Présentation générale</small></a></li> <li><a name="tex2html115" href= "contr_module-31_mn.html#SECTION00072020000000000000" target="main" id="tex2html115"><small>Le format d'échange <small>DC+</small></small></a></li> <li><a name="tex2html116" href= "contr_module-31_mn.html#SECTION00072030000000000000" target="main" id="tex2html116"><small>Activités de <small>EP-ATR</small> dans le cadre du projet Sacres</small></a></li> </ul> </li> <li> <a name="tex2html117" href="contr_module-32_mn.html" target="main" id="tex2html117"><small>Projet Esprit Syrf, convention n°197G04900<small>MPG</small>211 (01/1997-12/1999)</small></a> <ul> <li><a name="tex2html118" href= "contr_module-32_mn.html#SECTION00073010000000000000" target="main" id="tex2html118"><small>Techniques symboliques pour la manipulation d'automates.</small></a></li> <li><a name="tex2html119" href= "contr_module-32_mn.html#SECTION00073020000000000000" target="main" id="tex2html119"><small>Intégration du synchrone et de l'asynchrone.</small></a></li> <li><a name="tex2html120" href= "contr_module-32_mn.html#SECTION00073030000000000000" target="main" id="tex2html120"><small>Hardware et co-design.</small></a></li> <li><a name="tex2html121" href= "contr_module-32_mn.html#SECTION00073040000000000000" target="main" id="tex2html121"><small>Études de cas proposées par <small>EDF</small>.</small></a></li> </ul> </li> <li><a name="tex2html122" href= "contr_module-aee_mn.html" target="main" id= "tex2html122"><small>Projet <small>AEE</small>, convention n° 99.2.93.0122 (01/1999-04/2002)</small></a></li> <li><a name="tex2html123" href= "contr_module-33_mn.html" target="main" id= "tex2html123"><small><small>TNI</small></small></a></li> </ul> </li> <li> <a name="tex2html124" href="inter_mn.html" target="main" id="tex2html124"><small>Actions régionales, nationales et internationales</small></a> <ul> <li> <a name="tex2html125" href="inter_module-34_mn.html" target="main" id="tex2html125"><small>Actions régionales</small></a> <ul> <li><a name="tex2html126" href= "inter_module-34_mn.html#SECTION00081010000000000000" target="main" id="tex2html126"><small>Groupe Télé-Productique Bretagne</small></a></li> </ul> </li> <li> <a name="tex2html127" href="inter_module-35_mn.html" target="main" id="tex2html127"><small>Actions nationales</small></a> <ul> <li><a name="tex2html128" href= "inter_module-35_mn.html#SECTION00082010000000000000" target="main" id="tex2html128"><small>Groupe Grafcet du club <small>EEA</small></small></a></li> <li><a name="tex2html129" href= "inter_module-35_mn.html#SECTION00082020000000000000" target="main" id="tex2html129"><small>Action coopérative Presysa</small></a></li> </ul> </li> </ul> </li> <li> <a name="tex2html130" href="diffu_mn.html" target="main" id="tex2html130"><small>Diffusion de résultats</small></a> <ul> <li><a name="tex2html131" href= "diffu_module-36_mn.html" target="main" id= "tex2html131"><small>Animation de la communauté scientifique</small></a></li> <li><a name="tex2html132" href= "diffu_module-37_mn.html" target="main" id= "tex2html132"><small>Enseignement universitaire</small></a></li> <li><a name="tex2html133" href= "diffu_module-38_mn.html" target="main" id= "tex2html133"><small>Participation à des colloques, séminaires, invitations</small></a></li> </ul> </li> <li><a name="tex2html134" href="bibliographie_mn.html" target="main" id= "tex2html134"><small>Bibliographie</small></a></li> </ul> </body>