Titlebook: Software-Fehlertoleranz und -Zuverl?ssigkeit; Fevzi Belli,Silvia Pfleger,Manfred Seifert Conference proceedings 1984 Springer-Verlag Berli

強(qiáng)制令

Error Recovery in einer verteilten Systemarchitekturnaus eingeschr?nkt. Dies bedeutet, dass hierdurch eine zweite wichtige Eigenschaft von verteilten Systemen, n?mlich Leistungssteigerung durch Ausnutzung der vorhandenen Parallelit?t, konterkariert wird. Diese Abh?ngigkeiten zu erl?utern und die dazu entwickelten L?sungsm?glichkeiten darzulegen, ist das Ziel dieses Beitrages.

GRAZE

Experimente Mit N-Version Programmierung auf Dem Dirmu Multiprozessorsystemnisse (Voting). Die Voraussetzungen und Ergebnisse des Experiments werden vorgestellt. Schlie?lich wird noch auf verschiedene M?glichkeiten für Multiprozessorstrukturen mit N-Version Programmierung eingegangen.

變化無(wú)常

Paleontology

Votierung in PDV-Systemen mit diversit?rer Redundanzrscheinlichkeit, so kann eine reine Mehrheitsentscheidung zu nicht-optimalen Ergebnissen führen. Im vorliegenden Beitrag wird ein Votierer vorgeschlagen, der das mit h?chster Wahrscheinlichkeit korrekte Resultat aufgrund der Ausfallwahrscheinlichkeiten der redundanten Einheiten ermittelt.

OREX

Formale Methoden Zur Erstellung Robuster Software Dadurch wird einerseits die Validation robuster Programme erm?glicht, andererseits die praktische Erstellung solcher Programme unterstützt. Wir gehen auf den Entwurf des “Fehlerteils” eines Programms sowohl theoretisch als auch anhand eines einfachen Beispiels ein.

Fulsome

Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte Systanz-Algorithmus selbst hierarchisch strukturiert ist. Um die Tolerierung einer bestimmten Fehlermenge leicht feststellen zu k?nnen, sollte daher ein Fehlertoleranz-Verfahren nicht als eine Schicht in der Schichtenstruktur eines Mehrrechner-Systems implementiert sein, sondern verschiedenartige Fehler in getrennten Schichten behandeln.

慢慢流出

Reliable Remote Procedure Calls (Extended Abstract)t simplicity of such a protocol, a number of reliability issues are involved that require careful analysis during the design phase. This paper briefly reviews work done at Newcastle in this area, details of which can be found in [Pan82, Shr82, Shr83, Shr84].

勾引

Urea508

Leisureliness