Offres

Une des extensions du Simulateur Opérationnel est la connexion à une application de visualisation de voie 3D. Visualisation et suite […]

COPPILOT est un système ferroviaire sécuritaire, qui commande l’ouverture et la fermeture de façades de quais sur une station de […]

Dans le cadre des projets « automatisation de la ligne 1 du métro Parisien », le système sécuritaire SIL3 DOF, indépendant du […]

Le Système de contrôle de marche mobile (ou comble lacune) se nomme CACOLAC.C’est un dispositif ayant pour vocation de pouvoir […]

Dans le monde du ferroviaire, les logiciels critiques pour la sécurité sont développés et validés indépendamment des données qui les […]

La vérification formelle de système, obtenue avec la méthode B, est un élément de la démonstration de sûreté de fonctionnement d'un système critique.