Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification La conférence RSSR 2017 était organisée le 14 […]
Adaptées pour l’industrie, les méthodes formelles sont utilisées sur des projets ferroviaires d’envergure et permettent de démontrer la sureté de […]
Le projet LCHIP (Low Cost High Integrity Platform) est un projet co-financé par la Banque Publique d’Investissement, la Région PACA […]
CLEARSY participe à la Conférence internationale SBMF 2017 relative aux méthodes formelles. Cette conférence aura lieu du 27 Novembre au 1er […]
Venez nous retrouver sur le salon UITP de Montréal du 15 au 17 mai 2017. Ce salon et congrès mondial […]
CLEARSY participe au salon SIFER 2017, qui se tiendra du 21 au 23 mars 2017, au Grand Palais à Lille. […]
Le relais de sécurité de niveau SIL 4 est une réalité : CLEARSY en a fait la présentation au salon international […]
Ce séminaire, intitulé « Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité », est […]
Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !