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
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
Mälardalen University, Västerås, Sweden.
2019 (English)In: Proceedings of the Symposium on Applied Computing, Association for Computing Machinery (ACM), 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 configurablesystems, 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 presentsa 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 extension 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 (ACM), 2019. p. 2022-2031
Keywords [en]
Safety Case, Product Line Engineering, Contract-based Specification
National Category
Computer Systems
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-250230DOI: 10.1145/3297280.3297479ISI: 000474685800280Scopus ID: 2-s2.0-85065658280OAI: oai:DiVA.org:kth-250230DiVA, id: diva2:1307187
Conference
ACM/SIGAPP Symposium on Applied Computing
Funder
Vinnova, 2018-01778Vinnova, 2016-02804
Note

QC 20190521

Available from: 2019-04-26 Created: 2019-04-26 Last updated: 2019-10-11Bibliographically approved

Open Access in DiVA

fulltext(3169 kB)63 downloads
File information
File name FULLTEXT01.pdfFile size 3169 kBChecksum SHA-512
86bd2cee1ed23eeba46b66484a00c7faa73b2d9c97a9093d5713e718021d1556d3bb7c20f0906a585be149ff91fc3de8022b7fa3ba5be075bab45ce9d49ed33b
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Nešić, DamirNyberg, Mattias
By organisation
Mechatronics
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 63 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 100 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