Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors
Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors
复制标题
DOI：
10.1109/23.903758
复制
发表时间：
2000-12
影响因子：
1.8
通讯作者：
M. Violante
中科院分区：
文献类型：
--
作者：
M. Violante
本文论述了一种允许在线检测瞬态误差的软件修改策略。由于该方法基于一组用于在高级代码中引入冗余的规则，因此可以完全自动化，并且因此特别适合于低成本的安全关键的基于微处理器的应用。实验结果进行了介绍和讨论，证明了该方法的有效性方面的故障检测能力。
This paper deals with a software modification strategy allowing on-line detection of transient errors. Being based on a set of rules for introducing redundancy in the high-level code, the method can be completely automated, and is therefore particularly suited for low-cost safety-critical microprocessor-based applications. Experimental results are presented and discussed, demonstrating the effectiveness of the approach in terms of fault detection capabilities.