CLEARSY

Créateur de logiciels & de systèmes sécuritaires

La société CLEARSY

CLEARSY a été fondée le 1er Janvier 2001 par l’équipe d’ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle nommé Atelier B, utilisé dans le secteur du ferroviaire pour réaliser les logiciels de sécurité.

CLEARSY : ingénierie de systèmes sécuritaires

Nous sommes une PME française, spécialisée dans la réalisation de systèmes et de logiciels sécuritaires de niveau SIL1 à SIL4. Nous développons des systèmes complexes en assurant leur conception, jusqu’à leur mise en service, en passant par leur validation, vérification et étude de sécurité.

CLEARSY réalise notamment des systèmes et logiciels sûrs dans les domaines ferroviaire, automobile, militaire, spatial et nucléaire.

Télécharger la brochure Télécharger
Télécharger la présentation des produits Télécharger
Télécharger la présentation des produits ferroviaires Télécharger

Présentation

Actualités

Conférence RSSRail 2023, réservez la date ! Berlin, 10-12 octobre 2023
Cette année, la conférence RSSRail 2023 aura lieu à Berlin. Elle est co-organisée par CLEARSY, l’Université Gustave Eiffel et DTU […]
comment valider les données de paramétrage des logiciels critiques ?
CLEARSY vous invite au WEBINAIRE : comment valider les données de paramétrage des logiciels critiques ? Le 23 mars 2023 […]
Venez nous rencontrer au salon SIFER 2023 à Lille
CLEARSY se fait une joie de soutenir la filière ferroviaire Française en annonçant sa présence sur le salon du SIFER […]
Le protocole sécuritaire CLEARSY sur automate Schneider
Dans la continuité de nos activités dans le domaine de la sécurité incendie, CLEARSY implémente et réalise le protocole sécuritaire […]
Une version certifiée de l’ATELIER B prévue pour 2024
Une version certifiée de l’ATELIER B, l’outil pour la réalisation de la spécification et de la preuve de logiciel sécuritaire […]
Venez à la prochaine formation à la méthode B
CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]

Logiciels & systèmes sécuritaires

Tous nos systèmes et logiciels sécuritaires disponibles ci-dessous. Vous avez une problématique spécifique, contactez-nous.

Nous joindre

Besoin d’un système sûr, sur-mesure ?