Jean Arlat

Main Interests

Dependability Assessment of Fault-Tolerant Computer Architectures

Dependability Benchmarking and Robustness Testing of Off-the-Shelf Software Executives

Hardware- and Software-Fault Tolerant Computer Systems

Embedded Computer Systems for Critical Applications (Avionics, Automotive, Railways)

Selected Publications

For a full list of all publications since c.1990: click here

Y. Laarouchi, Y. Deswarte, D. Powell, J. Arlat, E. De Nadaï, "Connecting Commercial Computers to Avionics Systems", in Proc. 28th IEEE/AIAA Digital Avionics Systems Conference (DASC), IEEE CS Press,pp. 6D1.1-6D1.9, 2009.
Abstract PDF © IEEE

A. Albinet, J. Arlat, J.-C. Fabre, "Benchmarking of the Impact of Faulty Drivers: Application to the Linux Kernel", in Dependability Benchmarking for Computer Systems (K. Kanoun and L. Spainhower, Eds.), pp. 285-310, IEEE CS Press and Wiley, August 2008.
Abstract PDF © IEEE

P. Zajac, J. H. Collet, J. Arlat, Y. Crouzet, “Resilience through Self-Configuration in Future Massively Defective Nanochips”, in Supplemental Volume of the 37th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2007) - Workshop on Dependable and Secure Nanocomputing, (Edinburgh, Scotland, UK), pp. 266-271, 2007.
Abstract PDF © IEEE

J. Arlat, Y. Crouzet, Y. Deswarte, J.-C. Fabre, J.-C. Laprie, D. Powell, “Fault Tolerance”, in Encyclopedia of Computer Science and Information Systems (J. Akoka, I. Comyn-Wattiau, Coordinators) — Part 1: The Technological Dimension of Information Systems, Section 2: Architecture and Systems (M. Banâtre, Editor), Vuibert, Paris (France), 2006, ISBN: 2-7117-4846-4. (in French).
Abstract PDF © Vuibert

A. Youssef, Y. Crouzet, A. de Bonneval, J. Arlat, J.-J. Aubert, P.Brot, "Communication Integrity in Networks for Critical Control Systems", in 6th European Dependable Computing Conf. (EDCC-6), Coimbra (Portugal), pp. 23-32, IEEE CS Press, October 2006.
Abstract PDF © IEEE

Y. Crouzet, J. H. Collet, J. Arlat, "Mitigating Soft Errors To Prevent A Hard Threat To Dependable Computing", in 11th IEEE International On-Line Testing Symp. (IOLTS-2005), Saint Raphaël (France), pp. 295-298, July 2005.
Abstract PDF © IEEE

A. Kalakech, K. Kanoun, Y. Crouzet, J. Arlat, "Benchmarking the Dependability of Windows NT, 2000 and XP", in IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy), pp. 681-686, IEEE CS Press, June-July 2004.
Abstract PDF © IEEE

A. Albinet, J. Arlat, J.-C. Fabre, "Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel", in IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy), pp. 867-876, IEEE CS Press, June-July 2004.
Abstract PDF © IEEE

M.T. Jarboui, J. Arlat, Y. Crouzet, K. Kanoun, T. Marteau, "Impact of Internal and External Software Faults on the Linux Kernel", IEICE Transactions on Information and Systems, E86-D (12), pp. 2571-2578, December 2003.
Abstract PDF © IEICE

J. Arlat, Y. Crouzet; J. Karlsson, P. Folkesson (Chalmers Univ.); E. Fuchs, G.H. Leber (Vienna Univ. of Technology), "Comparison of Physical and Software-Implemented Fault Injection Techniques", IEEE Transactions on Computers, 52 (9), pp. 1115-1133, September 2003.
Abstract PDF © IEEE

M. Rodríguez, J.-C. Fabre, J. Arlat, "Wrapping Real-time Systems from Temporal Logic Specifications", in 4th European Dependable Computing Conference (EDCC-4) , Toulouse (France), pp. 253-270, LNCS 2485, Springer-Verlag, October 2002.
Abstract PDF ©Springer

J. Arlat, J.-C. Fabre, M. Rodríguez, F. Salles, "Dependability of COTS Microkernel-Based Systems", IEEE Transactions on Computers, 51 (2), Special Section on Fault Tolerant Embedded Systems, pp. 138-163, February 2002.
Abstract PDF © IEEE

