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
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 (engelsk)Inngår i: Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, 2012, , s. 343-348s. 343-348Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2012. , s. 343-348s. 343-348
Emneord [en]
Contract, Reusability, Safety-critical, Software component
HSV kategori
Identifikatorer
URN: urn:nbn:se:ri:diva-12512DOI: 10.1109/ISSREW.2012.83Scopus ID: 2-s2.0-84873387602Lokal ID: 23923OAI: oai:DiVA.org:ri-12512DiVA, id: diva2:970336
Konferanse
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012; Dallas, TX; United States; 27-30 Nov., 2012
Tilgjengelig fra: 2016-09-13 Laget: 2016-09-13 Sist oppdatert: 2021-01-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Vedder, Benjamin

Søk i DiVA

Av forfatter/redaktør
Vedder, Benjamin
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 31 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
v. 2.44.0