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 renforce sa présence en Amérique du Nord L’entreprise s’est fixée trois objectifs : Mettre en œuvre ses systèmes, concevoir de […]

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.

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

CLEARSY a été invitée (http://issre.net/keynotes) à présenter son expérience quant à l’utilisation de méthodes formelles pour des applications industrielles sûres […]

CLEARSY co-organise la 19ème conférence brésilienne sur les méthodes formelles (http://sbmf2016.imd.ufrn.br/) qui aura lieu du 22 au 25 Novembre 2016 […]

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

À l’occasion de la journée « Langages et outils pour la fiabilité logicielle »  qui aura lieu le 12/05/2016 à Paris (Jussieu), […]