SIFER 2017 – Venez nous renconter !

ClearSy participe au salon  SIFER 2017, qui se tiendra du 21 au 23 mars 2017, au Grand Palais à Lille. Ce salon, a pour objectif de rassembler les plus grands acteurs du monde ferroviaire… et nous vous présenterons toutes nos … Continuer la lecture


ClearSy organise un séminaire technique à l’Université de Sherbrooke (Québec) le jeudi 20 octobre 2016 de 10h30 à 12h.

Ce séminaire, intitulé « Logiciel prouvé avec B pour des automatismes sécuritaires à bas coût et à haut niveau d’intégrité », est axé sur les dernières innovations concernant le développement d’applications critiques avec la méthode formelle B: »L’Atelier B a été utilisé de manière intensive pour le développement d’applications critiques, principalement dans le domaine ferroviaire. Continuer la lecture


Avec son relais de sécurité certifié SIL 4, ClearSy a fait le buzz à InnoTrans

Le relais de sécurité de niveau SIL 4 est une réalité : Clearsy en a fait la présentation au salon international du ferroviaire InnoTrans. Septembre, Berlin, InnoTrans : Clearsy expose son RS4.DIN.202.110V. Il s’agit du tout 1er relais de sécurité garantissant l’ouverture … Continuer la lecture


Clearsy présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques, le 13 octobre à Saint Malo

Clearsy présente le projet LCHIP au congrès Lambda Mu de la Maîtrise des Risques, le 13 octobre à Saint Malo.
Le projet LCHIP (Low Cost High Integrity Plateform) vise à faciliter le développement de systèmes sécuritaires (logiciel critiques) jusqu’au niveau SIL 4 qui constitue le niveau le plus élevé en matière d’exigence de sûreté.
Le projet LCHIP combine un environnement de développement complet en langage B (mathématique) à une plateforme d’exécution des logiciels sécurisée en temps réel. Continuer la lecture


ClearSy s’installe aux Etats-Unis

ClearSy renforce sa présence en Amérique du Nord.
Les systèmes et logiciels ClearSy ont attiré l’intérêt de plusieurs entreprises du ferroviaire américain. Grâce à ce bureau aux Etats-Unis, ClearSy espère bien renforcer sa présence auprès des clients et participer à de nouveaux projets. Continuer la lecture


Venez nous rencontrer lors d’InnoTrans, le rendez-vous mondial des acteurs du Transports

ClearSy participera à InnoTrans, le rendez-vous mondial des acteurs du Transports,
Nous vous attendons nombreux sur notre stand 103, Halle 4.1. Continuer la lecture


Conférence ISSRE 2016

ClearSy a été invitée à présenter son expérience quant à l’utilisation de méthodes formelles pour des applications industrielles sûres et sécuritaires , à l’occasion de la conférence ISSRE 2016 (27th International Symposium on Software Reliability Engineering) Continuer la lecture


19ème conférence brésilienne sur les méthodes formelles

ClearSy co-organise la 19ème conférence brésilienne sur les formelles formelles Continuer la lecture