Projet : SOLIDOR - solidor

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1><a name="SECTION00030000000000000000" id= "SECTION00030000000000000000"></a> <a name= "SOLIDOR_fondements_" id="SOLIDOR_fondements_"></a><br /> Fondements scientifiques</h1><a name= "SOLIDOR_fondements_introduction" id= "SOLIDOR_fondements_introduction"></a> <p><a name="sec:Fondements" id="sec:Fondements"></a></p> <p><strong>Mots clés :</strong> <i>Architectures logicielles, temps-réel, tolérance aux fautes, informatique mobile, caches .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Le projet Solidor étudie les différentes facettes de la construction de systèmes répartis suivant les axes des architectures logicielles et des systèmes embarqués et/ou sans fil. Les thématiques de recherche qui en découlent recoupent les recherches actuelles en systèmes temps-réel, en tolérance aux fautes, en noyaux de systèmes d'exploitation et en informatique mobile. En complément, le point de vue des architectures logicielles fait appel à une méthodologie de construction de systèmes permettant de bâtir des systèmes corrects garantissant la satisfaction de contraintes applicatives.</i> <p><i>Nous présentons dans les paragraphes suivants un rapide panorama des recherches actuelles dans les domaines abordés par le projet.</i></p> </div> <p><br /></p> <hr />  <a name="CHILD_LINKS" id= "CHILD_LINKS"><strong>Sous-sections</strong></a> <ul> <li> <a name="tex2html141" href="fonde_archi-lo_mn.html" target="main" id="tex2html141"><small>Architectures logicielles de systèmes</small></a> <ul> <li><a name="tex2html142" href= "fonde_archi-lo_mn.html#SECTION00031010000000000000" target="main" id="tex2html142"><small>Propriétés invariantes de l'architecture</small></a></li> <li><a name="tex2html143" href= "fonde_archi-lo_mn.html#SECTION00031020000000000000" target="main" id="tex2html143"><small>Propriétés fonctionnelles</small></a></li> <li><a name="tex2html144" href= "fonde_archi-lo_mn.html#SECTION00031030000000000000" target="main" id="tex2html144"><small>Propriétés d'interaction</small></a></li> <li><a name="tex2html145" href= "fonde_archi-lo_mn.html#SECTION00031040000000000000" target="main" id="tex2html145"><small>Spécification de propriétés non-fonctionnelles</small></a></li> </ul> </li> <li> <a name="tex2html146" href="fonde_temps-reel_mn.html" target="main" id= "tex2html146"><small>Temps-réel</small></a> <ul> <li><a name="tex2html147" href= "fonde_temps-reel_mn.html#SECTION00032010000000000000" target="main" id="tex2html147"><small>Systèmes temps-réel strict.</small></a></li> <li><a name="tex2html148" href= "fonde_temps-reel_mn.html#SECTION00032020000000000000" target="main" id="tex2html148"><small>Systèmes temps-réel souple.</small></a></li> </ul> </li> <li><a name="tex2html149" href= "fonde_tolerance-faut_mn.html" target="main" id= "tex2html149"><small>Tolérance aux fautes</small></a></li> <li><a name="tex2html150" href="fonde_mobile_mn.html" target="main" id="tex2html150"><small>Informatique mobile</small></a></li> </ul> </body>