一种嵌入式系统设计的建模方法研究

摘要：

针对在嵌入式系统设计中,目前常用的VHDL建模方法方法存在不易理解、模型描述困难、工作量大的问题,UML建模方法存在模型需形式化、验证难等问题,提出了一种基于SpecCharts语言的嵌入式系统建模方法--使用SpecCharts语言语法、文字和图形相结合来描述嵌入式系统,能满足嵌入式系统设计的描述要求,建模效率是VHDL方法的2.82倍,是UML方法的1.25倍,并且具有容易理解、容易描述、能利用VHDL的支撑工具直接进行模拟验证、建模工作量小等优点,较好地解决了嵌入式系统设计建模中存在的上述问题,有较高的实用价值.

关键词：嵌入式系统、建模、建模语言、模型、验证

所属期刊栏目：24

分类号：TP391.9(计算技术、计算机技术)

在线出版日期：2007-09-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：103-107,133