David Powell

Dependable Computing and Fault Tolerance research group

LAAS-CNRS
7 avenue du Colonel Roche
31077 Toulouse Cedex 4
FRANCE

Tel: +33 561 33 62 87
Fax: +33 561 33 64 11
Email: david.powell@laas.fr

• Interests
• Selected publications
• Slides of selected recent talks
• Biography

Interests

• design and validation of fault-tolerant distributed computing systems
• distributed algorithms for software-implemented fault-tolerance
• ad-hoc networked systems
• critical autonomous robotic systems

Selected publications

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

• L. Courtès, O. Hamouda, M. Kaâniche, M.-O. Killijian and D. Powell, “Dependability Evaluation of Cooperative Backup Strategies for Mobile Devices”, 13th IEEE Pacfic Rim Dependable Computing Conference (PRDC'07), (17-19 December, Melbourne, Australia), IEEE, 2007.
  Abstract PDF © IEEE
• L. Courtès, M.-O. Killijian and D. Powell, “Security Rationale for a Cooperative Backup Service for Mobile Devices”, in 3rd Latin-American Symposium on Dependable Computing, (26-28 September, Morelia, Mexico), LNCS, 4746, pp.212-30, Springer, 2007.
  Abstract PDF ©Springer
• B. Lussier, M. Gallien, J. Guiochet, F. Ingrand, M.-O. Killijian and D. Powell, “Planning with Diversified Models for Fault-Tolerant Robots”, in Int. Conf. on Automated Planning and Scheduling (ICAPS), (22-26 September, Providence, Rhode Island, USA), AAAI, 2007.
  Abstract PDF ©AAAI
• B. Lussier, M. Gallien, J. Guiochet, F. Ingrand, M.-O. Killijian and D. Powell, “Fault Tolerant Planning for Critical Robots”, in Dependable Systems and Networks (DSN'07), (25-28 June, Edinburgh, UK), IEEE CS Press, 2007.
  Abstract PDF © IEEE
• B. Lussier, M. Gallien, J. Guiochet, F. Ingrand, M.-O. Killijian and D. Powell, “Experiments with Diversified Models for Fault-Tolerant Planning”, in 5th IARP - IEEE/RAS - EURON Int. Workshop on Technical Challenges for Dependable Robots in Human Environments, (14-15 April, Rome, Italy), 2007.
  Abstract PDF
• Y. Crouzet, H. Waeselynck, B. Lussier and D. Powell, “The SESAME Experience: from Assembly Languages to Declarative Models”, in Mutation 2006 - The Second Workshop on Mutation Analysis, 17th IEEE Int. Symp. on Software Reliability Engineering (ISSRE 2006), (7-10 November, Raleigh, NC, USA), IEEE, 2006.
  Abstract PDF © IEEE
• L. Courtès, M.-O. Killijian and D. Powell, “Storage Tradeoffs in a Collaborative Backup Service for Mobile Devices”, in 6th European Dependable Computing Conference (EDCC-6), (18-20 October, Coimbra, Portugal), pp.129-38 IEEE CS Press, 2006.
  Abstract PDF © IEEE
• R. Alami, A. Albu-Schaeffer, A. Bicchi, R. Bischoff, R. Chatila, A. De Luca, A. De Santis, G. Giralt, J. Guiochet, G. Hirzinger, F. Ingrand, V. Lippiello, R. Mattone, D. Powell, S. Sen, B. Siciliano, G. Tonietti and L. Villani, “Safe and Dependable Physical Human-Robot Interaction in Anthropic Domains: State of the Art and Challenges”, in Workshop on Physical Human-Robot Interaction in Anthropic Domains, IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, (9-15 October, Bejing, China), IEEE, 2006.
  Abstract PDF © IEEE
• P. Verissimo, N. Neves, C. Cachin, J. Poritz, D. Powell, Y. Deswarte, R. Stroud and I. Welch, “Intrusion-Tolerant Middleware: the Road to Automatic Security”, IEEE Security & Privacy, 4 (4), pp.54-62, July/August 2006.
  Abstract PDF © IEEE
• Y. Deswarte and D. Powell, “Internet Security: an Intusion Tolerance Approach”, Proceedings of the IEEE, 94 (2), pp.432-41, February 2006.
  Abstract PDF © IEEE
• B. Lussier, A. Lampe, R. Chatila, J. Guiochet, F. Ingrand, M.-O. Killijian and D. Powell,“Fault Tolerance in Autonomous Systems: How and How Much?” in 4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, (Nagoya, Japan), 2005.
  Abstract PDF
• L. Courtès, M.-O. Killijian, D. Powell and M. Roy, “Sauvegarde coopérative entre pairs pour dispositifs mobiles”, in Deuxièmes Journées Francophones: Mobilité et Ubiquité 2005 (UbiMob'05), (Grenoble, France), ACM, 2005.
  Abstract PDF © ACM
• M.-O. Killijian, D. Powell, M. Banâtre, P. Couderc and Y. Roudier, “Collaborative Backup for Dependable Mobile Applications [Extended Abstract] ”, in 2nd Workshop on Middleware for Pervasive and Ad-Hoc Computing, (Toronto, Canada), Middleware 2004 Companion, pp.146-49, ACM, 2004.
  Abstract PDF © ACM
• B. Lussier R. Chatila F. Ingrand M.O. Killijian D. Powell, "On Fault Tolerance and Robustness in Autonomous Systems", in 3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, (Manchester, UK), 7-9 September 2004.
  Abstract PDF
• A. Mostefaoui, D. Powell and M. Raynal, “A Hybrid Approach for Building Eventually Accurate Failure Detectors”, in Pacific Rim Dependable Computing Conference, (Tahiti, French Polynesia), pp.57-65, IEEE CS Press, 2004.
  Abstract PDF © IEEE
• D. Powell (Ed.), "A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems", ISBN 0-7923-7295-6, Kluwer Academic Publishers, January 2001, 266 p.
  Available from Springer On-Line
• D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabéjac and A. Wellings, "GUARDS: A Generic Upgradable Architecture for Real-time Dependable Systems", IEEE Transactions on Parallel and Distributed Systems, 10 (6), pp.580-99, 1999.
  Abstract PDF © IEEE
• M. Cukier, D. Powell and J. Arlat, "Coverage Estimation Methods for Stratified Fault-Injection", IEEE Transactions on Computers, 48 (7), pp.707-23, 1999.
  Abstract PDF © IEEE
• D. Essamé, J. Arlat and D. Powell, "PADRE: a Protocol for Asymmetric Duplex REdundancy", (C. B. Weinstock and J. Rushby, Eds.), Dependable Computing in Critical Applications (DCCA-7), 12, pp.229-48, IEEE Computer Society Press, 1999.
  Abstract PDF © IEEE
• D. Powell, "Distributed Fault-Tolerance - Lessons from Delta-4", IEEE Micro, 14 (1), pp.36-47, 1994.
  Abstract PDF © IEEE
• M. Chérèque, D. Powell, P. Reynier, J.-L. Richier and J. Voiron, "Active Replication in Delta-4", in 22nd IEEE Int. Conf. on Fault-Tolerant Computing Systems (FTCS-22), (Boston, MA, USA), pp.28-37, IEEE Computer Society Press, 1992.
  Abstract PDF© IEEE
• D. Powell, “Failure Mode Assumptions and Assumption Coverage”, in 22nd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-22), (Boston, MA, USA), pp.386-95, IEEE CS Press, 1992.
  Abstract PDF (revised version) © IEEE
• J. Arlat, M. Aguera, Y. Crouzet, J.-C. Fabre, E. Martins and D. Powell, "Experimental Evaluation of the Fault Tolerance of an Atomic Multicast Protocol", IEEE Transactions on Reliability, 39 (4), pp.455-67, 1990.
  Abstract PDF © IEEE
• J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins and D. Powell, "Fault Injection for Dependability Validation - A Methodology and Some Applications", IEEE Transactions on Software Engineering, 16 (2), pp.166-82, 1990.
  Abstract PDF © IEEE
• D. Powell, G. Bonn, D. Seaton, P. Veríssimo and F. Waeselynck, "The Delta-4 Approach to Dependability in Open Distributed Computing Systems", in 18th Int. Symp. on Fault-Tolerant Computing Systems (FTCS-18), (Tokyo, Japan), pp.246-51, IEEE Computer Society Press, 1988.
  Abstract PDF © IEEE

Slides of selected recent talks

• "Sécurité, protection de la vie privée et disponibilité", Journée de l'Observatoire Français des Techniques Avancées sur l'Informatique Diffuse, Paris, 31 mai 2007
• "Experiments with Diversified Models for Fault-Tolerant Planning", IARP/IEEE-RAS/EURON Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Rome, Itlay, April 14-15 2007
• "Fault Tolerance in Robotics", Workshop on Dependability", Joint IARP/IEEE-RAS/EURON & IFIP 10.4 Workshop on Dependability in Robotics and Autonomous Systems, Tucson, Arizona, USA, February 16-17, 2006
• "Matching Distributed System Models to Reality", Invited talk. 18th Int. Conf. on Distributed Computing (DISC 2004), Amsterdam, Netherlands, October 4-7, 2004
• "Redundancy Management in an Automatic Subway Line: a Protocol based on the Timed Asynchronous Model", Invited talk. 31st Spring School on Theoretical Computer Science : Distributed Algorithms, Porquerolles, France, 4-8 May 2003
• "Time/Event Triggering is Orthogonal to State/Event Observation", Invited talk. Workshop on the Integration of Event-Triggered and Time-Triggered Services, Grenoble, France, October 4, 2002
• "Dependability Issues in AI-based Autonomous Systems for Space Applications", 2nd IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, October 7-8, 2002
• "Dependability Concepts for Malicious Faults", Dependability & Survivability Workshop, IFIP WG 10.4 meeting, Hilton Head Island, SC, USA, 27 June - 1 July 2002
• "Architectural Approaches for using COTS Components in Critical Applications", 11th European Workshop on Dependable Computing (EWDC-11), Budapest, Hungary, 11-13 May 2000

Biography

I was born in Greenwich, England in 1951. I received my Bachelor of Science degree in Electronic Engineering from the University of Southampton, England in 1972, a Specialty Doctorate degree from the Toulouse Paul Sabatier University in 1975, and my Docteur ès-Sciences degree from the Toulouse National Polytechnic Institute in 1981. I have been at LAAS-CNRS since 1972 where I currently hold a position of "Directeur de Recherche CNRS" within the Dependable Computing and Fault Tolerance Group, which I led from 1997 to 2003.

I have managed several national and European research contracts. I was the Scientific Director of the six-year Delta-4 Esprit project on open dependable distributed computing and the Scientific Advisor of the GUARDS Esprit project on a generic fault-tolerant architecture for embedded, ultra-dependable real-time systems for space, railway and nuclear propulsion applications. I have acted as a consultant for several aerospace, telecommunication and data processing companies in France and for the European Commission.

My current research work concerns the design and validation of fault-tolerant distributed computing systems. Particular interests are distributed algorithms for software-implemented fault-tolerance, ad-hoc networked systems, and critical autonomous robotic systems. I have written over ninety papers for international and national journals and conferences. I am co-author of three books on dependable computing and a patent for a fault and damage-tolerant network for data transmission.

I have served on program committees of several international conferences. I was program chair of the first European Dependable Computing Conference (Berlin, Germany, 1994) and program co-chair of the 26th IEEE Symposium on Fault Tolerant Computing (Sendai, Japan, 1996). I was guest editor of a special section of Communications of the ACM devoted to group communication (April 1996). I am a member of IEEE, ACM and the IFIP 10.4 working group on Dependable Computing and Fault Tolerance.