Références

RATP
Analyse des logiciels critiques du CBTC ligne1

Le projet SAET L1 (Système automatique d’exploitation des trains de la ligne 1) s’inscrit dans le projet global d’automatisation complète […]

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 à […]

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 !