INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties

TitleINSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties
Publication TypeConference Paper
Year of Publication2013
AuthorsKashif, H., P. Arafa, and S. Fischmeister
Conference NameProc. of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Date PublishedAugust
Conference LocationTaipei, 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.

We present the first instrumentation framework, INSTEP, that preserves logical correctness and a rich set of extra-functional properties. INSTEP derives instrumentation alternatives based on the developer’s instrumentation intent (II), abstracts the program and prunes the search space, and then instruments the program based on constraints and cost models of competing properties. We demonstrate and experiment with a fully automated framework of INSTEP with different IIs and extra-functional properties. We also experiment with a large automotive case study to show the scalability of INSTEP.

Refereed DesignationRefereed
Related files: 


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