| 计算机联锁软件制式的安全性评价 |
| |
| 引用本文： | 郦萌,徐翥,王铁江.计算机联锁软件制式的安全性评价[J].铁道学报,2004,26(1):59-63. |
| |
| 作者姓名： | 郦萌 徐翥 王铁江 |
| |
| 作者单位： | 同济大学,计算机科学与技术系,上海,200331 |
| |
| 基金项目： | 铁道部科技研究开发计划项目(2001X005) |
| |
| 摘 要： | 计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 ,并列表给出了结果
|
| 关 键 词： | 计算机 联锁 软件 安全性苛求 评价 |
| 文章编号： | 1001-8360(2004)01-0059-05 |
| 修稿时间： | 2003年7月15日 |
Safety Assessment of Computer Interlocking Software Systems for a Typical Railway Station |
| |
| LI Meng,XU Zhu,WANG Tie-jiang.Safety Assessment of Computer Interlocking Software Systems for a Typical Railway Station[J].Journal of the China railway Society,2004,26(1):59-63. |
| |
| Authors: | LI Meng XU Zhu WANG Tie-jiang |
| |
| Abstract: | |
| |
| Keywords: | computer interlocking software safety-critical assessment |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
