基于UML的嵌入式系统建模及模型验证机制研究

作     者：段盛 李仁发 谢桂芳 DUAN Sheng;LI Ren-fa;XIE Gui-fang

作者机构：湘南学院计算机系湖南郴州423000 湖南大学计算机与通信学院湖南长沙410012 

基　　金：国家自然科学基金资助项目(60673061) 

出 版 物：《计算机工程与科学》 (Computer Engineering & Science)

年 卷 期：2007年第29卷第8期

页      码：137-139,143页

摘      要：统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态-约束-事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。

主 题 词：嵌入式系统 建模 UML 形式化 模型验证 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1007-130X.2007.08.038

馆 藏 号：203133196...