mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Generation of Safety Case Argument-Fragments from Safety Contracts
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-7382-8437
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-6952-1053
Mälardalens högskola, Akademin för innovation, design och teknik, Innovation och produktrealisering.ORCID-id: 0000-0002-8461-0230
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. Malardalen Univ, Malardalen Real Time Res Ctr, Vasteras, Sweden..ORCID-id: 0000-0002-7235-6888
2014 (engelsk)Inngår i: COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP 2014) / [ed] Bondavalli, A DiGiandomenico, F, SPRINGER-VERLAG BERLIN , 2014, s. 170-185Konferansepaper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
SPRINGER-VERLAG BERLIN , 2014. s. 170-185
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8666
Emneord [en]
Safety Case Argument-fragments, (Semi-) automatic Generation, Safety Contracts, Composable Certification, Out-of-context Components
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-38382ISI: 000360208400012ISBN: 978-3-319-10506-2 OAI: oai:DiVA.org:mdh-38382DiVA, id: diva2:1182197
Konferanse
33rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), SEP 10-12, 2014, Florence, ITALY
Tilgjengelig fra: 2018-02-12 Laget: 2018-02-12 Sist oppdatert: 2018-02-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

SŠljivo, IrfanGallina, BarbaraCarlson, JanHansson, Hans

Søk i DiVA

Av forfatter/redaktør
SŠljivo, IrfanGallina, BarbaraCarlson, JanHansson, Hans
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 2 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf