Présentation de l'entreprise
Mission proposée
JTEKT est un équipementier automobile japonais, leader mondial sur le marché des systèmes de direction. JTEKT et sa filiale européenne (JEU) développent une gamme de produits à assistance hydraulique ou électrique.
Intitulé du stage : Utilisation du langage formel pour la génération automatique des vérifications des développements logiciels d'un calculateur automobile sécuritaire.
Missions confiées au stagiaire :
Au sein du service "Software Testing and Tools" de la société JTEKT, le stagiaire participe à la mise en place des derniers outils investis dans l'atelier de développement et de génération des composants du logiciel embarqué sécuritaire. Encadré par un ingénieur référent, il va travailler sur la mise en œuvre des dernières technologies de génération automatique de stimulis et d'observateurs de l'exécution d'un logiciel sécuritaire permettant de vérifier que les règles et contraintes imposées à ce logiciel ne sont jamais mises en défaut.
Pour cela, les activités à mener dans le cadre de ce stage sont les suivantes:
- Prise en main du processus de développement logiciel actuel et de la chaine d'outils existante à JTEKT.
- Formation aux outils en cours d'évaluation et mise en œuvre sur un certain nombre de cas d'évaluation
- Analyse des performances et gain potentiel avec ces outils et de leur possible intégration dans la chaine de développement actuelle
- Interfaçage avec les outils de gestion de version et de changement existants et futurs
- Mise à jour du manuel utilisateur de l'atelier pour intégrer les évolutions développées au cours du stage
Durée du stage : 4 à 6 mois
Début : à partir de février 2017
Compétences : bonne connaissance en ingénierie logicielle, architecture des logiciels embarqués temps réel, langage C, langage de script php ou python, connaissance des outils MATLAB / SIMULINK, . Intérêt pour le domaine de l’automobile.
Outils : Matlab, Simulink, Target Link, Subversion, C, C#, Jenkins, debugger, outils dSPACE, Vector informatik...
Niveau d'études : Stagiaire école ingénieur 2 et 3ème année - école d'ingénieur en Electronique, informatique ou génie électrique.
Ce stage est susceptible de déboucher sur une embauche.
