首页> 中文期刊> 《中国计量大学学报》 >UML时间顺序图的实时系统建模及验证

UML时间顺序图的实时系统建模及验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.

著录项

来源
《中国计量大学学报》 |2010年第1期|46-51|共6页
作者
陈江; 陈建国; 陆慧娟; 王康健;
展开▼
作者单位

中国计量学院信息工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.52;
关键词
统一建模语言; 实时系统; 建模; 形式化验证;

相似文献

中文文献
外文文献
专利

1. UML时间顺序图的自动验证技术 [J] . 陈江 ,陈建国 ,陆慧娟 . 中国计量学院学报 . 2010,第002期
2. 基于时间自动机的实时系统建模及验证 [J] . 吴永刚 ,陆慧娟 ,程倬 . 计算机时代 . 2011,第006期
3. UML顺序图的自动验证 [J] . 王璐珍 ,董威 ,陈火旺 . 计算机工程与应用 . 2003,第029期
4. 基于UML顺序图与UPPAAL的列车追踪模块建模研究 [J] . 陈永刚 ,杨璐 ,王栋 . 测试科学与仪器 . 2019,第002期
5. 基于Timed-UML顺序图的RBC交接形式化建模与分析 [J] . 安越 ,李国宁 . 铁道标准设计 . 2016,第006期
6. 基于时间自动机的实时系统建模及验证 [C] . . 第六届和谐人机环境联合学术会议(HHME2010)、第19届全国多媒体学术会议(NCMT2010)、第5届全国普适计算学术会议(PCC2010)、第6届全国人机交互学术会议(CHCI2010) . 2010
7. 基于UML的实时系统建模及顺序图时间约束研究 [A] . 杨林 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号