Projet : HIPERCOM - hipercom

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00073000000000000000" id= "SECTION00073000000000000000">AEE</a></h2>  <a name="HIPERCOM_contrats_AEE" id= "HIPERCOM_contrats_AEE"></a> <p><strong>Mots clés :</strong> <i>analyse déterministe pire cas, ordonnancement temps réel, tolérance aux fautes, système embarqué, architecture opérationnelle, électronique embarquée, transport de personnes .</i></p> <p><br /> <br /> <span class="textbf">Participants :</span> Soumaya Kamoun, Pascale Minet.<br /> <br /></p> <p>Le projet AEE, Architecture Electronique Embarquée [1998-2001], financé par le Ministère de l'Industrie, regroupe des constructeurs (PSA, RENAULT, AEROSPATIALE MATRA Lanceurs ), des équipementiers (SAGEM, SIEMENS, VALEO) et des équipes de recherche (IRCyN, Ecole Centrale de Nantes, LORIA, INRIA).</p> <p>Notre contribution concerne essentiellement la validation des propriétés d'une architecture opérationnelle selon une approche déterministe. Plus particulièrement, il s'agit de déterminer si les contraintes temporelles des tâches (i.e. échéances de terminaison) sont respectées dans tous les scénarios conformes aux hypothèses adoptées (ex. délai minimum inter-arrivée des tâches, nombre maximum d'arrêts de processeur,....). Pour plus de détails sur le projet AEE, se référer à <a name="tex2html7" href="http://aee.inria.fr" target="_top" id="tex2html7">http://aee.inria.fr</a> .</p> </body>