资源描述：
《基于uml的软硬件协同设计的模型分析方法》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、1000-9825/2003/14(01)0103©2003JournalofSoftware软件学报Vol.14,No.1∗基于UML的软硬件协同设计的模型分析方法+陈思功,秦晓,章恒羽中(中国科学院软件研究所,北京100080)AUML-BasedModelAnalysisMethodinHardware-SoftwareCodesign+CHENSi-Gong,QINXiao,ZHANGHeng-Chong(InstituteofSoftware,TheChineseAcademyofScience
2、s,Beijing100080,China)+Correspondingauthor:Phn:86-10-62570007ext626,E-mail:pchen@lsil.comhttp://www.ios.ac.cnReceived2001-08-13;Accepted2001-12-19ChenSG,QinX,ZhangHC.AUML-basedmodelanalysismethodinhardware-softwarecodesign.JournalofSoftware,2003,14(1):103
3、~109.Abstract:Inthispaper,aUMLapproachappliedintheCBC(constraint-basedcodesign)ofembeddedsystems,whichispresentedbyChonlamethArpnikanondt,isanalyzed.Somedeficienciesofthemethodwhenitisappliedinthecomplicatedembeddedsystemscodesignareproposed.Accordingtoth
4、esedeficiencies,themeaningofconstraintisextended,andasolutionisproposedtoimprovetheefficiencyinhardware/softwarecodesignandisexplainedindetailwiththeexampleofmartphonesystem,whichisdevelopedbytheInstituteofSoftware,theChineseAcademyofSciences.Keywords:UML
5、;CBC(constraint-basedcodesign);constraint;constraintweight摘要:详细分析了ChonlamethArpnikanondt提出的基于UML约束的嵌入式系统的软、硬件协同设计方法(CBC/UML),并指出了它运用于复杂的嵌入式系统设计时的不足.针对这些不足,扩展了约束的概念,提出了一套相应的改善方法.并利用中国科学院软件研究所研制智能电话机的例子具体阐述了该解决方法.关键词:UML;基于约束的协同设计;约束;约束权值中图法分类号:TP311文献标识码:A
6、随着手机、PDA、智能家电等众多嵌入式产品的广泛应用,涉及软件和硬件的嵌入式系统的协同设计近年来得到了广泛的关注.软硬件协同设计的过程通常包括选择、划分、规划、通信这4个主要任务.“选择”的目的是分析、选择出实现系统功能所需的功能模块;“划分”则划分出这些功能模块中哪些可以由软件实现,哪些可以用硬件实现;“规划”是合理地提炼功能模型,尽可能地避免各种时间响应冲突、硬件资源冲突;“通信”则是保证[1~3]各个软硬模块之间合理的交互通信.在完成协同设计的任务时,开发者会留下许多的文档,如设计说明文字、图表等.
7、这些文档资料通常不是用正规的建模语言书写的,不能够充分体现HW/SW的协同设计的环境,特别是无法在选择系统模型时提供正规化的分析方法.美国佐治亚理工学院Chonlameth等人提出在协同设计中基于约束的设计方法(constraint-based∗第一作者简介:陈思功(1978－),男,福建福州人,硕士,主要研究领域为嵌入式系统设计,软件工程.104JournalofSoftware软件学报2003,14(1)[4]codesign)里引入UnifiedModelingLanguage,给协同设计提供了一个
8、良好的设计方法,非常有意义.但是,我们仔细研究了Chonlameth的CBC/UML方法之后,发现该方法依然有其不足之处,需要改进.主要不足之处有以下两点:首先,Chonlanmeth在嵌入式系统设计中利用“用例”工具进行系统初步分析,转化成活动图,并在活动图的每一步提炼过程中紧密接和约束的概念,体现了UML语言对于协同设计的优点.但事实上,这个分析方法对于2Chonlanmeth的例子而言是足够的(在某些硬件的条件下,求出在
