基于UML的嵌入式系统模型验证技术的研究

• 作者: 赵素萍
• 来源期刊: 电子测试
• 学科: 工学
• 关键词: 建模 UML 形式化 XSPIN 模型验证
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 解决方案
• 页码范围: 71-72
• 页数: 2页
• 分类号: TP399
• 字数: 1690字
• 语种: 中文

摘要

统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,能对复杂嵌入式系统建模,并有很多成功的应用,但UML是一种半形式化语言,存在时间约束描述能力不强和所建模型形式化复杂、验证难度大等问题.针对上述问题,本文提出了采用实时UML对嵌入式系统UML状态图进行建模；然后用状态-约束-事件矩阵方法来对模型进行形式化描述；最后利用SPIN对模型进行验证.该方法解决了UML在嵌入式系统建模和形式化验证过程中出现的问题,应用实例和结果证明了该方法的有效性和可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵素萍	兰州交通大学电子与信息工程学院	1	0	0.0	0.0