The University of Southampton
University of Southampton Institutional Repository

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

Record type: Conference or Workshop Item (Poster)

We report the results obtained during the veri-
?cation 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.

PDF VerifyingFaultTolleranceAUV.pdf - Other
Download (234kB)

Citation

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, Spain. 16 - 22 Jul 2011. 6 pp.

More information

Published date: 16 July 2011
Venue - Dates: IJCAI-11 : 22nd International Joint Conference on Artificial Intelligence Workshop. AIl in Space: Intelligence beyond Planet Earth, Spain, 2011-07-16 - 2011-07-22
Organisations: Aeronautics, Astronautics & Comp. Eng

Identifiers

Local EPrints ID: 203521
URI: http://eprints.soton.ac.uk/id/eprint/203521
PURE UUID: aa96f647-2b9d-47a5-884e-ffda1171735e

Catalogue record

Date deposited: 17 Nov 2011 11:39
Last modified: 18 Jul 2017 11:08

Export record

Contributors

Author: Jonathan Ezekiel
Author: Alessio Lomuscio
Author: Levente Molnar
Author: S.M. Veres
Author: Miles Peabody

University divisions


Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×