
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.

CLEARSY participera à InnoTrans, le rendez-vous mondial des acteurs du Transports, qui se tiendra au Parc des Expositions de Berlin […]

ClearSy is participating to InnoTrans, the leading international trade fair for transport technology, which is held in Messe Berlin from 20 to 23 September, 2016. We look forward to seeing you at InnoTrans on ClearSy booth : stand 103, Hall 4.1.

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

A l’occasion du forum IFSTTAR »Sûreté et sécurité dans les transports » qui aura lieu le 09/12/2015 à Paris dans les locaux […]

CLEARSY a participé à la 5ème édition de la conférence internationale sur les gares ferroviaires, NEXTSTATION 2015 à Marrakech (Maroc) […]

Salon des transports publics UITP Venez nous retrouver sur le salon UITP de Milan du 8 au 10 juin 2015. […]

Contexte du projet Les balises KPVA permettent le contrôle ponctuel de vitesse d’un train. Basé sur la technologie Radar, la […]