| 基于通信的列车控制系统数据安全影响分析 |
| |
| 引用本文： | 陈宇佳,曾小清,袁腾飞.基于通信的列车控制系统数据安全影响分析[J].同济大学学报(自然科学版),2021,49(3):391-399. |
| |
| 作者姓名： | 陈宇佳 曾小清 袁腾飞 |
| |
| 作者单位： | 同济大学 道路与交通工程教育部重点实验室，上海 201804 |
| |
| 基金项目： | 上海市科学技术委员会项目（20DZ1202900, 19DZ1204200），上海市住房和城乡建设管理委员会项目（JS-KY18R022-7） |
| |
| 摘 要： | 为在设计阶段验证交互数据在系统中的安全特性，基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法。首先，建立系统的有色Petri网模型，通过对库所数值离散化处理得到用例，对变迁进行单元测试得出失效行为函数，获得具有失效行为变迁的失效传播有色Petri网；然后基于有色Petri网模型的状态空间，通过失效空间生成算法与变迁回溯法，实现由模型状态空间到失效状态空间，再到失效状态树的转换，并通过失效状态树的合并与计算，获得系统失效最小割集。最后通过实验，比较不同数据安全保障措施下系统的失效最小割集变化，验证了安全保障措施对系统安全的作用，实验结果证明了该分析方法的正确性与有效性。
|
| 关 键 词： | 系统工程 安全评价 失效传播 信号系统 数据失效 |
| 收稿时间： | 2020/8/7 0:00:00 |
Analysis of Safety Impact of Data in Communication-Based Train Control System |
| |
| CHEN Yuji,ZENG Xiaoqing,YUAN Tengfei.Analysis of Safety Impact of Data in Communication-Based Train Control System[J].Journal of Tongji University(Natural Science),2021,49(3):391-399. |
| |
| Authors: | CHEN Yuji ZENG Xiaoqing YUAN Tengfei |
| |
| Abstract: | |
| |
| Keywords: | system engineering safety evaluation failure propagation signal system data failure |
|
| 点击此处可从《同济大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《同济大学学报(自然科学版)》下载免费的PDF全文 |
