Publications

 

1. xTune framework for iterative tuning that [sigbed¡¯08, formats¡¯07, rtas-wip¡¯06]

¡Ü employs formal executable specification and system realization

¡Ü performs statistical analysis for quantifiable solution quality

¡Ü allows model refinement to reflect system dynamics

 

[SIGBED¡¯08, RTSS-forum¡¯07] Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian, Carolyn Talcott, ¡°xTune: Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems", IEEE International Real-Time Systems Symposium (RTSS¡¯07) Ph.D. Forum, Dec. 2007, Tucson, AZ, USA. [pdf] [bibtex]
also published as SIGBED Review, Volume 5, Number 1, January 2008
Special Issue on the RTSS Forum on Deeply Embedded Real-Time Computing
Best Overall Idea Award & Best System Architecture Award

 

[FORMATS¡¯07] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, ¡°Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters", International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS¡¯07) in part of ESWEEK, Oct. 2007, Salzburg, Austria., LNCS 4763 (pp. 257 - 273) [pdf] [bibtex]

 

[RTAS-WiP¡¯06]  Minyoung Kim, Nikil Dutt, Nalini Venkatasubramanian, ¡°Policy Construction and Validation for Energy Minimization in Cross Layered Systems: A Formal Method Approach¡±, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS¡¯06) Work-in-Progress Session Apr. 2006, San Jose, CA, USA. (For citation, please refer [FORMATS¡¯07])

 

2. Compositional cross-layer optimization [date¡¯08]

¡Ü via constraint refinement

 

[DATE¡¯08] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, ¡°Constraint Refinement for Online Verifiable Cross-Layer System Adaptation", IEEE/ACM Design Automation and Test in Europe (DATE ¡®08), Mar. 2008, Munich, Germany. [pdf] [bibtex]

 

3. Theoretical foundation [fmoods¡¯07]

¡Ü integrate probabilistic formal methods with cross-layer optimization

 

[FMOOD¡¯07] Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian, ¡°A Probabilistic Formal Approach to Cross-layer Optimization in Distributed Embedded Systems", IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS¡¯07), Jun. 2007, Paphos, Cyprus., LNCS 4468 (pp. 285 - 300) [pdf] [bibtex]

 

4. Sub-layer techniques for cross-layer optimization [ipdpsw¡¯05]

¡Ü PBPAIR: application/network layer [mc2r¡¯06, siumi¡¯05]

¡Ü energy aware co-synthesis: OS/architecture layer [tecs¡¯08, codes-isss¡¯06]

¡Ü hybrid DPM/DVS: application/OS layer [lctes¡¯01]

 

[TECS¡¯08]  Minyoung Kim,  Sudarshan Banerjee, Nikil Dutt, Nalini Venkatasubramanian, ¡°Energy-aware Cosynthesis of Real-time Multimedia Applications on MPSoCs Using Heterogeneous Scheduling Policies¡±, ACM Transactions on Embedded Computing Systems (TECS). 7(2): Article 9, 2008. [pdf] [bibtex]

 

[MCCR¡¯06] Minyoung Kim, Hyunok Oh, Nikil Dutt, Alex Nicolau, Nalini Venkatasubramanian, PBPAIR: An Energy-efficient Error-resilient Encoding Using Probability Based Power Aware Intra Refresh, ACM SIGMOBILE Mob. Comput. Commun. Rev. 10(3): 58-69, 2006. [pdf] [bibtex]

 

[SIUMI¡¯05]  Minyoung Kim, Hyunok Oh, Nikil Dutt, Alex Nicolau, Nalini Venkatasubramanian, ¡°Probability Based Power Aware Error Resilient Coding¡±, Workshop on Services and Infrastructures for the Ubiquitous and Mobile Internet (SIUMI'05) in conjunction with IEEE International Conference on Distributed Computing Systems (ICDCS'05) Jun. 2005, Columbus, Ohio, USA. [pdf] [bibtex]

 

[IPDPSW¡¯05] Shivajit Mohapatra, Radu Cornea, Hyunok Oh, Kyoungwoo Lee, Minyoung Kim, Nikil Dutt, Rajesh Gupta, Alex Nicolau, Sandeep Shukla, Nalini Venkatasubramanian, "A Cross-Layer Approach for Power-Performance Optimization in Distributed Mobile Systems", Workshop on NSF Next Generation Software Program (NSFNGS¡¯05) in conjunction with IEEE International Parallel and Distributed Processing Symposium (IPDPS¡¯05) Apr. 2005, Denver, Colorado, USA. [pdf] [bibtex]

 

[LCTES¡¯01] Minyoung Kim ,  Soonhoi  Ha, "Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor¡±, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES¡¯2001) Jun. 2001, Snowbird, Utah, USA. [pdf] [bibtex]

 

5. Working demo for application driver [estimedia¡¯03]

¡Ü Linux based implementation on Compaq iPAQs

 

[ESTIMEDIA¡¯03] Dohyung Kim, Minyoung Kim, Soonhoi Ha, "A Case Study of System Level Specification and Software Synthesis of Multi-mode Multimedia Terminal¡±, IEEE Workshop on Embedded Systems for Real-time Multimedia (ESTIMedia¡¯2003) in conjunction with IEEE/ACM/IFIP CODES-ISSS¡¯03 Oct. 2003, Newport Beach, CA, USA. [pdf ] [bibtex]

 

6. Future Research Direction

¡Ü Repurposing ICPS (Instrumented Cyber Physical Spaces)

 

[WEBS¡¯08] Minyoung Kim, Daniel Massaguer, Nikil Dutt, Sharad Mehrotra, Shangping Ren, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian, ¡°A Semantic Framework for Reconfiguration of Instrumented Cyber Physical Spaces¡±, Second Workshop on Event-based Semantics (WEBS¡¯08) in conjunction with IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS¡¯08) in part of CPSWEEK, Apr. 2008, St. Louis, MO, USA. [pdf] [bibtex]

 

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

xTune