A framework for specification of arming system safety functions
A framework for specification of arming system safety functions
- Author(s): D. Slipper ; A.A. McEwan ; W. Ifill
- DOI: 10.1049/cp.2013.1715
For access to this article, please select a purchase option:
Buy conference paper PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
8th IET International System Safety Conference incorporating the Cyber Security Conference 2013 — Recommend this title to your library
Thank you
Your recommendation has been sent to your librarian.
- Author(s): D. Slipper ; A.A. McEwan ; W. Ifill Source: 8th IET International System Safety Conference incorporating the Cyber Security Conference 2013, 2013 page ()
- Conference: 8th IET International System Safety Conference incorporating the Cyber Security Conference 2013
- DOI: 10.1049/cp.2013.1715
- ISBN: 978-1-84919-778-6
- Location: Cardiff, UK
- Conference date: 16-17 Oct. 2013
- Format: PDF
Safety is the primary concern in the design process of high consequence arming systems. Claims form the argument about system safety, and need to be written as atomic, correct and unambiguous statements, which are easily verifiable. To support specification of claims in such a manner we contribute: a decomposition of the currently used claim types into lower level claims, a set of template claims which fit these types and finally we introduce a framework which details the relationships between these claim types. We analysed three industry projects using our approach, unearthing subtle errors. Key findings were that claims which did not fit into the defined categories described implementation detail about the safety functions, and that necessary claims could be missed. Analysts familiar with the domain may routinely leave out claims which seem `obvious, however, this could have a detrimental impact later in the lifecycle if overlooked by designers.
Inspec keywords: weapons; safety
Subjects: Weapons
Related content
content/conferences/10.1049/cp.2013.1715
pub_keyword,iet_inspecKeyword,pub_concept
6
6