| 基于时间自动机的监测系统通信流程建模分析 |
| |
| 引用本文： | 高昕. 基于时间自动机的监测系统通信流程建模分析[J]. 城市轨道交通研究, 2015, 0(2). DOI: 10.16037/j.1007-869x.2015.02.002 |
| |
| 作者姓名： | 高昕 |
| |
| 作者单位： | 国电南瑞科技股份有限公司,211800,南京 |
| |
| 摘 要： | 介绍了轨道电路微机监测系统的通信流程。使用实时系统验证及分析软件UPPAAL对建立的通信模型进行分析、仿真,并对一些特性进行验证。所建立的通信模型能够在轨道电路微机监测系统软件中仿真运行,并能够为软件的开发提供功能及时序规范,确保软件开发的正确性及软件运行时无死锁等故障发生。
|
| 关 键 词： | 轨道电路 微机监测 时间自动机 实时系统 |
Verification of Communication Process Model in Computer Monitoring System Based on Timed Automata |
| |
| Abstract: | |
| |
| Keywords: | track circuit microcomputer-based monitoring timed automata real-time system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
