Software Protection Mechanisms for Dependable Systems

Research output: Other contributionOtherContributedpeer-review

Contributors

  • Ute Wappler - (Author)
  • Martin Müller - (Author)

Abstract

We expect that in future commodity hardware will be
used in safety critical applications. But the used commod-
ity microprocessors will become less reliable because of
decreasing feature size and reduced power supply. Thus
software-implemented approaches to deal with unreliable
hardware will be required. As one basic step to software-
implemented hardware-fault tolerance (SIHFT) we aim at
providing failure virtualization by turning arbitrary value
failures caused by erroneous execution into crash failures
which are easier to handle. Existing SIHFT approaches ei-
ther are not broadly applicable or lack the ability to reliably
deal with permanent hardware faults. In contrast, Forin [7]
introduced the Vital Coded Microprocessor which reliably
detects transient and permanent hardware errors but is not
applicable to arbitrary programs and requires special hard-
ware. We discuss different approaches to generalize Forin’s
approach and make it applicable to modern infrastructures

Details

Original languageEnglish
Number of pages6
Publication statusPublished - 2008
Peer-reviewedYes
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.OtherContribution

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards