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

摘要：

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

关键词：计算机、联锁、软件、安全性苛求、评价

所属期刊栏目：26

分类号：U284.362(铁路通信、信号)

资助基金：铁道部科技研究项目2001X005

在线出版日期：2004-03-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：59-63