The reliable computing base – A paradigm for software-based reliability
Abstract
For embedded systems, the use of software-based error detection and correction approaches is an attractive means in order to reduce often inconvenient overheads in hardware. To ensure that such a software-based fault-tolerance approach is effective, it must be guaranteed that a certain amount of hardware and software components in a system can be trusted to provide correct service in the presence of errors. In analogy with the Trusted Computing Base (TCB) in security research, we call these components the Reliable Computing Base (RCB). Similar to the TCB, it is also desirable to reduce the size of the RCB, so the overhead in redundant hardware resources can be reduced. In this position paper, we describe approaches for informal as well as formal definitions of the RCB, the related metrics and approaches for RCB minimization.
- Citation
- BibTeX
Engel, M. & Döbel, B.,
(2012).
The reliable computing base – A paradigm for software-based reliability.
In:
Goltz, U., Magnor, M., Appelrath, H.-J., Matthies, H. K., Balke, W.-T. & Wolf, L.
(Hrsg.),
INFORMATIK 2012.
Bonn:
Gesellschaft für Informatik e.V..
(S. 480-493).
@inproceedings{mci/Engel2012,
author = {Engel, Michael AND Döbel, Björn},
title = {The reliable computing base – A paradigm for software-based reliability},
booktitle = {INFORMATIK 2012},
year = {2012},
editor = {Goltz, Ursula AND Magnor, Marcus AND Appelrath, Hans-Jürgen AND Matthies, Herbert K. AND Balke, Wolf-Tilo AND Wolf, Lars} ,
pages = { 480-493 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Engel, Michael AND Döbel, Björn},
title = {The reliable computing base – A paradigm for software-based reliability},
booktitle = {INFORMATIK 2012},
year = {2012},
editor = {Goltz, Ursula AND Magnor, Marcus AND Appelrath, Hans-Jürgen AND Matthies, Herbert K. AND Balke, Wolf-Tilo AND Wolf, Lars} ,
pages = { 480-493 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-602-2
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2012
Language:
(en)

Content Type: Text/Conference Paper
Collections
- P208 - INFORMATIK 2012 [169]