3 offres stage tfe trouvées

* Analyser les processus actuels de développement et de test DO logiciel pour identifier les opportunités d'automatisation. * Concevoir et développer en Python les briques logicielles nécessaires à l'outil (interpréteur, moteur de génération, correspondance signaux HLR LLR). * Améliorer l'outil existant (ajout de nouvelles syntaxes, enrichissement des fonctionnalités). * Déployer la solution sur un projet pilote, définir les règles de généralisation et évaluer les gains apportés. Points clés du projet * Travail sur un interpréteur pour traduire des exigences textuelles (HLR) en éléments exploitables pour la génération de tests. * Développement d'un mécanisme de mapping entre les noms dans les HLR et ceux dans les LLR. * Contribution à un projet déjà initié, avec une forte dimension d'amélioration et d'innovation.

* Maîtriser les dynamiques du système étudié. * Comprendre et maîtriser l'architecture actuelle du contrôle. * Définir les scénarii de test permettant une identification de modèle robuste. * Assurer l'adaptabilité de l'algorithme de contrôle vis-à-vis du modèle identifié. * Combiner les exigences système avec celles du contrôle afin de définir des success criteria pour chaque étape de conception. * Mettre en place une interface graphique pour alimenter l'outil d'automatisation de la conception du contrôle, fournir un statut de conception, ainsi que visualiser les résultats de simulation post-traités. * Simuler et analyser les résultats de simulation, avec comparaison des différents algorithmes utilisés. * Rédiger un rapport résumant les travaux effectués. * Ce sujet sera traité à l'aide de techniques d'automatique. L'ensemble du travail sera réalisé sur Matlab/Simulink, PSeven et Python

* Analyser les modèles système existants (architecture système, chaînes fonctionnelles) ; * Étudier les différents éléments des modèles de sûreté, en particulier les arbres de défaillance (Fault Tree) ; * Identifier les éléments communs ou complémentaires entre les deux types de modélisation ; * Proposer une méthode de génération ou de modélisation d'arbres de défaillance à partir des données issues du MBSE ; * Proposer une méthode de validation des analyses Safety basée sur les modèles MBSE ; * Harmoniser les méthodologies proposées avec celle utilisées par nos collègues de Liehberr Lindenberg ; * Suggérer des améliorations aux pratiques de modélisation MBSE pour mieux répondre aux besoins des analyses de sûreté ; * Capitaliser la méthodologie développée (MBSE/Safety) ; * Appliquer cette méthodologie à un système complet dans le cadre d'une analyse Safety ; Livrables attendus * Méthodologie de modélisation des exigences Safety dans les modèles MBSE ; * Méthodologie de génération...