实时系统验证工具UPPAAL

• 作者: 姬莉霞 张雷 李俊锋
• 来源期刊: 光盘技术
• 学科: 工学
• 关键词: UPPAAL 实时系统 时间自动机
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 计算技术与自动化
• 页码范围: 47-49
• 页数: 3页
• 分类号: TP316.2
• 字数: 2815字
• 语种: 中文

摘要

实时系统由于受时间约束,需要进行严格的分析和验证.基于时间自动机的验证是使用最为广泛的方法之一,该方法的主要不足在于状态空间爆炸问题.UPPAAL是一种使用时间自动机模型的实时系统验证工具,它可以避免状态空间爆炸问题,保证实时系统的安全性和正确性,是具有世界先进水平的实时系统验证工具.文中介绍了UPPAAL的构成、特征以及优缺点,并就UPPAAL和其它验证方法进行了比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姬莉霞	郑州大学软件技术学院	26	272	9.0	15.0
2	李俊锋	郑州大学软件技术学院	10	35	3.0	5.0