【摘 要】
:
近年来,在太空和地面由辐射引起的单粒子效应而导致的事故频发,其中因单粒子效应而造成的寄存器位翻转瞬时故障对计算机系统来说危害很大。单粒子效应已经引起很多航空航天飞行器甚至地面设备出现逻辑错误、功能中断等问题。由于嵌入式系统资源有限,因此高效费比的软加固技术引起了研究者和工业界的广泛关注。此外故障注入技术因能模拟单粒子效应,便于研究单粒子效应对系统的影响及验证加固效果,也成为相关领域的研究热点。本文
论文部分内容阅读
近年来,在太空和地面由辐射引起的单粒子效应而导致的事故频发,其中因单粒子效应而造成的寄存器位翻转瞬时故障对计算机系统来说危害很大。单粒子效应已经引起很多航空航天飞行器甚至地面设备出现逻辑错误、功能中断等问题。由于嵌入式系统资源有限,因此高效费比的软加固技术引起了研究者和工业界的广泛关注。此外故障注入技术因能模拟单粒子效应,便于研究单粒子效应对系统的影响及验证加固效果,也成为相关领域的研究热点。本文主要研究存储机制的加固技术和故障注入技术,研究的主要内容如下:(1)针对单粒子效应导致的寄存器软错误问题,提出了基于RVF的指令重调度寄存器软加固方法。该方法通过分析寄存器的脆弱性并结合RVF技术,设计了基于RVF的指令重调度算法。提出的方法可以自动调整指令顺序以提高系统的可靠性。对比实验结果表明,该方法能够有效降低程序的RVF值,在较小的开销下可有效的降低故障率。(2)为了对寄存器的可靠性进行评估,建立了一种基于RVF和Z语言的寄存器可靠性评估模型ZRRM。该模型基于RVF技术,使用Z语言建立了面向软错误的寄存器可靠性模型;设计了ZRRM到CTMC的转换规则,描述了状态之间的转移关系和转移概率。利用该评估模型可计算出寄存器在某一个时刻处于各个状态的概率。(3)针对现有随机故障注入方法存在故障有效率不足的问题,本文提出了基于随机森林的故障注入方法。该技术首先提取指令特征;基于随机森林建立预测模型,预生成程序的故障序列;根据预测出的故障有效性从故障序列中选取故障注入。对比实验结果表明,基于随机森林的故障注入方法能够在不牺牲故障覆盖率的情况下,大幅度提高注入故障的有效率。(4)在上述研究的基础上,本文基于LLVM和GDB,进行了二次开发;分别编码实现了面向软错误的存储机制加固和故障注入机制的核心模块,并进行了系统集成。初步实现了面向软错误的存储机制加固和故障注入系统。通过该系统可以对目标程序的指令自动进行重调度,以降低程序对寄存器软错误的敏感性;也可以通过该系统对可执行程序进行故障注入,以研究软错误对程序的影响或验证加固算法的效果。测试结果表明,该系统能够有效的对目标程序进行抗单粒子效应加固,并具有较高的注入故障有效率。
其他文献
随着当前全球化和经济一体化的加速进行,以及国际贸易自由度的大幅度提升,企业走出国门已成为大势所趋,共建“一带一路”倡议的提出也给我国企业的“走出去”提供了良好的发展机遇。对于企业来说,只有进行国际化经营,才能获取更多的机遇,取得更广阔的发展空间。而在异质性文化中的商务贸易往来日益频繁的背景下,企业“走出去”将会面临一定的冲击,面对文化差异时,企业如何避免文化冲突,如何进行跨文化管理是一项复杂而又重
复杂环境下,计算机芯片会受到如高能粒子辐射、电磁扰动等外界环境的影响,在运行时发生错误。尤其是在航空航天领域,由于芯片本身集成度越来越高,且高空动态环境的辐射及电磁扰动强,所以计算机芯片中的存储部件和控制部件更容易发生单粒子效应,进而发生软错误,从而导致系统在运行时易发生数据错误、挂起、超时甚至崩溃等故障。因此,使软件具备软错误检测和容错的能力不仅是计算机可靠性领域、也是基于计算机技术的航空航天应
对于传播研究而言,我们如何认识ChatGPT这一人工智能领域的新事物,它会对传播的境况与人的境况带来什么根本性变化?这是首先需要讨论的传播哲学问题。本文从海德格尔的生存论的角度,将以ChatGPT为代表的生成性人工智能定义为“新常人”,它们代表着一种知识渊博的认知平庸者。这样一种新的存在者虽然绝对服从人类,但是在实践中却将成为凝视人类的他者。ChatGPT的问答逻辑及其知识生产方式也促使传播专业需
干姜来源于姜科植物姜Zingiber officinale Rosc.的干燥根茎,广泛分布于我国各地。干姜辛,热。归脾、胃、肾、心、肺经,具有温中散寒,回阳通脉,温肺化饮等功效。临床上常用于治疗脘腹冷痛,呕吐泄泻,肢冷脉微,寒饮喘咳等症。由于现行的药材质量标准对干姜的品质评价仍有一定的局限性,导致市场上的干姜质量参差不齐,药材品质得不到保障,限制了干姜的市场流通。为了使干姜药材更好的市场流通和药用
高校既是知识技术的创造者,又是军民融合创新的参与者。本文选取国防特色背景的A大学作为高校军民融合协同创新模式研究主体,研究高校在军民融合协同创新的作用,目的是有利于提升知识转移的效率和军民融合协同创新体系的搭建。首先,通过介绍本文的选题背景,重点论述军民融合发展国内外研究现状及研究思路、研究方法。其次,阐述军民融合相关概念,论文主要理论概念有军民融合理论、知识转移理论及军民融合创新体系。再次,明确
当前,以数字技术为基础支撑的数字经济是数字化时代经济高质量增长与社会转型变革的重要力量,具有巨大的价值创造潜力。而我国正处在百年未有变局的机遇期,处于经济发展方式转变期与新旧动能转换期,原有的粗放式产业发展模式与不合理的产业结构比例必须尽快调整,以提高产业发展效率,转变产业发展模式,在此机遇下,数字经济可以为中国产业转型升级提供新的解决方案。数字经济为促进传统产业模式逐步向数字化、智能化转变作出了