default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSoftware-Fehlertoleranz und -Zuverlässigkeit 1984
- Fevzi Belli, Silvia Pfleger, Manfred H. Seifert:
Software-Fehlertoleranz und -Zuverlässigkeit. Informatik-Fachberichte 83, Springer 1984, ISBN 3-540-13383-6
Methodik
- Eike Best:
Formale Methoden zur Erstellung robuster Software. 1-9 - Bleicke Eggers:
Studieren geht über Probieren oder Didaktik und Methodik der fehlerpräventiven Programmentwicklung. 10-23 - Wolfgang D. Ehrenberger, Manfred Masur:
Ein Schritt in Richtung auf Fail-Safe Software. 24-38
Konstruktive Aspekte
- Stefan Jähnichen, Karl Kleine, Guido Persch:
Aspekte der Konstruktion robuster Software. 39-50 - Klaus Küspert:
Ein effizientes Verfahren zur Fehlererkennung in sortierten Feldern und Listen. 51-62 - Thomas Risse, Mario Dal Cin, Elmar Dilger:
Zur Verwendung fehlertoleranter Datenstrukturen im Arbeitsplatz-Rechner ATTEMPTO. 63-72
Verteilte Systeme
- Klaus Echtle:
Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für verteilte Systeme. 73-88 - Edgar Nett, Reinhold Kröger:
Error Recovery in eienr verteilten Systemarchitektur. 89-98 - Santosh K. Shrivastava:
Reliable Remote Procedure Calls. 99-104
Wiederaufsetztechniken
- Andreas Pfitzmann:
Strategien zur Festlegung von Rücksetzpunkten in Prozeß-Systemen unter Berücksichtigung der Programm-Redundanz zur Ausnahmebehandlung. 105-117 - Silvia Pfleger:
Implementierte Checkpoint/Restart Fehlertoleranztechnik in der Praxis. 118-132
Diversität und Votieren
- Erik Maehle, Klaus Moritzen, Klaus Wirl:
Experimente mit N-Version Programming auf dem DIRMU Multiprozessorsystem. 133-142 - Georg Pauthner:
Votierung in PDV-Systemen mit diversitärer Redundanz. 143-154 - Udo Voges:
Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen. 155-165
Existierende Systeme
- Klaus Borel:
CPS 32, ein neues Compupter-Konzept für Fehelrtoleranz und Erweiterbarkeit. 166-169 - Paul Dorfmeister:
VISO-DATA - Fehlertoleranter Systemverbund. 170-179 - Ferdinand Herrmann:
Das fehlertolerante Informationssystem 8832 - Das Fehlertoleranzkonzept. 180-188 - Alfred Schulz:
Das fehlertolerante System TANDEM T16. 189-200 - Benno Steger:
Recovery-Verfahren bei UDS ab Version V4.Ø, dargestellt anhand ausgewählter Problemfälle. 201-213
Rechnerunterstützung
- Karl-Erwin Großpietsch:
Rechnerarchitekturen zur Unterstützung korrekter und transparenter Programmierung. 214-225 - K. von der Heide:
Die Fehlertoleranzeigenschaften der Puffermaschine. 226-243 - Axel Stöhr:
Leistungsbreite von automatischen Analyse- und Testwerkzeugen für FORTRAN und PL/1 - Ein Erfahrungsbericht. 244-252
Bewertung
- Fevzi Belli:
Ein Bündel heuristischer Methoden zur kostenoptimalen Bestimmung und Sicherung von Software-Zuverlässigkeit. 253-267 - Ulrich Kammerer:
Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme. 268-280 - Rudolf Lauber, S. Zhou:
Beurteilung von Verfahren zur Tolerierung von Softwarefehlern. 281-292
Abschlussdiskussion
- Manfred H. Seifert:
Formale Methode oder pragmatisches Vorgehen für die Software-Fehlertoleranz und -Zuverlässigkeit? 293-297
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
