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

作     者：王燕芩 杨平 

作者机构：卡斯柯信号有限公司 200070上海 

出 版 物：《铁道通信信号》 (Railway Signalling & Communication)

年 卷 期：2016年第52卷第S2期

页      码：88-91页

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

主 题 词：联锁 形式化方法 SCADE 模型开发 安全性 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.13879/j.issn1000-7458.2016-S2.16246

馆 藏 号：203284494...