第 22卷第 4期 上 海 电 力 学 院 学 报 Vol.22, No.4
2006 年 12月 Journal of Shanghai University of Electric Power Dec. 2006
文章编号: 1006 -4729(2006)04 -0359 -04
嵌入式软件建模的研究
收稿日期: 2006 -09 -28
华 晶
(华东师范大学 软件学院, 上海 200062)
摘 要:随着计算机硬件设备计算能力的迅速提高, 嵌入式系统中软件的规模和复杂度急剧增大, 嵌入式软
件的开发遇到了新的困难和挑战, 软件建模为此提供了有 效的方法 .它在整 个系统开发 工程中占 据着重要地
位.介绍嵌入式软件的主要特征、嵌入式软件系统不同的建模思想和方法 , 并对其未来 的发展进行了展望 .
关键词:嵌入式;软件;建模
中图分类号:TP311.5 2 文献标识码:A
ResearchofEmbeddedSoftwareModelling
HUAJing
(SoftwareEngineeringInstitute, EastChinaNormalUniversity, Shanghai 20006 2, China)
Abstract: Withtheimprovementofcomputingcapacityofthecomputerhardwaredevicesandthe
greatincreaseinthescaleand complexityofembeddedsystem software, thedevelopmentof
embeddedsoftwareissubjecttonewproblemsandchallenges.Softwaremodelingprovidesuseful
methodforthis, whichisveryimportantintheprocessofsystemdevelopment.Thepaperintroduces
themaincharacteristicsanddifferentmodelingmethodsofembeddedsoftware.
Keywords: embedding;software;modelling
近年来随着嵌入式系统软件复杂度的大大增
加 , 软件可靠性对嵌入式系统的影响占据了统治
地位
[ 1 ~ 3]
.嵌入式系统开发的成功与否极大地依
赖于嵌入式软件的质量 .为了更好地开发出高质
量的软件 ,需要对其建模 .软件模型在整个系统开
发工程中占据着重要地位 .使用模型可以提高开
发者对整个系统的观察深 度和控制复杂 度的能
力 , 给不同的开发阶段提供全局统一的视图和指
导 , 提高软件质量、生产率和可靠性.建模也是进
行形式化分析和验证的基础 .
要对嵌入式软件系统建模 , 先要了解其特征 .
与商业软件相比 , 现代嵌入式软件不仅具有相类
似的复杂的功能性需求 , 同时各种非功能性需求
构成了其最重要的特征 .本文介绍了嵌入式软件
的主要特征 , 重点介绍和分析了近年来嵌入式软
件设计建模相关的方法 , 并对嵌入式软件建模未
来的发展进行了展望 .
1 嵌入式软件的特征
嵌入式软件与非嵌入式软件主要的区别在于
前者对非功能性需求的重视程度 .嵌入式软件的
重要特征如下.
(1)物理性 嵌入式软件的计算过程参与到
周围物理环境的行为过程中 , 成为物理世界活动
过程的一个部分 .而系统其他部件通过某种形式
的接口与嵌入式软件相互通信联系 , 只认为它是
整个系统中具有某些物理属性 (反应速度 、能量
消耗、容积大小等 )的一个处理部件 .这是嵌入式