People/Web Search Calendar Emergency Info A-Z Index UVA Email University of Virginia

Computer Science Colloquia

Thursday, May 24, 2012
Tamim Sookoor
Advisor: Kamin Whitehouse
Attending Faculty: John A. Stankovic, chair; Sang H. Son; Gabriel Robins; and Stephen D. Patek, Minor Representative

12:00 PM, Rice Hall, Rm. 242

PhD Defense Presentation
Application Development for Cyber-Physical Systems: Programming Language Concepts and Case Studies


Cyber-Physical Systems (CPSs) combine low-power radios with tiny embedded processors in order to simultaneously cover large geographic areas and provide high-resolution sensing/actuation. However, CPSs are extremely difficult to program. We address this issue by presenting a macroprogramming framework called MacroLab that offers a vector programming abstraction similar to Matlab for CPSs. As a crucial component of application development, we also address the issue of debugging CPSs through MDB, the first system to support the debugging of macroprograms. MDB allows the user to set breakpoints and step through a macroprogram using a source-level debugging interface similar to GDB, a process we call macrodebugging. We evaluate the effectiveness of MacroLab for CPS application development through a series of case-studies based on an occupancy-oriented Heating, ventilation, and air conditioning (HVAC) controller in a smart home environment.