Scientific direction Development of key enabling technologies
Transfer of knowledge to industry

Programme de stages

Informatique >> Systèmes temps réel
1 proposition(s).

Analyse et modélisation d'applicatifs temps réels pour l'évaluation des systèmes critiques

DACLE/SCSN/L3S

Informatique - Systèmes temps réel

Saclay

Région parisienne (91)

6 mois

Ingénieur/Master

3370229

Les candidatures doivent être adressées par email et sous forme d'un CV et d'une lettre de motivation détaillant les compétences à :
CEA Grenoble

17 rue des martyrs
38054 Grenoble
e-mail : Mathieu.Jan@cea.fr

Dans les systèmes embarqués temps réel, un applicatif est constitué d'un ensemble de tâches dont l'exécution est soumise au respect de contraintes temporelles. Les concepteurs de ce type de systèmes visent à optimiser leur conception, leur implémentation et leur exécution en appliquant et évaluer différentes stratégies. Toutefois, les stratégies développées sont généralement soient spécifiques à un domaine industriel d'application de ces systèmes critiques soient évaluées par la communauté scientifique sur des ensemble de cas de tests synthétiques. Par exemple, la performance des outils d'analyse temporel pire cas des tâches est généralement évaluée via l'ensemble de cas de tests appelé Mälardalen WCET dont les comportements en terme d'accès mémoire sous-exploitent les architectures matérielles actuelles. Il se pose alors la question de la représentativité des cas de tests utilisés qui servent par ailleurs de point d'entrée aux réflexions des concepteurs des stratégies d'optimisation. L'évaluation d'une stratégie et les conclusions tirées sont elles alors généralisables à l'ensemble des applicatifs critique d'un domaine industriel mais également à d'autres domaines ? Ce stage s'attaque à cette problématique via une caractérisation de différents applicatifs temps réels issus de différents domaine industriels (nucléaire, avionique, automobile, distribution d'énergie). Pour chaque applicatif, il est attendu un travail d'analyse au niveau de chaque tâche pour en extraire les chemins d'exécution, la taille des différents blocs constituant les chemins, les patterns d'accès mémoire, etc. Ce travail d'analyse inclus également une réflexion sur les métriques pertinentes à collecter puis à modéliser pour pouvoir être utile à la conception de stratégies d'optimisations. Ce stage pourra être complété pour une comparaison de l'implémentation des différents applicatifs industriels du laboratoire sur un système d'exploitation temps réel donné. Ce stage se réalisera en co-encadrement avec Belgacem Ben Hedia, également du laboratoire L3S du département DACLE.

Voir toutes nos offres