| 铁路车站计算机联锁软件的安全性评估策略 |
| |
| 引用本文： | 严黎,吴芳美. 铁路车站计算机联锁软件的安全性评估策略[J]. 同济大学学报(自然科学版), 2002, 30(9): 1116-1120 |
| |
| 作者姓名： | 严黎 吴芳美 |
| |
| 作者单位： | 同济大学沪西校区,安全软件测试评估研究所,上海,200331 |
| |
| 基金项目： | 铁道部科技研究开发计划资助项目 (2 0 0 1X0 0 5 ,2 0 0 0X0 18) |
| |
| 摘 要： | 安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中，明确它们之间的区别。在此基础上，提出一种能定量反映计算机联锁安全软件安全性的评估策略，最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后，利用J－M可靠性模型对其进行安全性定量分析的方法。
|
| 关 键 词： | 铁路车站 评估策略 安全软件 软件可靠性 安全性定量评估 计算机联锁软件 J－M可靠性模型 |
| 文章编号： | 0253-374X(2002)09-1116-05 |
| 修稿时间： | 2001-12-04 |
Strategy of Safety Assessment for Computer Interlocking Software of Railway Station |
| |
| YAN Li,WU Fang-mei. Strategy of Safety Assessment for Computer Interlocking Software of Railway Station[J]. Journal of Tongji University(Natural Science), 2002, 30(9): 1116-1120 |
| |
| Authors: | YAN Li WU Fang-mei |
| |
| Abstract: | The behaviors of safety-critical control systems are often directly related to the safety of people life and some tall money.It is worth discussing how to reflect the safety quality of software embedded in computer systems.Then,difference between software reliability and safety is argued with the meanings of them defined.Based on the knowledge above,the strategy of safety quantitative assessment for computer interlocking software (CIS) of railway station is presented.Finally,based on testing for CIS of certain system,the method of safety quantitative analysis about it is given out in detail by making use of J-M reliability model. |
| |
| Keywords: | safety-critical software reliability safety quantitative assessment computer interlocking software |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
