Safety case development with SBVR-based controlled language

Y. Luo; M.G.J. van den Brand; A. Kiburse

doi:10.1007/978-3-319-27869-8_1

Safety case development with SBVR-based controlled language

Y. Luo, M.G.J. van den Brand, A. Kiburse

Software Engineering and Technology

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

5 Citations (Scopus)

4 Downloads (Pure)

Abstract

Safety case development is highly recommended by some safety standards to justify the safety of a system. The Goal Structuring Notation (GSN) is a popular approach to construct a safety case. However, the content of the safety case elements, such as safety claims, is in natural language. Therefore, a common understanding of the meaning of a safety claim may be difficult to reach. Consequently, the confidence of a safety claim can be misplaced. In this paper, we propose to use an SBVRbased controlled language to support safety case development. By using the controlled language, the ambiguities caused by natural language can be mitigated. Furthermore, an SBVR editor for building a vocabulary and a GSN editor with vocabulary support are developed. Finally, a case study has been carried out to show the benefits of using the controlled language for safety case construction.

Original language	English
Title of host publication	Model-Driven Engineering and Software Development
Subtitle of host publication	Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
Editors	P. Desfray, J. Philipe, S. Hammoudi, L.F. Pires
Place of Publication	Dordrecht
Publisher	Springer
Pages	3-17
Number of pages	15
ISBN (Electronic)	978-3-319-27869-8
ISBN (Print)	9783319278681
DOIs	https://doi.org/10.1007/978-3-319-27869-8_1
Publication status	Published - 2015
Event	3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) - Angers, France Duration: 9 Feb 2015 → 11 Feb 2015 Conference number: 3 http://www.modelsward.org/?y=2015

Publication series

Name	Communications in Computer and Information Science
Volume	580
ISSN (Print)	18650929

Conference

Conference	3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)
Abbreviated title	MODELSWARD 2015
Country/Territory	France
City	Angers
Period	9/02/15 → 11/02/15
Other	Conference held in conjunction with the 1st International Conference on Information Systems Security and Privacy (ICISSP 2015)
Internet address	http://www.modelsward.org/?y=2015

Keywords

Conceptual Model
Controlled language
Safety case
SBVR

Access to Document

10.1007/978-3-319-27869-8_1

Cite this

Luo, Y., van den Brand, M. G. J., & Kiburse, A. (2015). Safety case development with SBVR-based controlled language. In P. Desfray, J. Philipe, S. Hammoudi, & L. F. Pires (Eds.), Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers (pp. 3-17). (Communications in Computer and Information Science; Vol. 580). Springer. https://doi.org/10.1007/978-3-319-27869-8_1

Luo, Y. ; van den Brand, M.G.J. ; Kiburse, A. / Safety case development with SBVR-based controlled language. Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers. editor / P. Desfray ; J. Philipe ; S. Hammoudi ; L.F. Pires. Dordrecht : Springer, 2015. pp. 3-17 (Communications in Computer and Information Science).

@inproceedings{1c5e4db3c2fd4c41acb488c794c76771,

title = "Safety case development with SBVR-based controlled language",

abstract = "Safety case development is highly recommended by some safety standards to justify the safety of a system. The Goal Structuring Notation (GSN) is a popular approach to construct a safety case. However, the content of the safety case elements, such as safety claims, is in natural language. Therefore, a common understanding of the meaning of a safety claim may be difficult to reach. Consequently, the confidence of a safety claim can be misplaced. In this paper, we propose to use an SBVRbased controlled language to support safety case development. By using the controlled language, the ambiguities caused by natural language can be mitigated. Furthermore, an SBVR editor for building a vocabulary and a GSN editor with vocabulary support are developed. Finally, a case study has been carried out to show the benefits of using the controlled language for safety case construction.",

keywords = "Conceptual Model, Controlled language, Safety case, SBVR",

author = "Y. Luo and {van den Brand}, M.G.J. and A. Kiburse",

year = "2015",

doi = "10.1007/978-3-319-27869-8_1",

language = "English",

isbn = "9783319278681",

series = "Communications in Computer and Information Science",

publisher = "Springer",

pages = "3--17",

editor = "P. Desfray and J. Philipe and S. Hammoudi and L.F. Pires",

booktitle = "Model-Driven Engineering and Software Development",

address = "Germany",

note = "3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), MODELSWARD 2015 ; Conference date: 09-02-2015 Through 11-02-2015",

url = "http://www.modelsward.org/?y=2015",

}

