计算机系统可信性评测研究与设计

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:nankaizhizhuan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机系统应用到航空、航天、军事、金融、工业等高可信性领域,人们对计算机的系统的可信性要求也大大提高。网络在其迅速的发展过程中越来越深刻地影响着人们的日常生活,这对网络环境下的计算机系统的可信性提出了更高的要求。故障注入作为一种加速系统失效的手段,能够测试并评估可信系统的性能,并对高可信系统的研制有着重要的参考价值。传统的可靠性评测极少考虑到网络环境下的系统可信性,而与目前网络隔绝的系统已经非常少见。因此,计算机系统面临着更大的威胁。本文以设计和实现综合的可信性评测工具为目的,对健壮性评测技术、故障注入技术、可信性评测的相关概念以及可信性指标体系的发展等进行了介绍和分析,在此基础上,完成了计算机系统可信性评测工具的设计与实现工作。建立了一套基于完善的可靠性评测指标体系。通过分析故障注入的过程和原理及目前可信性评测中采用的相关技术,给出了基于故障注入的可信性评测工具的基本架构和功能结构,继而设计并实现了系统的各个模块。通过本评测工具向目标系统进行故障注入,用户通过交互平台配置评测参数,在控制模块的作用下,进行注入,注入完成后,由结果回收模块进行结果回收,并将结果发送回主控机,存储到数据库中,进而进行离线数据分析。通过数据分析,得到了系统的各项评测指标,验证了本评测工具的有效性和实用性,并评测了目标系统的可信性。本文尝试建立了一种基于CVSS的可信性评测指标体系CRSS (Common Reliability Scoring System)。将安全性、可靠性、健壮性融入到同一个指标体系中。该指标体系既可以对单一属性进行评测,也可以对系统的综合属性即可信性进行评测。
其他文献
传统的视频编码标准,如MPEG或H.26x系列,均是在编码端利用视频序列帧间的相关性来进行帧间预测编码。为了能够较为准确地预测当前帧,现行标准均使用了运动估计算法,该算法的
随着嵌入式系统逐渐被应用到航天、军事、生命监控等领域,人们对嵌入式系统的可信性要求越来越高,高可信嵌入式计算机系统设计与实现技术已成为人们重要的研究课题。嵌入式系
随着人类生活水平的提高,汽车已深入到人类的生活中,人们对汽车的要求也越来越高,从安全性、舒适性、操作简单性、功能完备性到整车售后的服务质量等都有着不同的个性化要求
在中国电信运营商重组以后,国内电信业的市场环境已渐趋合理,它们之间的竞争更加激烈。客户是电信运营商生存和发展的根基[1],对客户的保有和争夺也就成为竞争的焦点。作为全
片上网络(Network on Chip, NoC)的提出以大规模集成电路的发展、路由算法的研究和互连网技术的不断改进为基础,同时这些软、硬件基础技术也推进了片上网络的不断发展,有着非
多维关联规则挖掘是数据挖掘的重要研究内容。与此同时,随着Internet的迅猛发展,分布式数据库得到广泛应用。因此,迫切需要一种方法解决分布式环境下多维关联规则挖掘的问题
严重错位颌骨复位是常见的口腔外科手术。术前构造患者颌骨模型,尤其是包含骨折线信息的颌骨模型有助于医生进行更充分术前准备,减少手术时间。本文综合利用医学影像、计算机
网络虚拟化作为目前构建新兴架构网络的实现技术,自提出以来一直受到学术界的密切关注。网络虚拟化技术是在物理网络基础设施上构建多个异构且相互独立的虚拟网络(Virtual Ne
协同制造是制造企业为应对知识经济和制造全球化的挑战而实施的以快速响应市场需求、提高企业竞争力和加速区域经济发展为主要目的的一种先进制造模式。我国作为制造业大国,传统作业方式依然占据主流地位,企业间协作意识不强,企业资源的集成度松散,数据共享不通畅。随着制造业的发展和竞争的加剧,这一问题显得越来越突出。因此,利用信息技术建立协同生产与商务平台,对制造资源进行优化配置,实现产品协同生产和资源共享,已成
蚁群算法是一种通过模拟真实蚂蚁觅食原理发展起来的新颖的仿生型智能优化算法,具有正反馈、并行性和启发性搜索等特点。作为计算智能和群智能的重要分支之一,蚁群算法的研究