DÉVELOPPEMENT CARTE MÈRE POUR CALCULATEUR SÉCURITAIRE

Conception électronique d’une carte mère pour calculateurs sécuritaires et développement de fonctions d’interface

SYSTÈME DE COMMUNICATION PAR CÂBLE RAYONNANT

Conception d’une maquette fonctionnelle de propagation d’ondes radio dans un rail ferroviaire

SYSTÈME DE LOCALISATION DE TRAIN

Conception d’un prototype fonctionnel de localisation de train à base de tag/lecteur RFID

CONCEPTION SYSTÈME DE DÉTECTION CAMERA 3D

Preuve de concept pour le remplacement d’un système de détection laser par un système à base de caméra 3D

CONCEPTION ÉLECTRONIQUE D’UN CONTROLEUR

Conception d’un relais sécuritaire SIL4 intégrant un lecteur de boucle de courant 4/20mA

EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY

Développement en C++ d’une chaîne de compilation redondée pour certification d’un outil logiciel

AUTOMATISATION D’UN BANC DE TESTS DE VALIDATION FORMELLE

Automatisation d’un banc de tests de validation formelle

SUITE D’OUTILS D’AUTOMATISATIONS ET DE TRAITEMENT DES DONNÉES ET OUTIL DE VISUALISATION DE DONNÉES

Développement et amélioration d’outils logiciels pour le traitement et la visualisation de données