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

Direct link
Time-Constraint-Aware Optimization of Assertions in Embedded Software
Linköping University, Department of Computer and Information Science, ESLAB - Embedded Systems Laboratory. Linköping University, The Institute of Technology.
University of Verona, Italy .
University of Verona, Italy .
University of Verona, Italy .
Show others and affiliations
2012 (English)In: Journal of electronic testing, ISSN 0923-8174, E-ISSN 1573-0727, 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 Verlag (Germany) , 2012. Vol. 28, no 4, 469-486 p.
Keyword [en]
Fault-detection optimization, Software-level fault tolerance, Time-constrained embedded software, Transient fault, Soft error, Executable assertion
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-84357DOI: 10.1007/s10836-012-5316-1ISI: 000308364300007OAI: diva2:558776
Available from: 2012-10-05 Created: 2012-10-05 Last updated: 2012-10-05

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Izosimov, ViacheslavPeng, Zebo
By organisation
ESLAB - Embedded Systems LaboratoryThe Institute of TechnologySoftware and Systems
In the same journal
Journal of electronic testing
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: 44 hits
ReferencesLink to record
Permanent link

Direct link