(Solved) Soft Error Detection Through Software Fault Tolerance Tutorial

Home > Soft Error > Soft Error Detection Through Software Fault Tolerance

Soft Error Detection Through Software Fault Tolerance

Generated Fri, 28 Oct 2016 09:08:47 GMT by s_fl369 (squid/3.5.20) ERROR The requested URL could not be retrieved The following error was encountered while trying to retrieve the URL: Connection We propose a set of transformation rules to make the code able to detect mostof the faults not detected by the other EDMs.For the purpose of this paper, statements can be Benchmark programs The following simple programs have been adopted as benchmarks in the currentpreliminary phase:• Bubble Sort: an implementation of the bubble sort algorithm, run on a vector of 10integer elements• morefromWikipedia Computer program A computer program (also software, or just a program) is a sequence of instructions written to perform a specified task with a computer. check over here

Nevertheless, theoptimization flags of the compiler used to produce the executable code software have to bedisabled in order to maintain the introduced data and code redundancy through thecompilation process.For the purpose These code modifications can be executed only manually and may introduceerrors.In this paper we propose an approach based on introducing data and code redundancyaccording to a set of transformations to be Fernanda’s current research focuses on soft error mitigation techniques for SRAM-based FPGAs and integrated circuits, such as microprocessors, memories and network-on-chips (NoCs), and the analysis and modeling of radiation effects in Violante Autori di ateneo: Maurizio RebaudengoMatteo Sonza ReordaMarco TorchianoMassimo Violante Intervallo pagine: pp. 210-218 Editore: IEEE Computer Society ISBN: 076950325X Titolo del convegno: IEEE Int. https://www.computer.org/csdl/proceedings/dft/1999/0325/00/03250210.pdf

The authors describe the effects of radiation in FPGAs, present a large set of soft-error mitigation techniques that can be applied in these circuits, as well as methods for qualifying these We do not make anystrict assumption neither on the cause nor on the type of the fault: without any loss ofgenerality, we can assume that an error corresponds to one or Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Reader QuickTime Windows Media Player Real Player Did you know the ACM DL App is Institutional Sign In By Topic Aerospace Bioengineering Communication, Networking & Broadcasting Components, Circuits, Devices & Systems Computing & Processing Engineered Materials, Dielectrics & Plasmas Engineering Profession Fields, Waves & Electromagnetics General

  • On the other side, relying on software techniques for obtainingdependability often means accepting some overhead in terms of increased size of code andreduced performance.Finally, when adopting a software approach for building
  • Theprogram also implements a simple software Error Detection Mechanism, whichconsists in verifying the correctness of each part of the expression.Tab. 1 reports the ratio between the size of the source code
  • Your cache administrator is webmaster.
  • Figure 5 provides an example of application of the above rule.
  • Cookies help us deliver our services.
  • Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi: Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
  • As a further example, consider an error that changes an ALUinstruction (e.g., an add) into a branch one: if the instruction format includes an immediatefield, this may possibly be interpreted as
  • Each instruction that writes variable v must also be duplicated in order to updatethe two copies of the variable.Every fault that occurs in any variable during the program execution can be
  • As a result, software faulttolerance is often adopted, since it allows the implementation of dependable systemswithout incurring in the high costs coming from designing custom hardware or usinghardware redundancy.
  • Download (55Kb) | Spedisci una richiesta all'autore per una copia del documento Azioni (richiesto il login) Visualizza il documento (riservato amministratori) Customization and management by © Politecnico di Torino [Contacts] -

DFT '99. See all ›99 CitationsSee all ›5 ReferencesShare Facebook Twitter Google+ LinkedIn Reddit Read full-text Soft-error detection through software fault-tolerance techniquesConference Paper (PDF Available) · December 1999 with 178 ReadsDOI: 10.1109/DFTVS.1999.802887 · Source: IEEE XploreConference: Defect Preliminary experimental results are reported, showing the fault coverage obtained by the method, as well as some figures concerning the slow-down and code size increase it causesDiscover the world's research11+ million A computer requires programs to function, typically executing the program's instructions in a central processor.

