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.
One of the oldest metro of the world, the mythic Parisian first line is now equipped with Platform Screen Doors […]
The KFS SIL2 system, a SIL2 certified automatic train stop mechanism (DAAT) underwent testing at night, from September 27th to […]
Battelle has signed a contract with CLEARSY for a collaboration within the framework of the automation project of the Flushing […]
CLEARSY participated in the “Nordic Elmia Rail” fair, which took place from 6th to 8th October 2009, in Jonkoping in […]