The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

Katrina Claire Attwood; Tim Kelly; Philippa Conmy

The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

Katrina Claire Attwood, Tim Kelly, Philippa Conmy

Computer Science

Research output: Contribution to specialist publication › Article

Abstract

To date, work on the development of assurance cases
has largely been concerned with the broad structure
and content of arguments to contextualise the data.
However, at a more detailed level, use of natural
language in an argument can lead to conflicting
terminology, to difficulties in understanding the
nature of the claims being made or to logical
inferences which are obscure to the readers of the
argument. This problem has become increasingly
complex as more and more suppliers are involved in
the development chain, making it more difficult to
evaluate the strengths and weaknesses of assurance
data or to re-use it. This paper explores the
development of controlled vocabulary and structured
expressions for CPS in the automotive domain, using
the Semantics of Business Vocabulary and Business
Rules (SBVR) to improve communication and to
provide presents some formal consistency checking of
content. We highlight the challenges this work has
exposed.
Keywords: safety, assurance, controlled language,
SBVR, automotive.

Original language	English
Pages	251-258
Number of pages	7
Volume	35
No.	4
Specialist publication	Ada User Journal
Publication status	Published - Dec 2014

Keywords

afety, assurance, controlled language, SBVR, automotive.

Access to Document

AUJ2014_AttwoodConmyKelly_submittedSubmitted manuscript, 502 KB

Cite this

@misc{1578be571374481697950f0c415fe241,

title = "The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS",

abstract = "To date, work on the development of assurance caseshas largely been concerned with the broad structureand content of arguments to contextualise the data.However, at a more detailed level, use of naturallanguage in an argument can lead to conflictingterminology, to difficulties in understanding thenature of the claims being made or to logicalinferences which are obscure to the readers of theargument. This problem has become increasinglycomplex as more and more suppliers are involved inthe development chain, making it more difficult toevaluate the strengths and weaknesses of assurancedata or to re-use it. This paper explores thedevelopment of controlled vocabulary and structuredexpressions for CPS in the automotive domain, usingthe Semantics of Business Vocabulary and BusinessRules (SBVR) to improve communication and toprovide presents some formal consistency checking ofcontent. We highlight the challenges this work hasexposed.Keywords: safety, assurance, controlled language,SBVR, automotive.",

keywords = "afety, assurance, controlled language, SBVR, automotive.",

author = "Attwood, {Katrina Claire} and Tim Kelly and Philippa Conmy",

year = "2014",

month = dec,

language = "English",

volume = "35",

pages = "251--258",

journal = "Ada User Journal",

publisher = "Ada-Europe",

}

TY - GEN

T1 - The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

AU - Attwood, Katrina Claire

AU - Kelly, Tim

AU - Conmy, Philippa

PY - 2014/12

Y1 - 2014/12

N2 - To date, work on the development of assurance caseshas largely been concerned with the broad structureand content of arguments to contextualise the data.However, at a more detailed level, use of naturallanguage in an argument can lead to conflictingterminology, to difficulties in understanding thenature of the claims being made or to logicalinferences which are obscure to the readers of theargument. This problem has become increasinglycomplex as more and more suppliers are involved inthe development chain, making it more difficult toevaluate the strengths and weaknesses of assurancedata or to re-use it. This paper explores thedevelopment of controlled vocabulary and structuredexpressions for CPS in the automotive domain, usingthe Semantics of Business Vocabulary and BusinessRules (SBVR) to improve communication and toprovide presents some formal consistency checking ofcontent. We highlight the challenges this work hasexposed.Keywords: safety, assurance, controlled language,SBVR, automotive.

AB - To date, work on the development of assurance caseshas largely been concerned with the broad structureand content of arguments to contextualise the data.However, at a more detailed level, use of naturallanguage in an argument can lead to conflictingterminology, to difficulties in understanding thenature of the claims being made or to logicalinferences which are obscure to the readers of theargument. This problem has become increasinglycomplex as more and more suppliers are involved inthe development chain, making it more difficult toevaluate the strengths and weaknesses of assurancedata or to re-use it. This paper explores thedevelopment of controlled vocabulary and structuredexpressions for CPS in the automotive domain, usingthe Semantics of Business Vocabulary and BusinessRules (SBVR) to improve communication and toprovide presents some formal consistency checking ofcontent. We highlight the challenges this work hasexposed.Keywords: safety, assurance, controlled language,SBVR, automotive.

KW - afety, assurance, controlled language, SBVR, automotive.

M3 - Article

VL - 35

SP - 251

EP - 258

JO - Ada User Journal

JF - Ada User Journal

ER -