收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML的实时系统并行对象模型

湛辉来  
【摘要】: 随着面向对象的技术在应用软件系统领域的发展和成熟,人们也逐渐用面向对象的方法来分析和设计嵌入式实时系统。在面向对象的分析和设计过程中,人们经常借助模型来分析和设计系统。实时系统中的活动往往是并发进行的,而目前大多数面向对象模型只提供了描述系统顺序执行的能力。为了加强面向对象模型的表达能力,必须在面向对象模型中提供并发描述机制,使其能够描述系统中的并发行为。在最终的可运行的实时系统中,并行运行的任务往往是通过进程来实现,进程构成了系统并行运行的基本对象。UML作为面向对象的标准建模语言,是面向对象技术领域中的重要成果,在采用UML进行实时系统开发的过程中,人们往往采用主动对象来表示系统中并行运行的实体,而主动对象由于表达能力的限制,不能够对系统的并发性作出一个完整的、详尽的描述,这就要求我们能够提供一种新的机制来描述实时系统中的并行对象。 本文针对实时系统中进程的特点,采用UML的扩展机制,提出了一种新的用于表示实时系统并发性的模型元素以及采用这些元素建立系统模型的方法。 首先,根据UML的扩展机制在UML的语义中定义了几种新的模型元素:用于表达系统中并行运行的对象的封装体和用于描述封装体对象间通信的协议。其中,封装体代表系统中并行运行的基本单位,因此是一种特殊的主动对象。它有着区别于主动对象的语义和表示方法,而协议被定义为一种协作,端口是参与协作的主要角色,通过状态机定义了端口间消息收发的序列,并隐式地描述了封装体对象之间的同步要求。其次,介绍了通过UML的标准建模机制,利用这些模型元素建立实时系统中并行对象模型的方法。最后,根据UML的扩展语义提出了构造基于编程语言的描述实时系统并行对象的基础类库的方案,和采用基础类库建立实际系统中子类的方法。对封装体和端口在基础类库中均给出了相应的C++的类的定义。从而使得我们能够利用这些元素在模型层建立关于一个具体的实时系统的并发性的形式化的UML模型,并可以利用形式化的方法来分析和验证系统的正确性,同时也对系统运行代码的自动生产奠定了基础。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 许松;;基于UML建模的功能块适配器研究[J];微计算机信息;2009年07期
2 庄夏;刘枫;;用功能块适配器集成UML-RT组件和功能块[J];西南师范大学学报(自然科学版);2006年01期
3 刘文俊;PSGA封装[J];微电子技术;1999年03期
4 杨建生;;对微电子封装中关键性问题的探讨[J];中国集成电路;2002年12期
5 罗涛,马春翔;IC芯片(LOC结构)表面气泡研究[J];机械制造;2005年10期
6 沈晓燕;杨衡静;池雷;;塑料球栅阵列封装的热应力模拟[J];电子产品可靠性与环境试验;2007年03期
7 鲜飞;;QFN封装元件组装工艺技术的研究[J];电子制作;2007年01期
8 范晋伟;郗艳梅;邢亚兰;;PBGA封装热应力研究与热特性分析[J];机械设计与制造;2009年03期
9 杜黎光;高伟;王瑞金;徐毅;;新型封装形式QFN的高频特性分析[J];中国集成电路;2002年08期
10 陈阳舟;曹瑞建;居鹤华;曹亮;;实时UML及其在月球车实时软件开发中的应用[J];计算机测量与控制;2008年02期
11 王辉,陆荣国,秦小麟;UML在航空电子系统中的应用研究[J];航空电子技术;2003年04期
12 王辉,陆荣国,秦小麟;UML在实时软件系统中的应用研究[J];计算机应用;2004年02期
13 罗大卫;余可人;;微机实时管理控制系统的总体结构设计及实现[J];计算机工程与应用;1987年10期
14 王瑞锋;王瑞英;吴湘淇;;一种实时图象处理子系统的硬件实现[J];北京交通大学学报;1989年01期
15 李绍成;微机实时系统的事件驱动程序设计[J];微机发展;1996年04期
16 杨帆;MIS中实时系统的合成技术[J];计算机应用;1998年01期
17 江浩,徐治皋,高正平,徐莹;火电厂实时系统数据通道的设计与实现[J];电力系统自动化;2002年02期
18 李勇;李宣东;郑国梁;;实时系统时段性质的模型检验[J];计算机科学;2002年11期
19 罗秉安,张立臣;基于CMM的实时系统开发过程[J];微机发展;2004年02期
20 谢拴勤,解月江;基于UML-RT的实时系统分析与设计[J];计算机工程;2004年15期
中国重要会议论文全文数据库 前10条
1 李斌兵;孙文海;;基于消防实时系统的QoS技术研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 赵春林;;钛合金在微波组件封装中的应用[A];2008年电子机械与微波结构工艺学术会议论文集[C];2008年
3 段成刚;欧阳森;宋政湘;陈德桂;王建华;;基于双CPU的嵌入式电能质量监测设备的设计[A];中国电工技术学会低压电器专业委员会第十一届学术年会论文集[C];2002年
4 毕小龙;王洪跃;朱大海;徐治皋;;基于COM+组件的电站实时系统的设计和实现[A];2004电站自动化信息化学术技术交流会议论文集[C];2004年
5 杨锁昌;孟晨;魏保华;郑思龙;;RTSI实时系统集成总线及其编程控制[A];中国仪器仪表学会第三届青年学术会议论文集(上)[C];2001年
6 吴学贤;江杰;徐大威;何永保;;宝钢一号高炉操作指导专家系统[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
7 金建设;董文葆;;大型无机化工厂基于规则的生产调度辅助系统[A];第三届全国控制与决策系统学术会议论文集[C];1991年
8 唐乐;雷航;吴晓华;;基于时间Petri网产生测试序列的方法[A];第四届中国测试学术会议论文集[C];2006年
9 肖建桥;;实时分布式系统进程迁移的研究[A];武汉市第二届学术年会、通信学会2006年学术年会论文集[C];2006年
10 严隽薇;宋国斌;张克技;;一种实时系统分析法——H-P扩展法[A];第三届全国控制与决策系统学术会议论文集[C];1991年
中国博士学位论文全文数据库 前10条
1 江维;任务关键实时系统的可信感知调度研究[D];电子科技大学;2009年
2 邹勇;开放式实时系统的调度方法研究[D];中国科学院研究生院(软件研究所);2003年
3 巴巍;实时系统动态优先级任务调度算法的研究[D];大连理工大学;2010年
4 毛佳;嵌入式实时系统中关键技术的研究[D];吉林大学;2004年
5 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
6 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
7 吴刚;对低功耗进程调度算法的研究[D];复旦大学;2006年
8 童立靖;实时系统的自适应进程调度方法研究[D];中国科学院研究生院(软件研究所);2005年
9 曹春生;实时工业无线局域网介质访问控制协议的研究[D];上海交通大学;2007年
10 陈慧;实时宽带现场网络技术研究[D];电子科技大学;2004年
中国硕士学位论文全文数据库 前10条
1 湛辉来;基于UML的实时系统并行对象模型[D];重庆大学;2003年
2 刘彬;工控设备中数据处理技术的研究[D];中南大学;2004年
3 汪泓澄;嵌入式系统的性能基准程序及任务时限违背率[D];同济大学;2006年
4 姬莉霞;基于时间自动机的实时系统规范验证研究[D];郑州大学;2004年
5 杨龙;Linux实时调度算法与测试平台的研究与实现[D];大连理工大学;2005年
6 邹玉丽;基于UML的实时性研究[D];山东科技大学;2005年
7 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年
8 舒国强;面向对象的实时系统可调度性验证和代码生成技术研究[D];中国科学院研究生院(软件研究所);2003年
9 郭东亮;面向方面的实时系统开发方法[D];广东工业大学;2005年
10 王晓寅;基于实时系统的STM32网络应用[D];华东师范大学;2011年
中国重要报纸全文数据库 前10条
1 郭长佑;完封?芯片封装新技术、新趋势、新挑战[N];电子资讯时报;2006年
2 吴映红;如今封装变啥样[N];中国电子报;2000年
3 ;ADI发布Blackfin DSP产品[N];中国电子报;2001年
4 江苏 史广生;对LED的再认识[N];电子报;2009年
5 王竹青;AGP供电不足引起间歇死机[N];中国计算机报;2004年
6 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
7 上海交通大学 张德洪;TSOP叠层芯片封装简介[N];电子资讯时报;2008年
8 ;为用户多提供些方便[N];中国邮政报;2005年
9 MCU;工业用8位微控制器W79E834[N];电子报;2007年
10 ;江西移动的“移动课堂”[N];计算机世界;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978