CLEARSY

CLEARSY est une société française de 150 employés dont le principal savoir-faire est la conception et la production de systèmes et d'applications logicielles certifiés sûrs, par l'utilisation de méthodes formelles B dans des secteurs industriels tels que les chemins de fer urbains et grandes lignes pour la conception de systèmes d'exploitation de trains sans conducteur (GoA3) ou sans surveillance (GoA4).

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 matérielle et logicielle SIL4, outil de validation formelle de données critiques, superviseurn de systèmes de sécurité incendie, gamme complète de relais SIL4 RS4, système SIL4 pour l'ouverture de portes pallières, arrêt automatique des trains, outils de simulation, bancs d'essai ...

Les secteur d'activité de CLEARSY sont : le ferroviaire, la défense, l'énergie et le transport.