SIFER 2017 – Come to see us ! Exhibitions/conferences, Railway

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

CLEARSY vital relay was creating the buzz during Innotrans Railway, Tools

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. 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