mdh.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
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 (Engelska)Ingår i: Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, 2014, s. 135-144Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2014. s. 135-144
Nyckelord [en]
Component-based software engineering, safety, contracts, safety arguments, modular safety case
Nationell ämneskategori
Elektroteknik och elektronik
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
Konferens
The 20th IEEE Pacific Rim International Symposium on Dependable Computing PRDC 2014, 19-21 Nov 2014, Singapore, Singapore
Projekt
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable ComponentsTillgänglig från: 2014-12-04 Skapad: 2014-12-02 Senast uppdaterad: 2016-10-31Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Graydon, PatrickBate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Graydon, PatrickBate, Iain
Av organisationen
Inbyggda system
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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