News

Minyoung Kim presented her thesis topic
"xTune: Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems"
at a Ph.D. Student Forum on Deeply Embedded Real-Time Computing
Sponsored by the National Science Foundation
Chairs: Xue Liu (McGill), Tarek Abdelzaher (UIUC) On December 3rd,
In conjunction with: RTSS 2007 (http://www.rtss.org) Dec 3-6, Tucson, Arizona, USA

Award certificates are given for
1. the most innovative application
2. the most interesting interdisciplinary research problem
3. the best system architecture
4. the best demo
5. the best presentation
6. the most open question idea
7. the best overall idea; this award is chosen from the above 6 winners

xTune wins the best overall idea award and the best system architecture award !

 

Best Overall Idea Award / Best System Architecture Award

IEEE RTSS’07 Student Forum

Dec/2007

Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems

xTune

Minyoung Kim presented xTune framework -
"Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters"          at the 5th International Conference on Formal Modeling and Analysis of Timed Systems
Guest conference of the Embedded Systems Week (http://www.esweek.org), Oct 3-5, Salzburg, Austria

 

FORMATS’07, guest conference of the ESWEEK

Oct/2007