Eine Datenspezifikationsarchitektur
Zusammenfassung
Die vorliegende Arbeit richtet sich an Ingenieure und Wissenschaftler in den Bereichen Mikroprozessorarchitektur und sicherheitsgerichtete Echtzeitsysteme. Sie beginnt mit der Identifikation von 20 datenflussbezogenen Fehler- und Angriffsarten und evaluiert anhand dieser den Stand von Wissenschaft und Technik. Anschließend wird eine neue Prozessorarchitektur, die Datenspezifikationsarchitektur, vorgestellt, welche die in Vergessenheit geratenen Merkmale von Datentyparchitekturen stark erweitert und alle Dateneigenschaften in Form zusätzlicher Kennungen untrennbar mit dem Datenwert verknüpft, überträgt, speichert und verarbeitet. Dies ermöglicht es der neuen Architektur, alle 20 Fehler- und Angriffsarten zu erkennen. Die schlussendliche Gegenüberstellung des Stands von Wissenschaft und Technik und der Datenspezifikationsarchitektur zeigt die Überlegenheit der neuen Architektur und deren hervorragende Eignung für die Realisierung sicherheitsgerichteter Anwendungen.
Inhaltsverzei...
Schlagworte
- Kapitel Ausklappen | EinklappenSeiten
- I–VIII
- 1–13 1 Einleitung 1–13
- 1.1 Beispiele für Auswirkungen von Fehlern
- 1.1.1 Selbstzerstörung der Ariane 5
- 1.1.2 Verlust der NASA-Sonde Mars Climate Orbiter
- 1.1.3 Bestrahlungsgerät Therac-25
- 1.1.4 Sicherheitslücke Heartbleed
- 1.2 Der Stand von Wissenschaft und Technik und dessen Nachteile
- 1.2.1 Stand von Wissenschaft und Technik
- 1.2.2 Nachteile des Stands von Wissenschaft und Technik
- 1.3 Ziel der Arbeit
- 1.4 Ergebnisse der Arbeit
- 1.5 Aufbau der Arbeit
- 1.6 Darstellung von Zahlen und Speichergrößen in der Arbeit
- 14–32 2 Fehlerarten, -ursachen, -auswirkungen und -behandlung 14–32
- 2.1 Fehlerkategorien
- 2.2 Fehlerquellen in Soft- und Hardware
- 2.3 Fehlerdichte in Software
- 2.4 Datenflussbezogene Fehler- und Angriffsarten
- 2.4.1 Inkompatibilität von Operanden
- 2.4.2 Wertebereichsverletzungen und Genauigkeitsprobleme
- 2.4.3 Fehlerhafte Operationen
- 2.4.4 Verletzung von Echtzeitbedingungen
- 2.4.5 Allgemeine Datenflussfehler
- 2.4.6 Datenverfälschung durch Fehler oder Störungen
- 2.4.7 Fehlerhafter Zugriff auf Daten
- 2.4.8 Hackerangriffe
- 2.4.9 Zusammenfassung der identifizierten datenflussbezogenen Fehler- und Angriffsarten
- 2.5 Auswirkungen von Fehlern
- 2.6 Fehlererkennung und -behandlung
- 2.6.1 Einnehmen und Halten eines sicheren Zustands
- 2.6.2 Anwendung von Redundanzmaßnahmen
- 2.6.3 Allmähliche Leistungsabsenkung
- 33–110 3 Stand von Wissenschaft und Technik 33–110
- 3.1 Konventionelle Architekturen
- 3.1.1 Die x86-Architektur
- 3.1.2 Die ARM-Architektur
- 3.1.3 Integritätsprüfung durch ECC
- 3.1.4 Evaluation konventioneller Architekturen
- 3.2 Prozessoren für sicherheitsgerichtete Anwendungen
- 3.2.1 Aufbau der Prozessoren für sicherheitsgerichtete Anwendungen
- 3.2.2 Evaluation der Prozessoren für sicherheitsgerichtete Anwendungen
- 3.3 Datentyparchitekturen
- 3.3.1 Beispiele von Datentyparchitekturen
- 3.3.2 Evaluation der Datentyparchitekturen
- 3.4 Datenstruktur- bzw. Deskriptorarchitekturen
- 3.4.1 Beispiele von Datenstruktur- bzw. Deskriptorarchitekturen
- 3.4.2 Evaluation der Datenstrukturarchitekturen
- 3.5 Befähigungsarchitekturen
- 3.5.1 Beispiele historischer Befähigungsarchitekturen
- 3.5.2 Beispiele moderner Befähigungsarchitekturen
- 3.5.3 Evaluation der Befähigungsarchitekturen
- 3.6 Datenflussarchitekturen
- 3.6.1 Funktionsweise von Datenflussarchitekturen
- 3.6.2 Evaluation von Datenflussarchitekturen
- 3.7 Die inhärent sichere Mikroprozessorarchitektur ISMA
- 3.7.1 Aufbau der Datenspeicherelemente in ISMA
- 3.7.2 Evaluation von ISMA
- 3.8 Application Data Integrity ADI bzw. Silicon Secured Memory SSM
- 3.8.1 Funktion von ADI bzw. SSM
- 3.8.2 Evaluation von ADI bzw. SSM
- 3.9 Dynamic Dataflow Verification DDFV
- 3.9.1 Funktion der dynamischen Datenflussprüfung
- 3.9.2 Evaluation der dynamischen Datenflussprüfung
- 3.10 Fehlererkennung durch AN(BD)-Kodierung
- 3.10.1 AN-Kodierung zur Integritätsprüfung von Datenspeicherelementen und arithmetischen Operationen
- 3.10.2 ANB-Kodierung: Hinzufügen der Adressprüfung B
- 3.10.3 ANBD-Kodierung: Hinzufügen der Aktualitätsprüfung D
- 3.10.4 Realisierung der AN(BD)-Kodierung
- 3.10.5 Evaluation der AN(BD)-Kodierung
- 3.11 Datenflussüberwachung in Netzwerken und sicherheitsgerichteten Feldbussen
- 3.11.1 Netzwerkprotokolle TCP/IP
- 3.11.2 Sicherheitsgerichtete Feldbusprotokolle
- 3.11.3 Evaluation der Datenflussüberwachung in Netzwerken und sicherheitsgerichteten Feldbussen
- 3.12 Zusammenfassung des Stands von Wissenschaft und Technik
- 3.12.1 Zusammenfassung der Fehlererkennungsmöglichkeiten
- 3.12.2 Zusammenfassende Kritik am Stand von Wissenschaft und Technik
- 111–286 4 Eine Datenspezifikationsarchitektur 111–286
- 4.1 Systemaufbau und Fehlerbehandlung
- 4.1.1 Grundlegender Systemaufbau technischer Prozesse
- 4.1.2 Aufbau eines auf einer Datenspezifikationsarchitektur basierenden Systems
- 4.1.3 Fehlerbehandlung in einer Datenspezifikationsarchitektur
- 4.2 Sammlung relevanter Dateneigenschaften
- 4.3 Realisierung der Datenflussüberwachung
- 4.3.1 Einleitende Erläuterungen
- 4.3.2 Datenwert und dessen Genauigkeit
- 4.3.3 Wertebereich
- 4.3.4 Datentyp
- 4.3.5 Einheit
- 4.3.6 Zugriffsrechte und Initialisierungsstatus
- 4.3.7 Quelle, Verarbeitungsweg und Ziel
- 4.3.8 Zeitschritt
- 4.3.9 Frist
- 4.3.10 Zykluszeit
- 4.3.11 Integritätsprüfung und Adresse
- 4.3.12 Signatur und Adresse
- 4.3.13 Redundante diversitäre arithmetisch-logische Einheit
- 4.4 Übersicht der Kennungen in Daten- und Befehlsspeicherelementen
- 4.5 Übersicht der speziellen Register
- 4.6 Pseudocode einer Instruktion
- 4.7 Anforderungen an die Systemkomponenten
- 4.7.1 Schnittstellen zu konventionellen Systemkomponenten
- 4.7.2 Hochpräzise synchronisierte Uhren
- 4.8 Konfiguration der Systemkomponenten
- 4.8.1 Konfiguration der Datenquellen
- 4.8.2 Konfiguration der Datenverarbeitungseinheiten
- 4.8.3 Konfiguration der Datensenken
- 4.8.4 Konfiguration der Systemüberwachungseinheit
- 4.8.5 Erkennung konfigurationsbezogener Inkonsistenzen
- 4.9 Anforderungen an Begutachtungen und Audits
- 4.10 Realisierung der Datenspezifikationsarchitektur als Datenflussarchitektur
- 4.10.1 Erweiterung der Funktionsblöcke um Lebenszeichen und Diagnose
- 4.10.2 Verbesserung der Fehlererkennung durch zusätzliche Erweiterungen
- 4.10.3 Weiterhin bestehende Einschränkungen
- 287–305 5 Evaluation der Datenspezifikationsarchitektur 287–305
- 5.1 Evaluation der Datenabbildung der DSA
- 5.2 Einordnung der entstandenen Architektur
- 5.3 Evaluation anhand der Fehlererkennungsmöglichkeiten
- 5.4 Evaluation anhand der Fehlerbeispiele
- 5.4.1 Selbstzerstörung der Ariane 5
- 5.4.2 Verlust der NASA-Sonde Mars Climate Orbiter
- 5.4.3 Bestrahlungsgerät Therac 25
- 5.4.4 Sicherheitslücke Heartbleed
- 5.5 Evaluation der Speicherausnutzung
- 5.5.1 Speicherausnutzung der Datenspeicherelemente
- 5.5.2 Speicherausnutzung der Befehlsspeicherelemente
- 5.5.3 Evaluation der Speicherausnutzung
- 306–309 6 Zusammenfassung und Weiterführungsmöglichkeiten 306–309
- 6.1 Zusammenfassung der Ergebnisse der Arbeit
- 6.2 Weiterführungsmöglichkeiten
- 310–322 Literaturverzeichnis 310–322
