Analyse temporelle des systèmes cyber-physiques H/F (Systèmes d'information)

Description de l'offre

Domaine : Systèmes d'information

Contrat : Stage

Description du poste :

Contexte du stage:
Lors de la vérification temporelle d'un système cyber-physique, le LCYL s'intéresse particulièrement aux propriétés de latence et de débit. Le LCYL s'appuie sur les graphes de flots de données synchrones (Synchronous DataFlow Graphs – SDFG) pour modéliser les aspects fonctionnels des applications cyber-physiques ainsi que les contraintes des plateformes hétérogènes distribuées sur lesquelles elles seront déployées. De nouvelles techniques d'analyse se basant sur différents algorithmes d'ordonnancement sont développées au sein du LCYL et permettent la caractérisation et l'évaluation des propriétés de débit et latence atteignables sur une plateforme donnée. Sur la base des algorithmes développés,

Objectifs:
Vous participerez au développement de la plateforme d'analyse permettant de prendre en entrée différents modèles fonctionnels du système.
Par ailleurs, vous participerez aussi à l'évaluation randomisées (méta-heuristiques).

.


-Cette proposition est dédiée aux étudiants recherchant un stage au contenu technique ambitieux et désirant acquérir une expérience dans la recherche technologique en lien avec l'industrie.

-Vous devrez présenter un niveau équivalent de dernier année d'école d'ingénieur (ou Master 2) avec de préférence une spécialité en génie logiciel et/ou en recherche opérationnelle.

-La connaissance des méthodes formelles ainsi que des algorithmes d'ordonnancement vous aidera à atteindre les objectifs attendus.

-Enfin, vous devrez présenter une bonne capacité de travail personnel, une habilité de travailler en équipe et une motivation pour les challenges techniques.

Ville : Palaiseau

Langue / Niveau :

Anglais : Courant

Langue / Niveau :

Français : Courant