基于SCADE建模的联锁软件形式化开发实现

来源 :铁道通信信号 | 被引量 : 0次 | 上传用户：alexshinichi

【摘要】

：

计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中,保证系统的安全性和可靠性是关键.介绍基于

【作者】

：

王燕芩杨平

【机构】

：

卡斯柯信号有限公司200070上海

【出处】

：

铁道通信信号

【发表日期】

：

2016年S2期

【关键词】

：

联锁形式化方法 SCADE 模型开发安全性

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中,保证系统的安全性和可靠性是关键.介绍基于SCADE工具进行联锁软件开发过程,使用模型化的方法从系统需求到最后代码验证,为软件安全认证的各个阶段提供了解决方案和实施工具,实现了开发过程的自动化和过程省略,大大提高了安全软件开发的效率和安全性.

其他文献

基于SOA架构模式搭建公共信息平台

从目前流行的开发模式出发,阐述了如何基于云计算平台以SOA的模式构建公共信息平台,能够让平台的结构根据业务应用的需求和服务场景,快速做出调整,自组织,自适应,从而最大可

期刊

面向服务的体系结构公共信息平台大数据

卫生检验实验室外部质量控制

卫生检验是面向社会的一项工作，其检测数据公布于社会，必须具有科学性、准确性、公证性和法律效力。因此，检测数据的准确与否会影响到社会。也直接影响到卫生监督的质量以及疾病

期刊

卫生检验质量控制实验室

解脲支原体对抗生素敏感性调查分析

解脲支原体（Uu）是感染泌尿道、生殖道疾病最重要的细菌之一，近年由于耐药菌株产生，给临床治疗带来了困难。为更清楚了解本院Uu临床株对常用抗生素的敏感性，采用珠海银科生物技术研

期刊