Orchestration de système temps-réel pour des modèles d'application annotés par des temps d'exécution logiques

par Matheus Schuh

Projet de thèse en Informatique

Sous la direction de Claire Maiza et de Pascal Raymond.

Thèses en préparation à Grenoble Alpes , dans le cadre de Mathématiques, Sciences et technologies de l'information, Informatique , en partenariat avec VERIMAG (laboratoire) depuis le 11-02-2019 .


  • Résumé

    L'implémentation d'applications fortement critiques sur des plateformes multi-coeur est complexe, et, en particulier, à cause du grand nombre d'interférences. Le sujet de cette thèse est d'orchestrer l'exécution d'applications modélisées avec du temps d'exécution logique. Ceci s'effectuera sur le many-coeur Kalray MPPA3. Le many-coeur Kalray est une bonne cible pour ces applications grâce aux possibilités de partitionnement, à ses cœurs sans anomalies temporelles et à ses moyens de communications prédictibles temporellement. Pour orchestrer les communications, un standard de communication pourra être utilisé. En principe, les modèles d'exécution avec temps d'exécution logique peuvent être implémentés en utilisant ces standards mais il faudra veiller à préserver les propriétés temporelles et fonctionnelles.

  • Titre traduit

    Real-Time Operating Environments for Models of Computation Annotated with Logical Execution Time


  • Résumé

    Hosting safety-critical cyber-physical applications on multi-core and many-core processors is challenging, as there is a wide set of sources of non-determinism and unpredictability. The thesis purpose will be to bring together the pieces of an operating environment suitable for executing applications expressed in a model of computation annotated with logical execution time. This will be implemented on the Kalray MPPA3 processor, which feature strong partitioning capabilities, fully timing-compositional cores, and time-predictable global interconnects that meet avionics constraints. Furthermore, depending on the application area, some middleware communication standard may be imposed: Data Distribution Service (DDS) in robotics; AFDX in avionics; or the Virtual Functional Bus in Autosar. In principle, models with LET enable relying on such middleware standards to implement the communication of real-time applications, while preserving their initial functional and timing behaviors.