Software Protection Mechanisms for Dependable Systems
Publikation: Sonstige Veröffentlichung › Sonstiges › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Seitenumfang | 6 |
Publikationsstatus | Veröffentlicht - 2008 |
Peer-Review-Status | Ja |
No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.OtherContribution