低成本高完整性平台
软件工程
2020-05-15 v1
摘要
开发安全关键应用常需要稀缺的人力资源才能成功完成，而现成模块方案似乎难以适配，尤其在短期项目中。CLEARSY Safety Platform 满足了一种技术解决方案的需求，以克服开发 SIL3/SIL4 系统的困难，其技术基于双处理器与带证明的形式化方法，以确保最高级别的安全。该形式化方法即 B 方法，数十年来已在铁路工业中大量使用。使用其 IDE Atelier B 对 CLEARSY Safety Platform 编程，可确保对所生成软件的更高置信度。本文介绍该旨在革新安全关键系统开发的平台，其通过 FUI 项目 LCHIP（Low Cost High Integrity Platform，低成本高完整性平台）开发。
引用
@article{arxiv.2005.07191,
title = {Low Cost High Integrity Platform},
author = {Thierry Lecomte and David Deharbe and Denis Sabatier and Etienne Prun and Patrick Péronne and Emmanuel Chailloux and Steven Varoumas and Adilla Susungi and Sylvain Conchon},
journal= {arXiv preprint arXiv:2005.07191},
year = {2020}
}
备注
ERTS 2020: 10TH European Congress Embdedded Real Time Software and System, Toulouse, France