论文标题
清晰的安全平台：5年的研究，开发和部署
The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment
论文作者
论文摘要
清晰的安全平台（CSSP）旨在简化安全关键系统的开发，并在全球市场的压力下降低整体成本（开发，部署和认证）。硬件功能（双处理器）和形式方法（B方法和代码生成器）的智能组合用于生成一个可以内置安全原理的SIL4就绪平台，开发人员无法更改。总结在铁路中有效应用中的5年经验回报，本文解释了这种方法是如何改变游戏规则的，并试图预期该平台的安全关键系统的未来。特别是，未来工程师的教育以及在特定领域的支持下在现有工程过程中的无缝集成是成功部署其他领域的关键主题。像Robosim这样的DSL来编程移动机器人和继电器电路设计铁路信号系统已连接到平台。
The CLEARSY Safety Platform (CSSP) was designed to ease the development of safety critical systems and to reduce the overall costs (development, deployment, and certification) under the pressure of the worldwide market. A smart combination of hardware features (double processor) and formal method (B method and code generators) was used to produce a SIL4-ready platform where safety principles are built-in and cannot be altered by the developer. Summarizing a 5-year return of experience in the effective application in the railways, this article explains how this approach is a game-changer and tries to anticipate the future of this platform for safety critical systems. In particular, the education of future engineers and the seamless integration in existing engineering processes with the support of Domain Specific Languages are key topics for a successful deployment in other domains. DSL like Robosim to program mobile robots and relay circuits to design railway signalling systems are connected to the platform.
