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
Assuring safety for component based software engineering
University of York, United Kingdom.
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system. (IS (Embedded Systems))ORCID-id: 0000-0003-2415-8219
2014 (Engelska)Ingår i: Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014, 2014, s. 121-128Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Developing Safety-Critical Systems (SCS) is an expensive activity largely due to the cost of testing both components and the systems produced by integrating them. In more mainstream system design, Model-Based Development (MBD) and Component- Based Software Engineering (CBSE) are seen as complementary activities that can reduce these costs, however their use is not yet well supported in the safety critical domain, as safety is an emergent property. The contributions of this paper are to describe some of the challenges of using these approaches in SCS, and then argue how through appropriate safety argument patterns the challenges can be addressed.

Ort, förlag, år, upplaga, sidor
2014. s. 121-128
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-25141DOI: 10.1109/HASE.2014.25ISI: 000351728000016Scopus ID: 2-s2.0-84898655919ISBN: 978-1-4799-3465-2 (tryckt)OAI: oai:DiVA.org:mdh-25141DiVA, id: diva2:722766
Konferens
15th IEEE International Symposium on High Assurance Systems Engineering HASE 2014, 9-11 Jan 2014, Miami, United States
Projekt
SYNOPSIS - Safety Analysis for Predictable Software Intensive SystemsSafeCer - Safety Certification of Software-Intensive Systems with Reusable ComponentsTillgänglig från: 2014-06-09 Skapad: 2014-06-05 Senast uppdaterad: 2016-03-10Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Bate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Conmy, PhilippaBate, Iain
Av organisationen
Inbyggda system
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

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