A source-to-source compiler for generating dependable software

Rebaudengo, Maurizio; Reorda, Matteo Sonza; Violante, M.; Torchiano, Marco

doi:10.1109/scam.2001.972664

Cited by 64 publications

(34 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Some of them apply redundancy to highlevel source code (e.g., C language) by means of automatic transformation rules [37], whereas others use instruction redundancy at a low level (assembly code) in order to reduce the code overhead and performance degradation, and improve detection rates [26,27,36]. Only a few of these techniques have been extended to allow system recovery, but they incur, as a consequence, in higher overheads in terms of code size and execution time [17,38].…”

Section: Related Workmentioning

confidence: 99%

“…In this model, only one bit-flip of a storage element occurs throughout the circuit operation. Since this fault model closely matches the real fault behavior, it is widely used by the fault tolerance community to model real faults [37].…”

Section: Fault Coveragementioning

confidence: 99%

“…Therefore, a fault injected in an unused register bit is considered as unACE because it does not affect the expected program output. This way of testing has been carried out by others researchers as well [26,27,36,17,37], which allows to obtain homogeneous result sets comparable to each other.…”

Section: Fault Coveragementioning

confidence: 99%

See 2 more Smart Citations

Selective SWIFT-R

et al. 2013

View full text Add to dashboard Cite

Commercial off-the-shelf microprocessors are the core of low-cost embedded systems due to their programmability and cost-effectiveness. Recent advances in electronic technologies have allowed remarkable improvements in their performance. However, they have also made microprocessors more susceptible to transient faults induced by radiation. These non-destructive events (soft errors), may cause a microprocessor to produce a wrong computation result or lose control of a system with catastrophic consequences. Therefore, soft error mitigation has become a compulsory requirement for an increasing number of applications, which operate from the space to the ground level. In this context, this paper uses the concept of selective hardening, which is aimed to design reduced-overhead and flexible mitigation techniques. Following this concept, a novel flexible version of the software-based fault recovery technique known as SWIFT-R is proposed. Our approach makes possible to select different registers subsets from the microprocessor register file to be protected on software. Thus, design space is enriched with a wide spectrum of new partially protected versions, which offer more flexibility to designers. This permits to find the best tradeoffs between performance, code size, and fault coverage. Three case studies have been developed to show the applicability and flexibility of the proposal.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Fault Coveragementioning

confidence: 99%

See 1 more Smart Citation

Selective SWIFT-R

et al. 2013

View full text Add to dashboard Cite

show abstract

“…Source-to-source transformation techniques [6] have been investigated that generate a redundant copy of all variables and code at the source level. Throughout the transformed source code there are additional conditional checks that verify agreement in the redundant variables after each set of redundant calculations are performed.…”

Section: Related Workmentioning

confidence: 99%

A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC

Fiala

Ferreira

Mueller

et al. 2012

Euro-Par 2011: Parallel Processing Workshops

View full text Add to dashboard Cite

Abstract. Proposed exascale systems will present a number of considerable resiliency challenges. In particular, DRAM soft-errors, or bit-flips, are expected to greatly increase due to the increased memory density of these systems. Current hardware-based fault-tolerance methods will be unsuitable for addressing the expected soft error frequency rate. As a result, additional software will be needed to address this challenge. In this paper we introduce LIBSDC, a tunable, transparent silent data corruption detection and correction library for HPC applications. LIBSDC provides comprehensive SDC protection for program memory by implementing on-demand page integrity verification. Experimental benchmarks with Mantevo HPCCG show that once tuned, LIBSDC is able to achieve SDC protection with 50% overhead of resources, less than the 100% needed for double modular redundancy.

show abstract

“…Replication can be implemented at different levels of abstraction. Some approaches duplicate single instructions and execute them in one thread [22,19,10,25,24,6]. Other approaches execute duplicates of the whole program within several threads and provide synchronization means for them [31,12,32].…”

Section: Related Workmentioning

confidence: 99%

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware

Fetzer

Schiffel

Süßkraut

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In the future, we expect commodity hardware to be used in safety-critical applications. However, in the future commodity hardware is expected to become less reliable and more susceptible to soft errors because of decreasing feature size and reduced power supply. Thus, software-implemented approaches to deal with unreliable hardware will be needed. To simplify the handling of value failures, we provide failure virtualization in the sense that we transform arbitrary value failures caused by erroneous execution into fail-stop failures. The latter ones are easier to handle. Therefore, we use the arithmetic AN-code because it provides very good error detection capabilities. Arithmetic codes are suitable for the protection of commodity hardware because guarantees can be provided independent of the executing hardware. This paper presents the encoding compiler EC-AN which applies AN-encoding to arbitrary programs. According to our knowledge, this is the first in software implemented complete AN-encoding. Former encoding compilers either encode only small parts of applications or trade-off safety to enable complete AN-encoding.

show abstract

A source-to-source compiler for generating dependable software

Cited by 64 publications

References 19 publications

Selective SWIFT-R

Selective SWIFT-R

A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware

Contact Info

Product

Resources

About