Carter and Schneider; Avizienis, Laprie, Randell and Landwehr win the 2016 Jean-Claude Laprie Award

April 18, 2016

Today, IFIP Working Group 10.4 announced that two outstanding papers have been selected as winners of the 2016 Jean-Claude Laprie Award in Dependable Computing:

For technical/scientific research impact:

W.C.Carter and P.R.Schneider, Design of Dynamically Checked Computers, Proceedings of the IFIP Congress, Vol.2, pp.878 – 883 (1968).

Design of Dynamically Checked Computers, by Carter and Schneider, introduced the concept of “self-checking properties” which was one of the key concepts that laid the foundation to create the area of research and technologies for dependable computing and fault tolerance in late 1960’s. Since then, the concept has widely prevailed in the context of design and implementation for dynamical checking, such as self-checking circuits, self-checking checkers, concurrent checking, self-testing, online testing and concurrent error detection, which is the first step required to trigger succeeding procedures of the dynamic fault tolerance for realizing dependable computing systems. The paper has significantly influenced the technical/scientific research on dependable computing in both hardware and software, and deserves to be awarded as an outstanding paper that has been time-tested.

For broad impact on the dependable computing community:

A. Avizienis, J.C. Laprie, B. Randell and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on dependable and secure computing. Vol.1. No.1, pp.1 - 23 (2004).

In Basic concepts and taxonomy of dependable and secure computing, Avizienis, Laprie, Randell and Landwehr clarified and formalized the definitions of “faults, errors and failures” with respect to system’s hierarchy and boundaries to facilitate the dependable computing community to have fruitful interactions. The concept of dependability was expansive and inclusive with respect to accidental and malicious faults and included reliability, safety and security as key attributes. The paper was instrumental in promulgating this holistic view of dependability and brought the security community into the dependability fold. The 3900+ citations of the paper unambiguously reflect its immense impact and value across both communities. It is also worthy of special mention that quite a few people in the community contributed to the process of continuous efforts represented by the paper through intensive discussions to refine the concepts and taxonomy of dependable and secure computing.

Authors of the winning paper will be presented the award on June 28 2016 in Toulouse, France, during the opening session of the Annual IEEE/IFIP International Conference on Dependable Systems and Networks

About the Jean-Claude Laprie Award in Dependable Computing

The award was created in 2011, in honor of Jean-Claude Laprie (1944-2010), whose pioneering contributions to the concepts and methodologies of dependability were influential in defining and unifying the field of dependable and secure computing. The award recognizes outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing.

For more information on the Jean-Claude Laprie Award please visit

About IFIP WG 10.4 on Dependable Computing and Fault Tolerance

IFIP Working Group 10.4 was established in 1980 with the aim of identifying and integrating approaches, methods and techniques for specifying, designing, building, assessing, validating, operating and maintaining dependable computer systems, that is those that are reliable, available, safe, and secure. Its 75 members from around the world meet twice a year to to conduct in-depth discussions of important technical topics to further the understanding and exposition of the fundamental concepts of dependable computing.

For more information on IFIP WG10.4 visit

About the International Federation For Information Processing

IFIP is a non-governmental, non-profit umbrella organization for national societies working in the field of information processing. It was established in 1960 under the auspices of UNESCO as a result of the first World Computer Congress held in Paris in 1959. It is the leading multinational, apolitical organization in Information & Communications Technologies and Sciences.

For more information on IFIP visit

Media Contact:

Charles B. Weinstock