Research

I am working with Prof. Sayan Mitra within the Center for Reliable and High-Performance Computing at the Coordinated Science Laboratory of the University of Illinois at Urbana-Champaign.

Publications

2009

RTSS 2009
Presented "Handling Failures in Cyber-Physical Systems: Potential Directions" at PhD Student Forum <pdf (abstract), pdf (slides)>

The strong coupling of software and physical processes in the emerging field of cyber-physical systems (CPS) motivates the development of new methods to respond to failures in both the cyber and physical domains. To this end, we propose a study of existing work on handling failures from various disciplines. If these models and methods are applicable to CPS, appropriate extensions should be made to apply them. However, if they are not, then we should head off into uncharted territory, developing new methods, which we suggest to be drawn from fields such as formal methods and verification.

RTAS 2009
Presented "Power Usage of Time and Event-Triggered Paradigms: A Case Study" at Poster Session <pdf (abstract), pdf (poster), source code>

We evaluate the time-triggered and event-triggered programming paradigms in the context of developing large-scale distributed real-time systems with fault-tolerance. To this end, we present a simple case study using the Lego Mindstorms NXT platform in an intrusion detection problem, and compare the power consumption and accuracy of event detection in time-triggered and event-triggered systems. We use this case study comparison as part of the motivation for the development of a new mixed event-triggered and time-triggered language.