基于场景控制特征的安全性需求分析方法

摘要

安全性需求是系统安全性保证的关键.随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难.通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法.通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程(STAMP)的危险性控制活动,并以此获得系统安全性需求.经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果.