CLEARSY
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
Actualités
Conférence RSSRail 2023, réservez la date ! Berlin, 10-12 octobre 2023
2 mars 2023 | ERTMS
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 ?
16 février 2023 | Ferroviaire
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
9 février 2023 | Ferroviaire
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
30 janvier 2023 | Génie logiciel
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
24 janvier 2023 | Génie logiciel
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
16 janvier 2023 | Outils
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.
systèmes opérationnels
