https://www.mdu.se/

mdh.sePublikasjoner
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
Software Instrumentation of Safety Critical Embedded Systems: A Problem Statement
Bombardier Sweden AB. (IS)ORCID-id: 0000-0002-7517-1299
Safety Integrity AB. (IS)
2012 (engelsk)Inngår i: System, Software, SoC and Silicon Debug Conference IEEE S4D, 2012., 2012Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

The ever-increasing complexity of embedded computer software also increases the difficulty to debug and verify the correctness of the real-world execution. In addition, today the development process must often be proved to fulfill a large number of safety requirements stated in a standard or regulation. One common way to perform verification and debugging is by facilitating some method of online-monitoring, like software instrumentation. However, in safety related systems, it is not obvious that traditional software instrumentation techniques can be applied. In this article, we will elaborate on several aspects when applying software instrumentation into safety-related systems. Problems that need to be considered will be identified, but also consequences to the problems will be analyzed.

sted, utgiver, år, opplag, sider
2012.
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-17380ISBN: 978-2-9539987-5-7 (tryckt)OAI: oai:DiVA.org:mdh-17380DiVA, id: diva2:579711
Konferanse
System, Software, SoC and Silicon Debug Conference (S4D), 2012,19-20 Sept. 2012
Tilgjengelig fra: 2012-12-20 Laget: 2012-12-20 Sist oppdatert: 2013-12-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Person

Ekman, Mathias

Søk i DiVA

Av forfatter/redaktør
Ekman, MathiasThane, Henrik

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

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