Change search
ReferencesLink to record
Permanent link

Direct link
Time-Constraint-Aware Optimization of Assertions in Embedded Software
Semcon AB, EIS, Linkoping, Sweden.ORCID iD: 0000-0003-1768-6697
Show others and affiliations
2012 (English)In: Journal of electronic testing: Theory and Application (JETTA), Vol. 28, no 4, 469-486 p.Article in journal (Refereed) Published
Abstract [en]

Technology shrinking and sensitization have led to more and more transient faults in embedded systems. Transient faults are intermittent and non-predictable faults caused by external events, such as energetic particles striking the circuits. These faults do not cause permanent damages, but may affect the running applications. One way to ensure the correct execution of these embedded applications is to keep debugging and testing even after shipping of the systems, complemented with recovery/restart options. In this context, the executable assertions that have been widely used in the development process for design validation can be deployed again in the final product. In this way, the application will use the assertion to monitor itself under the actual execution and will not allow erroneous out-of-the-specification behavior to manifest themselves. This kind of software-level fault tolerance may represent a viable solution to the problem of developing commercial off-the-shelf embedded systems with dependability requirements. But software-level fault tolerance comes at a computational cost, which may affect time-constrained applications. Thus, the executable assertions shall be introduced at the best possible points in the application code, in order to satisfy timing constraints, and to maximize the error detection efficiency. We present an approach for optimization of executable assertion placement in time-constrained embedded applications for the detection of transient faults. In this work, assertions have different characteristics such as tightness, i.e., error coverage, and performance degradation. Taking into account these properties, we have developed an optimization methodology, which identifies candidate locations for assertions and selects a set of optimal assertions with the highest tightness at the lowest performance degradation. The set of selected assertions is guaranteed to respect the real-time deadlines of the embedded application. Experimental results have shown the effectiveness of the proposed approach, which provides the designer with a flexible infrastructure for the analysis of time-constrained embedded applications and transient-fault-oriented executable assertions.

Place, publisher, year, edition, pages
Springer Netherlands, 2012. Vol. 28, no 4, 469-486 p.
National Category
Mechanical Engineering
URN: urn:nbn:se:kth:diva-179126DOI: 10.1007/s10836-012-5316-1ISI: 000308364300007OAI: diva2:881368

QC 20160118

Available from: 2015-12-10 Created: 2015-12-10 Last updated: 2016-01-18Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Izosimov, Viacheslav
Mechanical Engineering

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: 15 hits
ReferencesLink to record
Permanent link

Direct link