Offres de stage : 2020
Nos ingénieurs doivent prouver un certain nombre d’obligations de preuves de leur modèle. Des travaux récents ont permis de connecter des nouveaux prouveurs afin de valider ces obligations de preuve et d’en visualiser la sortie lorsqu’un contre-exemple est trouvé. Le but du stage serait de faire en sorte que la visualisation du contre-exemple soit réalisée sur les objets du modèle plutôt que sur les objets du prouveur.
Ce stage a pour objectif d’étendre l’outil Outil Preuve de Règles et son interface pour permettre d’utiliser d’autres prouveurs mathématiques que le prouveur de prédicat pour vérifier des règles de preuve, afin de réduire les règles à valider manuellement.
L’objectif du stage est de réaliser l’équipement sol et en particulier l’intégrer dans le système global. Le stagiaire devra concevoir le logiciel embarqué sur cet équipement et mettre à jour le logiciel du système embarqué. Le système assurant une fonction sécuritaire (commande d’ouverture de portes, le stagiaire devra appréhender les notions de codage de logiciel de sécurité.