Automated fault detection for Autosub6000: What we've achieved in a year

Juhan Ernits

School of Computer Science
University of Birmingham

Tuesday, 9 March 2010, 14:00 (note the unusual weekday)
Cybernetica Bldg (Akadeemia tee 21), room B101

Slides from the talk [pdf]

Abstract: AFDA (Automated Fault Detection for Autosub6000) is a three-year National Environmental Research Council funded project to provide fault detection technology for a deep-diving autonomous underwater vehicle operated by the National Oceanographic Centre.

This talk will give an overview of the vehicle, the project, and what we've accomplished so far. We will have a look at Livingstone 2 and an ongoing effort to provide a diagnosis model development environment based on the Eclipse IDE. We will look at why applying Livingstone 2 to Autosub6000 required building a diagnosis model of the program the vehicle is executing and and how we do it automatically.

Tarmo Uustalu
Last update 30 March 2010