收藏本站
收藏 | 论文排版

容错实时系统可调度性分析研究

王磊  
【摘要】:实时系统在工业、商业和军事领域中得到了广泛应用,这类系统对响应时间具有严格的要求,尤其是强实时系统,如果不能满足响应时限,将可能导致灾难性的后果。因此在实时系统设计过程中必须提供相应的手段来保证整个系统运行的实时性。可调度性分析是一种验证计算机系统是否满足实时性要求的方法,广泛应用于实时系统的开发过程。但是随着应用需求的不断提高,实时系统的设计也变得越来越复杂,尤其是实时操作系统、容错技术以及分布式计算技术在实时系统中的大量应用,现有的分析方法已无法满足复杂的应用需求。本文以实时控制系统的开发为背景,研究了在采用符合OSEK/VDX标准的实时操作系统,主/副版本任务错误机制,以及在分布式系统环境下,进行系统可调度性分析的方法。本文的工作主要集中在以下四个方面: 1.混合抢占和分组抢占调度下的系统可调度性分析研究。混合抢占和分组抢占调度是OSEK/VDX操作系统规范推荐的两种实时调度策略,目前并未见到针对这两种调度策略的可调度性分析研究。本文分别针对这两种调度策略提出了计算任务最大响应时间的方法,通过对任务最大响应时间和截止时间的比较判定系统的可调度性。为了分析容错机制对系统可调度性的影响,将主/副版本容错机制分别与混合抢占调度和分组抢占调度相结合,提出了容错机制下任务最大响应时间的计算方法,并在此算法基础上给出了系统可承受最小错误间隔的算法。 2.抢占门限调度下的系统可调度性分析研究。抢占门限调度比混合抢占和分组抢占具有更强的灵活性和通用型。但是目前针对这种调度策略的可调度性分析只考虑了系统正常运行的情况,并未考虑容错机制的影响。为此本文对这种调度策略进行了可调度性分析的容错扩展研究,提出了主/副版本容错机制下的任务最大响应时间计算方法。为了获得最优的系统容错性能,还提出了优化遍历算法和启发式算法来计算系统抢占门限优先级分配的最优策略。 3.分布式实时系统的可调度性分析研究。现有的针对分布式实时系统的可调度性分析方法无法在满足分析精确性的同时保证较高的计算性能,在实际应用中无法满足复杂实时系统设计对可调度性分析的性能要求。为解决这一问题,本文针对事务周期不大于其截止时间的情况,提出了线性分布式系统事务端到端最大响应时间和最小响应时间的计算方法。该方法充分考虑了任务和消息的本地、全局依赖关系以及释放抖动的影响,可以获得精确的分析结果。通过关键时刻分析和规范形式转换,降低了算法的计算复杂度。实验表明,本文提出的分布式系统可调度


