Concrètement, je fais quoi ?

Les métiers de la Maitrise des Risques étant complexes, la transmission des connaissances et de notre savoir-faire métier est capitale pour la réussite de la société LGM.

AltaRica est un langage de modélisation de haut niveau dédiés aux études de Sûreté de Fonctionnement qui permet de représenter les aspects dynamiques des systèmes et d'intégrer de nouvelles constructions issues des langages de programmation. La plateforme OpenAltaRica, qui supporte AltaRica 3.0, intègre des outils pour l'évaluation de la performance des systèmes et l'identification des points critiques pour améliorer leur conception. Altarica est utilisé par les ingénieurs RAMS pour optimiser la fiabilité et la sécurité des systèmes complexes.

L’objectif de votre stage sera de réaliser une étude à l’aide du langage AltaRica d’un système ATM (Air Traffic Management) ou aéronautique embarquée.

Les différents objectifs du stage sont :

• Réaliser un modèle MBSE sous Capella ;
• Réaliser une étude de sécurité d’un système avec la plateforme OpenAltaRica et system analyst et proposer un pattern de modélisation AltaRica 3.0 pour ce type de systèmes (système réseau ou système embarqué dans le cadre ARP4761A),
• Rechercher des moteurs de modélisation autres qu’OPEN ALTARICA (candidat : NuSMV) ou identifier les algorithmes nécessaires pour en développer un (recherche bibliographique qui ne donnera pas nécessairement lieu à un prototype).

Et moi, dans tout ça ?

• De formation Ingénieur, vous disposez de connaissances techniques sur les principes de la sûreté de fonctionnement (AMDEC, APR, Arbre de défaillance…) et vous avez des bases en programmation (idéalement cursus informatique),
• Vous êtes motivé par le métier, rigoureux, méthodique doté d’une capacité d’analyse, d’abstraction et d’innovation,
• Idéalement, vous avez déjà effectué des analyses de type MBSA.

#LI-AD2