Software-Diversität Und Ihre Modellierung: Software-Fehlertoleranz Und Ihre Bewertung Durch Fehler- Und Kostenmodelle

ISBN-13: 9783540518273 / Niemiecki / Miękka / 1989 / 219 str.

Udo Voges

Opis

Software-Diversitat wird als eine Fehlertoleranzmassnahme dargestellt, die Verwendung in Systemen mit hohen Zuverlassigkeitsanforderungen findet. Im ersten Teil des Buches werden die wichtigsten Beispiele angegeben, bei denen Experimente mit Software-Diversitat durchgefuhrt wurden bzw. bei denen Software-Diversitat eingesetzt wurde. Im zweiten Teil werden verschiedene Ansatze zur Modellierung der Software-Diversitat - Fehlermodell und Kostenmodell - eingefuhrt. Der Anhang enthalt eine z.T. kommentierte Bibliographie mit allen Literaturstellen zur Software-Diversitat. Damit wird das Thema in diesem Buch erstmals umfassend dargestellt und sowohl ein Einstieg in die Problematik als auch eine Grundlage fur die Verwendung von Software-Diversitat in Anwendungsbereichen vermittelt. Mit Hilfe der vorgestellten Fehler- und Kostenmodelle kann bei der Projektplanung abgeschatzt werden, welcher Nutzen - bezogen auf die sich auswirkenden Fehler - und welche Kosten bei verschiedenen Realisierungsformen der Software-Diversitat im Vergleich zu einer nicht-diversitaren Entwicklung zu erwarten sind. Dieses Buch ist das erste deutschsprachige Werk, das eine so ausfuhrliche Behandlung des Themas Software-Diversitat enthalt."

Spis treści

1. Einleitung.- 2. Definitionen.- 3. Problemstellung.- 4. Beschreibung verschiedener Beispiele.- 4.1 BPI — Bessy-Pilot-Implementierung.- 4.2 UVA-UCI-Experiment.- 4.3 Erstes UCLA-Experiment.- 4.4 Zweites UCLA-Experiment.- 4.5 Vier-Universitäten-Experiment.- 4.6 Halden-Experiment.- 4.7 PODS — Project on Diverse Software.- 4.8 EPRI-Experiment.- 4.9 Newcastle-Experiment.- 4.10 Stellwerk Göteborg.- 4.11 LM Ericsson Zugsteuerung.- 4.12 Airbus.- 4.13 Sperry.- 4.14 Darlington.- 4.15 MIRA.- 4.16 August CS330.- 4.17 Vergleichende Übersicht.- 5. Fehlermodelle ohne Diversität.- 5.1 Software-Erstellung.- 5.2 Software-Ausführung.- 6. Fehlermodelle für Diversität.- 6.1 Grundmodell.- 6.1.1 Diversität durch unterschiedliche Sprachen.- 6.1.2 Fehler im TMR-System.- 6.1.3 Abstandsfunktion.- 6.2 Vergleichspunkte.- 6.3 Berücksichtigung der Fehlerbeseitigung.- 6.4 Berücksichtigung der Phasen.- 7. Kostenmodell.- 8. Anwendung der Modelle.- 9. Vergleich mit anderen Modellen.- 9.1 Zustandsmodell von Hecht.- 9.2 Grnarov-Modell.- 9.3 Bhargava-Modell.- 9.4 Migneault-Kostenmodell.- 9.5 Laprie-Modell.- 9.6 Eckhardt-Lee-Modelle.- 9.7 Littlewood-Miller-Modell.- 9.8 Abschließende Betrachtung.- 10. Schlußbemerkung.- Literatur.- Abkürzungen und Definitionen.- Formeln.- Verzeichnis der Abbildungen.- Anhang: Bibliographie.