为在设计阶段验证交互数据在系统中的安全特性,基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法.首先,建立系统的有色Petri网模型,通过对库所数值离散化处理得到用例,对变迁进行单元测试得出失效行为函数,获得具有失效行为变迁的失效传播有色Petri网;然后基于有色Petri网模型的状态空间,通过失效空间生成算法与变迁回溯法,实现由模型状态空间到失效状态空间,再到失效状态树的转换,并通过失效状态树的合并与计算,获得系统失效最小割集.最后通过实验,比较不同数据安全保障措施下系统的失效最小割集变化,验证了安全保障措施对系统安全的作用,实验结果证明了该分析方法的正确性与有效性.
系统工程 安全评价 失效传播 信号系统 数据失效