计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (13): 8-12.DOI: 10.3778/j.issn.1002-8331.2009.13.003

• 博士论坛 • 上一篇    下一篇

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

陈付龙1,樊晓桠2   

  1. 1.安徽师范大学 计算机科学与技术系,安徽 芜湖 241000
    2.西北工业大学 计算机学院,西安 710072
  • 收稿日期:2009-01-08 修回日期:2009-02-23 出版日期:2009-05-01 发布日期:2009-05-01
  • 通讯作者: 陈付龙

Theories and methods of modeling for embedded system

CHEN Fu-long1,FAN Xiao-ya2   

  1. 1.Department of Computer Science and Technology,Anhui Normal University,Wuhu,Anhui 241000,China
    2.School of Computer,Northwestern Polytechnical University,Xi’an 710072,China
  • Received:2009-01-08 Revised:2009-02-23 Online:2009-05-01 Published:2009-05-01
  • Contact: CHEN Fu-long

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

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

Abstract: It is a new focus to study on modeling for embedded system.Based on modeling,the cycle of design for embedded system will be shorten markedly,and its quality will be improved.Some theories and methods of modeling for embedded system up to date are introduced.These methods are also classified and compared.Their trends are discussed.

Key words: embedded system, modeling, model-based development, formal method