Jean-Claude Laprie Award
Dr.Jean-Claude Laprie was Directeur de Recherche at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of the concepts and methodologies of dependability, rapidly led to national and international recognition. He received the IFIP Silver Core in 1992, the Silver Medal of French Scientific Research in 1993, and the Grand Prize in Informatics of the French Academy of Science in 2009. He was made Chevalier de l’Ordre National du Mérite in 2002.
The IFIP 10.4 working group on Dependable Computing created the award in his honor in 2011. It recognizes outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing.
Albert Hopkins, Basil Smith and Jay Lala to Receive 2015 Jean-Claude Laprie Award
March 27, 2015
Today, IFIP Working Group 10.4 announced that an outstanding paper has been selected as winner of the 2015 Jean-Claude Laprie Award in Dependable Computing: A. L. Hopkins, Jr., T.B. Smith, III, and J.H. Lala. FTMP – A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft <http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1455382>, Proceedings of the IEEE, Vol. 66, No. 10, October 1978.
Albert Hopkins, Basil Smith and Jay Lala provided in their highly-cited paper, FTMP – A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft, the major published account of a project sponsored by the NASA Langley Research Center in the late 1970s to develop safety-critical digital computing systems for commercial flight control. These flight-control systems had a reliability requirement of the order of 10-10 failures per hour for a 10-hr flight during which no airborne maintenance would be available. The ground-breaking FTMP project was highly successful and very influential, and established the scientific and engineering foundations of ultra-reliable digital computing for mission- and safety-critical applications for a wide range of industries. It showed the feasibility of hardware-based, high-performance practical implementation of algorithms to tolerate Byzantine faults, including clock-synchronization. The project’s work on verification and validation of ultra-high reliability requirements led to a hybrid analytical-empirical V&V approach, based on fault-injection and Markov modelling, an approach that is now considered an essential element of dependability assessment. Finally, the FTMP project laid the foundation for the fault containment concept, and advanced the area of fault diagnosis.
Authors of the winning paper will be presented the award on June 23 2015 in Rio de Janeiro, Brazil, during the opening session of the Annual IEEE/IFIP International Conference on Dependable Systems and Networks <http://www.dsn.org/>
List of past recognized papers:
- . A. L. Hopkins, Jr., T.B. Smith, III, and J.H. Lala. “FTMP – A Highly Reliable Fault-Tolerant Multiprocessor for Aircraft”. Proceedings of the IEEE, Vol. 66, No. 10, October 1978.
- B. Randell, “System Structure for Software Fault Tolerance”, IEEE Transactions on Software Engineering, vol.SE-1, no.1, 1975, pp 220-232.
- J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak, C.B. Weinstock, “SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control”, Proceedings of the IEEE, vol.66, no.10, 1978, pp.1240-1255.
- H. Kopetz, G. Bauer, “The Time-Triggered Architecture”,Proceedings of theIEEE, vol.91, no.1, 2003, pp. 112-126
- L. Lamport, R. Shostak, and M. Pease, “The Byzantine Generals Problem”, ACM Transactions on Programming Languages and Systems, vol. 4, no. 3, July 1982 pp. 382-401 .
- J. Gray, “Why Do Computers Stop and What Can Be Done About It?”, In 5th Symposium on Reliability in Distributed Software and Database Systems, pp. 3-12. IEEE, 1986.
- W.G. Bouricius, W.C. Carter and P.R. Schneider, “Reliability Modeling Techniques for Self-Repairing Computer Systems”, In 24th ACM National Conference, pp. 295-309, 1969.
- A. Avizienis, “Design of fault-tolerant computers,” in AFIPS Fall Joint Computer Conference, 1967, pp. 733-743
- J. F. Meyer, “On evaluating the performability of degradable computing systems,” IEEE Transactions on Computers, vol. C-29, no. 8, pp. 720-731, 1980
- D. A. Patterson, G. Gibson, and R. H. Katz, “A case for redundant arrays of inexpensive disks (RAID),” in ACM SIGMOD International Conference on Management of Data, 1988, vol. 17, no. 3, pp. 109-116