Stage : Génération de distributions Linux embarquées H/F (STAGE_STR_Linux_ Embarqué) Ce stage vise à mettre en œuvre des environnements de développement pour configurer et générer des distributions Linux pour des cibles embarquées contraintes. Stage : Automatisation de la qualification d’un banc de test H/F (STAGE_STR_ BANC_TEST) Vous aurez pour principales missions : Réaliser des analyses de risques système et/ou logiciel; Assurer le suivi technique de la partie SdF du projet; Gérer dans leur globalité des projets de sûreté de fonctionnement : Stage : Mise en œuvre d’un solveur SMT H/F (STAGE_PDT_ Solveur_SMT) L’objectif du stage est d’explorer la possibilité de réaliser du Model Checking par des solveurs de type SMT à la place ou en complément des solveurs SAT Stage : Interface graphique d’un simulateur ferroviaire : amélioration et interfaçage H/F (STAGE_PDT_IHM) L’objectif du stage est d’explorer la possibilité d’interfacer des animateurs de modèles formels avec des représentations de plan de voie pour visualiser le fonctionnement du système de signalisation modélisé. Stage : Pilotage de preuve formelle distribuée H/F (STAGE_PDT_S3) Notre cœur de métier est le développement de systèmes critiques, principalement pour le ferroviaire, l’industrie ou l’énergie. Un système critique est un système pour lequel une défaillance peut avoir des … Stage : Développement en Java d’un éditeur avec le protocole LSP H/F (STAGE_MOP_LSP) Ce sera pour vous l’occasion de découvrir le protocole LSP et d’apprendre à en tirer le meilleur profit dans un cadre concret. Stage : Réalisation d’études de sûreté de fonctionnement sur des systèmes ferroviaires H/F (STAGE_SSE_SDF) Vous serez en charge de réaliser des analyses de sécurité sur une ou plusieurs fonction(s) donnée(s) pour des projets innovants et pour mettre en œuvre des études de cas de formations. Stage : Vérification, validation et évaluation de systèmes ferroviaires H/F (STAGE_SSE_EVAL) Vous découvrirez les différences entre les activités de vérification, validation et évaluation en réalisant ces activités sur des systèmes de sécurité SIL4 de signalisation et de contrôle-commande ferroviaires
Stage : Génération de distributions Linux embarquées H/F (STAGE_STR_Linux_ Embarqué) Ce stage vise à mettre en œuvre des environnements de développement pour configurer et générer des distributions Linux pour des cibles embarquées contraintes.
Stage : Automatisation de la qualification d’un banc de test H/F (STAGE_STR_ BANC_TEST) Vous aurez pour principales missions : Réaliser des analyses de risques système et/ou logiciel; Assurer le suivi technique de la partie SdF du projet; Gérer dans leur globalité des projets de sûreté de fonctionnement :
Stage : Mise en œuvre d’un solveur SMT H/F (STAGE_PDT_ Solveur_SMT) L’objectif du stage est d’explorer la possibilité de réaliser du Model Checking par des solveurs de type SMT à la place ou en complément des solveurs SAT
Stage : Interface graphique d’un simulateur ferroviaire : amélioration et interfaçage H/F (STAGE_PDT_IHM) L’objectif du stage est d’explorer la possibilité d’interfacer des animateurs de modèles formels avec des représentations de plan de voie pour visualiser le fonctionnement du système de signalisation modélisé.
Stage : Pilotage de preuve formelle distribuée H/F (STAGE_PDT_S3) Notre cœur de métier est le développement de systèmes critiques, principalement pour le ferroviaire, l’industrie ou l’énergie. Un système critique est un système pour lequel une défaillance peut avoir des …
Stage : Développement en Java d’un éditeur avec le protocole LSP H/F (STAGE_MOP_LSP) Ce sera pour vous l’occasion de découvrir le protocole LSP et d’apprendre à en tirer le meilleur profit dans un cadre concret.
Stage : Réalisation d’études de sûreté de fonctionnement sur des systèmes ferroviaires H/F (STAGE_SSE_SDF) Vous serez en charge de réaliser des analyses de sécurité sur une ou plusieurs fonction(s) donnée(s) pour des projets innovants et pour mettre en œuvre des études de cas de formations.
Stage : Vérification, validation et évaluation de systèmes ferroviaires H/F (STAGE_SSE_EVAL) Vous découvrirez les différences entre les activités de vérification, validation et évaluation en réalisant ces activités sur des systèmes de sécurité SIL4 de signalisation et de contrôle-commande ferroviaires