铁道通信信号
鐵道通信信號
철도통신신호
RAILWAY SIGNALLING & COMMUNICATION
2012年
12期
19-22
,共4页
列控系统%系统评估%半形式化%风险评估
列控繫統%繫統評估%半形式化%風險評估
렬공계통%계통평고%반형식화%풍험평고
Train Control System%System assessment%Semi-formal model%Risk assessment
CTCS-3级列控系统是典型的安全苛求系统,其系统评估技术是一项复杂的系统工程。通过将系统需求由非形式化向半形式化模型转换,运用危险及可操作性研究、故障树分析、事件树分析和原因结果分析等安全分析工具,提出适用于CTCS-3级列控系统的风险评估技术,对我国CTCS-3级列控系统评估具有积极作用。
CTCS-3級列控繫統是典型的安全苛求繫統,其繫統評估技術是一項複雜的繫統工程。通過將繫統需求由非形式化嚮半形式化模型轉換,運用危險及可操作性研究、故障樹分析、事件樹分析和原因結果分析等安全分析工具,提齣適用于CTCS-3級列控繫統的風險評估技術,對我國CTCS-3級列控繫統評估具有積極作用。
CTCS-3급렬공계통시전형적안전가구계통,기계통평고기술시일항복잡적계통공정。통과장계통수구유비형식화향반형식화모형전환,운용위험급가조작성연구、고장수분석、사건수분석화원인결과분석등안전분석공구,제출괄용우CTCS-3급렬공계통적풍험평고기술,대아국CTCS-3급렬공계통평고구유적겁작용。
The CTCS-3 Train Control System is a kind of typical safety critical systems and its system assessment is complex.Through converting non-formal system requirements into semi-formal requirements,We use safety several analysis tools,such as hazard and operability studies,fault tree analysis,event tree analysis and reason and result analysis,to provide suitable risk assessment techniques for CTCS-3 Train Control System.
