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

2021, v.49(03) 391-399+466

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于通信的列车控制系统数据安全影响分析
Analysis of Safety Impact of Data in Communication-Based Train Control System

陈宇佳;曾小清;袁腾飞;

摘要(Abstract):

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

关键词(KeyWords): 系统工程;安全评价;失效传播;信号系统;数据失效

Abstract:

Keywords:

基金项目(Foundation): 上海市科学技术委员会项目(20DZ1202900,19DZ1204200);; 上海市住房和城乡建设管理委员会项目(JSKY18R022-7)

作者(Author): 陈宇佳;曾小清;袁腾飞;

Email:

DOI:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享