Offres : Ferroviaire
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.
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 […]
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 […]
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 !