Participants : Emmanuelle Anceaume, Laurent George, Jean-François Hermant, Gérard Le Lann, Pascale Minet, Nicolas Rivierre
Cette activité est menée conjointement avec Dassault Aviation, sur financement DRET.
Le problème applicatif posé par Dassault Aviation concerne l'avionique modulaire future. La solution-système que nous avons spécifiée est basée sur un modèle à objets distribués modifiables persistants, pour des tâches applicatives de type graphes orientés finis quelconques et pour tout type d'architecture distribuée (voir §3.2). ORECA, la solution algorithmique TRDF proposée et retenue, combine des ordonnanceurs non préemptifs et préemptifs, oisifs et non oisifs, ainsi que des accords de type implicite ou explicite pour la sérialisabilité, le tout en présence de défaillances de type omission et arrêt.
Cette solution-système sera implantée par Dassault-Aviation sur un prototype en 1996, pour évaluation par la DRET.