Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle


Ezekiel, Jonathan, Lomuscio, Alessio, Molnar, Levente, Veres, S.M. and Peabody, Miles (2011) Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle. At IJCAI-11 : 22nd International Joint Conference on Artificial Intelligence Workshop. AIl in Space: Intelligence beyond Planet Earth, Barcelona, ES, 16 - 22 Jul 2011. 6pp.

Download

[img] PDF
Download (228Kb)

Description/Abstract

We report the results obtained during the veri-
fication of Autosub6000, an autonomous underwater vehicle used for deep oceanic exploration.
Our starting point is the Simulink/Matlab engineering model of the submarine, which is discretised by a compiler into a representation suitable for model checking. We assess the ability of the vehicle to function under degraded conditions by injecting faults automatically into the discretised model. The resulting system is analysed by means of the model checker MCMAS, and conclusions are drawn on the system’s ability to withstand faults and to perform self-diagnosis and recovery. We present lessons learnt from this and suggest a general method for verifying autonomous vehicles.

Item Type: Conference or Workshop Item (Poster)
Subjects: T Technology > TC Hydraulic engineering. Ocean engineering
Divisions: Faculty of Engineering and the Environment > Aeronautics, Astronautics and Computational Engineering
ePrint ID: 203521
Date Deposited: 17 Nov 2011 11:39
Last Modified: 27 Mar 2014 19:48
Projects:
METHODS OF RELIABILITY-CONTROL FOR AUTONOMOUS UNDERWATER VEHICLES
Funded by: EPSRC (EP/E02727X/1)
Led by: Alessio R Lomuscio
15 October 2007 to 14 October 2010
URI: http://eprints.soton.ac.uk/id/eprint/203521

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics