Contrats de recherches

• Contrat ATR : j'ai participé au projet ATR (Accord temps réel) de l'action conjointe MENSER, CNRS, DRET ``maîtrise des Systèmes Réactifs et Sûrs''. Ce contrat a, dans un premier temps, défini en collaboration avec des partenaires industriels (Thomson-CSF et Dassault aviation) le problème d'accord à traiter. Le problème choisi a été la diffusion atomique temps réel. La solution algorithmique retenue est celle développée par C. Delporte et moi-même. Il s'agit des systèmes de phases synchronisées décrits plus haut. Notons que cette solution algorithmique a donné lieu à une implémentation par un partenaire industriel (AXLOG) sur une plate-forme de tests. Cette implémentation a été ensuite validée par des scénarios de tests fournis par les partenaires industriels. Un étude de la validité des hypothèses a été réalisée par l'IMAG à partir de modèles probabilistes.
• Contrat AGS : depuis octobre 2001, je participe avec des chercheurs de l'INRIA et de l'IRISA à l'étude Architectures Génériques pour le Spatial (AGS) commanditée par le CNES. Cette étude devrait être prolongée par un contrat de plus longue durée [37,38].