SAFRAN
48.7251781,2.2665985
Mission de stage:
Un programme temps-réel ASTERIOS s'écrit en utilisant le langage PsyC, et se décompose en une pluralité d'unités d'exécutions nommées « agents », qui définissent des automates temporisés, et peuvent être assimilés à des threads dans une certaine mesure. Le PsyC est un langage d'architecture dont la syntaxe est fortement inspirée du C ; son objectif est d'orchestrer des instructions C en leur affectant des contraintes temporelles, ainsi que d'exprimer des canaux de communication temporisés entre agents.
Le PsyC est compilé par une chaîne outillée propriétaire développée en interne. Elle pilote une chaîne de compilation « classique » sur étagère (e.g. gcc) permettant la génération de code objet ainsi que l'édition de liens et la manipulation de binaires. Les binaires issus de la phase de compilation sont exécutés par une plateforme d'exécution PsyC (ASTERIOS Engine) : typiquement, un noyau temps-réel s'exécutant directement sur un matériel dédié. Asterios...
|
Etudiant-e en Bac +5 d'une école d'ingénieur, spécialisé-e en informatique (ou équivalent)
Ce stage nécessite une volonté de comprendre et mettre en oeuvre les mécanismes d'exécution bas niveau. Un bon niveau de maîtrise du C est attendu comme prérequis.
|
|
| Durée (Mois): |
6
|