基于COTS的安全关键软件故障注入技术研究

来源 :华中师范大学 | 被引量 : 0次 | 上传用户:siquan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,基于COTS构件的软件系统已经得到广泛的应用,因而COTS的可靠性已经越来越受到人们的重视。特别是在航空、航天系统以及一些军事通讯等安全关键领域中,COTS的高可靠性显得尤为必要。在这些系统中,计算机一旦出现故障,就会导致巨大的经济损失,甚至是政治和军事损失。对于这类安全关键系统,可靠性是一个极为重要的参数。解决上述问题的关键技术之一是软件故障注入技术,通过该技术可以快速重现软件故障,为该故障的诊断、隔离和恢复提供基础。但这一技术在软件领域中的应用尚处于探索阶段,有很多理论与实际应用问题有待进一步研究和解决。本文在运行时软件实现故障注入技术和COTS运行时故障模型等方面进行了研究。在软件实现的故障注入技术基础上,提出了基于故障注入脚本的运行时软件实现故障注入方法与模型,建立COTS运行时故障模型库,设计了COTS运行时故障注入脚本,给出了内置故障注入器的COTS封装方法。论文重点研究了基于COTS的软件系统的故障注入技术,所设计的故障注入器可有效地将故障注入到COTS构件中。实验结果证明,此故障注入方法可以有效重现系统软硬故障,并能成功对系统注入故障。和传统的故障注入法相比,此方法更适合于COTS构件。因为该方法具有无需目标系统的源代码、实时注入、在线监控分析、可定制故障注入脚本等突出优点。
其他文献
电力系统的安全运行直接影响着国家经济发展以及国民生活的质量。为了确保变电站安全运转,国家电网公司对变电站中设备,特别是一次设备的监测与故障提出了更高的要求。其中,无线传感器网络以其无需布线、健壮性强、易于扩展等优点,可以作为变电站设备的重要监测方式。变压器在变电站具有举足轻重的作用,同时也是电网中核心设备之一,变压器的安全稳定运行就直接关系到了电力系统的安全性。变压器也是出现事故较为频繁的电力设备
在园林景观设计、社区规划、城市建设等领域,树木虚拟有着重要的实用价值,若能真实虚拟树木形态及随风吹动效果,将会产生栩栩如生、具有真实感的效果。本文以实现具有真实感
NoC(Networks on Chip,片上网络)最早是在SoC(System on Chip,片上系统)的研究过程中被提出来的。NoC往往被用作SoC芯片上的通信基础,具有定制化的、应用驱动的结构,其数据是
芯片的验证工作,对提高投片成功率起到关键性作用。有资料显示,造成芯片一次投片成功率低于50%的主要原因就是功能验证还不够完善。根据不同领域的验证对象和不同层次的验证
数据的指数级增长向世界互联网巨头Google、Yahoo、Amazon和Microsoft等这些处于市场领导地位的公司提出了挑战,它们需要分析TB级和PB级的海量数据以发现有价值的信息推荐给那些有潜在需求的人群。现有的工具正变得无力处理如此大的数据集,Google公司率先推出了MapReduce编程模型,这是Google公司为了在廉价的计算机集群上来存储并处理PB级的数据而提出的一种解决方案。Ha
经过近十几年的研究,数据挖掘技术已经相当成熟。作为数据挖掘研究中的基础任务,频繁模式挖掘一直是一个热点问题,得到了广泛而深入的研究。然而,随着网络、电信和传感器技术
本文进行了如下工作: (1)本文对Moreno等人提出的谣言模型进行了改进,将原有模型中对谣言失去传播兴趣的人群细分为接受谣言但是失去传播兴趣的人群和不接受谣言的人群。另
随着计算机技术在不断飞速发展,企业管理普遍趋向信息化,企业的日常管理事务中囊括了大量复杂数据与盘根错节的业务流程,因此,对软件开发技术的要求日益严苛,软件开发手段需
无线传感器网络是一个规模大、资源有限、动态拓扑的无线自组织网络。路由算法作为无线传感器网络重要内容,它负责在源节点和目的节点间传输数据。目前对路由算法研究已成为
实时数据库系统的目标就是使满足截止期限约束的事务数量为最大,因而支持优先考虑时间的事务调度是非常重要的。事务的实时调度方法是决定系统性能好坏的关键,而那些传统的确