STAGE Optimisation et amélioration de génération de codes basé sur un langage de manipulation de modèles de données

KRONO-SAFE est une jeune société de haute technologie, issue du CEA, qui développe et commercialise :

- un système d’exploitation temps réel de nouvelle génération pour applications temps-réel critiques (automobile, ferroviaire, aéronautique…) utilisant des processeurs mono et multi-cœur,

- et des outils destinés au développement de ces applications (conception, simulation et preuve).



KRONO-SAFE, basée à ORSAY (91), a été créée en 2011 et a engrangé depuis plusieurs contrats avec des industriels de renom. C’est pourquoi, afin d’étoffer son équipe de développement, KRONO-SAFE propose un sujet de stage sur 6 mois dédié à l’optimisation et l’amélioration d’un outil de génération de codes basé sur un langage de manipulation de modèles de données.

Dans le cadre du développement d’un compilateur complet, beaucoup de fichiers textes sont générés durant les différentes étapes du processus de compilation. Les fichiers générés sont de nature très diverse et reposent sur des modèles de données différents. L’objectif de ce stage est d’améliorer et d’optimiser le processus de génération de codes du compilateur en travaillant sur notre outil interne basé sur un langage de manipulation de modèles de données pour y ajouter une surcouche procédurale visant à enrichir son expressivité en vue de vérifier la cohérence des modèles ou de faire des calculs sur leurs données.

Au sein de l’équipe R&D en charge du développement de notre chaine de compilation, le stagiaire sera en charge d’appo