mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Constructing product-line safety cases from contract-based specifications
Royal Institute of Technology, Stockholm, Sweden.
Royal Institute of Technology, Stockholm, Sweden.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
2019 (English)In: Proceedings of the ACM Symposium on Applied Computing, Association for Computing Machinery , 2019, p. 2022-2031Conference paper, Published paper (Refereed)
Abstract [en]

Safety cases are used to argue that safety-critical systems satisfy the requirements that are determined to mitigate the potential hazards in the systems operating environment. Although typically a manual task, safety cases have been successfully created for systems without many configuration options. However, in highly configurable systems, typically developed as a Product Line (PL), arguing about each possible configuration, and ensuring the completeness of the safety case are still open research problems. This paper presents a novel and general approach, based on Contract-Based Specification (CBS), for the construction of a safety case for an arbitrary PL. Starting from a general CBS framework, we present a PL extensions that allows expressing configurable systems and preserves the properties of the original CBS framework. Then, we define the transformation from arbitrary PL models, created using extended CBS framework, to a safety case argumentation-structure, expressed using the Goal Structuring Notation. Finally, the approach is exemplified on a simplified, but real, and currently produced system by Scania CV AB.

Place, publisher, year, edition, pages
Association for Computing Machinery , 2019. p. 2022-2031
Keywords [en]
Contract-based specification, Product line engineering, Safety case, Electric circuit breakers, Specifications, Argumentation structures, Based specification, Configuration options, Goal structuring notation, Operating environment, Safety critical systems, Safety engineering
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-43503DOI: 10.1145/3297280.3297479Scopus ID: 2-s2.0-85065658280OAI: oai:DiVA.org:mdh-43503DiVA, id: diva2:1322932
Conference
34th Annual ACM Symposium on Applied Computing, SAC 2019, 8 April 2019 through 12 April 2019
Note

Conference code: 147772; Export Date: 24 May 2019; Conference Paper

Available from: 2019-06-11 Created: 2019-06-11 Last updated: 2019-06-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Gallina, Barbara

Search in DiVA

By author/editor
Gallina, Barbara
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 1 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf