Software-Diversität und ihre Modellierung
Springer Berlin (Verlag)
978-3-540-51827-3 (ISBN)
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.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.
Erscheint lt. Verlag | 25.10.1989 |
---|---|
Reihe/Serie | Informatik-Fachberichte |
Zusatzinfo | VIII, 211 S. |
Verlagsort | Berlin |
Sprache | deutsch |
Maße | 170 x 242 mm |
Gewicht | 420 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Technik | |
Schlagworte | Complexity • Fehlermodell • Fehlertoleranz • Kostenmodell • Modellierung • Projektplanung • Software-Entwicklung • Zuverlässigkeit von Systemen |
ISBN-10 | 3-540-51827-4 / 3540518274 |
ISBN-13 | 978-3-540-51827-3 / 9783540518273 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich