Logo des Repositoriums

Auflistung nach Schlagwort "C.4"

1 - 2 von 2
  • Zeitschriftenartikel
    Fehlerinjektion – ein Mittel zur Bewertung der Maßnahmen gegen Fehler in komplexen Rechensystemen
    (Informatik-Spektrum: Vol. 21, No. 6, 1998) Echtle, Klaus; Silva, João Gabriel
      Die Wirksamkeit von Fehlertoleranz- und Sicherheits-Verfahren kann durch künstlich erzeugte Fehler überprüft werden. Auf Hardware- und insbesondere auf Softwareebene sind zahlreiche, sehr unterschiedliche Methoden zur Fehlerinjektion bekannt. Mit ihrer Hilfe können die gegen Fehler ergriffenen Maßnahmen getestet bzw. der Anteil der erfassten Fehler quantifiziert werden.Summary  The effectiveness of fault tolerance and safety techniques can be assessed by artificially generated faults. On the hardware and particularly the software level various fault injection methods are known. They can be used to test the implemented countermeasures against faults, and, moreover, to quantify the portion of the covered faults.
  • Zeitschriftenartikel
    Verläßlichkeitsbewertung komplexer Systeme
    (Informatik-Spektrum: Vol. 21, No. 6, 1998) Thurner, Erwin M.; Dal Cin, Mario; Schneeweiß, Winfrid G.
      Die Akzeptanz von technischen Systemen wird wesentlich davon beeeinflußt, daß sie ihre spezifizierte Funktion verläßlich – d.h. sicher und zuverlässig – ausführen. Insbesondere bei komplexen Systemen sind daher eine strukturierte Vorgehensweise und die Verwendung von mathematisch fundierten Methoden unerläßlich zu ihrer Bewertung und zur gezielten Verbesserung. Der vorliegende Aufsatz gibt zunächst einen Überblick über die gebräuchlichsten Meßgrößen zur Ver-läßlichkeitsanalyse. Auf dieser Basis werden Bewertungsmethoden wie Fehlerbäume, Markov-Methoden und Stochastische Petri-Netze vorgestellt und ihre Grenzen diskutiert. Eine Auswahl von Modellierungs-Werk-zeugen gibt Einblick, welche Kriterien bei der Modellierung beachtet werden sollten. Abschließend werden Vorgehensweisen und Methoden anhand eines Beispiels aus der industriellen Praxis erläutert.Summary  The acceptance of technical systems is essentially determined by their performing in a dependable way, i.e. safely and reliably. Particularly in complex systems structured approach and the use of mathematical methods are important for their evaluation and controled enhancement. This paper first gives a survey about the most common measures used in dependability analysis. Based on this, evaluation methods such as fault trees, Markov chains, and stochastic Petri nets are introduced and discussed with respect to their immanent limits. Furthermore, several modeling tools are shown to demonstrate some criteria for system modeling. Finally, modeling tasks and methods are explained by a real-world example.