Offres

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 !