Références

Vérification automatisée de câblage d’armoires
Vérification automatisée de câblage d’armoires

Outil framework test runner : plateforme de réalisation de tests automatisés.  Le framework permet la mise en oeuvre et l’exécution […]

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

Direction générale de l'Armement
Vérification formelle de l’interopérabilité de systèmes autonomes (OISAU)

La DGA (Délégation Générale de l’Armement) est maitre d’œuvre d’une étude qui définira le standard d’architecture des futurs systèmes autonomes […]

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

New York City Transit
Vérification système avec preuve pour le CBTC de la ligne 7 (Flushing), New York

CLEARSY a procédé à la vérification système avec preuve du CBTC de la ligne 7 de New York, avec la […]

Alstom
Vital Embedded Settings Generator (VESG)

L’outil VESG (Vital Embedded Settings Generator) a été développé en B dans le cadre du projet Urbalis Evolution. 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 !