Stage Développement Logiciel Embarqué Modélisation Scade

CONTEXTE ET MISSION CONTEXTE : La mission consistera à développer un outil de vérification de règles de modélisation SCADE dans le cadre d’un projet de développement logiciel en cours, puis de produire le dossier de qualification DO-330 de cet outil. ACTIVITÉS À RÉALISER : Développement de l’outil : Choisir le(s) langage(s) de programmation à utiliser. Analyser la spécification définissant les règles de modélisation SCADE. Développer les fonctions de vérifications s’assurant que les modèles SCADE sont conformes aux règles de la spécification. Développer une interface graphique et les fonctions associées pour le lancement des tests ainsi que l’impression en PDF et l’export des modèles. Préparation d’un dossier de qualification DO-330 : Produire le dossier de qualification DO-330 TQL-5 de l’outil. ORGANISATION : Vous serezintégré dans l’équipe de développement en logiciels embarqués. Vous travaillerez en étroite collaboration avec votre responsable de stage et avec l’équipe technique du projet . Vous serez force de proposition et devrez faire preuve d’autonomie pour la réalisation des activités qui lui seront confiées. DURÉE : Le stage se déroulera sur une période de 5 mois minimum. PROFIL Etudiant en Ecole d’Ingénieur ou Master 2 avec une spécialité en informatique embarquée. La maitrise d’un langage de modélisation (Matlab/Simulink, SCADE, Scilab/Xcos) est un prérequis. Vous avez déjà mené des projets de programmation ou des précédents stages qui vous ont apporté l’autonomie en développement dans ce langage.