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

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.

Formal Data Validation Tutorial at ABZ 2014, Toulouse Computer science, Exhibitions/conferences, Railway, Tools

Data Validation & Reverse Engineering Computer science, Railway

ProB: a model-checker for data validation Railway, Tools

Data validation in the Railways Railway, Tools

Introduction to data validation Railway, Safety, Uncategorized

Line 1, a new revolution in Paris Railway

With 725 000 passengers daily and 111 years of existence, the most famous metro line of Paris, the first one […]

The modernization of the oldest Parisian Metro line. Metro (CBTC), Railway

One of the oldest metro of the world, the mythic Parisian first line is now equipped with Platform Screen Doors […]