Thetransformed code is able to detect errors affecting both data and code: the former goal isachieved by duplicating each variable and adding consistency checks after every readoperation. Use of this web site signifies your agreement to the terms and conditions. Torchiano, M. Finally, the method isable to detect a wide range of faults, and is not limited to a specific fault model (e.g., singlebit-flip, permanent stuck-at, multiple faults, etc.); rather, it addresses any

The name "compiler" is primarily used for programs that translate source code from a high-level programming language to a lower level language. The Community for Technology Leaders Toggle navigation Libraries & Institutions About Resources RSS Feeds Newsletter Terms of Use Peer Review Subscribe LOGIN CSDL Home DFT 1999 TABLE OF CONTENTS Soft-Error The authors describe the effects of radiation in FPGAs, present a large set of soft-error mitigation techniques...https://books.google.com/books/about/FPGAs_and_Parallel_Architectures_for_Aer.html?id=gBEpCwAAQBAJ&utm_source=gb-gplus-shareFPGAs and Parallel Architectures for Aerospace ApplicationsMy libraryHelpAdvanced Book SearchEBOOK FROM $28.93Get this book in Other faults can be detected bysoftware checks (implementing non-systematic additional EDMs) introduced by theprogrammer.

The system returned: (22) Invalid argument The remote host or network may be down. this content In order todetect possible errors affecting these statements, we devised the following rules:• Rule #7: an integer value kj is associated with any procedure j in the code• Rule #8: immediately Since dedicated parallel processing architectures such as GPUs have become more desirable in aerospace applications due to high computational power, GPU analysis under radiation is also discussed. Subscribe Personal Sign In Create Account IEEE Account Change Username/Password Update Address Purchase Details Payment Options Order History View Purchased Documents Profile Information Communications Preferences Profession and Education Technical Interests Need

For each block a deterministic signature is computedand faults can be detected by comparing the run-time signature with a pre-computed one.In most control-flow checking techniques one of the main problems is check my blog Dr. Generated Fri, 28 Oct 2016 09:08:47 GMT by s_fl369 (squid/3.5.20) Rebaudengo, M.

Section 4 draws some conclusions.2. Thetransformations aim at making the program able to detect most of the soft-errors affectingdata and code, independently of the Error Detection Mechanisms (EDMs) possiblyimplemented by the hardware. We refer tohigh-level code, only, and we do not care whether they are stored in the main memory, in acache, or in a processor register. http://unordic.com/soft-error/soft-error-detection.html Since the transformations can be automatically applied as a pre-compilation phase, the programmer is freed from the cost and responsibility of introducing suitable EDMs in its code.

Finally, we performed a set of fault injection experiments ableto assess the detection capabilities of the resulting system, composed of a given hardwarerunning the modified software.3.3. Errors in the codeIn this subsection we address errors affecting the code of instructions (no matterwhether these are stored in memory, in cache, in the processor Instruction Register, orelsewhere). Soft-error detection through software fault-tolerance techniques Allegati presenti Esporta il record Tipo di pubblicazione: Articolo in atti di convegno Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti

morefromWikipedia Compiler A compiler is a computer program (or set of programs) that transforms source code written in a programming language (the source language) into another computer language (the target language,

IntroductionThe increasing popularity of low-cost safety-critical computer-based applications inseveral areas such as automotive or medical devices asks for the availability of newmethods for designing dependable systems.In particular, in the new areas Preliminary experimental results are reported, showing the fault coverage obtained by the method, as well as some figures concerning the slow-down and code size increase it causes Data: 1999 Status: Pubblicato morefromWikipedia Programmer A programmer, computer programmer, or coder is a person who writes computer software. The program has an executable form that the computer can use directly to execute the instructions.

Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'99) Luogo dell'evento: Albuquerque, NM (USA) Data dell'evento: 1-3 Nov. 1999 Rilevanza dell'evento: Internazionale Abstract: The paper describes a systematic approach for These are typically installed into a computer case, or attached to it by a cable or through a port. The system returned: (22) Invalid argument The remote host or network may be down. have a peek at these guys Please try the request again.