Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00044000000000000000" id= "SECTION00044000000000000000">Avionique</a></h2>  <a name="EPATR_domaine_module-12" id= "EPATR_domaine_module-12"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Albert Benveniste, Loïc Besnard, Abdoulaye Elhadji Gamatié, Thierry Gautier, Paul Le Guernic.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>conception synchrone, Statecharts, Scade, Arinc .</i></p> <h3>Résumé :</h3> <div class="ABSTRACT"> <i>Nos activités dans le domaine de l'avionique se sont développées depuis plusieurs années dans le cadre de projets européens, notamment Sacres et SafeAir. Elles concernent tous les aspects du processus de développement, et en particulier la génération de code sur une architecture temps réel.</i> </div> <p>Le domaine de l'avionique est clairement un domaine critique pour les systèmes enfouis, où les industries de pointe sont confrontées à une exigence de sécurité maximale. L'industrie européenne est particulièrement bien placée dans ce secteur et doit conserver et améliorer ses atouts pour répondre à la forte augmentation actuelle en fonctionnalité et en complexité. L'avionique est donc un domaine d'application privilégié pour les méthodes formelles en général et spécialement la technologie synchrone.</p> <p>Dans le cadre de plusieurs projets européens successifs, nous avons été amenés à collaborer étroitement avec des industriels clés du domaine. Il s'agit des projets Synchron, Sacres (voir <a name="tex2html7" href= "http://www.tni.fr/sacres" target="_top" id= "tex2html7">http://www.tni.fr/sacres</a>), Syrf, et aujourd'hui SafeAir (voir section <a href= "contr_module-26_Toc.html#safeair">7.3</a>). La conception de systèmes avioniques s'appuie d'ores et déjà sur un processus de développement suivant le «cycle en V», sur l'emploi de technologies innovantes (utilisation des outils Statemate, Scade, Simulink, par exemple), sur l'utilisation de librairies temps réel standards (Arinc), sur le respect de normes de certification (DO-178B). L'objectif d'un projet comme SafeAir, qui se base sur l'utilisation de ces technologies, est de permettre de réduire de 35 à 40% l'effort de développement des systèmes logiciels aéronautiques, tout en augmentant leur fiabilité : passage du «cycle en V» vers un «cycle en Y», en utilisant des méthodes de conception de haut niveau et des outils de génération automatique de code et de vérification formelle.</p> </body>