liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
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.
Dept. of Computer Science, University of Verona.
Dept. of Computer Science, University of Verona.
Show others and affiliations
2011 (English)In: European Test Symposium (ETS2011), Trondheim, Norway, May 23-27, 2011., 2011Conference paper (Refereed)
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.

Place, publisher, year, edition, pages
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-65884DOI: 10.1109/ETS.2011.35ISBN: 978-1-4577-0483-3ISBN: 978-0-7695-4433-5OAI: diva2:399863
Available from: 2011-02-23 Created: 2011-02-23 Last updated: 2013-08-15

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Peng, Zebo
By organisation
ESLAB - Embedded Systems LaboratoryThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 132 hits
ReferencesLink to record
Permanent link

Direct link