Etude et implémentation du Logical Execution Timing

?Novasys Ing?nierie, filiale du groupe PACTE NOVATION, est sp?cialis?e dans le d?veloppement de solutions temps r?el embarqu?es. Nous intervenons dans des secteurs d’activit? tr?s vari?s comme le transport, la banque-finance, les t?l?communications, l’?nergie, l’industrie et le tertiaire.

SUJET ET MISSIONS DU STAGE

Avec le passage aux architectures multicœurs, le LET (Logical Execution Timing, une m?thodologie d'impl?mentation d'un logiciel embarqu? pour le rendre ind?pendant de son contexte d'ex?cution) s’impose peu ? peu dans l'industrie. En effet, construire des syst?mes multicoeurs pr?dictifs est une probl?matique cruciale qui n?cessite de modifier les processus de conception.

Le paradigme du LET est un facteur cl? pour r?soudre cette probl?matique. Dans ce sens, un effort de normalisation est en cours dans le monde de l’automobile pour int?grer le LET au standard AUTOSAR (AUTOSAR est le standard de fait pour le d?veloppement des logiciels embarqu?s critiques automobiles).

Les logiciels automobiles ?tudi?s sont majoritairement con?us et valid?s fonctionnellement avec des mod?les synchrones tels que Matlab/Simulink. A ce titre Novasys Ing?nierie investigue les opportunit?s que peut repr?senter le LET et s’int?resse aux m?thodologies de conception pour impl?menter des mod?les synchrones tels que Matlab/Simulink par un mod?le d’ex?cution LET.

Votre mission dans ce stage :

1. ?tudier des graphes de mod?lisation d'un syst?me temps-r?el embarqu? ? l'aide d'articles de la litt?rature Dataflow.?
2. D?velopper des m?thodes et des algorithmes d’aide ? la conception bas?s sur le paradigme du LET :
   • ?Formaliser une m?thodologie de transformation de mod?les synchrones Matlab/Simulink vers des mod?les LET,
   •  Proposer un algorithme de construction du mod?le LET,
   •  Etudier et d?velopper un ou plusieurs algorithmes pour d?terminer la faisabilit? du syst?me.
3. Tester les algorithmes d?velopp?s sur des instances al?atoires et sur les donn?es du challenge WATERS 2017.
4. Valorisation des travaux et r?daction du rapport de stage

Vous serez encadr? par la Direction Technique ; vous travaillerez sur des probl?matiques d’actualit? et serez amen?s ? ?changer avec des experts industriels et acad?miques du domaine.

L'environnement technique de travail est le suivant : Linux, Python, C/C++, Matlab/Simulink.

Profil du candidat : Ing?nieur en fin d’?tudes ayant des comp?tences solides en informatique th?orique (algorithmique : complexit?, structures de donn?es, graphes) et programmation. Des connaissances sur les syst?mes ? ?v?nements discrets (alg?bre max+, r?seaux de Petri, Synchronous DataFlow Graph) et en recherche op?rationnelle (programmation lin?aire, utilisation de Solvers) seront appr?ci?es.

Conditions du stage : la dur?e du stage est de 6 mois pouvant d?boucher sur une th?se. Les travaux se feront dans nos locaux ? Issy- Les-Moulineaux et des d?placements ponctuels au LIP6 (Laboratoire Informatique de Paris 6) seront ? pr?voir. La r?mun?ration est propos?e ? 1300€ brut/mois.

Pour candidater : envoyer un CV, une lettre de motivation et vos relev?s de notes des deux derni?res ann?es.

Merci de bien vouloir adresser vos candidatures ? NOVASYS Ing?nierie 2, rue du Docteur lombard – 92441 Issy les Moulineaux
E-mail : cklikpo@pactenovation.fr  http://www.pactenovation.fr/