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

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

The Research and Development on Modeling, Implementation, and Verification for Embedded Software

Embedded systems are the devices that include a programmable computer but are not itself a general-purpose computer.The reliability of modern embedded system mainly depends on the embedded softwares which are becoming more and more complicated.This paper gives an overview of the problems and challenges in the development of embed- ded system and software design.Firstly,embedded computing software is quite different from the mainstream business computing software and scientific computing software in many issues;such as:physicality,real-time requirement,do- main-specific,reliability,etc.Then we introduce recent research effort on those areas,for example:model-based de- sign,object-oriented programming,component-based development,formal verification technology,etc.Finally,a con- clusion is drawn and a prospect is given on the cost-efficient development of reliable embedded software.