Vous rejoindrez le service Etudes Scientifiques Amont de la Direction Architecture et Intégration de Dassault Aviation dont la mission est d’apporter une expertise scientifique et des méthodes et outils innovants aux équipes métier. Vous travaillerez dans le domaine de l’ingénierie des systèmes basée sur des modèles (MBSE) où vous vous intéresserez plus particulièrement à la problématique de conception correcte par construction d’architectures de systèmes qui doivent satisfaire l’ensemble des exigences et contraintes de leur cahier des charges (performances, ressources, sûreté de fonctionnement, sécurité …). Vous utiliserez DEPS (https://rdcu.be/do1WH), un langage de modélisation et de résolution de problème qui, dans une approche MBSE, met en œuvre des techniques avancées d’Intelligence Artificielle symbolique (représentation des connaissances orientée objet, contraintes, ontologie). Vous développerez des modèles en DEPS pour représenter le système étudié, formaliser le cahier des charges sous forme de propriétés et vérifier ou trouver les architectures qui le respectent. Vous élaborerez des cas test de systèmes représentatifs du type d’exigences à satisfaire en mettant l’accent sur celles liées à la sûreté de fonctionnement qui conditionnent fortement les choix d’architecture. Vos travaux contribueront au développement et à la diffusion de méthodes et d’outils innovants de conception et de vérification d’architectures de systèmes et le stage vous initiera à la fois aux métiers de la recherche et à ceux de l’ingénierie, vérification, validation, qualification des systèmes (IVVQ).
|