| 基于SCADE的安全软件开发方法研究 |
| |
| 引用本文： | 陈淑珍,陈荣武,李耀. 基于SCADE的安全软件开发方法研究[J]. 铁路计算机应用, 2015, 24(3): 14-18 |
| |
| 作者姓名： | 陈淑珍 陈荣武 李耀 |
| |
| 作者单位： | 西南交通大学 信息科学与技术学院,成都 610031 |
| |
| 摘 要： | 针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原理、流程及应用方式,并以城市轨道交通列车运行控制系统的区域控制器ZC为例,基于SCADE对ZC列车管理功能进行建模和验证。通过实例分析,证明基于SCADE的软件开发方法,可以有效保障高安全性系统的安全性和完整性,为其提供了一种新的开发方式。
|
| 关 键 词： | SCADE 软件安全 软件建模 区域控制器 |
| 收稿时间： | 2014-08-02 |
Method of SCADE-based safety software development |
| |
| CHEN Shuzhen;CHEN Rongwu;LI Yao. Method of SCADE-based safety software development[J]. Railway Computer Application, 2015, 24(3): 14-18 |
| |
| Authors: | CHEN Shuzhen CHEN Rongwu LI Yao |
| |
| Affiliation: | School of Information Science and Technology, Southwest Jiaotong University, Chengdu 610031, China |
| |
| 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: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
|
点击此处可从《铁路计算机应用》下载全文 |
|
