|
|||||
|
|
| 基于时间自动机的监测系统通信流程建模分析 | |
| 引用本文： | 高昕.基于时间自动机的监测系统通信流程建模分析[J].城市轨道交通研究,2015(2). |
| 作者姓名： | 高昕 |
| 作者单位： | 国电南瑞科技股份有限公司,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 万方数据 等数据库收录！ | |