J4 ›› 2007, Vol. 29 ›› Issue (8): 137-139.
• 论文 • 上一篇 下一篇
段盛[1,2] 李仁发[2] 谢桂芳[1,2]
出版日期:
发布日期:
Online:
Published:
摘要：
统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可，并有很多成功的应用，但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述 问题，本文提出了使用UML扩展机制对UML状态图进行时间扩展，建立系统状态一约束一事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。
关键词: 嵌入式系统 建模 UML 形式化 模型验证
Abstract:
UML has already acquired extensive acknowledgement in embedded system design modeling, and it has many successful applications, but the problems such as the weak of time restriction description the formalization complexity of the created model and the validation difficulty exist in UML. As for the abo ve problems, a paper proposes a method of using the UML extended mechanism to realize time extension for the UML state graph, and creating the system St ate-Restriction-Event Matrix to formalize the description of the model. The paper uses the method to solve such UML problems in embedded system modeling. Application instances and the experimental results show that the method is feasible and effective.
Key words: （embedded system, modeling, UML, formalization, model verification）
段盛[1,2] 李仁发[2] 谢桂芳[1,2]. 基于UML的嵌入式系统建模及模型验证机制研究[J]. J4, 2007, 29(8): 137-139.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2007/V29/I8/137
