Action : VASY-RA - vasy-ra

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1 align="center">Validation de Systèmes - Recherche et Applications</h1> <p align="center"><strong>VASY-RA<br> <br> <br> Rapport d'activité de l'année 1999<br> <br> <br> <i><a name="tex2html1" href= "/inria/organigramme/fiche_ur-ra.fr.html" target="_top" id= "tex2html1">Rhône-Alpes</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/vasy-ra.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/vasy-ra.ps.gz" target="_top" id="tex2html4">PostScript</a> ou <a name= "tex2html5" href= "ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RA/RA1999/vasy-ra.pdf" target="_top" id="tex2html5">PDF</a></strong></p><br> <hr>  <a name="CHILD_LINKS" id="CHILD_LINKS"></a> <ul> <li> <a name="tex2html20" href="compo_mn.html" target="main" id="tex2html20"><small>Composition de l'équipe</small></a> <ul> <li><a name="tex2html21" href= "compo_mn.html#SECTION00010100000000000000" target= "main" id="tex2html21"><small>Responsable scientifique</small></a></li> <li><a name="tex2html22" href= "compo_mn.html#SECTION00010200000000000000" target= "main" id="tex2html22"><small>Assistantes de projet</small></a></li> <li><a name="tex2html23" href= "compo_mn.html#SECTION00010300000000000000" target= "main" id="tex2html23"><small>Personnel Inria</small></a></li> <li><a name="tex2html24" href= "compo_mn.html#SECTION00010400000000000000" target= "main" id="tex2html24"><small>Personnel Bull</small></a></li> <li><a name="tex2html25" href= "compo_mn.html#SECTION00010500000000000000" target= "main" id="tex2html25"><small>Ingénieurs experts</small></a></li> <li><a name="tex2html26" href= "compo_mn.html#SECTION00010600000000000000" target= "main" id="tex2html26"><small>Chercheur post-doctorant</small></a></li> <li><a name="tex2html27" href= "compo_mn.html#SECTION00010700000000000000" target= "main" id="tex2html27"><small>Chercheurs honoraires</small></a></li> <li><a name="tex2html28" href= "compo_mn.html#SECTION00010800000000000000" target= "main" id= "tex2html28"><small>Stagiaires</small></a></li> </ul> </li> <li> <a name="tex2html29" href="prese_mn.html" target="main" id="tex2html29"><small>Présentation et objectifs généraux</small></a> <ul> <li><a name="tex2html30" href= "prese_VASY-99-2-1_mn.html" target="main" id= "tex2html30"><small>Introduction</small></a></li> <li><a name="tex2html31" href= "prese_VASY-99-2-2_mn.html" target="main" id= "tex2html31"><small>Technologie des modèles - vérification</small></a></li> <li><a name="tex2html32" href= "prese_VASY-99-2-3_mn.html" target="main" id= "tex2html32"><small>Technologie des langages - compilation</small></a></li> <li><a name="tex2html33" href= "prese_VASY-99-2-4_mn.html" target="main" id= "tex2html33"><small>Implémentation et expérimentation</small></a></li> </ul> </li> <li><a name="tex2html34" href="domai_mn.html" target="main" id="tex2html34"><small>Domaines d'applications</small></a></li> <li> <a name="tex2html35" href="logic_mn.html" target="main" id="tex2html35"><small>Logiciels</small></a> <ul> <li><a name="tex2html36" href= "logic_VASY-99-4-1_mn.html" target="main" id= "tex2html36"><small>La boîte à outils CADP</small></a></li> <li><a name="tex2html37" href= "logic_VASY-99-4-2_mn.html" target="main" id= "tex2html37"><small>Le compilateur TRAIAN</small></a></li> </ul> </li> <li> <a name="tex2html38" href="resul_mn.html" target="main" id="tex2html38"><small>Résultats nouveaux</small></a> <ul> <li> <a name="tex2html39" href="resul_VASY-99-5-1_mn.html" target="main" id="tex2html39"><small>Technologie des modèles - vérification</small></a> <ul> <li><a name="tex2html40" href= "resul_VASY-99-5-1_mn.html#SECTION00051100000000000000" target="main" id="tex2html40"><small>Développement du simulateur OCIS</small></a></li> <li><a name="tex2html41" href= "resul_VASY-99-5-1_mn.html#SECTION00051200000000000000" target="main" id="tex2html41"><small>Développement de l'outil BCG_MIN</small></a></li> <li><a name="tex2html42" href= "resul_VASY-99-5-1_mn.html#SECTION00051300000000000000" target="main" id="tex2html42"><small>Amélioration de l'évaluateur générique XTL</small></a></li> <li><a name="tex2html43" href= "resul_VASY-99-5-1_mn.html#SECTION00051400000000000000" target="main" id="tex2html43"><small>Développement de l'outil EVALUATOR 3.0</small></a></li> <li><a name="tex2html44" href= "resul_VASY-99-5-1_mn.html#SECTION00051500000000000000" target="main" id= "tex2html44"><small>Parallélisation d'algorithmes de vérification</small></a></li> <li><a name="tex2html45" href= "resul_VASY-99-5-1_mn.html#SECTION00051600000000000000" target="main" id="tex2html45"><small>Génération de tests</small></a></li> </ul> </li> <li> <a name="tex2html46" href="resul_VASY-99-5-2_mn.html" target="main" id="tex2html46"><small>Technologie des langages - compilation</small></a> <ul> <li><a name="tex2html47" href= "resul_VASY-99-5-2_mn.html#SECTION00052100000000000000" target="main" id="tex2html47"><small>Compilation des types du langage LOTOS</small></a></li> <li><a name="tex2html48" href= "resul_VASY-99-5-2_mn.html#SECTION00052200000000000000" target="main" id="tex2html48"><small>Compilation des processus du langage LOTOS</small></a></li> <li><a name="tex2html49" href= "resul_VASY-99-5-2_mn.html#SECTION00052300000000000000" target="main" id="tex2html49"><small>Compilation des types du langage LOTOS NT</small></a></li> <li><a name="tex2html50" href= "resul_VASY-99-5-2_mn.html#SECTION00052400000000000000" target="main" id="tex2html50"><small>Outils de génération de compilateurs</small></a></li> <li><a name="tex2html51" href= "resul_VASY-99-5-2_mn.html#SECTION00052500000000000000" target="main" id="tex2html51"><small>Portage de logiciels vers le système d'exploitation Windows</small></a></li> </ul> </li> <li> <a name="tex2html52" href="resul_VASY-99-5-3_mn.html" target="main" id="tex2html52"><small>Etudes de cas et applications pratiques</small></a> <ul> <li><a name="tex2html53" href= "resul_VASY-99-5-3_mn.html#SECTION00053100000000000000" target="main" id="tex2html53"><small>Protocole de cohérence de caches CC-NUMA ``Fame''</small></a></li> <li><a name="tex2html54" href= "resul_VASY-99-5-3_mn.html#SECTION00053200000000000000" target="main" id="tex2html54"><small>Applications embarquées sur cartes à puces</small></a></li> <li><a name="tex2html55" href= "resul_VASY-99-5-3_mn.html#SECTION00053300000000000000" target="main" id="tex2html55"><small>Autres études de cas</small></a></li> </ul> </li> </ul> </li> <li> <a name="tex2html56" href="contr_mn.html" target="main" id="tex2html56"><small>Contrats industriels (nationaux, européens et internationaux)</small></a> <ul> <li><a name="tex2html57" href= "contr_VASY-99-6-1_mn.html" target="main" id= "tex2html57"><small>Action FormalFame (Dyade)</small></a></li> <li><a name="tex2html58" href= "contr_VASY-99-6-2_mn.html" target="main" id= "tex2html58"><small>Action SmartTools (Dyade)</small></a></li> <li><a name="tex2html59" href= "contr_VASY-99-6-3_mn.html" target="main" id= "tex2html59"><small>Contrat Reutel-2000 (Alcatel)</small></a></li> </ul> </li> <li> <a name="tex2html60" href="inter_mn.html" target="main" id="tex2html60"><small>Actions régionales, nationales et internationales</small></a> <ul> <li> <a name="tex2html61" href="inter_VASY-99-7-1_mn.html" target="main" id="tex2html61"><small>Actions nationales</small></a> <ul> <li><a name="tex2html62" href= "inter_VASY-99-7-1_mn.html#SECTION00071100000000000000" target="main" id="tex2html62"><small>Groupes de travail nationaux</small></a></li> <li><a name="tex2html63" href= "inter_VASY-99-7-1_mn.html#SECTION00071200000000000000" target="main" id="tex2html63"><small>Relations bilatérales nationales</small></a></li> </ul> </li> <li> <a name="tex2html64" href="inter_VASY-99-7-2_mn.html" target="main" id="tex2html64"><small>Actions internationales</small></a> <ul> <li><a name="tex2html65" href= "inter_VASY-99-7-2_mn.html#SECTION00072100000000000000" target="main" id="tex2html65"><small>Groupes de travail internationaux</small></a></li> <li><a name="tex2html66" href= "inter_VASY-99-7-2_mn.html#SECTION00072200000000000000" target="main" id="tex2html66"><small>Relations bilatérales internationales</small></a></li> </ul> </li> <li><a name="tex2html67" href= "inter_VASY-99-7-3_mn.html" target="main" id= "tex2html67"><small>Accueil de chercheurs français et étrangers</small></a></li> </ul> </li> <li> <a name="tex2html68" href="diffu_mn.html" target="main" id="tex2html68"><small>Diffusion de résultats</small></a> <ul> <li><a name="tex2html69" href= "diffu_VASY-99-8-1_mn.html" target="main" id= "tex2html69"><small>Diffusion de logiciels</small></a></li> <li><a name="tex2html70" href= "diffu_VASY-99-8-2_mn.html" target="main" id= "tex2html70"><small>Animation de la communauté scientifique</small></a></li> <li><a name="tex2html71" href= "diffu_VASY-99-8-3_mn.html" target="main" id= "tex2html71"><small>Enseignement universitaire</small></a></li> <li><a name="tex2html72" href= "diffu_VASY-99-8-4_mn.html" target="main" id= "tex2html72"><small>Participation à des colloques, séminaires, invitations</small></a></li> </ul> </li> <li><a name="tex2html73" href="bibliographie_mn.html" target="main" id= "tex2html73"><small>Bibliographie</small></a></li> </ul> </body>