Skip to content

David Powell

  • Dr
  • 242PublicationsNumber of items in David's My Publications folder on Mendeley.
  • 4Followers

Research interests

fault-tolerance; dependability; safety

About

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 was at LAAS-CNRS from 1972 to 2014 where I held 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. 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).

Followers (4)

Following (2)

  • Marc-Olivier Killijian

    Marc-Olivier KillijianCNRS Delegation Midi-Pyrenees

  • Matthieu Roy

    Matthieu RoyLAAS-CNRS, University Toulouse, France

Publications (5)

  • Specifying safety monitors for autonomous systems

    • Machin M
    • Blanquart J
    • Guiochet J
    • et al.
    N/AReaders
    N/ACitations
  • AMORES : an Architecture for MObiquitous REsilient Systems

    • Artigues C
    • Deswarte Y
    • Guiochet J
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Applying Existing Standards to a Medical Rehabilitation Robot : Limits and Challenges

    • Guiochet J
    • Do Hoang Q
    • Kaâniche M
    • et al.
    N/AReaders
    N/ACitations
  • Safety Trigger Conditions for Critical Autonomous Systems

    • Mekki-Mokhtar A
    • Blanquart J
    • Guiochet J
    • et al.
    N/AReaders
    N/ACitations
  • Testing the Input Timing Robustness of Real-time Control Software for Autonomous Systems

    • Powell D
    • Arlat J
    • Chu H
    • et al.
    N/AReaders
    N/ACitations
    Get full text

Professional experience

Directeur de Recherche CNRS

LAAS-CNRS

December 1989 - November 2014(25 years)

Chargé de Recherche CNRS

LAAS-CNRS

October 1976 - November 1989(13 years)

Assistant Délégué

INSA

January 1975 - September 1976(2 years)

ESRO research fellow

LAAS-CNRS

October 1972 - September 1975(3 years)

Laboratory Technician

GEC Hirst Research Centre

January 1969 - September 1969(8 months)

Education history

Doctorat d'État - Automatique & Informatique / Control Engineering and Computer Science

INP - Institut National Polytechnique de Toulouse

November 1975 - October 1981(6 years)

Doctorat de Spécialité - Automatique/Control Engineering

Université de Toulouse 3 - University Paul Sabatier

July 1974 - November 1975(a year)

Diplôme d'Études Approfondies (Automatique/Control Engineering)

Université de Toulouse 3 - University Paul Sabatier

September 1972 - June 1974(2 years)

B.Sc. Electronic Engineering

University of Souhampton

October 1969 - June 1972(3 years)

GCE A Levels in Physics, Chemistry, Pure Mathematics and Applied Mathematics

Harrow County School for Boys

September 1962 - December 1968(6 years)