https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On the Nature and Content of Safety Contracts
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-6352-4368
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0003-2415-8219
2014 (Engelska)Ingår i: Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014, 2014, s. 245-246Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Component-based software engineering researchers have explored component reuse, typically at the source-code level. Contracts explicitly describe component behaviour, reducing development risk by exposing potential incompatibilities early. But to benefit fully from reuse, developers of safety-critical systems must also reuse safety evidence. Full reuse would require both extending the existing notion of component contracts to cover safety properties and using these contracts in both component selection and system certification. In this paper, we explore some of the ways in which this is not as simple as it first appears.

Ort, förlag, år, upplaga, sidor
2014. s. 245-246
Nyckelord [en]
CBSE, safety, contracts, modular safety case
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-25125DOI: 10.1109/HASE.2014.44ISI: 000351728000035Scopus ID: 2-s2.0-84898604848ISBN: 978-1-4799-3465-2 (tryckt)OAI: oai:DiVA.org:mdh-25125DiVA, id: diva2:722750
Konferens
15th IEEE International Symposium on High Assurance Systems Engineering HASE 2014, 9-11 Jan 2014, Miami, United States
Projekt
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsTillgänglig från: 2014-06-09 Skapad: 2014-06-05 Senast uppdaterad: 2015-04-23Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Graydon, PatrickBate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Graydon, PatrickBate, Iain
Av organisationen
Inbyggda system
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 31 träffar
RefereraExporteraLänk till posten
Permanent länk

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