低成本高完整性平台
Low Cost High Integrity Platform
摘要：
开发安全关键应用程序通常需要很少的人力资源才能成功完成，而现成的块解决方案似乎很难适应，特别是在短期项目中。CLEARSY安全平台满足了对技术解决方案的需求，以克服开发SIL 3/SIL 4系统的困难，其技术基于双处理器和具有证明的正式方法，以确保最高级别的安全性。形式化方法，即B方法，在铁路行业中已经大量使用了几十年。使用其IDE Atelier B对CLEARSY Safety Platform进行编程，可确保生成的软件具有更高的可信度。本文介绍了这个平台，旨在彻底改变安全关键系统的发展，通过FUI项目LCHIP（低成本高完整性平台）开发。
英文摘要：
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).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