M. Rodríguez, J.-C. Fabre, J. Arlat, "Formal Specification for Building Robust Real-Time Microkernels", in 21st IEEE Real-Time Systems Symp. (RTSS'2000), Orlando, FL (USA), pp. 119-128, IEEE CS Press, November 2000.
Abstract PDF © IEEE

D. Powell, J. Arlat, L. Beus-Dukic (Univ. York), A. Bondavalli (Univ. Pisa), Paolo Coppola (Intecs), A. Fantechi (Univ. Florence), E. Jenn (Technicatome), C. Rabéjac (Astrium), A. Wellings (Univ. York), "GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems", IEEE Transactions on Parallel and Distributed Systems, 10 (6),
pp. 580-599, June 1999.
Abstract PDF © IEEE

D. Essamé, J. Arlat, D. Powell, "PADRE: A Protocol for Asymmetric Duplex REdundancy", (C. B. Weinstock, J. Rushby, Eds.), Dependable Computing in Critical Applications (DCCA-7), 12, pp. 229-248, IEEE CS Press, January 1999.
Abstract PDF © IEEE

D. Avresky, J. Arlat, J.-C. Laprie, Y. Crouzet, "Fault Injection for the Formal Testing of Fault Tolerance", IEEE Transactions on Reliability, 45 (3), pp. 443-455, October 1996.
Abstract PDF © IEEE

J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, D. Powell, "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems", IEEE Transactions on Computers, 42 (8), pp. 913-923, August 1993.
Abstract PDF © IEEE

J. Arlat, M. Aguera, Y. Crouzet, J.-C. Fabre, E. Martins, D. Powell, "Experimental Evaluation of the Fault Tolerance of an Atomic Multicast System", IEEE Transactions on Reliability, 39 (4), Special Issue on Experimental Evaluation of Computer Reliability, pp. 455-467, October 1990.
Abstract PDF © IEEE

J.-C. Laprie, J. Arlat, C. Béounes, K. Kanoun, "Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures", IEEE Computer, 23 (7), Special Issue on Fault-Tolerant Systems, pp. 39-51, July 1990.
Abstract PDF © IEEE

J. Arlat, K. Kanoun, J.-C. Laprie, "Dependability Modeling and Evaluation of Software-Fault Tolerant Systems", IEEE Transactions on Computers, Special Issue on Fault-Tolerant Computing, 39 (4), pp. 504-513, April 1990.
Abstract PDF © IEEE

J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, E. Martins, J.-C. Laprie, D. Powell, "Fault Injection for Dependability Validation — A Methodology and Some Applications", IEEE Transactions on Software Engineering, Special Issue on Experimental Computer Science, 16, (2), pp. 166-182, February 1990.
Abstract PDF © IEEE

J. Arlat, K. Kanoun, “Modelling and Dependability Evaluation of Safety Systems in Control and Monitoring Applications”, in Trends in Safe Real-Time Computer Systems, 5th IFAC Workshop Safety of Computer Control Systems (SAFECOMP'86), (W. J. Quirk, Ed.), Sarlat, France, pp.157-164, Pergamon Press, 1986.
Abstract PDF © Elsevier (Pergamon Press)

J. Arlat, W. C. Carter (IBM T. J. Watson), “Implementation and Evaluation of a (b,k)-adjacent Error-correcting/detecting Scheme for Supercomputer Systems”, IBM Journal of Research and Development, Special Issue on Coding and Control, 28 (2), pp.159-169, March 1984.
Abstract PDF © IBM

J. Arlat, J.-C. Laprie, “Performance-related Dependability Evaluation of Supercomputer Systems”, in13th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-13), Milan, Italy,
pp. 276-283, IEEE CS Press, 1983.
Abstract PDF © IEEE
(An extended version appeared in Microelectronics and Reliability, 24 (4), pp.717-742, 1984.)

A. Grnarov (Univ. Skopje), J. Arlat, A. Avizienis (UCLA), “On the Performance of Software Fault Tolerance Strategies”, in 10th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-10), Kyoto, Japan, pp. 251-253, IEEE CS Press, 1980.
Abstract PDF © IEEE

Slides of Selected Recent Talks

