Washington University, St. Louis Engineering

CSE Colloquium

4/6/2012

CSE Colloquium

11:00 AM

Lopata Hall, Room 101

Sebastian Fischmeister
Assistant Professor
University of Waterloo
 
Code Instrumentation With Non-functional Properties

Code instrumentation is a common method for tracing programs. Developers use it to understand and monitor modern systems with millions of lines of code. Unfortunately, current software-based tracing methods concentrate on preserving logical correctness only and are thus inadequate for application areas such as embedded systems, real-time systems, and concurrent software. This talk presents a new side of code instrumentation; considering non-functional properties. Specifically, the talk discusses two approaches relevant for time-sensitive applications: (1) Time-aware instrumentation preserves timing constraints under instrumentation and (2) time-triggered runtime verification provides sound monitoring while preserving jitter and resource demand bounds. Although the two approaches concentrate on timing aspects, they clearly demonstrate the need for future work on instrumentation mechanisms that preserve non-functional properties.
 
Biography
 
Sebastian Fischmeister is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, Canada. He received his MASc in Computer Science at the Vienna University of Technology, Austria, and his Ph.D. degree at the University of Salzburg, Austria. He was awarded the APART stipend in 2005 and worked as a research associate at the University of Pennsylvania, USA, until 2008. He performs systems research at the intersection of software technology, distributed systems, and formal methods. His preferred application areas are distributed real-time embedded systems in the domain of automotive systems, avionics, and medical devices.
 
 

Computer Science & Engineering

Computer Science & Engineering, (314) 935-6160

Back to Calendar

Washington University in St. Louis School of Engineering & Applied Science, Department of Computer Science & Engineering

Bryan Hall, CB 1045, 1 Brookings Drive, Saint Louis, MO, USA 63130
Phone: (314) 935-6160, Fax: (314) 935-7302

Reduce Font SizeEnlarge Font SizePrint Page