| 基于UPPAAL的铁路车站信号联锁系统模型验证 |
| |
| 引用本文： | 熊振华,魏臻.基于UPPAAL的铁路车站信号联锁系统模型验证[J].科学技术与工程,2008,8(7):1843-1846. |
| |
| 作者姓名： | 熊振华 魏臻 |
| |
| 作者单位： | 合肥工业大学计算机与信息学院,合肥,230009 |
| |
| 摘 要： | 详细介绍了适于描述实时系统的形式化方法,时间自动机以及基于时间自动机的模型验证工具UPPAAL.给出了铁路车站信号系统中的联锁功能进路建立的时间自动机模型,并利用UPPALL对其进行了分析与验证.
|
| 关 键 词： | 实时系统 时间自动机 铁路车站信号系统 |
| 修稿时间： | 2007年11月28 |
Model Checking of Railway Station Signal System Based on UPPAAL |
| |
| XIONG Zheng-hu,WEI Zhen.Model Checking of Railway Station Signal System Based on UPPAAL[J].Science Technology and Engineering,2008,8(7):1843-1846. |
| |
| Authors: | XIONG Zheng-hu WEI Zhen |
| |
| Abstract: | |
| |
| Keywords: | UPPAAL |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《科学技术与工程》浏览原始摘要信息 |
| 点击此处可从《科学技术与工程》下载免费的PDF全文 |
|
