TY -的A2 Damaren Christopher j . AU - Ma,峻驰AU - Yu Dengyun AU -王,云非盟- Cai, Zhenbo盟——张,清香AU -胡,程PY - 2016 DA - 2016/11/15 TI -检测沉默Aerospace-Based计算使用程序不变量中的数据错误了SP - 8213638六世- 2016 AB -软错误造成的单一事件打乱Aerospace-Based计算一直是一个严重的挑战。沉默的数据损坏署是结果发生软错误之一。署发生在程序产生错误的输出没有迹象。署是最阴险的一种结果,很难检测到。为了解决这个问题,我们设计和实现一个invariant-based系统称为萝卜。不变量描述程序的某些属性;例如,一个变量的值等于一个常数。萝卜首先提取关键程序点不变量和不变量转换成断言。然后它变硬的程序断言插入源代码。当发生软错误时,断言将在运行时被发现是假的软错误和警告用户。 To increase the coverage of SDC, we further propose an extension of Radish, named Radish_D, which applies software-based instruction duplication mechanism to protect the uncovered code sections. Experiments using architectural fault injections show that Radish achieves high SDC coverage with very low overhead. Furthermore, Radish_D provides higher SDC coverage than that of either Radish or pure instruction duplication. SN - 1687-5966 UR - https://doi.org/10.1155/2016/8213638 DO - 10.1155/2016/8213638 JF - International Journal of Aerospace Engineering PB - Hindawi Publishing Corporation KW - ER -