安全关键嵌入式实时软件的关键非功能属性分析研究

发布时间：2020-08-08 16:16

【摘要】：安全关键嵌入式实时系统正日益深入地被应用到对任务执行时间和失效影响有严格要求的若干安全关键领域,如航空航天、医疗设备、汽车电子和核电控制等。这类系统除对其功能性有正确性要求外,还对其非功能属性有严格要求。若其所规定的非功能属性不能满足,同样可能造成系统失效,给人们的生命和财产带来巨大的损失和灾难。因此,如何有效地分析和评估安全关键嵌入式实时系统的非功能属性是否被满足是一个重要的研究方向,其结果可以给系统设计者提供所需要的系统信息和设计指导。 本学位论文正是针对上述问题,以实时性和可靠性两个主要的非功能属性为研究对象,从软件工程开发技术和软件计算模型两个方面系统和全面地分析当前重要的非功能属性保证技术及理论分析方法,针对现有问题,从软件计算模型角度提出了两种实时性分析方法和一个可靠性模型,使得系统设计者在软件设计阶段可以尽早分析与评估系统的性能,并在一个航空电子系统原型实例中说明其实际具体分析过程。本学位论文主要贡献和创新之处有: 1.针对小规模分布式实时系统的嵌入式实时软件(Embedded Real-Time Software, ERTS),提出了一种基于自动机理论的实时性分析技术,建立了分布式系统上的任务形式化模型,提出了行为自动机和环境自动机来分别描述任务的执行语义及其外部到达关系,把任务的调度性分析转换为对自动机网络的位置的可达性进行分析,证明了在某些调度策略下的调度性的可判定性,并给出了满足调度的可判定性的调度策略的条件和范围,实现了一个支持分布式系统任务实时调度分析工具SCT,解决了传统基于最坏响应时间的分布式系统调度分析方法往往所包含的实际系统运行过程中无法达到的最坏情况。分析结果显示,SCT能够被方便地使用建模和分析系统实时性,同时提供最精确的分析结果; 2.针对中大规模分布式实时系统的ERTS,从一类特殊系统:研究双向多阶段多阶段流水线系统上任务的实时性分析入手,考虑任务在相邻节点间执行重叠的情况,推导出任务实例的端到端最坏延迟公式,然后将系统模型扩展到一般性中大规模分布式实时系统上。实验显示,与其他几种重要分析技术相比,在大多数情况下该技术能够推导出更低的任务端到端的延迟上界,从而允许更多的任务进入系统; 3.针对一般性ERTS,在其设计阶段第一次利用实时性和错误处理时间开销之间的敏感关系定义任务执行模型的可靠性。在该可靠性模型中,对实时任务定义错误发生率及相应的容错机制以建模硬件和任务本身设计缺陷所导致的非永久失效及错误处理开销,通过分析错误最坏出现情况下任务仍然可调度的概率,将实时性和容错性融合在同一分析模型框架下,并给出了在静态优先级调度策略下的可靠度定量计算算法及其一种改进算法。当任务模型无出错假设时,该可靠性模型退化为一般性调度分析模型; 4.选取一类典型的安全关键实时系统:航空电子系统进行抽象,研究了该类系统中另一个重要的非功能属性:分区配置策略,同时分析并定义了最优分区配置策略,给出了ENATF为最优分区配置策略的证明过程,实现了一个分区配置仿真工具PCT,然后建立了一个航空电子系统的原型实例,详细说明本学位论文所提出的实时性分析方法、可靠性分析方法及最优分区配置策略在该实际系统中的使用。 目前,安全关键实时系统的非功能属性领域的研究仍然存在许多挑战,本学位论文所提出的方法和技术对广大研究者提供了一种新的思路,为增强我国自主知识产权的实时系统的研发提供理论和技术支持。
【学位授予单位】：电子科技大学
【学位级别】：博士
【学位授予年份】：2011
【分类号】：TP368.1

【相似文献】

相关期刊论文 前10条

1 韩竞锋;;企事业单位局域网的网络信息安全关键技术分析[J];数字技术与应用;2011年07期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 王跃飞;韩江洪;胡庆新;张本宏;;具有性能约束的安全关键DCS设计与仿真[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（上册）[C];2008年

2 韩文杰;;非功能胰岛细胞瘤的CT诊断(摘要)[A];2001年全国医学影像技术学术会议论文汇编[C];2001年

3 谢瑞红;孟欣;刘大立;姜斌;范永春;;对脑卒中患者功能侧与非功能侧大脑半球发病规律观察[A];中华医学会第九次全国物理医学与康复学学术会议论文集[C];2007年

4 杨仕平;熊光泽;桑楠;;基于双超时检测机制的三维容错实时系统[A];第十届全国容错计算学术会议论文集[C];2003年

5 王中堂;孙洪福;李宝生;杨国仁;卢洁;;肺灌注显像在Ⅲ期非小细胞肺癌优化放疗计划的相关因素研究[A];中华医学会放射肿瘤治疗学分会六届二次暨中国抗癌协会肿瘤放疗专业委员会二届二次学术会议论文集[C];2009年

6 郑秀珏;李谷;黄欣;曹飞;龚江标;;非功能区恶性脑胶质瘤行扩大手术切除的临床效果分析[A];2009年浙江省神经外科学术年会论文汇编[C];2009年

7 侯星延;;砭石疗法在前列腺增生的临床应用[A];2006全国砭石与刮痧疗法学术研讨会论文汇编[C];2006年

8 康增寿;朱立;欧阳萌;;Plummer甲亢的诊断与~(131)Ⅰ治疗[A];第三届全国核素治疗学术交流会议论文摘要汇编[C];2003年

9 王晡;;和声教学的阶段性、指向性和科学理念[A];全国和声复调教学研讨会论文汇编[C];2010年

10 郑小艳;蔡丹英;滕元文;;DMSO对梨属植物ITS区扩增及测序的影响[A];中国园艺学会第七届青年学术讨论会论文集[C];2006年

相关重要报纸文章 前10条

1 钟慧;彩电并非功能越多越好[N];山西科技报;2000年

2 ;系统的安全关键在哪里[N];中国计算机报;2001年

3 石敬涛;讲安全关键是珍视生命权[N];中国矿业报;2003年

4 记者董映璧;胚胎干细胞并非功能广大[N];科技日报;2002年

5 雨泉;电话机并非功能越多越好[N];卫生与生活报;2007年

6 南京总医院教授 寿柏泉;烂牙是舌癌祸首[N];大众卫生报;2005年

7 王蔚 史建婷;佑安医院治疗控制 “非典”效果好[N];保健时报;2003年

8 罗金保;实践“三个代表”做到“三个造福”[N];中国企业报;2004年

9 万里;看病时哪些费用需自付[N];医药养生保健报;2006年

10 罗广明 吴钟文 李静静;检企合力攀高峰[N];中国国门时报;2004年

相关博士学位论文 前10条

1 崔展齐;若干软件非功能属性相关的设计和实现技术研究[D];南京大学;2011年

2 周睿;面向安全关键的虚拟化与分区操作系统研究与实现[D];兰州大学;2010年

3 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年

4 奚s

本文编号：2785799