论文标题
低成本高完整性平台
Low Cost High Integrity Platform
论文作者
论文摘要
开发安全关键应用程序通常需要稀有的人力资源才能成功完成，而现成的块解决方案似乎很难适应，尤其是在短期项目中。清晰的安全平台满足了技术解决方案的需求，以克服基于双重处理器的技术和一种正式方法来克服SIL3/SIL4系统的困难，并具有确保安全性最高安全性的正式方法。数十年来，正式的方法，即B方法，在铁路行业已大量使用。使用其IDE ATELIER B来对清晰的安全平台进行编程，可确保对生成的软件的更高信心。本文介绍了该平台，旨在彻底改变通过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).
