July 1, 2008
Embedded Software Blog Launched

The Embedded Software Blog has officially launched on CECS. You will find articles posted by our faculty, students, and staff regarding all things embedded. The blog can be reached by clicking on the link at the very top left navigation bar or via the link below.

If you are a CECS member who wishes to contribute to the blog or have any questions, please contact our webmaster or consult faculty members who are currently contributing, i.e. Professor Tony Givargis, Professor Pai Chou, and others.
Embedded Software Blog

July 8 , 2008
PhD Defense
"xTune: A Formal Methodology for Cross-layer Tuning of Mobile Real-time Embedded Systems"

Speaker:

Minyoung Kim University of California, Irvine

Resource limited mobile real-time embedded systems can benefit greatly from  dynamic adaptation of system parameters. This thesis proposes a novel framework  xTune that employs iterative tuning using light-weight formal verification at runtime with feedback for dynamic adaptation. One objective of this approach is to enable tradeoff analysis across multiple layers...
view abstract