B4free, the development environment for B models, is available to the scientific community: B4Free.com

CLEARSY in charge of the Signalling and Command Report for the RATP The SYMPHONIE SSI project aims to provide the […]

CLEARSY company specialised on safety systems provides services all over the world. But with placing on the market of SIL4 […]

The LCHIP collaborative project led by CLEARSY aims to produce a calculation platform able to automate the development of low-cost […]

CLEARSY participates on SIFER 2017, from 21st till 23rd March 2017, in the Grand Palais in Lille. SIFER, has for […]

Vital relay certified SIL4 actually exists: CLEARSY introduced it during the global railway conference Innotrans. In September at Innotrans in […]

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.