STAGE Evolution de l’interface utilisateur du framework SimSo

Date de mise à jour de l’offre

INRIA :

EPST

Description de la mission

Contexte et atouts du poste :
Le stage aura lieu au centre de recherches de l’Inria Paris au sein de l’équipe Kopernic, 2 Rue Simone Iff, 75012 Paris et
sera supervisée par Kevin Zagalo et Liliana Cucu-Grosjean.

Mission confiée :
Les calculs complexes embarquées dans des appareil à basse consommation étant de plus en plus importants dans les systèmes dit critiques (avion, train, voitures, sonde spatiale, etc.), la certification des programmes est un sujet d’une importance capitale.

Au sein de l’équipe Kopernic, nous déterminons des conditions nécessaires et suffisantes garantissant le bon fonctionnement d’un ensemble donné de programmes exécutés sur un type d’architecture informatique donné, à l’aide d’une description probabiliste des comportements temporels de ces programmes [1].

La vérification empirique de l’ordonnancement d’un ensemble de tâches ne pouvant être systématique, une partie importante des tests est faite par simulation. Le simulateur utilisé dans l’équipe est SimSo [2], développé par Maxime
Cheramy au seins du LAAS. Il s’agit d’un framework développé en python dont l’interface est implémentée en Qt. Une première évolution de ce simulateur à été d’y intégrer des modèles probabilistes [3]. Avec l’aide de Kevin Zagalo, la
personne recrutée sera amenée à la fois à développer une interface graphique ainsi que contribuer à la visualisation de données.

Principales activités :
- intégrer ces évolutions dans l’interface utilisateur,
- porter l’outil de PyQt5 à PyQt6,
- intégrer ces évolutions dans la version web du framework développée en PyPyJS,
- embarquer le framework dans un environnement type container.

Références :
[1] Maxim, Dorin, and Antoine Bertout. ”Analysis and simulation tools for probabilistic real-time systems. 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). 2017.
[2] Chéramy, Maxime, Pierre-Emmanuel Hladik, and Anne-Marie Déplanche. ”Simso: A simulation tool to evaluate real-time multiprocessor scheduling algorithms. 5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). 2014.
[3] Zagalo, Kevin, Liliana Cucu-Grosjean, and Avner Bar-Hen. ”Identification of execution modes for real-time systems using cluster analysis. 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). Vol. 1. IEEE, 2020.

Profil recherché

Connaissances requises : Python, Javascript,
Connaissances souhaitables : git, Qt, PyPyJS, Docker.

Candidature (CV+ lettre de motivation) :
- soit par email kevin.zagalo at inria.fr
- soit via https://jobs.inria.fr/public/classic/fr/offres/2022-04335

Niveau de qualification requis

Bac + 3
  • Employeur
    INRIA
  • Secteur d’activité de la structure
    Emploi - Economie - Innovation - Numérique
  • Effectif de la structure
    Plus de 250 salariés
  • Site internet de la structure
    https://www.inria.fr
  • Type de stage ou contrat
    Stage d'immersion en milieu professionnel dans le cadre de la formation professionnelle continue
  • Date prévisionnelle de démarrage
  • Durée du stage ou contrat
    Plus de 4 mois et jusqu'à 6 mois
  • Le stage est-il rémunéré ?
    Oui
  • Niveau de qualification requis

    Bac + 3
  • Lieu du stage
    2 Rue Simone Iff
    75012 PARIS 12E ARRONDISSEMENT
  • Accès et transports
    En métro : Gare de Lyon (lignes 1 et 14) / Dugommier (ligne 6) / Montgallet (ligne 8) -- RER : Gare de Lyon A et D