STAGE (H/F) - Développement logiciel

Description de l'offre

Alstom

Promoteur de la mobilité durable, Alstom conçoit et propose des systèmes, équipements et services pour le secteur ferroviaire. Alstom offre la gamme de solutions la plus large du marché – des trains à grande vitesse aux métros et tramways – des solutions de maintenance et de modernisation ainsi que des solutions d’infrastructure et de signalisation. Alstom se positionne comme un leader mondial des systèmes ferroviaires intégrés. En 2014/15, l’entreprise a réalisé un chiffre d’affaires de 6,2 milliards d’euros et enregistré pour 10 milliards d’euros de commandes. Alstom, dont le siège est basé en France, est présent dans plus de 60 pays et emploie actuellement 32 000 collaborateurs.

Avec ses solutions de gestion du réseau et de signalisation, Alstom apporte aux opérateurs les moyens d’assurer en toute sécurité et en toute fluidité l’acheminement des passagers ou des marchandises, optimisant ainsi le fonctionnement et la rentabilité de leurs réseaux. Depuis plus de 25 ans, Alstom fournit des solutions d’information à plus de 50 villes dans le monde. Ses produits phares : le centre de contrôle Iconis et la solution de signalisation CBTC Urbalis. Alstom répond également aux besoins croissants en mobilité transfrontalière. Numéro un mondial de la technologie ERTMS, Alstom a remporté des contrats dans 23 pays couvrant 12 500 km et plus de 4 600 trains et a équipé sept des douze lignes à grande vitesse dans le monde qui utilisent cette technologie.

Au sein du Département Engineering vous avez en charge le développement logiciel optimisé grâce à la programmation fonctionnelle et la preuve de modèles.

Le stage s’effectuera dans le cadre d’un projet d’innovation visant à confronter la théorie à la pratique et à vérifier que ces techniques peuvent être appliquées au développement de logiciels ferroviaires, qu’ils soient applicatifs ou de base.

Mission précise du stage

Le développement logiciel est essentiellement séquentiel : spécification, puis architecture, puis conception détaillée, puis implémentation, puis tests de composants, puis tests d’intégration, puis, enfin, tests d’ensemble.

Cette façon de faire comporte plusieurs problèmes majeurs qui peuvent avoir un impact considérable sur le QCD d’un projet :

·  Les documents d’entrée sont souvent peu matures et évoluent tout au long du développement du logiciel. Le logiciel devient une sorte démonstrateur pour vérifier que ces spécifications sont en ligne avec le besoin.
·  Les activités de validation sont faites tardivement car elles nécessitent un logiciel quasi complet. Pourtant, les anomalies détectées pendant la phase de validation peuvent être difficiles à corriger avec un impact important sur les coûts et délais du projet.
·  Les tests de composants et les tests d’intégrations de composants se font parfois encore plus tardivement que la validation. Ces activités ne détectent donc que peu d’anomalies alors qu’elles prennent beaucoup de temps.

Ce projet vise donc à démontrer que ces problèmes peuvent être solutionnés en effectuant, en parallèle :

·  Le développement d’un prototype en utilisant un langage fonctionnel puis la validation de ce prototype.
·  Le développement du logiciel en utilisant des langages de programmation plus traditionnels puis la preuve a posteriori (model checking) que le logiciel se comporte comme le prototype dans toute les situations.

Ainsi, des démonstrateurs peuvent être livrés rapidement pour aider à la spécification et valider le fonctionnel ; les anomalies fonctionnelles peuvent être détectées et corrigées plus tôt ; enfin, les tests sans valeurs ajoutées perçues sont complètement remplacées par de la preuve automatique de modèle (model checking).

Profil recherché

Etudiant BAC +4/5 Ingénieur Informatique

Bagage certain en théorie des langages, en méthodes formelles (model checking en particulier) et en mathématiques (algèbre en particulier).

Connaissance du développement de logiciels ferroviaires est un plus.

Connaissances en embarqué temps critique ne sont pas nécessaires.

« Alstom s'engage en faveur de la diversité et de l'emploi des personnes handicapées »