Driftinformation
Ett driftavbrott i samband med versionsuppdatering är planerat till 10/12-2024, kl 12.00-13.00. Under den tidsperioden kommer DiVA inte att vara tillgängligt
Ä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
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 (Engelska)Ingår i: Proceedings - 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, 2012, , s. 343-348s. 343-348Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2012. , s. 343-348s. 343-348
Nyckelord [en]
Contract, Reusability, Safety-critical, Software component
Nationell ämneskategori
Naturvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-12512DOI: 10.1109/ISSREW.2012.83Scopus ID: 2-s2.0-84873387602Lokalt ID: 23923OAI: oai:DiVA.org:ri-12512DiVA, id: diva2:970336
Konferens
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012; Dallas, TX; United States; 27-30 Nov., 2012
Tillgänglig från: 2016-09-13 Skapad: 2016-09-13 Senast uppdaterad: 2021-01-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Vedder, Benjamin

Sök vidare i DiVA

Av författaren/redaktören
Vedder, Benjamin
Av organisationen
Pålitliga system
Naturvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

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