作　　者： ; ; ;

机构地区： 解放军信息工程大学信息工程学院

出　　处： 《河南师范大学学报（自然科学版）》 2006年第4期40-42,共3页

摘　　要： 对UPPAAL环境下通讯协议的规范验证方法进行研究,在此基础上,利用一组时间自动机模型模拟一个具有严格时间限制的网络通讯协议,并对其正确性进行自动验证. 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.

关 键 词： 实时系统 时间自动机 协议验证

领　　域： [自动化与计算机技术] [自动化与计算机技术]