低成本高完整性平台（CS SE）---用户7305506

开发安全关键型应用程序通常需要很少的人力资源才能成功完成，而现成的块解决方案似乎很难适应，尤其是在短期项目中。CLEARSY安全平台通过基于双处理器和正式方法的技术来满足克服技术开发SIL3 / SIL4系统的困难，满足了安全平台技术解决方案的需要，保证了系统的最高安全性。数十年来，形式化方法（即B方法）已在铁路行业中大量使用。 使用其IDE Atelier B对CLEARSY 安全平台进行编程可确保对生成的软件具有更高的可信度。 本文介绍了这个平台，该平台旨在通过FUI项目LCHIP（低成本高完整性平台）开发安全关键系统的开发。

原文标题：Low Cost High Integrity Platform

原文：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).

原文作者：Thierry Lecomte, David Deharbe, Denis Sabatier, Etienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon

原文地址：https://arxiv.org/abs/2005.07191