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 de CLEARSY
Télécharger
Télécharger le catalogue des produits ferroviaires
Télécharger
Télécharger la présentation des produits ferroviaires
Télécharger
Présentation
Actualités
Norme Critères Communs : démontrer la sécurité par les méthodes formelles
25 mai 2026 | Micro-électronique
CLEARSY accompagne de grands acteurs de l’industrie de la micro-électronique dans la certification selon la norme Critères Communs, un référentiel international […]
CLEARSY fourni un banc de test ERTMS complet à Väylä
19 mai 2026 | ERTMS
La Finlande prépare activement l’avenir de son réseau ferroviaire. D’ici 2030, le système actuel de contrôle des trains atteindra progressivement […]
Homologation des systèmes ferroviaires : CLEARSY aux côtés de SNCF Réseau
6 mai 2026 | Ferroviaire
Le réseau ferroviaire repose sur une multitude d’équipements de signalisation qui sont soumis à des exigences strictes de certification sécuritaire […]
CLEARSY participe au NII Shonan Meeting et FM 2026 Industry Day
4 mai 2026 | Société
En mai prochain, CLEARSY participera à deux événements au Japon autour d’un enjeu clé : comment associer l’IA aux méthodes […]
Panorama des méthodes formelles pour des systèmes plus sûrs
4 mai 2026 | Outils
CLEARSY a contribué à l’écriture de l’article « Formal Methods in Industry » aux côtés d’auteurs éminents qui font figure de références […]
La sécurité au cœur de l’interopérabilité au métro de New York
3 avril 2026 | Ferroviaire
Le métro de New-York (Metropolitan Transportation Authority, MTA) adopte le CLEARSY Data Solver ! Dans des environnements ferroviaires complexes, l’interopérabilité est […]
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