Luo, Y , van den Brand, MGJ & Kiburse, A 2015, Safety case development with SBVR-based controlled language. in P Desfray, J Philipe, S Hammoudi & LF Pires (eds), Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers. Communications in Computer and Information Science, vol. 580, Springer, Dordrecht, pp. 3-17, 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Angers, France, 9/02/15. https://doi.org/10.1007/978-3-319-27869-8_1

Safety case development with SBVR-based controlled language. / Luo, Y.; van den Brand, M.G.J.; Kiburse, A.
Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers. ed. / P. Desfray; J. Philipe; S. Hammoudi; L.F. Pires. Dordrecht: Springer, 2015. p. 3-17 (Communications in Computer and Information Science; Vol. 580).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Safety case development with SBVR-based controlled language

AU - Luo, Y.

AU - van den Brand, M.G.J.

AU - Kiburse, A.

N1 - Conference code: 3

PY - 2015

Y1 - 2015

N2 - Safety case development is highly recommended by some safety standards to justify the safety of a system. The Goal Structuring Notation (GSN) is a popular approach to construct a safety case. However, the content of the safety case elements, such as safety claims, is in natural language. Therefore, a common understanding of the meaning of a safety claim may be difficult to reach. Consequently, the confidence of a safety claim can be misplaced. In this paper, we propose to use an SBVRbased controlled language to support safety case development. By using the controlled language, the ambiguities caused by natural language can be mitigated. Furthermore, an SBVR editor for building a vocabulary and a GSN editor with vocabulary support are developed. Finally, a case study has been carried out to show the benefits of using the controlled language for safety case construction.

AB - Safety case development is highly recommended by some safety standards to justify the safety of a system. The Goal Structuring Notation (GSN) is a popular approach to construct a safety case. However, the content of the safety case elements, such as safety claims, is in natural language. Therefore, a common understanding of the meaning of a safety claim may be difficult to reach. Consequently, the confidence of a safety claim can be misplaced. In this paper, we propose to use an SBVRbased controlled language to support safety case development. By using the controlled language, the ambiguities caused by natural language can be mitigated. Furthermore, an SBVR editor for building a vocabulary and a GSN editor with vocabulary support are developed. Finally, a case study has been carried out to show the benefits of using the controlled language for safety case construction.

KW - Conceptual Model

KW - Controlled language

KW - Safety case

KW - SBVR

UR - http://www.scopus.com/inward/record.url?scp=84955247485&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-27869-8_1

DO - 10.1007/978-3-319-27869-8_1

M3 - Conference contribution

AN - SCOPUS:84955247485

SN - 9783319278681

T3 - Communications in Computer and Information Science

SP - 3

EP - 17

BT - Model-Driven Engineering and Software Development

A2 - Desfray, P.

A2 - Philipe, J.

A2 - Hammoudi, S.

A2 - Pires, L.F.

PB - Springer

CY - Dordrecht

T2 - 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)

Y2 - 9 February 2015 through 11 February 2015

ER -

Luo Y , van den Brand MGJ, Kiburse A. Safety case development with SBVR-based controlled language. In Desfray P, Philipe J, Hammoudi S, Pires LF, editors, Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers. Dordrecht: Springer. 2015. p. 3-17. (Communications in Computer and Information Science). doi: 10.1007/978-3-319-27869-8_1

Safety case development with SBVR-based controlled language

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this