嵌入式系统建模理论与方法

摘要：

嵌入式系统建模是目前一个新的研究热点.利用建模的结果可大大减少系统的设计时间,提高系统的设计质量.介绍了嵌入式系统建模的最新理论和方法,对这些方法进行了分类和比较,探讨了嵌入式系统建模的理论和方法发展趋势.

关键词：嵌入式系统、建模、基于模型的开发、形式化方法

所属期刊栏目：45

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60773223,60736012;安徽省高校青年教师科研资助计划2008jq41057

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

页数：共6页

页码：8-12,33