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