https://www.dagstuhl.de/9546

November 13 – 17 , 1995, Dagstuhl Seminar 9546

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

Organizer

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

For support, please contact

Dagstuhl Service Team

Documents

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.

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.