The Research and Development on Modeling,Implementation,and Verification for Embedded Software
HU Jun,ZHANG Yan,YU Xiao-Feng,WANG Lin-Zhang,LI Xuan-Dong,ZHENG Guo-Liang
2005-01-01
Computer Science
Abstract: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.