CLEARSY et CENTRALP partenaires pour développer une IHM-ETCS ERTMS, Ferroviaire

CLEARSY et CENTRALP développent une IHM-ETCS en partenariat. L’IHM-ETCS (Interface Homme machine) ou DMI (Driver Machine Interface) – ETCS est […]

Logo-RailMetro-China-2017
Rail+Metro China 2017 : Venez nous rencontrer ! Ferroviaire, Métro (CBTC), Salons/conférences

CLEARSY sera sur le salon Rail+Metro 2017 à Shanghai. Venez nous retrouver sur notre stand E7S159 du 21 au 23 […]

Tutorial conference RSSR 2017
Tutoriel conférence RSSR Ferroviaire, Salons/conférences

Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification La conférence RSSR 2017 était organisée le 14 […]

Les méthodes formelles appliquées au ferroviaire Ferroviaire, Salons/conférences

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 […]

Salon des transports publics UITP Ferroviaire, Salons/conférences

Venez nous retrouver sur le salon UITP de Montréal du 15 au 17 mai 2017. Ce salon et congrès mondial […]

SIFER 2017 – Venez nous renconter ! Ferroviaire, Salons/conférences

CLEARSY participe au salon  SIFER 2017, qui se tiendra du 21 au 23 mars 2017, au Grand Palais à Lille. […]

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

Le relais de sécurité de niveau SIL 4 est une réalité : CLEARSY en a fait la présentation au salon international […]

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. Ferroviaire

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level. LCHIP platform is a combination of a B method (formal method) Integrated Development Environment and a secured runtime platform able to execute software in real-time. The IDE generates and mathematically proves critical software source code in an automated process. When it comes to simple algorithms, the IDE extends functionalities of Atelier B (software to develop in B method). The low cost runtime platform, which runs software from the IDE, is secured in real-time in order to provide an optimum safety. “Such a combination reduces ten times the cost of the secured platform” Thierry Lecomte, expert in Atelier B at ClearSy explains.