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.