liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Optimization of Assertion Placement in Time-Constrained Embedded Systems
Embedded Intelligent Solutions (EIS) By Semcon AB, Linköping, Sweden.
Dept. of Computer Science, University of Verona, Italy.
Dept. of Computer Science, University of Verona, Italy.
Dept. of Computer Science, University of Verona, Italy.
Visa övriga samt affilieringar
2011 (Engelska)Ingår i: European Test Symposium (ETS2011), Trondheim, Norway, May 23-27, 2011., 2011Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We present an approach for optimization of assertion placement in time-constrained HW/SW modules for detection of errors due to transient and intermittent faults. During the design phases, these assertions have to be inserted into the executable code and, hence, will always be executed with the corresponding code branches. As the result, they can significantly increase execution time of a module, in particular, contributing to a much longer execution of the worst case, and cause deadline misses. Assertions have different characteristics such as tightness (or "local error coverage") and execution latency. Taking into account these properties can increase efficiency of assertion checks in time-constrained embedded HW/SW modules. We have developed a design optimization framework, which (1) identifies candidate locations for assertions, (2) associates a candidate assertion to each location, and (3) selects a set of assertions in terms of performance degradation and assertion tightness. Experimental results have shown the efficiency of the proposed techniques.

Ort, förlag, år, upplaga, sidor
2011.
Serie
European Test Symposium, ISSN 1530-1877
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:liu:diva-65884DOI: 10.1109/ETS.2011.35ISBN: 978-1-4577-0483-3 (tryckt)ISBN: 978-0-7695-4433-5 (tryckt)OAI: oai:DiVA.org:liu-65884DiVA, id: diva2:399863
Konferens
ETS11
Tillgänglig från: 2011-02-23 Skapad: 2011-02-23 Senast uppdaterad: 2017-02-21

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Peng, Zebo

Sök vidare i DiVA

Av författaren/redaktören
Peng, Zebo
Av organisationen
ESLAB - Laboratoriet för inbyggda systemTekniska högskolan
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 143 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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