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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

5 Citaten (Scopus)

4 Downloads (Pure)

Samenvatting

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.

Originele taal-2	Engels
Titel	Model-Driven Engineering and Software Development
Subtitel	Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
Redacteuren	P. Desfray, J. Philipe, S. Hammoudi, L.F. Pires
Plaats van productie	Dordrecht
Uitgeverij	Springer
Pagina's	3-17
Aantal pagina's	15
ISBN van elektronische versie	978-3-319-27869-8
ISBN van geprinte versie	9783319278681
DOI's	https://doi.org/10.1007/978-3-319-27869-8_1
Status	Gepubliceerd - 2015
Evenement	3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) - Angers, Frankrijk Duur: 9 feb. 2015 → 11 feb. 2015 Congresnummer: 3 http://www.modelsward.org/?y=2015

Publicatie series

Naam	Communications in Computer and Information Science
Volume	580
ISSN van geprinte versie	18650929

Congres

Congres	3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)
Verkorte titel	MODELSWARD 2015
Land/Regio	Frankrijk
Stad	Angers
Periode	9/02/15 → 11/02/15
Ander	3rd International Conference on Model-Driven Engineering and Software Development
Internet adres	http://www.modelsward.org/?y=2015

Toegang tot document

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

Andere bestanden en links

Link to publication in Scopus

Citeer dit

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 (editors), Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers (blz. 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. redacteur / P. Desfray ; J. Philipe ; S. Hammoudi ; L.F. Pires. Dordrecht : Springer, 2015. blz. 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 (uitgave), 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, blz. 3-17, 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Angers, Frankrijk, 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. uitgave / P. Desfray; J. Philipe; S. Hammoudi; L.F. Pires. Dordrecht: Springer, 2015. blz. 3-17 (Communications in Computer and Information Science; Vol. 580).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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, redacteurs, Model-Driven Engineering and Software Development : Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers. Dordrecht: Springer. 2015. blz. 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

Samenvatting

Publicatie series

Congres

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit