Static Slack-Based Instrumentation of Programs

TitleStatic Slack-Based Instrumentation of Programs
Publication TypeConference Paper
Year of Publication2015
AuthorsKashif, H., J. Thomas, H. Patel, and S. Fischmeister
Conference NameProc. of the 20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Date PublishedSeptember
Conference LocationLuxembourg
DOI10.1109/ETFA.2015.7301505
Refereed DesignationRefereed
Full Text

Real-time embedded programs are time sensitive and, to trace such programs, the instrumentation mechanism must honor the programs' timing constraints. We present a time-aware instrumentation technique that injects program code with slack-based conditional instrumentation. The central idea is to execute instrumentation code only when its execution does not increase the worst-case execution time beyond a program's deadline. This occurs at run-time. Unlike previous efforts, this work allows instrumenting on the path that results in the worst-case execution time of the program. We propose a software, and a hardware method of allowing for slack-based conditional instrumentation. We evaluate and compare these two alternatives using a common benchmark suite for real-time systems. Our results show that, on average, the two proposed methods achieve 57% and 80% instrumentation coverage, respectively, compared to only a 3% coverage by previous work.

 
Related files: 

Opportunities

Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.