Efficient Mitigation of Data and Control Flow Errors in Microprocessors

The use of microprocessor-based systems is gaining importance in application domains where safety is a must. For this reason, there is a growing concern about the mitigation of SEU and SET effects. This paper presents a new hybrid technique aimed to protect both the data and the control-flow of embedded applications running on microprocessors. On one hand, the approach is based on software redundancy techniques for correcting errors produced in the data. On the other hand, control-flow errors can be detected by reusing the on-chip debug interface, existing in most modern microprocessors. Experimental results show an important increase in the system reliability even superior to two orders of magnitude, in terms of mitigation of both SEUs and SETs. Furthermore, the overheads incurred by our technique can be perfectly assumable in low-cost systems.

S-SETA: Selective Software-Only Error-Detection Technique Using Assertions

Software-based techniques offer several advantages to increase the reliability of processor-based systems at very low cost, but they cause performance degradation and an increase of the code size. To meet constraints in performance and memory, we propose SETA, a new control-flow software-only technique that uses assertions to detect errors affecting the program flow. SETA is an independent technique, but it was conceived to work together with previously proposed data-flow techniques that aim at reducing performance and memory overheads. Thus, SETA is combined with such data-flow techniques and submitted to a fault injection campaign. Simulation and neutron induced SEE tests show high fault coverage at performance and memory overheads inferior to the state-of-the-art.

(Table T1) Age determination of seven ODP Leg 201 sites

As part of a wider paleoclimate and paleoceanographic study of Holocene-upper Pleistocene laminated sediments from the eastern equatorial Pacific and Peru continental margin, we completed 32 accelerator mass spectrometry (AMS) 14C dates from cores recovered during Ocean Drilling Program (ODP) Leg 201. Sample preparation and measurement were carried out at the ANTARES AMS facility, Australian Nuclear Science and Technology Organisation (ANSTO), in Sydney, Australia (Lawson et al., 2000, doi:10.1016/S0168-583X(00)00276-7; Fink et al., 2004, doi:10.1016/j.nimb.2004.04.025). Although the sediments are predominantly diatomaceous oozes (D'Hondt, Jørgensen, Miller, et al., 2003, doi:10.2973/odp.proc.ir.201.2003), they contain sufficient inorganic (e.g., foraminifer tests and nannofossil plates) and organic (Meister et al., 2005, doi:10.2973/odp.proc.sr.201.105.2005) carbon to allow 14C dating. These dates permitted us to reconstruct a history of sediment accumulation over the past 20 k.y., particularly on the Peru continental margin. In this report we present 14C AMS dates and other pertinent data from cores from Sites 1227, 1228, and 1229 collected during Leg 201 at the Peru continental margin.

Cumulated numerical list of available unclassified U.S. Atomic Energy Commission reports.

"February 1955."

Carnegie Institution of Washington publication.

Physics abstracts. Science abstracts. Series A

Questions and answers on U.S. Atomic Energy Commission access permits.

"March 1961."

Bulletin of the Seismological Society of America.

Energy research abstracts

Retention efficiencies of charcoal traps for fission gases : technical report /

"August 23, 1957."

Retention efficiencies of selected adsorbents for krypton : technical report /

"April 15, 1958."

Development of double isotope derivative dilutions analyses for selected food addititives /

"Contract No. AT(30-1)-2715."

Subcritical assemblies : a compilation of references /

"August 1963."

A guide to the calculation of criticality limits for enriched uranium /

"Contract No. AT 06-63380."

In-pile loop test for the pebble bed reactor fuel development program : final report /

"Final report to Sanderson and Porter for subcontract no. S-3 under USAEC Prime Contract no. AT(30-1)-2378."

Library Association record.

Proceedings of the 22d-33d annual conference of the Library Association in v. 1-12; proceedings of the 34th-44th, 47th-57th annual conference issued as a supplement to v. 13-23, new ser. v. 3-ser. 4, v. 1.