专栏首页arxiv.org翻译专栏低成本高完整性平台(CS SE)
原创

低成本高完整性平台(CS SE)

开发安全关键型应用程序通常需要很少的人力资源才能成功完成,而现成的块解决方案似乎很难适应,尤其是在短期项目中。CLEARSY安全平台通过基于双处理器和正式方法的技术来满足克服技术开发SIL3 / SIL4系统的困难,满足了安全平台技术解决方案的需要,保证了系统的最高安全性。数十年来,形式化方法(即B方法)已在铁路行业中大量使用。 使用其IDE Atelier B对CLEARSY 安全平台进行编程可确保对生成的软件具有更高的可信度。 本文介绍了这个平台,该平台旨在通过FUI项目LCHIP(低成本高完整性平台)开发安全关键系统的开发。

原文标题:Low Cost High Integrity Platform

原文: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).

原文作者:Thierry Lecomte, David Deharbe, Denis Sabatier, Etienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon

原文地址:https://arxiv.org/abs/2005.07191

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 两代(1979年至2019年)的IMDb数据第一部分:数据集(CS CS)

    “这个http URL”作为一个用户管理和访问量最大的门户网站之一,为创建一个庞大的数据库创造了机会。分析网络电影数据库IMDb中与电影相关或由用户提供的信息,...

    蔡秋纯
  • 分布式学习中用于抑制散乱的高效梯度编码(CS IT)

    基于梯度的方法的分布式实现,其中服务器在工作机之间分配梯度计算,需要克服两个限制:由运行缓慢的机器(称为“散列器”)引起的延迟和通信开销。最近,Ye和Abbe[...

    蔡秋纯
  • 基于图粗化和深度图学习的层次化快速图相似度计算(CS)

    在这项工作中,我们感兴趣的是大型图相似性计算问题,这是一个最重要的基于图的问题。传统的计算图编辑距离(GED)和最大公共子图(MCS)的精确值或近似值的技术要求...

    蔡秋纯
  • Pointer and the C++ Philosophy

    青木
  • Tutorial: How to "live stream" a media file

    I have tried a while to setup a free (open source etc.) live streaming solution...

    雪影
  • Cronos -- hack the box

    3 ports is open, detect the detailed services:

    madneal
  • Holiday -- hack the box

    Holiday is an insane box officially. It's really difficult to get the user permi...

    madneal
  • Spring AOP 失效的真正元凶

    Understanding AOP proxies Spring AOP is proxy-based. It is vitally important tha...

    Java高级架构
  • Load URL With Extra HTTP Headers Using WebView in Android

    As we know, Webview will add the referer into the reqeust if we click a hyperlin...

    技术小黑屋
  • [security] Go 1.11.3 and Go 1.10.6 pre-announcement

    We plan to issue Go 1.11.3 and Go 1.10.6 on Wednesday, December 12 at

    李海彬

扫码关注云+社区

领取腾讯云代金券