Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique.

Un système critique est un système pour lequel une défaillance peut avoir des conséquences graves en termes de vies humaines, d’impact financier ou environnemental.

Nous recherchons de nouveaux collaborateurs motivés par les challenges techniques et l’envie d’apprendre dans un environnement stimulant et innovant.

Notre croissance offre de réelles opportunités d’évolution dans une structure à taille humaine.

Votre Mission

Dans le cadre du développement de notre solution de signalisation ferroviaire pour Tramway, ce stage vise à explorer la mise en œuvre d’un processus de conception, déploiement et test sur automate programmable industriel (API).

La signalisation ferroviaire est un enjeu majeur dans la garantie de sécurité des circulations ferroviaires. La conception, le développement et la validation de tels systèmes est donc longue et contrainte. Systerel réduit ces contraintes en développant des solutions génériques paramétrables et dont la preuve de sûreté nécessite le jeu d’un grand nombre de séquences de test qui doivent alors être automatisées autant que possible.

Les principaux objectifs du stage sont d’évaluer les possibilités d’implémenter de façon automatique un sous-ensemble de principes de signalisation Tramway dans un API et de réaliser des exécutions automatiques de séquences de test sur cet automate. Il sera effectué sur un API sûr de fonctionnement de marque HIMA et utilisera des langages de modélisation informels (machines à état) et formels (HLL).

Intégré au département Modélisation et Preuve, vous aurez l’opportunité de réaliser les missions suivantes :

• Recherche de méthodes pour automatiser l’instanciation de principes génériques sur API,
• Implantation du système sur automate et analyse de son comportement,
• Mise en œuvre de méthodes d’exécution automatique de séquences de tests sur API,
• Définition d’un modèle formel de comportement de l’API programmé,
• Mise en œuvre de méthodes de génération automatique de séquences de tests à partir d’un modèle formel.

Au cours de ce stage, vous serez encadré par un expert en conception ferroviaire, qui vous aidera à atteindre vos objectifs et à monter en compétences.

Ce stage vous permettra de comprendre le fonctionnement d’une signalisation ferroviaire pour Tramway et d’appréhender les différentes étapes du cycle en V appliquées à un système critique.

Compétences et expérience demandées

• Étudiant Bac+ 5 avec une composante en méthodes formelles vous avez :
  • Des connaissances en Automates Programmables Industriels,
  • Une compréhension et des compétences de manipulation de modèles,
  • Envie de travailler dans un contexte industriel,

  Rigueur, créativité, et ouverture d’esprit sont les qualités appréciées pour ce stage.

Type de contrat, durée & avantages

Convention de stage – Durée : 6 mois

Chez Systerel, nous proposons à nos stagiaires sur Aix-en-Provence :

• Une rémunération brute de 1000€,
• Jusqu’à 5 jours de congés,
• Des tickets restaurant,
• La prise en charge de 50% de l’abonnement transports en commun,
• La participation aux frais de logement jusqu’à 300 € (sous conditions et justificatifs),
• La possibilité de faire du télétravail.

Vous souhaitez

• Participer à des projets innovants,
• Développer des compétences recherchées et en évolution permanente,
• Bénéficier d’un encadrement de qualité,
• Vous épanouir au sein d’une entreprise portant des valeurs d’excellence, de haute technicité et de vraies valeurs humaines.

Alors n’hésitez plus à nous faire parvenir votre candidature !

Lieu

Aix-en-Provence

Référence de l’Offre

STAGE_MOP_POC

Des questions ?

Écrivez-nous à drh@systerel.fr

Systerel est engagée dans une politique en faveur de l’égalité hommes-femmes et de l’emploi des travailleurs en situation de handicap.