同济大学学报(自然科学版)

作者：陈宇佳，曾小清，袁腾飞

单位：同济大学 道路与交通工程教育部重点实验室，上海 201804

关键词：系统工程,安全评价,失效传播,信号系统,数据失效

基金：上海市科学技术委员会项目（20DZ1202900, 19DZ1204200），上海市住房和城乡建设管理委员会项目（JS-KY18R022-7）

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

来源：2021年第3期

《同济大学学报(自然科学版)》期刊编辑部

查看同济大学学报(自然科学版)杂志2021年第3期