Software Protection Mechanisms for Dependable Systems
Research output: Other contribution › Other › Contributed › peer-review
Contributors
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
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 language | English |
---|---|
Number of pages | 6 |
Publication status | Published - 2008 |
Peer-reviewed | Yes |
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.OtherContribution