| UPPAAL环境下通讯协议的自动验证 |
| |
| 引用本文： | 周清雷,王静,赵东明.UPPAAL环境下通讯协议的自动验证[J].河南师范大学学报(自然科学版),2006,34(4):40-42. |
| |
| 作者姓名： | 周清雷 王静 赵东明 |
| |
| 作者单位： | 1. 信息工程大学,信息工程学院,郑州,450002;郑州大学,信息工程学院,郑州,450052
2. 郑州大学,信息工程学院,郑州,450052 |
| |
| 摘 要： | 对UPPAAL环境下通讯协议的规范验证方法进行研究,在此基础上,利用一组时间自动机模型模拟一个具有严格时间限制的网络通讯协议,并对其正确性进行自动验证.
|
| 关 键 词： | 实时系统 时间自动机 UPPAAL 协议验证 |
| 文章编号： | 1000-2367(2006)04-0040-03 |
| 收稿时间： | 2006-07-23 |
| 修稿时间： | 2006年7月23日 |
Automatic Verification of Communication Protocol Using UPPAAL |
| |
| ZHOU Qing-lei,WANG Jing,ZHAO Dong-ming.Automatic Verification of Communication Protocol Using UPPAAL[J].Journal of Henan Normal University(Natural Science),2006,34(4):40-42. |
| |
| Authors: | ZHOU Qing-lei WANG Jing ZHAO Dong-ming |
| |
| Institution: | 1. College of Information Engineering, Information Engineering University, Zhengzhou 450002, China ; 2. College of Information Engineering, Zhengzhou University, Zhengzhou 450052, China |
| |
| Abstract: | This paper analyses the approach of specification and verification of communication protocol based on UPPAAL. Upon that, we modal a network communication protocol with critical timed constraints, and verify its correctness automatically using UPPAAL. |
| |
| Keywords: | real time system timed automata UPPAAL protocol verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
