CLEARSY 安全平台：5 年研究、开发与部署
软件工程
2020-05-22 v1
摘要
CLEARSY 安全平台（CSSP）旨在简化安全关键系统的开发，并在全球市场压力下降低整体成本（开发、部署与认证）。该平台巧妙结合了硬件特性（双处理器）与形式化方法（B 方法与代码生成器），以产出一种 SIL4 就绪平台，其中安全原则内建且不可被开发者更改。本文总结了在铁路领域有效应用的 5 年经验反馈，阐释该方法如何成为游戏规则改变者，并试图展望该平台在安全关键系统领域的未来。特别是，未来工程师的教育以及通过领域特定语言支持与现有工程流程的无缝集成，是其他领域成功部署的关键课题。诸如用于编程移动机器人的 Robosim 以及用于设计铁路信号系统的继电器电路等 DSL 已连接至该平台。
引用
@article{arxiv.2005.10662,
title = {The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment},
author = {Thierry Lecomte and David Deharbe and Paulin Fournier and Marcel Oliveira},
journal= {arXiv preprint arXiv:2005.10662},
year = {2020}
}
备注
SBMF 2019: Brazilian Symposium on Formal Methods, Sao Paulo