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

  • 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

 
 

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.

 


Last updated 2007-09-13