摘要
不同于计算机联锁系统传统软件需求的分析和描述方式,从一个全新的角度将计算机联锁系统的控制设备看做风险触发对象,提出基于场景分析识别联锁系统安全需求的方法,根据每个场景下潜在的危害,自顶向下按照控制设备的异常状态,分析对应的风险。系统危害在不断抽象精化的过程中,逐渐抽取出系统安全需求。针对识别的安全需求,使用数学符号语言进行描述。经过该过程的识别和描述,使得安全需求完整,需求描述明确,无二义性。
Different from the traditional method of software requirements analysis and description of computer based interlocking system,the control equipment of the system is viewed as object triggering risk and the safety requirement identification method based on scenario analysis of the interlocking system is put forward,in which the corresponding risks of the potential hazards in each operation scenario are analyzed according to the abnormal state of the control objects in a top-down way.In the process of continuous abstraction and refinement of hazards,system safety requirements are gradually extracted.Then,the identified safety requirements are in mathematical symbol language so that the safety requirements can be complete and specified definitely and unambiguously.
作者
李卫娟
王燕芩
Li Weijuan;Wang Yanqin
出处
《铁道通信信号》
2021年第3期32-36,共5页
Railway Signalling & Communication
关键词
计算机联锁系统
安全需求
风险
运营场景
Computer based Interlocking
Safety requirement
Risk
Operation Scenario
