基于场景分析的联锁系统安全需求识别过程研究

摘要

不同于计算机联锁系统传统软件需求的分析和描述方式,从一个全新的角度将计算机联锁系统的控制设备看做风险触发对象,提出基于场景分析识别联锁系统安全需求的方法,根据每个场景下潜在的危害,自顶向下按照控制设备的异常状态,分析对应的风险.系统危害在不断抽象精化的过程中,逐渐抽取出系统安全需求.针对识别的安全需求,使用数学符号语言进行描述.经过该过程的识别和描述,使得安全需求完整,需求描述明确,无二义性.