城市建设理论研究（电子版）
城市建設理論研究（電子版）
성시건설이론연구（전자판）
ChengShi Jianshe LiLun Yan Jiu
2013年
6期
,共1页
形式化方法%知识表示%铁路信号
形式化方法%知識錶示%鐵路信號
형식화방법%지식표시%철로신호
铁路信号系统作为安全关键系统,它的失效可能带来灾难性的后果或重大经济损失,因此,安全关键系统的软件开发对可靠性和安全性的要求非常苛刻.而需求分析及描述是软件生命周期的一个重要环节,它所确立的系统逻辑模型是设计和实现目标系统的基础.提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法,希望代替以往继电器接点电路表示的逻辑关系处理方式.
鐵路信號繫統作為安全關鍵繫統,它的失效可能帶來災難性的後果或重大經濟損失,因此,安全關鍵繫統的軟件開髮對可靠性和安全性的要求非常苛刻.而需求分析及描述是軟件生命週期的一箇重要環節,它所確立的繫統邏輯模型是設計和實現目標繫統的基礎.提齣瞭一種適閤于計算機處理的鐵路信號域知識的形式化錶達方法,希望代替以往繼電器接點電路錶示的邏輯關繫處理方式.
철로신호계통작위안전관건계통,타적실효가능대래재난성적후과혹중대경제손실,인차,안전관건계통적연건개발대가고성화안전성적요구비상가각.이수구분석급묘술시연건생명주기적일개중요배절,타소학립적계통라집모형시설계화실현목표계통적기출.제출료일충괄합우계산궤처리적철로신호역지식적형식화표체방법,희망대체이왕계전기접점전로표시적라집관계처리방식.
