http://dl.gi.de/handle/20.500.12116/16087 2026-07-23T11:18:36Z 2026-07-23T11:18:36Z Belli, Fevzi http://dl.gi.de/handle/20.500.12116/10466 2019-04-01T15:46:24Z 1998-01-01T00:00:00Z

Methoden und Hilfsmittel für die systematische Prüfung komplexer Software Belli, Fevzi   Für einen verläßlichen Einsatz von komplexen Software-Systemen ist einerseits wichtig, daß sie mit technologisch angemessenen Techniken und Methoden aufgabengerecht konstruiert werden. Andererseits ist die Nachweisführung keineswegs trivial, daß das zu liefernde bzw. abzunehmende System den erwünschten Leistungsumfang voll, d.h. in aller erdenklichen Funktionsvielfalt deckt. Der vorliegende Beitrag faßt die einschlägigen Prüftechniken für Software zusammen.Summary  Developing complex, dependable software systems requires deployment of appropriate construction techniques and methodes. Moreover, it is considerably difficult to verify the compliance of all properties of the system to be delivered and released with the functional user requirements. The present paper summarizes existing methods for software testing.

1998-01-01T00:00:00Z Thurner, Erwin M. Dal Cin, Mario Schneeweiß, Winfrid G. http://dl.gi.de/handle/20.500.12116/10464 2019-04-01T15:46:24Z 1998-01-01T00:00:00Z

Verläßlichkeitsbewertung komplexer Systeme 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.

1998-01-01T00:00:00Z Lewerich, Bernhard http://dl.gi.de/handle/20.500.12116/10457 2019-04-01T15:46:24Z 1998-01-01T00:00:00Z

Informatik-Entwicklung mitbegleitet und gelegentlich mitgestaltet Lewerich, Bernhard

1998-01-01T00:00:00Z Großpietsch, Karl-Erwin Maehle, Erik http://dl.gi.de/handle/20.500.12116/10465 2019-04-01T15:46:24Z 1998-01-01T00:00:00Z

Fehlerbehandlung in komplexen nebenläufigen Systemen Großpietsch, Karl-Erwin; Maehle, Erik   Diese Arbeit beschreibt Methoden zur Behandlung von Fehlern in nebenläufigen Systemen mit hoher Anzahl von Rechenknoten. Die hierfür meist benutzten Verfahren der dynamischen Redundanz beinhalten zum einen eine Systemrekonfiguration zwecks Deaktivierung und funktionellem Ersatz defekter physikalischer Komponenten. Verfahren für fehlertolerantes Routing ermöglichen darüber hinaus auch eine flexible Anpassung des Kommunikationsverkehrs zwischen beliebigen Rechenknoten an Fehler im System. Die Methoden für Rekonfiguration und Routing werden für verschiedene reguläre Systemtopologien (z.B. Arrays, Bäume usw.) sowie für irreguläre Topologien diskutiert. Abschließend wird dargestellt, wie nach der Phase der Rekonfiguration durch Methoden der sog. Recovery auch die Korrektheit der Daten im System wiederhergestellt werden kann. Summary  This paper describes methods for the treatment of faults in concurrent systems containing a high number of computing nodes. Here, methods of dynamic redundancy imply a system reconfiguration to deactivate and replace faulty physical components. In addition, fault-tolerant routing allows to flexibly adapt the communication traffic between arbitrary nodes to fault patterns in the system. Reconfiguration and routing methods are described for several regular system topologies, e.g. arrays, trees etc. as well as for irregular ones. Finally, we discuss how after system reconfiguration the correctness of system data can be restored by so-called recovery techniques.

1998-01-01T00:00:00Z