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
Actualités
L’Atelier B T2 Certified Edition maintenant disponible à l’achat
16 avril 2025 | Génie logiciel
Nous avons le plaisir de présenter la feuille de route 2025 de l’Atelier B, le premier IDE pour développer des […]
Le relais de sécurité RS4 de CLEARSY : un avantage de taille !
16 avril 2025 | Composant
Les relais sécuritaires RS4 de CLEARSY sont utilisés pour piloter le signal SIL4 « Fermé et verrouillé » en interface […]
CLEARSY livre des bancs de tests à la société Italienne ECM – Progress Rail
1 avril 2025 | Composant
Ces bancs servent à tester des équipements industriels tel que des RBC (Radio Block Centre), systèmes d’enclenchements ainsi que des […]
La nouvelle plateforme de développement de système de sécurité SIL4 de référence
5 mars 2025 | Outils
CLEARSY présente le CLEARSY SAFETY CONTROLLER, un calculateur de sécurité SIL4 ready, basé sur la CLEARSY SAFETY PLATFORM certifiée SIL4 […]
Le simulateur ETCS de CLEARSY est opérationnel en Allemagne
26 février 2025 | ERTMS
Deux laboratoires du système européen de contrôle des trains (ETCS) sont utilisés depuis 2024 en Allemagne, à Munich et à […]
Une première mondiale, les raisonnements de sécurité des systèmes, formellement prouvés T2 EN50129 SIL4
19 février 2025 | Génie logiciel
L’activité de preuve formelle système consiste à exprimer mathématiquement les propriétés globales par lesquelles la sécurité du système est garantie […]
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
