HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Low Cost High Integrity Platform: regular paper

Abstract : A Revolution for developing of safety critical application Developing safety critical applications often requires rare human resources to complete successfully while off-the-shelf block solutions appear difficult to adapt especially during short-term projects. Developed during the R&D project FUI LCHIP[5], the CLEARSY Safety Platform fulfills a need for a technical solution to overcome the difficulties to develop SIL3/SIL4 system. Its technology is based on a smart combination of diverse hardware (2x PIC 32 micro-controllers) and a formal method with proof heavily used in the railways industry for decades. It avoids most testing and ensures safety at the highest level. The CLEARSY Safety Platform is both a software and a hardware platform aimed at designing and executing safety critical applications. One formal modelling language (B) is used to program the board. Programs are developed using a dedicated IDE or could be the by-product of some translation from a Domain Specific Language to B. The IDE takes care of the verification of the software (type check, proof, compilation) and then ensures its uploading to the hardware platform. Program is guaranteed to execute until a misbehaviour is detected, leading to a safe restricted mode where board outputs are deactivated. Added value The CLEARSY Safety Platform eases the development of safety critical applications as:-it covers the whole development cycle of control-command systems based on digital inputs/outputs.-development time is shortened as the safety principles are built-in, and are out of reach of the developer who cannot alter them. Development is focused on the behaviour.
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

Contributor : Thierry Lecomte Connect in order to contact the contributor
Submitted on : Monday, January 20, 2020 - 4:13:16 PM
Last modification on : Wednesday, March 16, 2022 - 3:53:39 AM
Long-term archiving on: : Tuesday, April 21, 2020 - 7:54:17 PM


Files produced by the author(s)


  • HAL Id : hal-02446132, version 1


Thierry Lecomte, David Déharbe, Denis Sabatier, Etienne Prun, Patrick Péronne, et al.. Low Cost High Integrity Platform: regular paper. ERTS 2020 - 10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France. ⟨hal-02446132⟩



Record views


Files downloads