Outil de modélisation et simulation d’un logiciel de vol lanceur

Entreprise : ArianeGroup, 66, route de Verneuil - 78133 Les Mureaux
Spécialité : Informatique
Formation : 5 année d’Ecole d’Ingénieur ou de Master
Département : Avionics Architecture & On-board Software

Avertissement : Un délai d’au moins 2 mois est à prévoir pour la sécurité industrielle entre l’acceptation
technique de votre candidature et le début effectif du stage.

ArianeGroup est le leader du transport spatial en Europe.
ArianeGroup est ainsi maître d’œuvre des lanceurs lourds Ariane 5 et Ariane 6 et du missile balistique M51.
Les sujets de stages ci-dessous sont proposés par le département « Avionics Architecture & On-board
Software » sur le site des Mureaux. Ils visent soit à améliorer les programmes existants, soit à préparer les
projets futurs (en particulier Ariane 6).

Objectifs /Contexte :

Une étape préalable à la réalisation du logiciel de vol opérationnel d’un lanceur spatial consiste à
rédiger le contrat à respecter sous la forme d’exigences.
Dans le cas de fonctions complexes, l’écriture de ces exigences peut s’avérer complexe et
coûteuse.

Missions/Activités :

Le premier objectif du stage consiste à concevoir un outil basé sur une interface graphique
d’aide à la saisie d’exigences et de contraintes, exprimées dans un langage proche du langage
naturel.
Le deuxième objectif du stage consiste à enrichir un outil de simulation des exigences déjà
existant. En effet, les exigences contiennent des propriétés logiques qui peuvent être complexes et sur lesquelles nous souhaiterions expérimenter la programmation par contrainte pour l'identification de leurs interdépendances et de leurs vérifications.
Les nouvelles exigences produites devront être transformé en langage Ada 2012 à partir d’une application Java.

Le dernier objectif consistera à étudier la faisabilité d’exploiter un outil de mesure de couverture
de code Ada pour identifier les exigences non couvertes par la simulation.
La mise en œuvre complète de l’ensemble de la chaîne sera basée sur une étude de cas extraite
d’une fonction du logiciel de vol Ariane 5.

Compétences/requises :
Modélisation et résolution de contraintes
Connaissance du langage Java
Notions sur les logiciels temps réel
La connaissance d'Ada 2012 est un plus

Durée : 6mois
Contact CV/LM : Christophe Goarin, christophe.goarin@ariane.group
Autres sujets disponibles : https://www.ariane.group