PErformances GAranties pour les Systèmes Embarqués communicants – PEGASE

Les réseaux embarqués critiques (voitures, avions, satellites) sont de nos jours constitués de plusieurs processeurs communicants entre eux. Les contraintes temps-réel telles qu'elles peuvent se trouver dans les systèmes d'exploitation s'étendent maintenant aux réseaux de communications entre les capteurs/actionneurs et les processeurs, et entre les processeurs eux mêmes. Dès qu'un média est partagé, le temps de transmission d'un message dépend non seulement des contraintes technologiques mais aussi des interactions entre les flux de données qui partagent le média. Il est donc nécessaire d'avoir des techniques pour garantir les délais maximum de bout-en-bout, qui s'ajoutent aux contraintes locales d'ordonnancement, afin d'assurer un comportement global correct vis à vis des applications. Ces techniques doivent éviter d'être trop pessimistes pour éviter des sur-dimensionnements du réseau qui impliquent un poids et une consommation supplémentaires. De plus, ces techniques doivent permettre le passage à l'échelle. Dans un avion moderne, des milliers de flux de données partagent le coeur du réseau. Dans ce projet nous proposons d'améliorer la théorie du Network Calculus et ses variantes à base d'enveloppes et d'algèbre (min,+). Ces modèles sont de bons candidats pour analyser les performances pire cas en gardant des complexités de calcul raisonnables. Le Network Calculus a déjà été utilisé pour certifier le réseau AFDX de l'A380. Des améliorations significatives de ces techniques sont nécessaires pour traiter les technologies à venir, telles que les évolutions de l'AFDX en aéronautique et les réseaux SpaceWire pour les satellites. Nous proposons une approche complète partant de la théorie jusqu'à une validation par l'expérimentation, en passant par le développement d'un outil logiciel. Pour réaliser ce projet, le consortium réunit des partenaires académiques (ENS Cachan et Lyon, INRIA Rhone-Alpes), une start-up (ReatTime-at-Work) et une entreprise leader dans les systèmes d'information pour l'aérospatiale (Thales). De plus, ces techniques doivent permettre le passage à l'échelle. Dans un avion moderne, des milliers de flux de données partagent le coeur du réseau. Dans ce projet nous proposons d'améliorer la théorie du Network Calculus et ses variantes à base d'enveloppes et d'algèbre (min,+). Ces modèles sont de bons candidats pour analyser les performances pire cas en gardant des complexités de calcul raisonnables. Le Network Calculus a déjà été utilisé pour certifier le réseau AFDX de l'A380. Des améliorations significatives de ces techniques sont nécessaires pour traiter les technologies à venir, telles que les évolutions de l'AFDX en aéronautique et les réseaux SpaceWire pour les satellites. Nous proposons une approche complète partant de la théorie jusqu'à une validation par l'expérimentation, en passant par le développement d'un outil logiciel. Pour réaliser ce projet, le consortium réunit des partenaires académiques (ENS Cachan et Lyon, INRIA Rhone-Alpes), une start-up (ReatTime-at-Work) et une entreprise leader dans les systèmes d'information pour l'aérospatiale (Thales).