基于UPPAAL的二乘二取二逻辑建模与仿真

• 作者: 华颖 张亚东 张琳 徐坤 王天成 胡智杰 饶畅
• 来源期刊: 铁道标准设计
• 学科: 交通运输
• 关键词: 时间自动机 二乘二取二 仿真 建模 验证
• 年，卷（期）: 2018,（4）
• 所属期刊栏目: 通信/信号
• 页码范围: 181-186
• 页数: 6页
• 分类号: TP393|U283
• 字数: 3257字
• 语种: 中文
• DOI: 10.13238/j.issn.1004-2954.201704130004

摘要

二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域.为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证.基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性.根据验证后的软件逻辑模型,实现冗余逻辑仿真.模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张亚东	西南交通大学信息科学与技术学院	54	358	11.0	17.0
2	徐坤	西南交通大学信息科学与技术学院	20	129	6.0	11.0
3	张琳	西南交通大学信息科学与技术学院	7	10	2.0	2.0
4	华颖	西南交通大学信息科学与技术学院	1	2	1.0	1.0
5	饶畅	西南交通大学信息科学与技术学院	7	6	2.0	2.0
6	胡智杰	西南交通大学信息科学与技术学院	1	2	1.0	1.0
7	王天成	西南交通大学信息科学与技术学院	1	2	1.0	1.0