http://dl.gi.de/handle/20.500.12116/16084 2026-07-22T22:28:03Z http://dl.gi.de/handle/20.500.12116/10479 Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit Belli, Fevzi; Grochtmann, Matthias; Jack, Oliver   Ein Software-System wird intuitiv als zuverlässig bezeichnet, wenn es den berechtigten Benutzungserwartungen bezüglich der Erfüllung seiner Aufgaben über einen Zeitraum hinweg auf zufriedenstellende Weise entspricht. Eine Quantifizierung dieser Zuverlässigkeit wird durch mathematische Modelle, Software-Zuverlässigkeitsmodelle, angestrebt. Vor allem für sicherheitskritische Systeme sind solche Modelle, die eine solide theoretische Fundierung besitzen, eingesetzt worden. Dieser Artikel gibt eine Übersicht über die bestehenden „klassischen“ Ansätze zur quantitativen Software-Zuverlässigkeitsbestimmung und faßt Erfahrungen mit deren Einsatz in der Praxis zusammen. Als Ausblick werden neue Entwicklungen zu alternativen Sichtweisen der Zuverlässigkeit beleuchtet.Summary  Software systems are intuitively said to be reliable, if they fulfill the user’s legitimate expectations regarding the accomplishment of their tasks over a given period of time. The quantification of this reliability can be achieved by means of mathematical models and software reliability models. Such mathematically well founded models have been deployed especially for safety critical systems. This paper gives an overview of existing „classical“ approaches for software reliability determination and resumes experiences with their practical implementations. Beyond this, new research directions for alternative viewpoints of reliability are discussed. 1998-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/10480 Key Recovery – Möglichkeiten und Risiken Weck, Gerhard   Dieser Beitrag untersucht verschiedene Möglichkeiten zur Wiederherstellung verschlüsselter Daten, ohne daß ein direkter Zugriff auf den vom intendierten Nutzer zur Entschlüsselung verwendeten Schlüssel besteht, und vergleicht sie hinsichtlich ihrer sicherheitstechnischen Eigenschaften.Summary  The paper analyses several possibilities of recovering encrypted data without the need for access to the decryption keys of the intended users, and compares them with regard to their security properties. 1998-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/10477 Web-Roboter Turau, Volker 1998-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/10481 Superskalare Prozessoren Menge, Matthias   Als superskalar wird ein Prozessor bezeichnet, der ein sequentiell geschriebenes Programm zur Laufzeit parallelisiert und pro Takt im Durchschnitt mehr als einen Befehl ausführt. Die Spanne der superskalaren Prozessoren reicht dabei von solchen, die nur aufeinanderfolgende Befehle parallelisieren können, wie z.B. dem Pentium, bis zu solchen, die die Befehle umordnen und in einer vom Programm abweichenden Reihenfolge ausführen können, wie z.B. dem Pentium II oder dem PowerPC 604. Die dabei verwendeten Mechanismen und Algorithmen werden in diesem Beitrag beschrieben.Summary  A superscalar processor executes a pure sequential instruction stream in a parallel manner. The parallelization is carried out on the fly while a program is in execution. There are many techniques to realize such a processor. A simple way is to execute in parallel only immediatly adjacent instructions just in the order they are placed in the program. A much complex but more efficient way is to reorder the original instructions and execute them in a new arrangement. This paper descripes methods and techniques realized in superscalar processors. 1998-01-01T00:00:00Z