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
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-6352-4368
University of York, UK.ORCID-id: 0000-0003-2415-8219
2014 (engelsk)Inngår i: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, 2014, s. 135-144Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Software engineering researchers have extensively explored the reuse of components at source-code level. Contracts explicitly describe component behaviour, reducing development risk by exposing potential incompatibilities early in the development process. 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. This is not as simple as it first appears. Much of the review, analysis, and test evidence developers provide during certification is system-specific. This makes it difficult to define safety contracts that facilitate both selecting components to reuse and certifying systems. In this paper, we explore the definition and use of safety contracts, identify challenges to component-based software reuse safety-critical systems, present examples to illustrate several key difficulties, and discuss potential solutions to these problems.

sted, utgiver, år, opplag, sider
2014. s. 135-144
Emneord [en]
Component-based software engineering, safety, contracts, safety arguments, modular safety case
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-26785DOI: 10.1109/PRDC.2014.24ISI: 000356602600019Scopus ID: 2-s2.0-84919476333ISBN: 9781479964741 (tryckt)OAI: oai:DiVA.org:mdh-26785DiVA, id: diva2:768545
Konferanse
The 20th IEEE Pacific Rim International Symposium on Dependable Computing PRDC 2014, 19-21 Nov 2014, Singapore, Singapore
Prosjekter
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable ComponentsTilgjengelig fra: 2014-12-04 Laget: 2014-12-02 Sist oppdatert: 2016-10-31bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Graydon, PatrickBate, Iain

Søk i DiVA

Av forfatter/redaktør
Graydon, PatrickBate, Iain
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 15 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