基于联合仿真故障注入关键技术分析与设计

来源 :哈尔滨工业大学 | 被引量 : 0次 | 上传用户:qqqq8989
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前,随着半导体工艺不断发展,电子系统也具有更高的集成度,而处理器的性能也有了较大的提高。高性能处理器低功耗、高性能的特点给处理器的可靠性带来了负面效应,带来了频发的硬件故障。为了提高处理器和系统的可靠性,各种容错机制和方案应用而生,这样观察故障在系统各个层次中的表现显得极为重要。同时评价各种容错方案,也需要在容错机制的实现层获得期望的行为。而基于仿真的故障注入具有可观察性和可控性,但局限于硬件层次的仿真故障注入不能观察故障在软件层的表现,因此具有一定的局限性。在硬件设计过程中的软硬件联合仿真验证环境为基于仿真的故障注入提供了新的平台。通过对软硬件联合验证环境进行一定修改和裁剪,可以建立一个基于联合仿真的层次化故障注入系统。这样就实现了高精确的故障建模和较高的仿真效率,方便观察故障从底层硬件到顶层软件中的表现。本文研究联合仿真验证环境,并在此基础上对联合仿真故障注入平台进行研究,并对其中关键的技术进行研究。并且让其可以对故障从结构级到操作系统和应用程序的影响进行观察。首先分析联合仿真验证环境,剖析验证环境组成和交互方式,而后分析故障注入平台的组成、交互方式,对其控制器、状态收集器、监视器、分析器等组件在故障注入平台中的作用和实现细节。然后分析硬件描述语言在硬件开发中的作用,对模拟器如何将硬件开发源代码在其内部进行表示和管理。研究基于Verilog PLI技术的故障注入工具VPFIT组成和描述,从加快故障注入和丰富故障模型角度去研究一个适应联合故障注入平台的方法和技术。最后,利用新的方法和技术让故障注入平台进行针对OpenSPARC处理器的故障注入实验,并统计故障从底层到顶层软件不同层次的表现以及分布规律。
其他文献
高通量生物检测技术的广泛应用带来了分子生物学数据的指数级增长,使得生物数据的融合与生物知识的挖掘成为目前生物信息学面临的重大挑战。以高通量微阵列为例,其能够并行检
针对目前灰度半调图像无损压缩方法中存在着算法复杂度较高,压缩率不理想的问题,本文分析了典型半调图像的生成原理及特性,在此基础上,设计了针对有序抖动和误差分散半调图像的无
实体的歧义是指同一个实体名称可以对应到多个概念上,为了自动分析文本或构建大规模知识库,精确细致的实体消歧工作不可缺少。近年来随着社交网络的高速发展,互联网上的信息呈现
随着生物医学领域研究的飞速发展,生物医学文献的数目急剧增长,为了从生物医学文献中挖掘知识,蛋白质相互作用关系抽取成为了近年来的研究热点。本文的研究内容为蛋白质相互作用
随着计算机和网络技术发展,靶场信息系统集成应用越来越普遍。信息系统集成主要解决底层数据异构问题。中间件是目前应用最广、最普遍的技术,目的是建立一个面向用户的透明化
近年来,医学图像处理已经成为计算机视觉领域的研究热点。肺炎影像类型判别目前主要依靠医生的经验,医院需要设置专门的科室和人员进行判断,这样费时费力,而且一些肺炎的CT影
伴随着科技的飞速发展,计算机网络在人们的日常生活中起着愈来愈重要的作用。如何研究网络,使其更好地服务于人类,已成为学术界的研究热点。网络模拟作为研究计算机网络的一种方
生产制造业中的调度方法,从根本上可以分成以下两类:一类是针对大批量相同品种产品的流水作业调度方法,另外一类是针对小批量不同品种产品的车间作业调度方法;主要采用纯加工调度或者纯装配调度。综合调度算法可以将产品加工和装配高度并行处理,避免了产品内部制造过程的割裂,其中多车间的综合调度算法更加符合现阶段的生产制造要求。对于单件复杂产品在设备资源对称的二车间综合调度的问题,目前的研究成果还未考虑动态实质路
随着信息化的进程,计算机系统越来越深入地融入了国民经济的各个领域,人们对计算机系统的依赖程度与日俱增。尤其是军事、金融、电信、航空航天等国民经济关键领域,不仅需要计算
有序抖动半调图像已被广泛应用于连续色调图像的打印、印刷和显示中。因此研究针对其的高效压缩方法对这类图像的存储、记录和传输有着非常重要的应用价值和现实意义。本文介