Safety case development with SBVR-based controlled language

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 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 languageEnglish
Title of host publicationModel-Driven Engineering and Software Development
Subtitle of host publicationThird International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
EditorsP. Desfray, J. Philipe, S. Hammoudi, L.F. Pires
Place of PublicationDordrecht
PublisherSpringer
Pages3-17
Number of pages15
ISBN (Electronic)978-3-319-27869-8
ISBN (Print)9783319278681
DOIs
Publication statusPublished - 2015
Event3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015) - Angers, France
Duration: 9 Feb 201511 Feb 2015
Conference number: 3
http://www.modelsward.org/?y=2015

Publication series

NameCommunications in Computer and Information Science
Volume580
ISSN (Print)18650929

Conference

Conference3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015)
Abbreviated titleMODELSWARD 2015
Country/TerritoryFrance
CityAngers
Period9/02/1511/02/15
OtherConference held in conjunction with the 1st International Conference on Information Systems Security and Privacy (ICISSP 2015)
Internet address

Keywords

  • Conceptual Model
  • Controlled language
  • Safety case
  • SBVR

Cite this