王向涛
- 作品数：3 被引量：0H指数：0
- 供职机构：西北工业大学计算机学院更多>>
- 发文基金：中国航空科学基金航天支撑技术基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- DSP汇编程序基本块划分与优化及其软件实现
- 2016年
- 针对空间环境中DSP软错误检测的需求,研究一种DSP汇编程序基本块划分与优化方法,并对其进行了软件实现。该方法首先将汇编程序精简为只含指令和标号的"伪汇编"程序;再对"伪汇编"代码进行基本块划分;然后经过3种优化得到优化后的基本块。最后根据优化前后的基本块信息,分别绘制优化前后的跳转流程图。利用该软件可以将程序划分为基本块的集合,并提取每个基本块的结构信息,可有效支撑基于完整性检查的程序流错误检测。软件代码精简、稳定性好、空间复杂度小,对DSP单粒子效应故障检测有着重要的应用价值。
- 周国昌巨艇赖晓玲朱启王向涛于登云郭阳明
- 关键词：汇编程序DSP
- 一种基于完整性检查的DSP软错误恢复方法
- 2015年
- 空间环境中,DSP等器件越来越频繁地发生单粒子软错误,严重影响了系统安全可靠地运行。针对DSP程序存储区的软错误,本文提出了一种基于完整性检查的控制流错误恢复方法。该方法在基于完整性检查的控制流错误检测方法的基础上,只需设置一个恢复指针和恢复存储区,即可在检测到控制流错误之后快速地恢复控制流错误。论文提出的方法对DSP的抗软错误加固设计与开发具有重要的指导意义。
- 周国昌王向涛赖晓玲高翔吴昊于登云
- 关键词：DSP软错误
- 基于程序控制流完整性检查的DSP软错误检测
- 2015年
- 空间环境中DSP等器件频繁发生的单粒子软错误,严重影响了系统的安全可靠运行。针对DSP程序存储区的软错误,本文提出了基于程序控制流完整性检查的软错误检测方法。首先对DSP程序在汇编语言上将程序划分为若干个基本块并将每个基本块的结构信息存储在一个分块表中;然后在每个基本块的末尾设置检测点,通过检查程序运行时信息与分块表中记录的信息的一致性来判断程序是否发生控制流错误。该方法和基于签名的检测方法相比,在故障检测效率和系统开销大致相当的情况下,具有近乎100%的控制流错误检测覆盖率以及良好的跨平台移植性。
- 周国昌王向涛高翔赖晓玲郭阳明于登云
- 关键词：DSP软错误
