首页> 中文期刊> 《计算机应用》 >基于UPPAAL的实时系统模型验证

基于UPPAAL的实时系统模型验证

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

UPPAAL是一种使用时间自动机模型的实时系统验证工具,它可以避免时间自动机求积时状态空间的爆炸.介绍了时间自动机理论和工具UPPAAL,着重说明如何用UPPAAL进行模型检查,并给出了一个应用实例.

著录项

来源
《计算机应用》 |2004年第9期|129-131|共3页
作者
周清雷; 姬莉霞; 王艳梅;
展开▼
作者单位

郑州大学;

信息工程学院;

河南;

郑州;

450052;

信息工程大学;

信息工程学院;

河南;

郑州;

450002;

郑州大学;

信息工程学院;

河南;

郑州;

450052;

郑州大学;

信息工程学院;

河南;

郑州;

450052;

展开▼
原文格式 PDF
正文语种 chi
中图分类实时操作系统;自动机理论;
关键词
实时系统; 模型检查; 时间自动机; UPPAAL;

相似文献

中文文献
外文文献
专利

1. 基于Uppaal的实时系统AADL数据流模型的转换与验证 [J] . 沈宁敏 ,李静 ,白海洋 . 计算机科学 . 2016,第001期
2. 基于UPPAAL的AADL行为模型验证方法研究 [J] . 李振松 ,顾斌 . 计算机科学 . 2012,第002期
3. 基于UPPAAL的AADL模型可调度性验证 [J] . 刘倩 ,桂盛霖 ,李允 . 计算机应用 . 2009,第007期
4. 基于uppaal的飞机着陆控制系统模型验证 [J] . 程永江 ,周清雷 . 计算机工程与设计 . 2009,第023期
5. 基于UPPAAL的铁路车站信号联锁系统模型验证 [J] . 熊振华 ,魏臻 . 科学技术与工程 . 2008,第007期
6. 基于UPPAAL的简单网络支付协议形式化验证 [C] . 余兴超 ,马争先 ,王玉斌 . 广西计算机学会2010年年会 . 2010
7. 基于UPPAAL的嵌入式系统AADL模型实时性验证 [A] . 白海洋 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号