From Controlled Experiments to Standardized Benchmarks for Dependability Assessment, 13th Conference on Fault-Tolerant Computing (CFTC-09) of the China Computer Federation - Fault-Tolerant Computing Committee, Hailaer City, Inner Mogolia, China, July 20, 2009

Physical Fault Models and Fault Tolerance, Forum : Models in Hardware Testing, in Honor of Christian Landrault, (held as part of 14th European Test Symposium 2009 — ETS'2009), Sevila, Spain, May 28, 2009

A Creedence in HW-Matter Revival, 54th Meeting of the IFIP WG10.4 “Dependable Computing and Fault Tolerance” — Workshop on Challenges and Directions in Dependability, Girdwood, AK, USA, June 29, 2008.

Dependability in Massively Defective Nanoscale Multicore Processor Architectures, 53rd Meeting of the IFIP WG10.4 “Dependable Computing and Fault Tolerance” — Research Reports Session, Natal, Brazil, February 25, 2008.

Towards Computer Systems that are Powerful & Versatile and Dependable, Fourth Information Trust Institute Workshop on Dependability and Security, Panel 2 — Systems, University of Illinois at Urbana-Champaign, USA, November 30, 2007.

Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?, Third Latin-American Symposium on Dependable Computing (LADC-2007), Morelia, Mexico, September 28, 2007.

Dependability Benchmarking: Where Are We Standing?, Second Robot Standards (RoSta) Coordination Action Benchmarking Expert Meeting, Stuttgart, Germany, September 19-20, 2007.

Joining Efforts Towards Dependability & Security Assessment, Third Information Trust Institute Workshop on Dependability and Security, Panel 4 — Assessment, University of Illinois at Urbana-Champaign, USA, December 5, 2006.

Communication Integrity in Networks for Critical Control Systems, Sixth European
Dependable Computing Conference (EDCC-6), Coimbra, Portugal, October 18, 2006.

Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel, IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy),
July 1, 2004.

Fault Tolerance for Achieving Ambient Intelligence, Consultation Workshop on "R&D Challenges for Resilience in Ambient Intelligence", Brussels, Belgium, March 19, 2004

Integrating COTS Software into Dependable Systems: Support to the Selection Process,
Panel: Technology Impact on Dependability, IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2003), San Francisco, CA, USA, June 23, 2003.

From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking, Workshop on Fault-Tolerant Parallel and Distributed Systems at IEEE Int. Parallel & Distributed Processing Symp. (IPDPS-2002), Fort Lauderdale, FL, USA, April 19, 2002.

Industry and Academia Partnership on Dependability Engineering: Some Initiatives,
Panel: R&D Dependability Challenges in Information Society and Opportunity for Global Collaboration, IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2001), Göteborg, Sweden, July 2, 2001.

Biographical Sketch

I was born in Toulouse [locals say it this way :-)], France in 1953. I received the Engineer diploma from the Toulouse National Institute of Applied Sciences (INSAT) in 1976 and the Docteur-Engineer and Docteur ès-Sciences degrees from the Toulouse National Polytechnic Institute (INPT) in 1979 and 1990, respectively.
I have been with LAAS-CNRS since 1976, where I currently hold a position of "Directeur de Recherche" at CNRS, the French National Organization for Scientific Research, within the Dependable Computing and Fault Tolerance Group, that I have led from January 2003 to January 2008. Since February 2007, I am coordinating the area on Critical Information Systems, one of the four scientific areas that characterize the research activities carried out at LAAS.

My main research interests focus on the design and assessment of hardware-and-software fault-dependable and secure computer systems and the evaluation of the dependability of off-the-shelf software operating systems, including both analytical modeling and fault injection approaches. I have authored or co-authored more than 120 papers for international and national journals and conferences and three books.

I have been contributing to several European research projects and networks (Delta-4, PDCS, DeVa, CaberNet, GUARDS, DBench, ASSERT, HIDENETS, ReSIST). I have managed several national and international (EU-NSF) contracts. From 1997 to 2000, I led the industry-research cooperative laboratory LIS (Laboratory for Dependability Engineering) set between LAAS and five leading companies: Airbus, Astrium, Électricité de France, AREVA TA and Thales. Subsequently, from 2001 to 2004, I have coordinated the activities of RIS (Network for Dependability Engineering) that extended the cooperation started by LIS. I have acted as a consultant for several aerospace, telecommunication and data processing companies in France and in Europe (Ansaldo Segnalemento Ferroviario, ESA/ /ESTEC, Roche Diagnostics).

