Academic
Publications
Software-Implemented fault detection for high-Performance space applications

Software-Implemented fault detection for high-Performance space applications,10.1109/ICDSN.2000.857522,Michael J. Turmon,Robert Granat,Daniel S. Katz

Software-Implemented fault detection for high-Performance space applications   (Citations: 13)
BibTex | RIS | RefWorks Download
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...This method is extremely useful for space -based computing [3] as it generally has lower overhead th an the more traditional N-modular redundancy (NMR) approaches...
    • ...The method relies on augmenting t he matrices in question with extra rows or columns con taining weighted checksums that will be preserved through mathematical operations [2, 3, 5, 6]. In turn, the se checksums can be then used to analyze the correctne ss of the result and, if an error was detected, initiate a re covery procedure...

    Grzegorz Cieslewskiet al. Fault-Tolerant 2D Fourier Transform with Checksum Encoding

    • ...Designing for transient-error tolerance has traditionally been considered in the context of systems that operate in high-radiation environments or in outer space, where there is a heavy concentration of alpha-particles and atmospheric neutrons [28]...

    Gokhan Memiket al. Increasing Register File Immunity to Transient Errors

    • ...Fault tolerant computing has been studied in detail in the context of high radiation environments and outer space [17, 26]...

    Gokhan Memiket al. Engineering Over-Clocking: Reliability-Performance Trade-Offs for High...

    • ...Traditionally, fault tolerance has caught attention in the context of environments with heavy concentration of alpha-particles and atmospheric neutrons [27]...

    Arindam Malliket al. A Case for Clumsy Packet Processors

    • ...That project has investigated the possibility of using assertion based mechanisms to detect the errors induced by cosmic radiation on scientific applications running on state of the art commercial off the self components and handling them on the fly [14]...
    • ...That proposal is corroborated by the results presented in [14], where the study of numerical tolerances for checksum schemes applied to several matrix computations has shown that if the computation did not succeed, because the matrix is badly scaled, ill conditioned or numerically unrealistic, the checksum test detects it...
    • ...First, assertions can also detect errors due to software faults, and second, assertions can detect if a correctly designed and implemented algorithm cannot solve an ill conditioned problem with the required accuracy [14]...
    • ...There, the scenario where several heavy-ions hit the system during a single execution of a lengthy execution must be considered - see for instance the NASA REE project [14]...

    Paula Prataet al. Robust assertions and fail-bounded behavior

Sort by: