STAGE Implémentation d’une approche MBSE pour la spécification et le développement de modèles dans le domaine ferroviaire

DPS développe une méthodologie pour la construction de modèles PMM dans le logiciel multi-physique Dymola. Cette étude sera basée sur un modèle de métro et aura pour objectif la maitrise des spécifications des différentes briques décrivant le système, à savoir :
• Spécifier les caractéristiques intrinsèques du métro (masse à vide, masse maxi, charge utile, inerties, dimensions, vitesse mini, vitesse maxi, accélération maxi, temps d’arrêt, consommation électrique, …)
• Spécifier la chaine dynamique du métro (moteur, suspensions, batterie, …)
• Spécifier la mission (parcours, arrêt, limitation de vitesse, …)
• Spécifier les divers capteurs (range, précision, contraste, nombre de points, nombre de pulses, …)
• Spécifier les divers environnements dans lesquels le métro devra évoluer (vent, température, …)

La modélisation dynamique de ces exigences permettra d’effectuer de manière très précoce leur validation formelle (vérification de l’absence de trous et de contradictions formelles dans les modèles d’exigences).
Par ailleurs, suivant la méthode PMM, on peut obtenir de cette modélisation d’exigences, un programme exécutable avec une IHM simplifiée mais compréhensible par les parties prenantes du système (pilote, opérateur de maintenance, utilisateur final, …) à qui l’on présentera cette spécification dynamique. Ils pourront interagir comme un jeu vidéo et ainsi obtenir leur avis sur des oublis et erreurs éventuelles dans la compréhension du besoin par le spécificateur du système.

Partenaire des grands donneurs d’ordre industriels des secteurs de l’aéronautique, du transport et de la défense, DPS intervient à leurs côtés pour les accompagner dans la mise en œuvre de méthodes et de solutions innovantes leur permettant de répondre aux enjeux de développement et de recherche de compétitivité.
Objectifs fixés à l'élève

Intégré directement au sein de l’équipe de modélisation systèmes, vous participerez à l’élaboration des spécifications de ces différents modèles.

Il s’agira notamment de :
• Obtenir une spécification déclarée valide
• Modéliser sous Dymola le comportement des composants ainsi que leurs interactions fonctionnelles
• Obtenir in fine un modèle dynamique exécutable en boucle avec possibilité d’introduire des cas de pannes ou de dysfonctionnements