Publications

In 1987, the WG initiated the book series Dependable Computing and Fault-Tolerant Systems published by Springer-Verlag (nine volumes), and the IEEE (three volumes). The twelve volumes include a five-language volume (English, French, German, Italian and Japanese) on the Basic Concepts of Dependability and the associated terminology. The WG also actively supports together with the IEEE CS TC-DCFT the IEEE Transactions on Dependable and Secure Computing (TDSC). Of particular note is that a paper giving an update on conceptual issues and terminology entitled “Basic Concepts and Taxonomy of Dependable and Secure Computing” appeared in the first issue in 2004.

The titles and descriptions of the twelve volumes in the Dependable Computing and Fault-Tolerant Systems series are below, along with links to the publisher’s webpage for each where available. For those without links copies might be obtainable from other sources.

The Evolution of Fault-Tolerant Computing— Avizienis, A., Kopetz, H., Laprie, J.C. (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 1

For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr. William Caswell Carter is one of the key figures in the formation and development of this important field. A one-day Symposium, held on June 30, 1986, brought together a group of eminent scientists from all over the world to discuss the evolution, the state of the art, and the future perspectives of the field of fault-tolerant computing. Historic developments in academia and industry were presented by individuals who themselves have actively been involved in bringing them about. The Symposium proved to be a unique historic event and these Proceedings, which contain the final versions of the papers presented at Baden, are an authentic reference document.

Software Diversity in Computerized Control Systems— Voges, Udo (Ed.)

Dependable Computing and Fault-Tolerant Systems, Vol. 2

Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-life applications of software diversity are presented. The history, the current state-of-the-art and future perspectives are given. Although this technique is used quite successfully in industrial applications, further research is necessary to solve some open questions. We hope to report on new results and applications in another volume of this series within some years.

Fault Tolerance: Principles and Practice— Lee, Peter A., Anderson, Thomas

Dependable Computing and Fault-Tolerant Systems, Vol. 3

The production of a new version of any book is a daunting task, as many authors will recognise. In the field of computer science, the task is made even more daunting by the speed with which the subject and its supporting technology move forward. Since the publication of the first edition of this book in 1981 much research has been conducted, and many papers have been written, on the subject of fault tolerance. Our aim then was to present for the first time the principles of fault tolerance together with current practice to illustrate those principles. We believe that the principles have (so far) stood the test of time and are as appropriate today as they were in 1981. Much work on the practical applications of fault tolerance has been undertaken, and techniques have been developed for ever more complex situations, such as those required for distributed systems. Nevertheless, the basic principles remain the same.

Dependable Computing for Critical Applications— Avizienis, Algirdas, Laprie, Jean-Claude (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 4

The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 “Dependable Computing and Fault Tolerance”, in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society, and the Technical Committee 7 on Systems Reliability, Safety and Security of EWlCS. This volume contains the final version of papers presented at the conference.

Dependability: Basic Concepts and Terminology— Laprie, Jean-Claude (Ed.)

Dependable Computing and Fault-Tolerant Systems, Vol. 5

This volume results from several years of work performed within the IFIP WG 10.4 on Dependable Computing and Fault Tolerance, together with its French, German, Italian and Japanese versions. The aim is to give precise definitions characterizing the dependability of computing systems. Dependability is first introduced as a global concept and a set of basic definitions is given. Those definitions are then commented upon and supplemented in the subsequent sections, which deal with the impairments to dependability (faults, errors, failures), the means for dependability (fault-prevention, fault-tolerance, fault-removal, fault-forcasting), and the attributes of dependability (reliability, safety, security, availability). The 118 definitions given throughout the text are recapitulated in a glossary, and a give-language cross-index is provided.

Dependable Computing for Critical Applications 2— Meyer, John, Schlichting, Richard D. (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 6

This volume contains the papers presented at the Second International Work­ ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. This meeting wasconcerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system de pendability, a broad concept defined as the trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. This volume contains the final version of papers presented at the conference.

Responsive Computer Systems— Kopetz, Hermann, Kakuda, Yoshiaki (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 7

For the second time the International Workshop on Responsive Computer Systems has brought together a group of international experts from the fields of real-time computing, distributed computing, and fault­tolerant systems. The two day workshop met at the splendid facilities at the KDD Research and Development Laboratories at Kamifukuoka, Saitama, in Japan on October 1 and 2, 1992. The eighteen submitted presentations covered diverse topics about important issues in the design of responsive systems and a session on progress reports about leading edge research projects. This volume contains the revised presentations that incorporate some of the discussions that occurred during the meeting.

Dependable Computing for Critical Applications 3— Landwehr, Carl E., Randell, Brian, Simoncini, Luca (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 8

This volume contains the papers presented at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system’s reliability, availability, safety, security, and performance. This volume contains the revised presentations that incorporate some of the discussions that occurred during the meeting.

Dependable Computing for Critical Applications 3— Cristian, Flaviu, LeLann, Gerard, Lunt, Teresa (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 9

This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. The conference was concerned with an important basic question: can we rely on computer systems for critical applications? This conference, like its predecessors, addressed various aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system’s reliability, availability, safety, security and performance. Because of its broad scope, a main goal was to contribute to a unified understanding and integration of these concepts. This volume contains the revised presentations that incorporate some of the discussions that occurred during the meeting.

Dependable Computing for Critical Applications 5 — Ravishankar K. Iyer, Morganti, Michele, Fuchs, W. Kent, Gligor, Virgil (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 10

This volume contains the articles presented at the Fifth International lFIP Working Conference on Dependable Computing for Critical Applications held in Urbana-Champaign, Illinois, in September, 1995. Can we rely on computers? The individual aspects of system dependability, reliability, availability, safety, and security are the factors that determine application success. To answer this question, the text explores the integration of these dependability attributes within practical, working systems. The papers in the book address the growing international concern for system dependability and reflect the important advances in understanding how dependability manifests in practice.

Dependable Computing for Critical Applications 6 — Dal Cin,Mario, Meadows, Catherine, Sanders, William H. (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 11

This volume contains the articles presented at the Sixth International lFIP Working Conference on Dependable Computing for Critical Applications held in Grainau, Gemany (near Garmisch-Partenkirchen), in March 1997. The text addresses significant ideas and concepts for designing, analyzing, implementing and operating dependable computing systems. It covers such topics as: critical industrial systems; specification and design diversity; security protocols and mechanisms; and distributed systems. This volume contains the revised presentations that incorporate some of the discussions that occurred during the meeting.

Dependable Computing for Critical Applications 7 — Weinstock, Charles B., Rushby, John (Eds.)

Dependable Computing and Fault-Tolerant Systems, Vol. 12

This volume contains the articles presented at the Seventh (and last) International lFIP Working Conference on Dependable Computing for Critical Applications held in San Jose, California in January 1999. Focusing on architecture/parallel and high-performance computing, this book should be of interest to researchers, professors, practitioners, students, and other professionals. This volume contains the revised presentations that incorporate some of the discussions that occurred during the meeting.