Automatic Fault Detection for Autosub6000: Why I Spent Three Weeks on a Boat last Semester

Add to your list(s) Download to your calendar using vCal

• Dr Richard Dearden, School of Computer Science, University of Birmingham
• Monday 01 February 2010, 16:00-17:00
• UG40, School of Computer Science.

If you have a question about this talk, please contact Per Kristian Lehre.

AFDA (Automated Fault Detection for Autosub6000) is a three yeaar NERC -funded project to provide fault detection technology for a deep-diving autonomous underwater vehicle operated by the National Oceanographic Centre. In this talk, I will describe the vehicle, the project, and what we’ve accomplished so far. In particular, I will describe and demonstrate Livingstone 2, the diagnosis approach we are applying, and talk about some of the novel problems in applying it to Autosub6000. Applying Livingstone 2 to Autosub6000 has required building a diagnosis model of the program the vehicle is executing, and I will talk about how we automatically generate this model. Finally, I will talk about my experience on-board the Royal Research Ship Discovery learning about Autosub and testing our technologies.

This talk is part of the Artificial Intelligence and Natural Computation seminars series.

This talk is included in these lists:

• Artificial Intelligence and Natural Computation seminars
• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• UG40, School of Computer Science
• computer sience

Note that ex-directory lists are not shown.