Actualité ClearSy

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


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


Fiabilité, Sécurité et Sûreté des Systèmes Ferroviaires

RSSR 2016, conférence internationale sur la fiabilité, sécurité et sûreté des systèmes ferroviaires en relation avec la modélisation, l’analyse la vérification et la certification, aura lieu à Paris du 28 au 30 Juin 2016, à la maison de la RATP … Continuer la lecture