Références

RATP
Vérification formelle des enclenchements informatiques de lignes RATP

Le projet PMI L1 consiste à créer un processus de vérification des enclenchements informatiques mis en œuvre sur la ligne […]

RATP
Assistance à l’analyse et à la validation des logiciels critiques Octys

OURAGAN maintenant Octys (Offre Urbaine Renouvellée et Améliorée, Gérée par un Automatisme Nouveau) est un système de contrôle commande de […]

MODEM B
Carte DSP autonome avec convertisseur CAN CNA RS485

ModemB est une carte DSP autonome possédant deux entrées analogiques 10-150kHz, une liaison RS485, des entrées sorties TOR et une […]

RATP
Assistance à la qualification de MF2000

CLEARSY occupe dans le cadre du développement de ces projets le rôle de “vérificateur externe”, en se chargeant de recenser […]

SIEMENS
DIGISAFE

La technologie DIGISAFE, et son protocole de communication sur automate Siemens DIGISAFE est une technologie développée par Siemens basée sur […]

logo Methode B
Vérification de cohérence entre code et spécifications

Vérification de cohérence entre code et spécifications CLEARSY occupe dans le cadre du développement de ces projets le rôle de […]

SIEMENS
Banc de test implémenté sur automate iemens

Dans l’objectif de tester les systèmes sécuritaires basés sur les automates Simatic Siemens, CLEARSY a développé un outil spécifique à […]

Alstom
Système de gestion de zones de réduction temporaire de vitesse de train

Le projet ACSES consiste à développer un système de gestion de zones de réduction temporaire de vitesse de train. CLIENT […]

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 !