嵌入式软件建模、实现与验证:研究与进展

摘要：

随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位.本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战.然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法.最后对嵌入式软件及其相关技术的发展进行了展望.

关键词：嵌入式软件、嵌入式系统、嵌入式建模、实时软件

所属期刊栏目：32

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

资助基金：中国科学院资助项目60203009;60233020;江苏省自然科学基金BK2003408;科技部科研项目2002CB12001

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

页数：共8页

页码：16-23