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
Generation of Safety Case Argument-Fragments from Safety Contracts
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7382-8437
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation.ORCID iD: 0000-0002-8461-0230
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Malardalen Univ, Malardalen Real Time Res Ctr, Vasteras, Sweden..ORCID iD: 0000-0002-7235-6888
2014 (English)In: COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2014) / [ed] Bondavalli, A DiGiandomenico, F, SPRINGER-VERLAG BERLIN , 2014, p. 170-185Conference paper (Refereed)
Abstract [en]

Composable safety certification envisions reuse of safety case argument-fragments together with safety-relevant components in order to reduce the cost and time needed to achieve certification. The argument-fragments could cover safety aspects relevant for different contexts in which the component can be used. Creating argument-fragments for the out-of-context components is time-consuming and currently no satisfying approach exists to facilitate their automatic generation. In this paper we propose an approach based on (semi-) automatic generation of argument-fragments from assumption/guarantee safety contracts. We use the contracts to capture the safety claims related to the component, including supporting evidence. We provide an overview of the argument-fragment architecture and rules for automatic generation, including their application in an illustrative example. The proposed approach enables safety engineers to focus on increasing the confidence in the knowledge about the system, rather than documenting a safety case.

Place, publisher, year, edition, pages
SPRINGER-VERLAG BERLIN , 2014. p. 170-185
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8666
Keywords [en]
Safety Case Argument-fragments, (Semi-) automatic Generation, Safety Contracts, Composable Certification, Out-of-context Components
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-38382ISI: 000360208400012ISBN: 978-3-319-10506-2 OAI: oai:DiVA.org:mdh-38382DiVA, id: diva2:1182197
Conference
33rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), SEP 10-12, 2014, Florence, ITALY
Available from: 2018-02-12 Created: 2018-02-12 Last updated: 2018-02-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

SŠljivo, IrfanGallina, BarbaraCarlson, JanHansson, Hans

Search in DiVA

By author/editor
SŠljivo, IrfanGallina, BarbaraCarlson, JanHansson, Hans
By organisation
Embedded SystemsInnovation and Product Realisation
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 2 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