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

面向对象的实时系统可调度性验证和代码生成技术研究

舒国强  
【摘要】: 实时系统在工业界和人们日常生活中扮演着日益重要的角色,其开发方法学和实现技术也一直是学术界研究的热点课题。面向对象的分析和设计方法在非实时领域已经取得了巨大的成功,但它在实时系统特别是具有严格时间约束的硬实时系统中的应用目前仍然处在探索阶段。目前使用面向对象方法开发实时系统研究的热点问题包括:时间约束在对象模型中如何描述、如何应用传统的实时系统理论验证时间约束、以及如何在系统实现中保障时间约束的满足。 在上述研究背景之下,本文研究了一种以保证时间约束为最终目标的实时系统面向对象开发方法,该方法应用了可调度性验证和自动代码生成两项核心技术,解决了一类时间约束的验证和保障问题。本文的研究内容分为三个部分:系统建模、模型的可调度性验证、模型的自动代码生成。这三部分分别对应本文研究的实时系统开发方法应用的三个步骤。 本文首先基于UML语言建立了一个实时系统对象模型的四部分核心元素集合,给出了系统行为特别是时间约束有关的建模元素的形式化定义,它们是对实时系统进行分析和实现的依据。本文研究了从对象模型中提取出和时间约束有关的任务集合,并应用传统的实时调度理论验证端到端时间约束的方法。本文讨论几种典型任务集合的实现,并分别分析了它们的调度性验证算法和结论。为了保障系统实现能够和设计模型一致地满足时间约束,本文给出了从对象模型自动生成目标平台上源代码的方法,并基于一个简单的目标平台接口规范设计了运行时支持库。 本文的研究工作是对使用面向对象方法开发实时系统的探索,本文的研究成果可以为实时系统开发的工程实践提供的理论指导。最后作者通过一个完整的实例研究说明了本文构造的方法在工程实践中的应用。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王强,王宏安,金宏,戴国忠;实时系统中的非定期任务调度算法综述[J];计算机研究与发展;2004年03期
2 陈劲林,胡东成,杨士元;基于消息服务器的嵌入式实时系统进程管理研究[J];计算机工程与科学;2000年06期
3 彭德坤;宋红军;刘博阳;;基于RM调度的任务抢占次数最多分析[J];计算机工程;2009年08期
4 周治平,夏娟,纪志成,林家俊;基于UML实时系统设计方法的分析与比较[J];计算机工程;2005年13期
5 王涛;刘大昕;;改进的基于抢占阈值调度的任务响应时间分析方法[J];微计算机信息;2006年30期
6 徐德;;非受限任务优先级逆转防范方法[J];中国西部科技;2011年12期
7 朱响斌,涂时亮;基于〈m,k〉模型的窗口限制实时系统的分析与研究[J];计算机研究与发展;2005年08期
8 朱响斌,金永贤;一种帧间相关的窗口限制实时系统的分析与研究[J];计算机应用;2005年08期
9 伍微;倪少杰;刘小汇;;一种静态优先级保序饱和分配算法[J];计算机科学;2009年12期
10 盖玲兴;施笑安;周兴社;;自适应实时资源管理技术研究[J];计算机应用研究;2007年10期
11 李强;王民钢;杨尧;;快速原型中Simulink模型的代码自动生成[J];电子测量技术;2009年02期
12 李昕颖;顾健;何锋;熊华钢;;硬实时系统在强分区约束下的双层分区调度[J];计算机学报;2010年06期
13 何东之,李伟,张向文;一种新型实时调度算法研究[J];小型微型计算机系统;2005年11期
14 周述虹,游志胜,周群彪,陈正茂;实时多通道记录仪监控单元的实时可调度性分析[J];中国民航飞行学院学报;2004年05期
15 毛羽刚,张拥军,金士尧,胡华平;一种改进的分布强实时系统可调度性分析算法[J];软件学报;2001年02期
16 陈正茂,周群彪,游志胜,刘健波,赵伟庆;实时多通道话音雷达同步记录仪的RMA实时可调度性分析[J];四川大学学报(自然科学版);2003年03期
17 瞿松柏,韩铁军,瞿继双;任务/资源图模型的任务调度与资源访问仿真分析(Ⅱ)——“爱国者”拦截作战目标过程实例分析[J];系统仿真学报;2003年04期
18 高腾;史清华;刘志杰;;基于设计模式的复杂界面建模方法[J];计算机工程;2009年15期
19 庞丽萍;黎时才;陈汉华;袁平鹏;;基于协同环境的混合实时任务调度模型[J];华中科技大学学报(自然科学版);2005年S1期
20 尹锋;金席卷;倪问尹;黄建琦;;程序框图到源代码的自动转换研究[J];长沙大学学报;2007年02期
中国重要会议论文全文数据库 前10条
1 李斌兵;孙文海;;基于消防实时系统的QoS技术研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 段成刚;欧阳森;宋政湘;陈德桂;王建华;;基于双CPU的嵌入式电能质量监测设备的设计[A];中国电工技术学会低压电器专业委员会第十一届学术年会论文集[C];2002年
3 毕小龙;王洪跃;朱大海;徐治皋;;基于COM+组件的电站实时系统的设计和实现[A];2004电站自动化信息化学术技术交流会议论文集[C];2004年
4 姚芳;万建成;;支持用户界面自动生成的界面设计模式[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
5 杨锁昌;孟晨;魏保华;郑思龙;;RTSI实时系统集成总线及其编程控制[A];中国仪器仪表学会第三届青年学术会议论文集(上)[C];2001年
6 金建设;董文葆;;大型无机化工厂基于规则的生产调度辅助系统[A];第三届全国控制与决策系统学术会议论文集[C];1991年
7 吴学贤;江杰;徐大威;何永保;;宝钢一号高炉操作指导专家系统[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
8 吴世英;许祖润;杨朝文;甘绍碱;;实时监控系统中数据处理的一些方法问题[A];第8届全国核电子学与核探测技术学术年会论文集(二)[C];1996年
9 骆志刚;唐雪飞;刘锦德;;开放系统中的实时性问题[A];中国电子学会第七届学术年会论文集[C];2001年
10 周强;闫大顺;张永平;;远程实时监测系统应用服务器设计[A];2001年中国智能自动化会议论文集(下册)[C];2001年
中国博士学位论文全文数据库 前10条
1 窦强;分布式强实时系统中可调度性分析算法的研究[D];国防科学技术大学;2001年
2 江维;任务关键实时系统的可信感知调度研究[D];电子科技大学;2009年
3 廖勇;面向新一代航空电子的实时自适应资源管理中间件及算法研究[D];电子科技大学;2006年
4 邹勇;开放式实时系统的调度方法研究[D];中国科学院研究生院(软件研究所);2003年
5 毛佳;嵌入式实时系统中关键技术的研究[D];吉林大学;2004年
6 巴巍;实时系统动态优先级任务调度算法的研究[D];大连理工大学;2010年
7 罗威;分布式实时容错调度算法研究[D];华中科技大学;2008年
8 王保进;嵌入式实时系统的任务调度与资源共享模型及算法研究[D];中国人民解放军信息工程大学;2005年
9 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
10 王强;混合实时事务调度与并发控制研究[D];中国科学院研究生院(软件研究所);2004年
中国硕士学位论文全文数据库 前10条
1 舒国强;面向对象的实时系统可调度性验证和代码生成技术研究[D];中国科学院研究生院(软件研究所);2003年
2 史棣;基于ASP.NET的快速应用程序开发软件的设计与实现[D];电子科技大学;2011年
3 殷进勇;基于多处理机的混合型实时容错调度算法研究[D];哈尔滨工程大学;2007年
4 彭威;SmartSAR RTE[D];浙江大学;2011年
5 韦建成;基于LINUX操作系统的分布式实时测控系统的研究[D];重庆大学;2005年
6 刘彬;工控设备中数据处理技术的研究[D];中南大学;2004年
7 汪泓澄;嵌入式系统的性能基准程序及任务时限违背率[D];同济大学;2006年
8 王杨;基于SSH框架多层结构的代码生成工具的设计与实现[D];沈阳理工大学;2008年
9 姬莉霞;基于时间自动机的实时系统规范验证研究[D];郑州大学;2004年
10 杨龙;Linux实时调度算法与测试平台的研究与实现[D];大连理工大学;2005年
中国重要报纸全文数据库 前10条
1 ;ADI发布Blackfin DSP产品[N];中国电子报;2001年
2 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
3 ;江西移动的“移动课堂”[N];计算机世界;2003年
4 路人甲;请个专家来贴图[N];电脑报;2005年
5 王明毅;英维思ARPM石化企业在线性能监控[N];中国石油报;2006年
6 陈子牧吴进宇;结“网”惠农[N];金融时报;2008年
7 本报记者 肖明;碳减排倒逼新能源加速[N];21世纪经济报道;2010年
8 冯敏;拥有出色公路性能的强悍SUV[N];中国贸易报;2008年
9 于翔;Telelogic Rhapsody 7.2强化自动化能力[N];网络世界;2008年
10 郭浩赟;不是买件架上作品那么简单[N];中国艺术报;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978