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
Composable safety-critical systems based on pre-certified software components
RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
RISE, SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.ORCID iD: 0000-0003-1713-3726
2012 (English)In: Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, 2012, , p. 343-348p. 343-348Conference paper, Published paper (Refereed)
Abstract [en]

When designing safety critical and software intensive embedded systems, extensive development processes have to be followed in order to ensure that the software corresponds with the software safety requirement specification. This paper describes a study performed to investigate how to use a component based approach in order to reduce the requirements of the development processes for safety critical embedded systems. Focus is on certification of individual software components by the use of integrity contracts and how this enables software component composition and re-usability, particularly between different domains. The use of our approach in system design may reduce the effort required for an assessor in certifying an entire safety critical system.

Place, publisher, year, edition, pages
2012. , p. 343-348p. 343-348
Keywords [en]
Contract, Reusability, Safety-critical, Software component
National Category
Natural Sciences
Identifiers
URN: urn:nbn:se:ri:diva-12512DOI: 10.1109/ISSREW.2012.83Scopus ID: 2-s2.0-84873387602Local ID: 23923OAI: oai:DiVA.org:ri-12512DiVA, id: diva2:970336
Conference
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012; Dallas, TX; United States; 27-30 Nov., 2012
Available from: 2016-09-13 Created: 2016-09-13 Last updated: 2021-01-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Vedder, Benjamin

Search in DiVA

By author/editor
Vedder, Benjamin
By organisation
Pålitliga system
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

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