Offres : Ferroviaire
Analyse et validation formelle de logiciels Ferroviaire
CLEARSY propose une méthode d’analyse inédite permettant de faire la preuve mathématique de la conformité de tout ou partie d’un […]
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 !