Stage : Conception préliminaire de systèmes conformes aux exigences H/F

Le Service Etudes Scientifiques Amont de la Direction de la Prospective regroupe des ingénieurs possédant une expertise scientifique reconnue. Ceux-ci conduisent, pour les différents métiers des bureaux d’études, des projets scientifiques en coopération avec le monde de la recherche.
Au sein de ce service, vous serez encadré par un expert de la représentation et du raisonnement à base de modèles et de la programmation par contraintes, responsable du domaine Spécification, Vérification et Synthèse de Système.
Vous étudierez le problème de conception préliminaire de système avec une approche innovante de synthèse de système à base de modèle (MBSS).
Dans cette approche les modèles permettent de représenter le problème de conception puis d'explorer l'espace des solutions du problème pour identifier celles qui sont admissibles vis à vis des contraintes physiques ou technologiques et des exigences du cahier des charges.

Vous utiliserez le langage de modélisation de problème DEPS et l'environnement associé de modélisation et de résolution DEPS Studio pour démarrer la conception d'un système dont l'architecture de principe aura été proposée par un architecte système de la Direction Technique système. Votre modèle devra capturer différentes exigences (performances, ressources, sûreté de fonctionnement, sécurité ...) qui interviendront dans l'étape de résolution pour déterminer des solutions correctes par construction.

Votre stage s'effectuera en lien et en complémentarité avec un stage de la Direction Technique système portant sur la customisation de l'environnement MBSE Cameo pour l'utiliser comme outil d'esquisse d'architecture système. Le cas d'étude retenu sera commun aux deux stages et les résultats obtenus prépareront un alignement entre les modèles SysML de Cameo et les modèles DEPS de DEPS Studio.

Vous travaillerez sur une approche innovante à la frontière entre deux domaines de recherches (MBSE et CSP) qui met en œuvre des technologies avancées d'intelligence artificielle (objets, contraintes, ontologies) via le langage DEPS et l'environnement de modélisation et de résolution associé DEPS Studio (cf. www.desplink.fr).

Vous êtes en dernière année d'école ou en Master 2 scientifique avec une spécialisation en ingénierie système.

Les représentations à base de modèle, informatiques (langages orientés objet, UML) ou systèmes (SysML, AADL …) vous sont familières.

Vous avez éventuellement utilisé une librairie de résolution de contraintes (Choco, Ibex, Gecode …).

Le stage de recherche proposé requiert rigueur, curiosité, aptitude à la modélisation et à la communication. Toutes ces qualité vous permettront de réussir votre stage.

Etablissement soumis à enquête administrative.

Dassault Aviation est un groupe aéronautique français, concepteur et fabricant d’avions militaires, d’avions d’affaires et de systèmes spatiaux.
Architecte du futur, le Groupe est le créateur, depuis plus d’un siècle, d’une centaine de prototypes et de plus de 10.000 avions vendus dans 90 pays.
Riche de ses 12.000 collaborateurs, Dassault Aviation prône une identité forte marquée par la dynamique du collectif et la passion d’entreprendre au sein d’un environnement technologique innovant.

Rejoindre Dassault Aviation c’est marcher dans les pas de femmes et d'hommes qui, depuis plus de 100 ans, sont unis par la même ambition : repousser toujours plus loin la conquête du ciel.

Prenez votre envol ! Rejoignez-nous !
#EnsemblePlusLoin