<div class="csl-bib-body">
<div class="csl-entry">Gaiswinkler, G. (2009). <i>Automatisierte Softwarediversität zur Erkennung von Hardwarefehlern</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185655</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/185655
-
dc.description
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers
-
dc.description
Zsfassung in engl. Sprache
-
dc.description.abstract
Werden Computersysteme in sicherheitskritischen Anwendungen eingesetzt, müssen Mechanismen implementiert werden, die das Auftreten eines kritischen Ausfalls verhindern. Dieser Mechanismus kann das sicherheitskritische Computersystem in einen sicheren Zustand überführen, wenn Fehler erkannt werden. Diese Arbeit beschäftigt sich mit der Frage, ob die Methode automatisierter Softwarediversität zur Erkennung von Hardwarefehlern eingesetzt werden kann. Die Softwarediversität wird mithilfe unterschiedlicher Compiler bzw.<br />unterschiedlicher Optimierungsstufen des Compilers erzeugt. Bei der Ausführung werden Elemente des Prozessors unterschiedlich verwendet: Die Versionen verhalten sich bei gleichen Hardwarefehlern unterschiedlich und beim Vergleich der Ergebnisse können Hardwarefehler erkannt werden.<br />Um die Fragestellung zu bearbeiten, werden für zwei spezielle Testprogramme - mit unterschiedlichen Programmaufbau - fünf Versionen mittels automatisierter Softwarediversität erstellt und hinsichtlich der Unterschiede im Code und dem Verhalten beim Auftritt eines Registerfehlers untersucht. Zur Fehlerinjektion wird ein mit Hardwarefehlerinjektion erweiterter CPU Emulator verwendet. In der statischen Analyse des Codes konnte gezeigt werden, dass - abhängig vom Programmaufbau - Unterschiede zwischen den Versionen vorhanden sind.<br />Diese Unterschiede im Code führen zu unterschiedlichem Verhalten. Im Zuge dieser Arbeit konnten alle injizierten Fehler erkannt werden. Es wurde gezeigt, dass automatisierte Softwarediversität zur Erkennung der untersuchten Hardwarefehler (bei der Verwendung der Testprogramme) eingesetzt werden kann. Um allgemeine Aussagen treffen zu können, müssen Tests mit weiteren Testprogrammen durchgeführt werden.<br />
de
dc.description.abstract
If a computer system is used in a safety-critical application, mechanisms must be implemented to prevent catastrophic failures. If a failure is being detected, such a mechanism can transfer the safety-critical system into a fail-safe state. To detect hardware faults, this thesis introduces the method of automatized software diversity: The variants of a program are produced with different compilers and/or optimization options of the compiler. The variants use hardware parts during execution in a different way. Because a hardware fault affects the variants differently, the hardware fault can be detected by comparison of the results. Two different test programs - with different structures - are analyzed within this thesis. The method of automatized software diversity is used to generate five variants for each test program. During the analysis, the differences in the code and the behavior in case of a hardware fault between the variants are examined. To produce artificial hardware faults, a CPU emulator was extended with the possibility of fault injection. The analysis shows that differences in the code between the variants are present. These differences result in a different behavior between the variants in case of a fault. Therefore all examined injected hardware faults were detected. The method of automatized software diversity is being proved that it can be used to detect the examined hardware faults (together with the test programs). To make a general statement about the method of automatized software diversity and the possibility for hardware fault detection, additional tests with different programs must be performed.
en
dc.language
Deutsch
-
dc.language.iso
de
-
dc.subject
Softwarediversität
de
dc.subject
Hardwarefehler
de
dc.subject
Erkennung
de
dc.subject
Heisenbugs
de
dc.subject
Compilerfehler
de
dc.subject
CPU Emulator
de
dc.subject
software diversity
en
dc.subject
hardware faults
en
dc.subject
heisenbugs
en
dc.subject
compiler faults
en
dc.subject
CPU emulator
en
dc.title
Automatisierte Softwarediversität zur Erkennung von Hardwarefehlern
de
dc.title.alternative
Automized software diversity for detection of hardware faults