CLEARSY

CLEARSY est une société française de 160 collaborateurs dont le principal savoir-faire est la conception et la production de systèmes et d'applications logicielles certifiés sûrs.

CLEARSY est leader dans l’utilisation de la méthode formelle B basée sur la preuve mathématique ; elle édite l’outil de référence ATELIER B, utilisé notamment par les grands industriels pour le développement des automatismes de conduites de trains et métros avec ou sans conducteur.

L'utilisation de la méthode formelle B est un atout déterminant pour respecter les normes du plus haut niveau de sécurité. C’est cette méthode qu’utilise CLEARSY dans le cadre du développement des systèmes certifiés sûrs.
De nombreux systèmes critiques de sécurité conçus par CLEARSY sont aujourd'hui en exploitation en France et à l'étranger, et ses outils de simulation et bancs d'essais sont utilisés par les principaux opérateurs et laboratoires.

De nombreux produits sont disponibles :

• plate-forme (calculateur) matérielle et logicielle sécuritaire,
• outil de validation formelle de données critiques,
• superviseur et interface sécuritaire de systèmes,
• gamme complète de relais sécuritaires SIL4 : RS4,
• systèmes SIL4 pour l'ouverture de portes palières, arrêt automatique des trains…
• outils de simulation, bancs d'essai ...

Les secteurs d'activité de CLEARSY sont : le ferroviaire, la défense, le transport et l’énergie, secteur pour lequel CLEARSY est tiers technique de confiance d’EDF pour les systèmes de contrôle/commande classés.

CLEARSY est implantée sur 4 sites : Aix-en-Provence, Lyon, Paris et Strasbourg.