Détail du sujet

15/11/2018 Sujet 6 :  Génération automatique de code source à partir d'un langage dédiée pour système temps-réel
Auteur : Giuseppe Lipari  Ecrire Site
(Responsable Informatique : Giuseppe Lipari  Ecrire )
Sujet recherche

Un système temps réel est un système dont la correction d'un calcul ne
dépend pas uniquement de la correction logique de ces résultats mais
aussi du moment de leurs productions. Un exemple type de ce genre de
systèmes est le système de stabilité (ESP) dans les voitures
modernes. L'ESP, Electronic Stability Program, reçoit d'une manière
périodique les données de plusieurs capteurs (vitesse, traction,
direction du mouvement, orientation volant, etc), et doit interagir
quand il détecte que la voiture est dans une situation critique
(dérapage). Une réponse tardive à un risque d'accident peut entraîner
des conséquences catastrophiques, voire des pertes humaines.

Pour assurer leurs bons implantations et fonctionnements, les systèmes
temps réel nécessitent de particulaires compétences de programmation
parce que leur exécution dépend fortement de leur criticité et
urgence. Ce travail vise à réduire l'effort nécessaire pour programmer
ce genre de systèmes sur des architectures modernes telles que les
carte NViDIA Jetson-TX 2 ou la JETSON AGX.

L'objectif est donc de générer le code source 'C' d'une taches temps
réel à partir d'une grammaire qui définit une tache temps réel comme
un graphe de dépendance (TFG). Les compétences de base de
programmation en C pour la manipulation des fichiers sont
nécessaires. Des connaissances en langages avec Yacc/Lex est un plus,
mais pas primordiale.

Liens associés :
Sujet non-attribué