铁道学报
鐵道學報
철도학보
2004年
1期
59-63
,共5页
计算机%联锁%软件%安全性苛求%评价
計算機%聯鎖%軟件%安全性苛求%評價
계산궤%련쇄%연건%안전성가구%평개
计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件.根据制式测试结果颁发计算机联锁的生产许可证,是铁道部有关部门加强计算机联锁质量管理的重要措施.以制式测试为依据对联锁软件的安全性进行的评价,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息,以补充"合格"或"不合格"两个评价结论过于粗略的不足.本文首先根据严重性和诱发可能性为每个安全性问题(即软件缺陷)定义了一个安全性指数,然后提出针对制式测试的安全性评价指标--联锁软件安全性问题处理完善性,用以反映联锁软件的开发水平.这部分包括评价模型和方法,特别是对安全性经验关系系统到数值关系系统的映射,进行了一致性的证明.文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例,并列表给出了结果.
計算機聯鎖軟件是鐵路信號計算機控製繫統中複雜性最大、安全性要求最高的軟件.根據製式測試結果頒髮計算機聯鎖的生產許可證,是鐵道部有關部門加彊計算機聯鎖質量管理的重要措施.以製式測試為依據對聯鎖軟件的安全性進行的評價,能夠比較準確地穫得軟件開髮方對于聯鎖安全性問題的理解和處理能力的完整信息,以補充"閤格"或"不閤格"兩箇評價結論過于粗略的不足.本文首先根據嚴重性和誘髮可能性為每箇安全性問題(即軟件缺陷)定義瞭一箇安全性指數,然後提齣針對製式測試的安全性評價指標--聯鎖軟件安全性問題處理完善性,用以反映聯鎖軟件的開髮水平.這部分包括評價模型和方法,特彆是對安全性經驗關繫繫統到數值關繫繫統的映射,進行瞭一緻性的證明.文章最後介紹瞭對某些已經完成製式測試的軟件進行安全性問題處理完善性的評價實例,併列錶給齣瞭結果.
계산궤련쇄연건시철로신호계산궤공제계통중복잡성최대、안전성요구최고적연건.근거제식측시결과반발계산궤련쇄적생산허가증,시철도부유관부문가강계산궤련쇄질량관리적중요조시.이제식측시위의거대련쇄연건적안전성진행적평개,능구비교준학지획득연건개발방대우련쇄안전성문제적리해화처리능력적완정신식,이보충"합격"혹"불합격"량개평개결론과우조략적불족.본문수선근거엄중성화유발가능성위매개안전성문제(즉연건결함)정의료일개안전성지수,연후제출침대제식측시적안전성평개지표--련쇄연건안전성문제처리완선성,용이반영련쇄연건적개발수평.저부분포괄평개모형화방법,특별시대안전성경험관계계통도수치관계계통적영사,진행료일치성적증명.문장최후개소료대모사이경완성제식측시적연건진행안전성문제처리완선성적평개실례,병렬표급출료결과.