知网文化
【相似文献】
中国期刊全文数据库 前18条
1 郭锐锋;刘娴;丁万夫;李杰;王鸿亮;;回卷恢复模型下容错实时系统的可调度性分析[J];小型微型计算机系统;2013年06期
2 王永吉,陈秋萍;单调速率及其扩展算法的可调度性判定[J];软件学报;2004年06期
3 徐建华;李允;;基于仿真方法的任务集可调度性判定工具[J];计算机工程;2012年02期
4 孙景昊;孙景昶;关楠;邓庆绪;;偶发实时系统可调度性分析问题的整数规划方法[J];软件学报;2017年02期
5 刘嵩;白国庆;陈英武;;地球观测网络成像任务可调度性预测方法[J];宇航学报;2015年05期
6 白露;晏立;;多处理器固定优先级算法的可调度性分析[J];计算机应用;2012年03期
7 徐建华;李允;;基于单调速率的可调度性判定改进算法[J];计算机工程;2011年22期
8 张拥军,刘衡竹,陈福接;基于概率的实时任务可调度性分析方法[J];计算机工程与科学;2001年02期
9 张永悦;孙瑜;李允;徐建华;;复杂实时系统可调度性判定工具的研究与实现[J];计算机工程;2013年01期
10 许强;檀明;;交换式以太网中周期性固定优先级消息的可调度性分析[J];合肥学院学报(自然科学版);2013年03期
11 丁万夫;郭锐锋;赵进;刘娴;李杰;;基于回卷恢复的容错硬实时系统可调度性分析[J];系统工程与电子技术;2011年07期
12 沈卓炜 ,谢俊清 ,汪芸;端到端实时CORBA系统调度模型及其可调度性研究[J];计算机学报;2003年04期
13 于晓;王家礼;;偏序的周期任务间可调度性判定算法[J];电子测量与仪器学报;2009年04期
14 檀明;魏臻;韩江洪;钟伯成;;交换式以太网实时消息可调度性分析[J];微电子学与计算机;2011年03期
15 刘云生,何冰,冉龙波;混合实时事务的延期单调速率调度算法及其可调度性分析[J];计算机学报;2004年03期
16 沈卓炜,汪芸;改进的端到端实时CORBA调度模型可调度性分析算法[J];东南大学学报(自然科学版);2003年06期
17 石林勇;晏立;;多处理器全局单调比率的可调度性分析[J];计算机应用;2010年10期
18 白海洋;李静;赵娜;;基于时间自动机的嵌入式软件模型可调度性验证[J];计算机工程与科学;2013年03期
中国重要会议论文全文数据库 前3条
1 邢立宁;王原;何永明;何磊;;基于BP神经网络的星上任务可调度性预测方法[A];第十七届中国管理科学学术年会论文集[C];2015年
2 宋巍;窦万春;;资源限制工作流网及其可调度性验证[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
3 郭宏飞;郭琦;周建常;;一个实时专家系统的渐近求解方法[A];1995中国控制与决策学术年会论文集[C];1995年
中国博士学位论文全文数据库 前20条
1 王磊;容错实时系统可调度性分析研究[D];浙江大学;2005年
2 韩美灵;多核嵌入式实时系统全局调度策略及可调度性研究[D];东北大学;2019年
3 彭超;基于图的实时任务模型的可调度性分析与性能优化技术研究[D];国防科技大学;2019年
4 李俊;容错硬实时系统的可调度性分析[D];华中科技大学;2007年
5 关楠;面向多核系统的实时调度算法研究[D];东北大学;2012年
6 姚兴华;资源供需进程演算的证明系统研究[D];华东师范大学;2014年
7 窦强;分布式强实时系统中可调度性分析算法的研究[D];国防科学技术大学;2001年
8 王涛;实时系统任务调度若干关键技术的研究[D];哈尔滨工程大学;2006年
9 杨涛;基于虚拟化策略的多核混合关键性系统调度技术研究[D];东北大学;2019年
10 张天宇;信息物理系统中的实时和可靠性问题研究[D];东北大学;2018年
11 陈艾;面向能耗优化的分布式实时系统调度算法研究[D];中国科学技术大学;2007年
12 杨茂林;共享资源约束下的多核实时调度算法研究[D];电子科技大学;2016年
13 韩岗;嵌入式实时系统通信机制与优化技术研究[D];国防科学技术大学;2013年
14 于晓;基于嵌入式Linux的仪器操作系统的研究[D];西安电子科技大学;2009年
15 郭鹏泽;基于云环境的实时任务容错调度算法研究[D];上海交通大学;2018年
16 罗威;分布式实时容错调度算法研究[D];华中科技大学;2008年
17 何忠政;分布式实时系统任务容错调度优化算法研究[D];哈尔滨工程大学;2016年
18 吴小东;基于电压岛的多核实时系统中同步任务节能调度策略研究[D];华中科技大学;2012年
19 钱之琳;基于服务的信息物理融合系统可信建模与分析[D];华东理工大学;2014年
20 赵庆玲;混合关键度CPS系统中的资源共享协议和设计优化[D];浙江大学;2015年
中国硕士学位论文全文数据库 前20条
1 张永悦;基于仿真的实时系统可调度性分析工具的研究与实现[D];云南师范大学;2014年
2 王通;多核平台中针对DAG任务模型的全局EDF可调度性研究[D];兰州理工大学;2019年
3 方冰冰;时间正则任务自动机的可调度性研究[D];上海交通大学;2017年
4 刘忞斋;基于RTESIDDVL建模语言的实时嵌入式系统动态可调度性分析方法优化与工具实现[D];浙江大学;2018年
5 穆洪;实时系统可调度性分析和仿真工具的研究与实现[D];电子科技大学;2017年
6 周炎淼;SmartOSEK IDE3.0及其模型检查和协同工作[D];浙江大学;2007年
7 陈聪;实时移动系统的形式化建模与可调度性研究[D];福建师范大学;2020年
8 王歌;基于固定抢占点任务的实时调度方法研究[D];华中科技大学;2021年
9 王俊杰;基于分组调度的并行实时任务可调度性分析[D];电子科技大学;2021年
10 余飞;基于Uppaal的多处理器实时系统的可调度性分析[D];上海交通大学;2011年
11 刘倩;AADL模型可调度性分析工具设计与实现[D];西南交通大学;2010年
12 林晨;基于IMA的机电综合系统仿真平台开发[D];南京航空航天大学;2013年
13 舒国强;面向对象的实时系统可调度性验证和代码生成技术研究[D];中国科学院研究生院(软件研究所);2003年
14 丁海;基于实时嵌入式操作系统QNX的数据记录与回放的分析、设计与实现[D];四川大学;2004年
15 彭晨辉;实时调度中条件保证预算的分析[D];江苏大学;2009年
16 丁成杰;基于Petri网的原油处理短期生产计划可调度性分析[D];广东工业大学;2012年
17 赵清伟;多核混合关键度实时系统中任务划分及实现[D];华中科技大学;2015年
18 尹伟;多处理器单调速率任务调度算法研究[D];东华大学;2012年
19 宋来旭;含储能的新能源电力系统双层优化调度策略研究[D];东北电力大学;2021年
20 黄经州;开放式混合实时系统调度策略研究[D];浙江师范大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978