Low Cost High Integrity Platform

TL;DR

The paper introduces the CLEARSY Safety Platform, a cost-effective and high-integrity solution for developing SIL3/SIL4 safety-critical systems using formal methods and double-processor technology.

Contribution

It presents a novel platform that simplifies safety-critical system development with formal verification, making high-integrity solutions more accessible and adaptable.

Findings

Ensures safety at SIL3/SIL4 levels with formal proof.

Uses double-processor architecture for reliability.

Reduces development costs for safety-critical applications.

Abstract

Developing safety critical applications often require rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during short-term projects. The CLEARSY Safety Platform fulfils a need for a technical solution to overcome the difficulties to develop SIL3/SIL4 system with its technology based on a double-processor and a formal method with proof to ensure safety at the highest level. The formal method, namely the B method, has been heavily used in the railways industry for decades. Using its IDE, Atelier B, to program the CLEARSY Safety Platform ensures a higherlevel of confidence on the software generated. This paper presents this platform aimed at revolutionising the development of safety critical systems, developed through the FUI project LCHIP (Low Cost High Integrity Platform).