高级检索 加入收藏
  • 查询稿件
  • 获取最新论文
  • 知晓行业信息
官方微信 欢迎关注

基于SCADE的安全软件开发方法研究

陈淑珍, 陈荣武, 李耀

陈淑珍, 陈荣武, 李耀. 基于SCADE的安全软件开发方法研究[J]. 铁路计算机应用, 2015, 24(3): 14-18.
引用本文: 陈淑珍, 陈荣武, 李耀. 基于SCADE的安全软件开发方法研究[J]. 铁路计算机应用, 2015, 24(3): 14-18.
shu
CHEN Shuzhen, CHEN Rongwu, LI Yao. Method of SCADE-based safety software development[J]. Railway Computer Application, 2015, 24(3): 14-18.
Citation: CHEN Shuzhen, CHEN Rongwu, LI Yao. Method of SCADE-based safety software development[J]. Railway Computer Application, 2015, 24(3): 14-18.
shu

基于SCADE的安全软件开发方法研究

  • 西南交通大学 信息科学与技术学院,成都 610031

详细信息
    作者简介:

    陈淑珍,在读硕士研究生;陈荣武,高级工程师。

  • 中图分类号: U284.482:TP39

Method of SCADE-based safety software development

  • School of Information Science and Technology, Southwest Jiaotong University, Chengdu 610031, China

摘要

    摘要
  • 摘要: 针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原理、流程及应用方式,并以城市轨道交通列车运行控制系统的区域控制器ZC为例,基于SCADE对ZC列车管理功能进行建模和验证。通过实例分析,证明基于SCADE的软件开发方法,可以有效保障高安全性系统的安全性和完整性,为其提供了一种新的开发方式。
    Abstract: The traditional methods of software development couldn’t meet the requirements of high security and integrity of safety critical system. The article proposed the method of SCADE-based safety software development, analyzed the principle, process and application methods of SCADE. The ZC of Urban Transit was taken as an example, through modeling and verifying the train management functions of ZC, it was proved that this method provided a new method which could efficiently ensure the high security and integrity of safety critical system.
    • HTML全文
    • 参考文献(4)
  • [1] 张 路.基于SCADE的CBTC区域控制器软件开发[D].北 京：北京交通大学,2010.
    [2] 高 霖.CBTC区域控制系统中列车管理的建模与分析[D]. 北京：北京交通大学,2007.
    [3] 胡钢伟,李振水,高亚奎. SCADE软件开发方法研究[J].系 统仿真学报,2008（S2)：286-288.
    [4] 林 枫.基于SCADE的形式化验证技术研究[J].测控技 术, 2011,30（12）：71-74.
    • 相关文章
    • 施引文献(22)

  • 期刊类型引用(17)

    1. 马牧云，张亚东，李耀，郭进. 基于STAMP与模型检验的全自动无人驾驶复杂运营场景安全验证方法. 铁道标准设计. 2024(03): 198-207 . 百度学术
    2. 邢志伟，王伟，陆志肖，宋治惠，胡尊帆. 基于SCADE的机电管理软件开发方法研究. 电子制作. 2022(07): 43-46 . 百度学术
    3. 吴惠妍. 一种应用于SCADE模型与实物联合仿真测试的方法. 铁路通信信号工程技术. 2021(10): 54-57 . 百度学术
    4. 徐慧斯，张亚东，李耀. 基于SSM-HAZOP的自主化ATP等级转换功能建模与验证. 铁道通信信号. 2020(07): 1-6 . 百度学术
    5. 刘芮滦，邓杨，龚彬. 基于AADL和SCADE的模型驱动软件设计. 太赫兹科学与电子信息学报. 2020(06): 1117-1121 . 百度学术
    6. 张恬. 基于SCADE的计算机联锁软件开发研究. 铁路计算机应用. 2020(12): 53-56 . 本站查看
    7. 邓志光，吕鑫，简一帆，王雪梅，张旭，陈明虎. 基于SCADE开发的SDMC在堆芯功率控制中的应用. 自动化仪表. 2019(04): 99-102 . 百度学术
    8. 张娜敏，赵璐. SCADE工具在轨道交通联锁软件开发中的应用. 信息化研究. 2019(01): 65-70 . 百度学术
    9. 赵璐，张娜敏. 基于SCADE联锁逻辑实现与仿真分析. 现代城市轨道交通. 2019(06): 61-64 . 百度学术
    10. 郭伟，钱金龙，陈希，臧一佩. 基于模型驱动的高速铁路ATO系统TSRS设备软件开发. 铁道通信信号. 2019(07): 45-49 . 百度学术
    11. 林荣峰，施健，朱晏庆，沈怡颹，周宇. 基于STP方法的SCADE模型形式化验证框架. 计算机工程. 2019(10): 70-77 . 百度学术
    12. 黄俊，钟科，马宇，杨斐. 核电厂DCS系统逻辑算法在线维护技术研究. 南华大学学报(自然科学版). 2019(05): 84-89 . 百度学术
    13. 张旭，刘浩，罗丽燕. 列控车载ATP控制模式建模与仿真. 控制与信息技术. 2018(04): 44-48 . 百度学术
    14. 黄俊，李晓龙，赵洋，吴延群. 核电厂数字化仪控系统算法软件自动化生成方法. 上海交通大学学报. 2018(S1): 31-35 . 百度学术
    15. 李文婷. SCADE开发既有系统中单个模块方法的研究. 铁路通信信号工程技术. 2017(03): 87-90 . 百度学术
    16. 方伟，周彰毅. SCADE在航空发动机FADEC软件开发中的应用. 航空发动机. 2016(05): 43-47 . 百度学术
    17. 颜运强，漆莲芝，陈泉根. 关键嵌入式软件全生命周期质量控制设想. 南通大学学报(自然科学版). 2016(04): 34-37 . 百度学术

    其他类型引用(5)

    • 资源附件(0)
计量
  • 文章访问数:  114
  • HTML全文浏览量:  1
  • PDF下载量:  198
  • 被引次数: 22
出版历程
  • 收稿日期:  2014-08-01
  • 刊出日期:  2015-03-24

目录

摘要
HTML全文
    参考文献(4)
    相关文章
    施引文献
    资源附件(0)

    /

    返回文章
    返回

    京ICP备12043220号-2

    本系统版权所有：北京仁和汇智信息技术有限公司   百度统计