![](https://www.clearsy.com/wp-content/uploads/2021/06/PLCHI-1-645x325-1.jpg)
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.
![](https://www.clearsy.com/wp-content/uploads/2021/06/Image-Automatisation-Metro-Paris1.jpg)
With 725 000 passengers daily and 111 years of existence, the most famous metro line of Paris, the first one […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/ligne-1-700x325-1.jpg)
One of the oldest metro of the world, the mythic Parisian first line is now equipped with Platform Screen Doors […]