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

分布式任务关键实时系统的防危(Safety)技术研究

杨仕平  
【摘要】:随着实时计算的功能日益强大,应用成本的逐渐降低,实时计算技术广泛应用于航空航天、交通运输、核电能源和医疗卫生等诸多任务关键实时系统。这些实时系统之所以称为任务关键,是因为它们的功能一旦失效,将会引起生命财产的重大损失以及环境可能遭到严重破坏。为减少或防止任务关键实时系统发生灾难性事故,研究相关的防危(Safety)技术是必要的。目前,实时系统硬件的可靠性已大大提高,实时软件的设计缺陷已经成为导致任务关键实时系统失效的主要根源。防危技术是保障分布式任务关键实时系统正常运行,防止其发生灾难性事故的主要手段,已成为实时系统研究的热点课题。 论文对任务关键实时系统现有的防危技术进行了系统、全面的分析,认为当前其所面临的主要问题是:1)没有体现防危性(Safety)的本质含义,认为防危等同于可靠(Reliability)、安全(Security);2)无系统防危的观念:现有的防危机制通常只局限在应用级、操作系统级或网络级中的某个层次,且各层防危机制联系非常松散、一致性差。针对上述问题,通过对比分析防危性与可靠性、防危性与安全性之间异同的方式,阐述了防危性的本质所在。并以多级防危机制为核心,对分布式任务关键实时系统的防危技术进行了系统、深入地理论研究和实验,主要的贡献与创新之处包括: 在分析现有应用级防危机制不足之处的基础上,基于多级关键度划分的思想,提出了集成式的多级防危机制,其中重点研究了支持该机制的多级关键度访问控制规则,其目的是防止低关键度子系统中的设计缺陷破坏高关键度子系统的防危性,同时研究了基于反射技术的规则执行。 为设计高可信的任务关键实时操作系统,探索了基于时间隔离与空间隔离保护机制构建高可信任务关键实时操作系统的新思想,其目的是把设计缺陷所导致的失效影响控制在一个较小的时空范围内,使实时操作系统在其支撑范围内提供尽可能强的可信防范机制,在用户应用程序与系统资源之间进行符合防危策略的调度,防止发生灾难性事故。本论文基于两级调度模型及硬通货内存分配机制,分别实现了时间隔离保护与空间隔离保护,并通过理论分析及原型实验证明了时空隔离保护机制的正确性、有效性。 为有效支持集成式的多级防危机制,基于窗口限制的思想——规定时间范围内任务的时限满足情况,定量地描述了任务的关键度,提出了最短紧急距离优先的多级关键任务调度算法,设计出了可支持多级关键度任 WP=6 务的任务关键实时操作系统。 基于事件触发与时间触发设计出了任务关键实时通信协议ETTE,实现了同步实时消息、异步实时消息及非实时消息的混合传输。ETTE协议位于MAC层之上,是一种集中控制但分散仲裁的协议。既能保证各从节内部调度的灵活性,又可保证整个网络的实时性、防危性,同时具有较高的网络带宽利用率。 为有效测评任务关键软件,在研究相关防危性评估指标的基础上,探索了一种适合于任务关键软件防危性测评的增量记忆型测评方法,该方法可根据软件失效时间的早晚及次数来动态确定所需要测试用例数的增量,便于对失效后的软件进行更严格的测试,以防止任务关键软件侥幸通过防危性测试。 除上述工作外,本论文还对防危性实时调度、任务堆栈空间的优化、实时操作系统的防危性扩展和分布式任务关键实时系统的一体化可信性评估模型进行了研究和探讨,并做出了有益的贡献。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 罗大卫;余可人;;微机实时管理控制系统的总体结构设计及实现[J];计算机工程与应用;1987年10期
2 王瑞锋;王瑞英;吴湘淇;;一种实时图象处理子系统的硬件实现[J];北京交通大学学报;1989年01期
3 李绍成;微机实时系统的事件驱动程序设计[J];微机发展;1996年04期
4 杨帆;MIS中实时系统的合成技术[J];计算机应用;1998年01期
5 江浩,徐治皋,高正平,徐莹;火电厂实时系统数据通道的设计与实现[J];电力系统自动化;2002年02期
6 李勇;李宣东;郑国梁;;实时系统时段性质的模型检验[J];计算机科学;2002年11期
7 罗秉安,张立臣;基于CMM的实时系统开发过程[J];微机发展;2004年02期
8 阳俊;郑全第;;一种基于Linux的嵌入式实时操作系统分析[J];弹箭与制导学报;2004年S9期
9 周治平,夏娟,纪志成,林家俊;基于UML实时系统设计方法的分析与比较[J];计算机工程;2005年13期
10 曾伟刚 ,常青;实时系统的DDSPN建模与VHDL描述和仿真[J];电子设计应用;2005年07期
11 彭艳艳;刘开华;;DPTV应用[J];电子测量技术;2006年01期
12 刘珊艳;张广泉;;基于时序逻辑语言XYZ/E的实时系统应用研究[J];重庆师范大学学报(自然科学版);2006年03期
13 冀明;刘文近;;实时系统及其软件设计[J];办公自动化;2007年10期
14 侯军;张燕峰;;确定中断和抢占延迟的嵌入式实时内核[J];微计算机信息;2007年11期
15 周绪川;;一种解决μC/OS中优先级反转问题的方案[J];微计算机信息;2007年14期
16 刘珊艳;戎玫;张广泉;;实时时序逻辑语言XYZ/RE到时间自动机的映射[J];微计算机应用;2008年06期
17 何长波;王子斌;孙传恒;李文勇;杨信廷;;一种嵌入式实时系统优先级位图的改进算法[J];微计算机信息;2010年32期
18 徐德;;非受限任务优先级逆转防范方法[J];中国西部科技;2011年12期
19 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
20 王成;戴树岭;;实时仿真中的逼真虚拟地球实现[J];北京航空航天大学学报;2011年08期
中国重要会议论文全文数据库 前10条
1 李斌兵;孙文海;;基于消防实时系统的QoS技术研究[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 段成刚;欧阳森;宋政湘;陈德桂;王建华;;基于双CPU的嵌入式电能质量监测设备的设计[A];中国电工技术学会低压电器专业委员会第十一届学术年会论文集[C];2002年
3 毕小龙;王洪跃;朱大海;徐治皋;;基于COM+组件的电站实时系统的设计和实现[A];2004电站自动化信息化学术技术交流会议论文集[C];2004年
4 金建设;董文葆;;大型无机化工厂基于规则的生产调度辅助系统[A];第三届全国控制与决策系统学术会议论文集[C];1991年
5 杨锁昌;孟晨;魏保华;郑思龙;;RTSI实时系统集成总线及其编程控制[A];中国仪器仪表学会第三届青年学术会议论文集(上)[C];2001年
6 吴学贤;江杰;徐大威;何永保;;宝钢一号高炉操作指导专家系统[A];1995年中国智能自动化学术会议暨智能自动化专业委员会成立大会论文集(上册)[C];1995年
7 唐乐;雷航;吴晓华;;基于时间Petri网产生测试序列的方法[A];第四届中国测试学术会议论文集[C];2006年
8 肖建桥;;实时分布式系统进程迁移的研究[A];武汉市第二届学术年会、通信学会2006年学术年会论文集[C];2006年
9 严隽薇;宋国斌;张克技;;一种实时系统分析法——H-P扩展法[A];第三届全国控制与决策系统学术会议论文集[C];1991年
10 吴世英;许祖润;杨朝文;甘绍碱;;实时监控系统中数据处理的一些方法问题[A];第8届全国核电子学与核探测技术学术年会论文集(二)[C];1996年
中国博士学位论文全文数据库 前10条
1 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
2 江维;任务关键实时系统的可信感知调度研究[D];电子科技大学;2009年
3 邹勇;开放式实时系统的调度方法研究[D];中国科学院研究生院(软件研究所);2003年
4 毛佳;嵌入式实时系统中关键技术的研究[D];吉林大学;2004年
5 巴巍;实时系统动态优先级任务调度算法的研究[D];大连理工大学;2010年
6 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
7 吴刚;对低功耗进程调度算法的研究[D];复旦大学;2006年
8 曹春生;实时工业无线局域网介质访问控制协议的研究[D];上海交通大学;2007年
9 童立靖;实时系统的自适应进程调度方法研究[D];中国科学院研究生院(软件研究所);2005年
10 陈慧;实时宽带现场网络技术研究[D];电子科技大学;2004年
中国硕士学位论文全文数据库 前10条
1 刘彬;工控设备中数据处理技术的研究[D];中南大学;2004年
2 汪泓澄;嵌入式系统的性能基准程序及任务时限违背率[D];同济大学;2006年
3 姬莉霞;基于时间自动机的实时系统规范验证研究[D];郑州大学;2004年
4 杨龙;Linux实时调度算法与测试平台的研究与实现[D];大连理工大学;2005年
5 邹玉丽;基于UML的实时性研究[D];山东科技大学;2005年
6 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年
7 舒国强;面向对象的实时系统可调度性验证和代码生成技术研究[D];中国科学院研究生院(软件研究所);2003年
8 郭东亮;面向方面的实时系统开发方法[D];广东工业大学;2005年
9 王晓寅;基于实时系统的STM32网络应用[D];华东师范大学;2011年
10 钟洋;基于Windows NT的弱实时多任务的实现[D];武汉科技大学;2002年
中国重要报纸全文数据库 前10条
1 ;ADI发布Blackfin DSP产品[N];中国电子报;2001年
2 ;病毒一触即发[N];中国电脑教育报;2003年
3 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
4 ;江西移动的“移动课堂”[N];计算机世界;2003年
5 王明毅;英维思ARPM石化企业在线性能监控[N];中国石油报;2006年
6 陈子牧吴进宇;结“网”惠农[N];金融时报;2008年
7 冯敏;拥有出色公路性能的强悍SUV[N];中国贸易报;2008年
8 王棣华;高新企业如何应用标准成本?[N];财会信报;2005年
9 刘沛铭 虞美霞;九电首批“节能高手”新鲜出炉[N];华中电力报;2008年
10 王君;打造和谐的“会议地图”[N];上海证券报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978