计算机联锁软件制式的安全性评价

• 作者: 徐翥 王铁江 郦萌
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 计算机 联锁 软件 安全性苛求 评价
• 年，卷（期）: 2004,（1）
• 页码范围: 59-63
• 页数: 5页
• 分类号: U284.362
• 字数: 6200字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2004.01.012

摘要

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件.根据制式测试结果颁发计算机联锁的生产许可证,是铁道部有关部门加强计算机联锁质量管理的重要措施.以制式测试为依据对联锁软件的安全性进行的评价,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息,以补充"合格"或"不合格"两个评价结论过于粗略的不足.本文首先根据严重性和诱发可能性为每个安全性问题(即软件缺陷)定义了一个安全性指数,然后提出针对制式测试的安全性评价指标--联锁软件安全性问题处理完善性,用以反映联锁软件的开发水平.这部分包括评价模型和方法,特别是对安全性经验关系系统到数值关系系统的映射,进行了一致性的证明.文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例,并列表给出了结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郦萌	同济大学计算机科学与技术系	18	229	9.0	15.0
2	王铁江	同济大学计算机科学与技术系	8	166	7.0	8.0
3	徐翥	同济大学计算机科学与技术系	4	26	3.0	4.0