|Title||INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties|
|Publication Type||Conference Paper|
|Year of Publication||2013|
|Authors||Kashif, H., P. Arafa, and S. Fischmeister|
|Conference Name||Proc. of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)|
|Conference Location||Taipei, Taiwan|
Tracing is a well-established method for debugging programs. Current approaches aim only at preserving functional correctness during the instrumentation. Preservation of functional correctness is a necessary feature of all instrumentation tools. However, few existing instrumentation tools preserve extra-functional properties of a program. Specific classes of software are unable to leverage software instrumentation; e.g., timing for real-time systems, memory consumption for embedded software, and tracing bandwidth for on-board software.