https://www.mdu.se/

mdu.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
On the Nature and Content of Safety Contracts
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6352-4368
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2415-8219
2014 (English)In: Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014, 2014, p. 245-246Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2014. p. 245-246
Keywords [en]
CBSE, safety, contracts, modular safety case
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-25125DOI: 10.1109/HASE.2014.44ISI: 000351728000035Scopus ID: 2-s2.0-84898604848ISBN: 978-1-4799-3465-2 (print)OAI: oai:DiVA.org:mdh-25125DiVA, id: diva2:722750
Conference
15th IEEE International Symposium on High Assurance Systems Engineering HASE 2014, 9-11 Jan 2014, Miami, United States
Projects
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsAvailable from: 2014-06-09 Created: 2014-06-05 Last updated: 2015-04-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Graydon, PatrickBate, Iain

Search in DiVA

By author/editor
Graydon, PatrickBate, Iain
By organisation
Embedded Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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