Method of SCADE-based safety software development
-
摘要: 针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于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.
-
Keywords:
- SCADE /
- software safety /
- software modeling /
- Zone Controller(ZC)
-
-
[1] 张 路.基于SCADE的CBTC区域控制器软件开发[D].北 京：北京交通大学,2010. [2] 高 霖.CBTC区域控制系统中列车管理的建模与分析[D]. 北京：北京交通大学,2007. [3] 胡钢伟,李振水,高亚奎. SCADE软件开发方法研究[J].系 统仿真学报,2008（S2)：286-288. [4] 林 枫.基于SCADE的形式化验证技术研究[J].测控技 术, 2011,30（12）：71-74. -
期刊类型引用(11)
1. 宋岩，王凌. 基于版本更替的列控数据自动校验生成工具设计. 铁道通信信号. 2024(12): 98-104 . 
百度学术
2. 黄健，李倩，李方晴，张奕男. 基于XSD的配置工具数据处理安全平台. 铁路计算机应用. 2023(07): 62-67 . 本站查看
3. 赵峰，冯飞. 联调联试信号系统列控数据管理分析与建议. 铁路技术创新. 2021(03): 57-61 . 百度学术
4. 谭冠华，徐田华，王海峰，张路，吕继东. 基于Prolog的列控工程数据验证方法. 铁道学报. 2019(06): 91-99 . 百度学术
5. 卢铃冉，张勇. 基于CSP的CTCS-1级列控系统RDC数据验证的研究. 铁路计算机应用. 2019(07): 52-58 . 本站查看
6. 熊飞. 列车进路数据表编制软件的设计. 铁路计算机应用. 2019(07): 59-61 . 本站查看
7. 徐强，崔龙，黄琨. CTCS3无线闭塞中心工程化数据生成方法与实现. 铁路计算机应用. 2019(08): 52-56+74 . 本站查看
8. 卫晴雯. 基于Python的区间综合监控系统工程数据校验方法与应用. 铁路计算机应用. 2019(10): 39-44 . 本站查看
9. 徐红阳，齐超. 列控系统工程数据现场测量方法. 铁路通信信号工程技术. 2018(04): 5-9 . 百度学术
10. 陈颖，张敏，林洁，周健，徐宁，许豪勤. 避孕药具不良事件报告计算机自动审核效果的评估与探讨. 国际生殖健康/计划生育杂志. 2017(06): 470-473 . 百度学术
11. 余云飞. 铁路信号数据一体化配置系统设计及实现. 铁路通信信号工程技术. 2017(06): 27-30+35 . 百度学术
其他类型引用(4)
计量
- 文章访问数: 114
- HTML全文浏览量: 1
- PDF下载量: 198
- 被引次数: 15
下载:
