https://www.dagstuhl.de/9546

13. – 17. November 1995, Dagstuhl-Seminar 9546

Quantitative Aspects of Designing and Validating Dependable Computing Systems -- Calculations, Measurements, and Simulations

Organisator

K. Echtle, W. Görke, J.-C. Laprie, W. Schneeweiss

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team

Dokumente

Dagstuhl-Seminar-Report 132

Summary

Increasingly complex computing systems are used for a variety of applications, from world-wide networks to massively parallel computing, from transaction processing to automation of safety-critical systems. The usefulness and success of these applications depends on hardware and software dependability. Achieving them can be rather difficult and may require highest efforts because system complexity is the origin of many design faults, especially in the software, and the required system performance often is in conflict with the redundancy needed for fault tolerance.

Consequently, a careful system design is required. Besides design tools like silicon compilers and CASE, special methods for the prediction and evaluation of system dependability play an important role. In contrast to some former reliabilility calculations dependability evaluation must be able to cope with complex system behaviour. One cannot expect that straight-forward methods are able to cover an extremely large state space or express the behavior of highly interacting subsystems with sufficient accuracy.

This seminar was concentrated on new methods to quantify the dependability of complex computing systems. The usefulness of design and validation techniques for various types of highly dependable systems was assessed and discussed. It clearly turned out that a sufficient dependability evaluation cannot be achieved by just a single method. Both the design process and the system operation must be accompanied by appropriate dependability quantification techniques from the very beginning of the conceptual phase throughout the system lifetime. Moreover, particular efforts are necessary for design fault quantification as well as field data collection and interpretation – appropriate methods must take into account that even extremely rare fault events have an impact on the quantification of highest dependability.

Dokumentation

In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.

 

Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.

Publikationen

Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.