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.
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 !