I have served on program committees for several major international conferences in the fied (FTCS, DSN, EDCC, LADC, PRDC, IOLTS, etc.). From 1999 to 2005, I have chaired the IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance. and as such, I was also the vice-chair for the IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN), from 2000 to 2005. In 2007, I have established the Workshop on Dependable and Secure Nanocomputing held in conjunction with the DSN Conference; the third edition took place in the framework of DSN-2009 (Estoril, Lisbon, Portugal). In 2004, I have chaired the10th IEEE Int. Symp. Pacific Rim Dependable Computing (Papeete, French Polynesia). In 1998, I co-chaired the program committee of the 28th IEEE Int. Symp. on Fault-Tolerant Computing (Munich, Germany). Previously, I had chaired the IEEE Computer Society's Technical Committee on Fault-Tolerant Computing* (1994-95). From 2004 to 2008, I was a member of the Editorial Board for the IEEE Transactions on Dependable and Secure Computing ; in particular, I was co-guest editor for the special issue (July-Sept. 2006) devoted to a selection of papers from DSN 2005.
In France, since 2004 I am co-coordinator of a Working Group on Electronics Architecture and Dependability of the Num@tec Automotive initiative within the French Competitivity Cluster System@tic Paris-Region. In 2007, I have served as a member of the Evaluation Board for the French National Research Agency Program (ANR): SeSur (Secure and Dependable Computing), and I am currently a member of several Scientific Committees in France: i) Scientific Interest Group on Surveillance, Dependability and Security of Large Scale Systems (3SGS) — that I am chairing since May 2009, ii) Scientific and Technlogical Research Cluster on Modeling, Information and Digital Systems (PRST MISM), iii) Actia Automotive. I am a member of the ACM, IEEE, IFIP WGs 10.2 and 10.4, of the French SEE Working Group on Dependable Computing and of the Scientific Board for the 3AF/SEE/SIA Group on Critical Embedded Systems (CISEC). I was awarded the IFIP Silver Core in 2007.

	Main interests Selected publications Slides of selected recent talks Biography
	Main Interests Dependability Assessment of Fault-Tolerant Computer Architectures Dependability Benchmarking and Robustness Testing of Off-the-Shelf Software Executives Hardware- and Software-Fault Tolerant Computer Systems Embedded Computer Systems for Critical Applications (Avionics, Automotive, Railways)
	Selected Publications For a full list of all publications since c.1990: click here Y. Laarouchi, Y. Deswarte, D. Powell, J. Arlat, E. De Nadaï, "Connecting Commercial Computers to Avionics Systems", in Proc. 28th IEEE/AIAA Digital Avionics Systems Conference (DASC), IEEE CS Press,pp. 6D1.1-6D1.9, 2009. Abstract PDF © IEEE A. Albinet, J. Arlat, J.-C. Fabre, "Benchmarking of the Impact of Faulty Drivers: Application to the Linux Kernel", in Dependability Benchmarking for Computer Systems (K. Kanoun and L. Spainhower, Eds.), pp. 285-310, IEEE CS Press and Wiley, August 2008. Abstract PDF © IEEE P. Zajac, J. H. Collet, J. Arlat, Y. Crouzet, “Resilience through Self-Configuration in Future Massively Defective Nanochips”, in Supplemental Volume of the 37th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2007) - Workshop on Dependable and Secure Nanocomputing, (Edinburgh, Scotland, UK), pp. 266-271, 2007. Abstract PDF © IEEE J. Arlat, Y. Crouzet, Y. Deswarte, J.-C. Fabre, J.-C. Laprie, D. Powell, “Fault Tolerance”, in Encyclopedia of Computer Science and Information Systems (J. Akoka, I. Comyn-Wattiau, Coordinators) — Part 1: The Technological Dimension of Information Systems, Section 2: Architecture and Systems (M. Banâtre, Editor), Vuibert, Paris (France), 2006, ISBN: 2-7117-4846-4. (in French). Abstract PDF © Vuibert A. Youssef, Y. Crouzet, A. de Bonneval, J. Arlat, J.-J. Aubert, P.Brot, "Communication Integrity in Networks for Critical Control Systems", in 6th European Dependable Computing Conf. (EDCC-6), Coimbra (Portugal), pp. 23-32, IEEE CS Press, October 2006. Abstract PDF © IEEE Y. Crouzet, J. H. Collet, J. Arlat, "Mitigating Soft Errors To Prevent A Hard Threat To Dependable Computing", in 11th IEEE International On-Line Testing Symp. (IOLTS-2005), Saint Raphaël (France), pp. 295-298, July 2005. Abstract PDF © IEEE A. Kalakech, K. Kanoun, Y. Crouzet, J. Arlat, "Benchmarking the Dependability of Windows NT, 2000 and XP", in IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy), pp. 681-686, IEEE CS Press, June-July 2004. Abstract PDF © IEEE A. Albinet, J. Arlat, J.-C. Fabre, "Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel", in IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy), pp. 867-876, IEEE CS Press, June-July 2004. Abstract PDF © IEEE M.T. Jarboui, J. Arlat, Y. Crouzet, K. Kanoun, T. Marteau, "Impact of Internal and External Software Faults on the Linux Kernel", IEICE Transactions on Information and Systems, E86-D (12), pp. 2571-2578, December 2003. Abstract PDF © IEICE J. Arlat, Y. Crouzet; J. Karlsson, P. Folkesson (Chalmers Univ.); E. Fuchs, G.H. Leber (Vienna Univ. of Technology), "Comparison of Physical and Software-Implemented Fault Injection Techniques", IEEE Transactions on Computers, 52 (9), pp. 1115-1133, September 2003. Abstract PDF © IEEE M. Rodríguez, J.-C. Fabre, J. Arlat, "Wrapping Real-time Systems from Temporal Logic Specifications", in 4th European Dependable Computing Conference (EDCC-4) , Toulouse (France), pp. 253-270, LNCS 2485, Springer-Verlag, October 2002. Abstract PDF ©Springer J. Arlat, J.-C. Fabre, M. Rodríguez, F. Salles, "Dependability of COTS Microkernel-Based Systems", IEEE Transactions on Computers, 51 (2), Special Section on Fault Tolerant Embedded Systems, pp. 138-163, February 2002. Abstract PDF © IEEE M. Rodríguez, J.-C. Fabre, J. Arlat, "Formal Specification for Building Robust Real-Time Microkernels", in 21st IEEE Real-Time Systems Symp. (RTSS'2000), Orlando, FL (USA), pp. 119-128, IEEE CS Press, November 2000. Abstract PDF © IEEE D. Powell, J. Arlat, L. Beus-Dukic (Univ. York), A. Bondavalli (Univ. Pisa), Paolo Coppola (Intecs), A. Fantechi (Univ. Florence), E. Jenn (Technicatome), C. Rabéjac (Astrium), A. Wellings (Univ. York), "GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems", IEEE Transactions on Parallel and Distributed Systems, 10 (6), pp. 580-599, June 1999. Abstract PDF © IEEE D. Essamé, J. Arlat, D. Powell, "PADRE: A Protocol for Asymmetric Duplex REdundancy", (C. B. Weinstock, J. Rushby, Eds.), Dependable Computing in Critical Applications (DCCA-7), 12, pp. 229-248, IEEE CS Press, January 1999. Abstract PDF © IEEE D. Avresky, J. Arlat, J.-C. Laprie, Y. Crouzet, "Fault Injection for the Formal Testing of Fault Tolerance", IEEE Transactions on Reliability, 45 (3), pp. 443-455, October 1996. Abstract PDF © IEEE J. Arlat, A. Costes, Y. Crouzet, J.-C. Laprie, D. Powell, "Fault Injection and Dependability Evaluation of Fault-Tolerant Systems", IEEE Transactions on Computers, 42 (8), pp. 913-923, August 1993. Abstract PDF © IEEE J. Arlat, M. Aguera, Y. Crouzet, J.-C. Fabre, E. Martins, D. Powell, "Experimental Evaluation of the Fault Tolerance of an Atomic Multicast System", IEEE Transactions on Reliability, 39 (4), Special Issue on Experimental Evaluation of Computer Reliability, pp. 455-467, October 1990. Abstract PDF © IEEE J.-C. Laprie, J. Arlat, C. Béounes, K. Kanoun, "Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures", IEEE Computer, 23 (7), Special Issue on Fault-Tolerant Systems, pp. 39-51, July 1990. Abstract PDF © IEEE J. Arlat, K. Kanoun, J.-C. Laprie, "Dependability Modeling and Evaluation of Software-Fault Tolerant Systems", IEEE Transactions on Computers, Special Issue on Fault-Tolerant Computing, 39 (4), pp. 504-513, April 1990. Abstract PDF © IEEE J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, E. Martins, J.-C. Laprie, D. Powell, "Fault Injection for Dependability Validation — A Methodology and Some Applications", IEEE Transactions on Software Engineering, Special Issue on Experimental Computer Science, 16, (2), pp. 166-182, February 1990. Abstract PDF © IEEE J. Arlat, K. Kanoun, “Modelling and Dependability Evaluation of Safety Systems in Control and Monitoring Applications”, in Trends in Safe Real-Time Computer Systems, 5th IFAC Workshop Safety of Computer Control Systems (SAFECOMP'86), (W. J. Quirk, Ed.), Sarlat, France, pp.157-164, Pergamon Press, 1986. Abstract PDF © Elsevier (Pergamon Press) J. Arlat, W. C. Carter (IBM T. J. Watson), “Implementation and Evaluation of a (b,k)-adjacent Error-correcting/detecting Scheme for Supercomputer Systems”, IBM Journal of Research and Development, Special Issue on Coding and Control, 28 (2), pp.159-169, March 1984. Abstract PDF © IBM J. Arlat, J.-C. Laprie, “Performance-related Dependability Evaluation of Supercomputer Systems”, in13th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-13), Milan, Italy, pp. 276-283, IEEE CS Press, 1983. Abstract PDF © IEEE (An extended version appeared in Microelectronics and Reliability, 24 (4), pp.717-742, 1984.) A. Grnarov (Univ. Skopje), J. Arlat, A. Avizienis (UCLA), “On the Performance of Software Fault Tolerance Strategies”, in 10th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-10), Kyoto, Japan, pp. 251-253, IEEE CS Press, 1980. Abstract PDF © IEEE
	Slides of Selected Recent Talks From Controlled Experiments to Standardized Benchmarks for Dependability Assessment, 13th Conference on Fault-Tolerant Computing (CFTC-09) of the China Computer Federation - Fault-Tolerant Computing Committee, Hailaer City, Inner Mogolia, China, July 20, 2009 Physical Fault Models and Fault Tolerance, Forum : Models in Hardware Testing, in Honor of Christian Landrault, (held as part of 14th European Test Symposium 2009 — ETS'2009), Sevila, Spain, May 28, 2009 A Creedence in HW-Matter Revival, 54th Meeting of the IFIP WG10.4 “Dependable Computing and Fault Tolerance” — Workshop on Challenges and Directions in Dependability, Girdwood, AK, USA, June 29, 2008. Dependability in Massively Defective Nanoscale Multicore Processor Architectures, 53rd Meeting of the IFIP WG10.4 “Dependable Computing and Fault Tolerance” — Research Reports Session, Natal, Brazil, February 25, 2008. Towards Computer Systems that are Powerful & Versatile and Dependable, Fourth Information Trust Institute Workshop on Dependability and Security, Panel 2 — Systems, University of Illinois at Urbana-Champaign, USA, November 30, 2007. Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?, Third Latin-American Symposium on Dependable Computing (LADC-2007), Morelia, Mexico, September 28, 2007. Dependability Benchmarking: Where Are We Standing?, Second Robot Standards (RoSta) Coordination Action Benchmarking Expert Meeting, Stuttgart, Germany, September 19-20, 2007. Joining Efforts Towards Dependability & Security Assessment, Third Information Trust Institute Workshop on Dependability and Security, Panel 4 — Assessment, University of Illinois at Urbana-Champaign, USA, December 5, 2006. Communication Integrity in Networks for Critical Control Systems, Sixth European Dependable Computing Conference (EDCC-6), Coimbra, Portugal, October 18, 2006. Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel, IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2004), Florence (Italy), July 1, 2004. Fault Tolerance for Achieving Ambient Intelligence, Consultation Workshop on "R&D Challenges for Resilience in Ambient Intelligence", Brussels, Belgium, March 19, 2004 Integrating COTS Software into Dependable Systems: Support to the Selection Process, Panel: Technology Impact on Dependability, IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2003), San Francisco, CA, USA, June 23, 2003. From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking, Workshop on Fault-Tolerant Parallel and Distributed Systems at IEEE Int. Parallel & Distributed Processing Symp. (IPDPS-2002), Fort Lauderdale, FL, USA, April 19, 2002. Industry and Academia Partnership on Dependability Engineering: Some Initiatives, Panel: R&D Dependability Challenges in Information Society and Opportunity for Global Collaboration, IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN-2001), Göteborg, Sweden, July 2, 2001.
	Biographical Sketch I was born in Toulouse [locals say it this way :-)], France in 1953. I received the Engineer diploma from the Toulouse National Institute of Applied Sciences (INSAT) in 1976 and the Docteur-Engineer and Docteur ès-Sciences degrees from the Toulouse National Polytechnic Institute (INPT) in 1979 and 1990, respectively. I have been with LAAS-CNRS since 1976, where I currently hold a position of "Directeur de Recherche" at CNRS, the French National Organization for Scientific Research, within the Dependable Computing and Fault Tolerance Group, that I have led from January 2003 to January 2008. Since February 2007, I am coordinating the area on Critical Information Systems, one of the four scientific areas that characterize the research activities carried out at LAAS. My main research interests focus on the design and assessment of hardware-and-software fault-dependable and secure computer systems and the evaluation of the dependability of off-the-shelf software operating systems, including both analytical modeling and fault injection approaches. I have authored or co-authored more than 120 papers for international and national journals and conferences and three books. I have been contributing to several European research projects and networks (Delta-4, PDCS, DeVa, CaberNet, GUARDS, DBench, ASSERT, HIDENETS, ReSIST). I have managed several national and international (EU-NSF) contracts. From 1997 to 2000, I led the industry-research cooperative laboratory LIS (Laboratory for Dependability Engineering) set between LAAS and five leading companies: Airbus, Astrium, Électricité de France, AREVA TA and Thales. Subsequently, from 2001 to 2004, I have coordinated the activities of RIS (Network for Dependability Engineering) that extended the cooperation started by LIS. I have acted as a consultant for several aerospace, telecommunication and data processing companies in France and in Europe (Ansaldo Segnalemento Ferroviario, ESA/ /ESTEC, Roche Diagnostics). I have served on program committees for several major international conferences in the fied (FTCS, DSN, EDCC, LADC, PRDC, IOLTS, etc.). From 1999 to 2005, I have chaired the IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance. and as such, I was also the vice-chair for the IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN), from 2000 to 2005. In 2007, I have established the Workshop on Dependable and Secure Nanocomputing held in conjunction with the DSN Conference; the third edition took place in the framework of DSN-2009 (Estoril, Lisbon, Portugal). In 2004, I have chaired the10th IEEE Int. Symp. Pacific Rim Dependable Computing (Papeete, French Polynesia). In 1998, I co-chaired the program committee of the 28th IEEE Int. Symp. on Fault-Tolerant Computing (Munich, Germany). Previously, I had chaired the IEEE Computer Society's Technical Committee on Fault-Tolerant Computing* (1994-95). From 2004 to 2008, I was a member of the Editorial Board for the IEEE Transactions on Dependable and Secure Computing ; in particular, I was co-guest editor for the special issue (July-Sept. 2006) devoted to a selection of papers from DSN 2005. In France, since 2004 I am co-coordinator of a Working Group on Electronics Architecture and Dependability of the Num@tec Automotive initiative within the French Competitivity Cluster System@tic Paris-Region. In 2007, I have served as a member of the Evaluation Board for the French National Research Agency Program (ANR): SeSur (Secure and Dependable Computing), and I am currently a member of several Scientific Committees in France: i) Scientific Interest Group on Surveillance, Dependability and Security of Large Scale Systems (3SGS) — that I am chairing since May 2009, ii) Scientific and Technlogical Research Cluster on Modeling, Information and Digital Systems (PRST MISM), iii) Actia Automotive. I am a member of the ACM, IEEE, IFIP WGs 10.2 and 10.4, of the French SEE Working Group on Dependable Computing and of the Scientific Board for the 3AF/SEE/SIA Group on Critical Embedded Systems (CISEC). I was awarded the IFIP Silver Core in 2007. * Now IEEE CS TC on Dependable Computing and Fault Tolerance.