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
Item Type: | Conference or Workshop Item |
---|---|
Authors/Creators: |
|
Keywords: | Goal Structuring Notation; Mobile Robotics; Safety; Verification |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > USES (University of Sheffield Engineering Symposium) |
Depositing User: | Repository Officer |
Date Deposited: | 22 Aug 2016 12:23 |
Last Modified: | 03 Nov 2016 04:44 |
Status: | Published |
Identification Number: | 10.15445/02012015.108 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:103957 |