看过本文的还看了

相关文献

该作者的其他文献

文献详情 >基于SCADE建模的联锁软件形式化开发实现 收藏
基于SCADE建模的联锁软件形式化开发实现

基于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...

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分