Présentation du poste
Objectif
Le stage s’inscrit dans les domaines de la sûreté de fonctionnement, de l’ingénierie système et de la modélisation formelle. L’enjeu est de développer une librairie générique en AltaRica pour simplifier et fiabiliser la modélisation fonctionnelle de systèmes complexes. Elle vise à améliorer et à automatiser la génération de scénarios de défaillance, réduisant ainsi les erreurs et les délais d’analyse.
Sujet du stage
Vous aurez en charge les missions suivantes :
• Approfondissement des connaissances des démarches d’analyses de Safety (AF, AMDEC, Analyse des modes communs, Arbres de défaillances) ;
• Apprentissage ou approfondissement des connaissances en modélisation ;
• Participation à la réalisation d’activités Safety de systèmes sur les projets SECTOR
• Partie R&D : génération automatique des scénarios de défaillance à partir d’une modélisation fonctionnelle
◦ Formalisation d’un guide de bonnes pratiques
◦ Prise en main des outils et du langage AltaRica
• Se former au langage de modélisation AltaRica (le cas échéant) et aux outils associés
• Comprendre les standards existants pour la modélisation fonctionnelle et les analyses de sécurité
• Étudier les bibliothèques AltaRica existantes s’il y en a (réutilisabilité, limites).
◦ Analyse des besoins et définition de l’architecture de la librairie
• Identifier les types de composants fonctionnels récurrents dans les systèmes modélisés (capteurs, actionneurs, calculateurs, etc.).
• Définir une architecture modulaire pour la librairie : Composants de base réutilisables ;Interfaces standards ; comportements génériques de défaillance à modéliser (perte de fonction, fausse information, comportements intermittents, etc.).
◦ Développement de la librairie générique
• Implémenter les composants de base (en AltaRica) avec des paramètres configurables (types de défaillance, délais, redondance, etc.).
• Intégrer les mécanismes de standardisation des comportements (ex. transitions d’état, modes dégradés, gestion de priorités).
• Documenter chaque module (usage, exemples, contraintes).
◦ Intégration avec des outils d’analyse automatique
• Étudier les outils de génération automatique de scénarios
• Définir une chaîne d’outils permettant d’exploiter directement la librairie dans une boucle d’analyse automatisée.
• Tester et valider l’automatisation de la génération de scénarios de défaillance.
• Optimisation des performances de génération de scénarios
◦ Identifier les goulots d’étranglement lors de la génération exhaustive de scénarios.
◦ Proposer et implémenter des méthodes d’optimisation (réduction d’états, abstraction, contraintes sur les combinaisons de pannes).
◦ Évaluer l’impact des optimisations sur le temps de calcul et la couverture des scénarios.
• Validation et cas d’application
◦ Appliquer la librairie sur un ou plusieurs systèmes complexes réels ou représentatifs.
◦ Comparer les résultats obtenus avec des modèles manuels ou existants.
◦ Évaluer la réduction des erreurs de modélisation et le gain de temps dans l’analyse.
• Rédaction de la documentation technique et du rapport de stage
◦ Rédiger une documentation complète de la librairie : architecture, guide d’utilisation, exemples d’intégration.
◦ Rédiger le rapport de stage avec les étapes suivies, les résultats obtenus, les limites identifiées et les pistes d’amélioration.
Intérêts du stage
• Acquérir une expérience dans un domaine porteur,
• Se former à la Sûreté de Fonctionnement à travers l’étude de cas concrets,
• Forte probabilité d’embauche à la suite du stage.
Profil recherché
• Formation supérieure en systèmes / sûreté de fonctionnement, type ingénieur ou universitaire,
• Génie logiciel (modularité, réutilisabilité).
• Modélisation fonctionnelle (AltaRica).
• Automatisation d’analyse et optimisation algorithmique.
• Autonome, rigoureux avec un bon esprit de synthèse et une aisance dans votre communication. Votre anglais est opérationnel à l’oral & à l’écrit.
Postuler
