Précédent : Contrats industriels (nationaux, européens et Remonter : Contrats industriels (nationaux, européens et Suivant : Projet AEE
Précédent : Contrats industriels (nationaux, européens et
Remonter : Contrats industriels (nationaux, européens et
Suivant : Projet AEE
Mots clés : diffusion atomique uniforme temps réel, algorithme synchrone, algorithme asynchrone, condition de faisabilité, avionique modulaire, contrôle de trafic aérien .
Le projet ATR est l'un des projets de l'action conjointe de la DGA/DSP, du MENRT et du CNRS sur le thème ``Maîtrise des systèmes complexes réactifs et sûrs''. Axlog Ingénierie et l'INRIA (projet REFLECS) sont co-responsables de ce projet, qui réunit quatre industriels (Axlog Ingénierie, Dassault Aviation, Thomson Airsys, Thomson TM) et quatre équipes de recherche (LIX, LIAFA, INRIA (projets REFLECS et APACHE)).
Les problèmes applicatifs examinés sont l'Avionique Modulaire et le Contrôle de Trafic Aérien. Comme ce fut le cas pour un contrat précédent [[3]], ces problèmes ont été ``capturés'' selon la méthode TRDF, ce qui a conduit à spécifier le problème de Diffusion atomique uniforme temps réel. Deux solutions algorithmiques, l'une en modèle à phases synchronisées, l'autre en modèle asynchrone, ont été spécifiées et prouvées en 1997. Une deuxième solution algorithmique asynchrone a été conçue par le LIAFA en 1998, en tenant compte en particulier de la nécessité de raisonner en pire cas pour les propriétés temps réel. Les trois solutions ayant été comparées, c'est cette dernière qui a été retenue pour implantation et évaluation expérimentale en 1999.