Aitken, Jonathan M., McAree, Owen, Boorman, Luke et al. (6 more authors)
(2015)
Safety and Verification for a Mobile Guide Robot.
In: USES 2015 - The University of Sheffield Engineering Symposium, 24 Jun 2015, The Octagon Centre, University of Sheffield.
Abstract
This work presents the safety and verification arguments for the development of an autonomous robot platform capable of leading humans around a building. It uses Goal Structuring Notation (GSN) to develop a pattern, a re-usable GSN fragment, that can form part of the safety case surrounding the interaction of a mobile guide robot to: record the decisions taken during the design phase, ensure safe operation around humans, and identify where mitigation must be introduced.
Metadata
Authors/Creators:
Aitken, Jonathan M.
McAree, Owen
Boorman, Luke
Cameron, David
Chua, Adriel
Collins, Emily C.
Fernando, Samuel
Law, James
Martinez-Hernandez, Uriel
Keywords:
Goal Structuring Notation; Mobile Robotics; Safety; Verification
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)