Offres

Suite d’outils de visualisation de voie en 3D
Suite d’outils de visualisation de voie en 3D Ferroviaire

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

Commande d’ouverture et fermeture de façades de quais COPPILOT
Système de contrôle automatique de portes palières (COPPILOT) SIL3-SIL4 Ferroviaire

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

Contrôle d’ouverture et de fermeture des façades de quai de la ligne 1 du métro Parisien (DOF1)
Système de contrôle automatique de portes palières (DOF) SIL3-SIL4 Ferroviaire

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

Comble lacune (CACOLAC)
Système de contrôle de marche mobile (CACOLAC)

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

Outil de validation formelle de données (DATA Solver)
Validation formelle de données Ferroviaire

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 […]

Validation formelle système Ferroviaire

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. 

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !