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

• 作者: 李仁发 段盛 谢桂芳
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 嵌入式系统 建模 UML 形式化 模型验证
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 研究与实现
• 页码范围: 137-139,143
• 页数: 4页
• 分类号: TP301
• 字数: 3182字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.08.038

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李仁发	湖南大学计算机与通信学院	468	4582	30.0	44.0
2	段盛	湘南学院计算机系	29	94	6.0	8.0
4	谢桂芳	湘南学院计算机系	26	112	6.0	9.0