Aspect-oriented technology for dependable operating systems

Simple item page
dc.contributor.advisorSpinczyk, Olaf
dc.contributor.authorBorchert, Christoph
dc.contributor.refereeSchröder-Preikschat, Wolfgang
dc.date.accepted2017-05-04
dc.date.accessioned2017-05-26T11:26:39Z
dc.date.available2017-05-26T11:26:39Z
dc.date.issued2017
dc.description.abstractModern computer devices exhibit transient hardware faults that disturb the electrical behavior but do not cause permanent physical damage to the devices. Transient faults are caused by a multitude of sources, such as fluctuation of the supply voltage, electromagnetic interference, and radiation from the natural environment. Therefore, dependable computer systems must incorporate methods of fault tolerance to cope with transient faults. Software-implemented fault tolerance represents a promising approach that does not need expensive hardware redundancy for reducing the probability of failure to an acceptable level. This thesis focuses on software-implemented fault tolerance for operating systems because they are the most critical pieces of software in a computer system: All computer programs depend on the integrity of the operating system. However, the C/C++ source code of common operating systems tends to be already exceedingly complex, so that a manual extension by fault tolerance is no viable solution. Thus, this thesis proposes a generic solution based on Aspect-Oriented Programming (AOP). To evaluate AOP as a means to improve the dependability of operating systems, this thesis presents the design and implementation of a library of aspect-oriented fault-tolerance mechanisms. These mechanisms constitute separate program modules that can be integrated automatically into common off-the-shelf operating systems using a compiler for the AOP language. Thus, the aspect-oriented approach facilitates improving the dependability of large-scale software systems without affecting the maintainability of the source code. The library allows choosing between several error-detection and error-correction schemes, and provides wait-free synchronization for handling asynchronous and multi-threaded operating-system code. This thesis evaluates the aspect-oriented approach to fault tolerance on the basis of two off-the-shelf operating systems. Furthermore, the evaluation also considers one user-level program for protection, as the library of fault-tolerance mechanisms is highly generic and transparent and, thus, not limited to operating systems. Exhaustive fault-injection experiments show an excellent trade-off between runtime overhead and fault tolerance, which can be adjusted and optimized by fine-grained selective placement of the fault-tolerance mechanisms. Finally, this thesis provides evidence for the effectiveness of the approach in detecting and correcting radiation-induced hardware faults: High-energy particle radiation experiments confirm improvements in fault tolerance by almost 80 percent.en
dc.identifier.urihttp://hdl.handle.net/2003/35975
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-17995
dc.language.isoende
dc.subjectAspect-oriented programmingen
dc.subjectDependabilityen
dc.subjectFault toleranceen
dc.subjectOperating systemsen
dc.subjectError detectionen
dc.subjectError correctionen
dc.subjectSoft errorsen
dc.subjectTransient faultsen
dc.subjectFault injectionen
dc.subjectC++en
dc.subjectConcurrencyen
dc.subject.ddc004
dc.subject.rswkAspektorientierte Programmierungde
dc.subject.rswkBetriebssystemde
dc.subject.rswkFehlertoleranzde
dc.subject.rswkFehlererkennungde
dc.subject.rswkFehlerbehandlungde
dc.subject.rswkSoft Errorde
dc.subject.rswkC++de
dc.subject.rswkNebenläufigkeitde
dc.subject.rswkZuverlässigkeitde
dc.titleAspect-oriented technology for dependable operating systemsen
dc.typeTextde
dc.type.publicationtypedoctoralThesisen
dcterms.accessRightsopen access

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Dissertation_Borchert.pdf
Size:
2.72 MB
Format:
Adobe Portable Document Format
Description:
DNB
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.85 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Eingebettete Systemsoftware