xTune

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems

Full text

Pdf (82 KB)

Source

ACM SIGBED Review archive
Volume 5 , Issue 1 (January 2008) table of contents
Special issue on the RTSS forum on deeply embedded real-time computing

Article No. 24

Year of Publication: 2008

Author

Minyoung Kim

Center for Embedded Comput. Sys., Univ. of California Irvine

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 36, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1366283.1366307 What is a DOI?

ABSTRACT

Adaptive resource management is critical to ensuring the quality of real-time multimedia communication, particularly for energy-constrained mobile handheld devices. In this context, a holistic cross-layer optimization considering multiple layers (e.g., application, middleware, operating system) needs to be developed for continuous adaptation of system parameters. This thesis proposes a unified framework that employs iterative policy/parameter tuning by combining light-weight, on-the-fly formal verification with feedback for dynamic adaptation. The integration of formal analysis with dynamic behavior from system execution will result in a feedback loop that enables model refinement and further optimization of policies and parameters. Our unified framework tunes the parameters in a compositional manner allowing coordinated interaction among sub-layer optimizers that enables holistic cross-layer optimization.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	[1] xTune Framework. http://xtune.ics.uci.edu.
	2	[2] Forge Project. http://forge.ics.uci.edu.
	3	[3] Maude System. http://maude.csl.sri.com.
	4	[4] M. Kim, M.-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian. Constraint Refinement for Online Verifiable Cross-Layer System Adaptation. DATE '08, to appear.
	5	[5] M. Kim, M.-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian. Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. FORMATS '07, volume 4763 of LNCS, pages 257-273.
	6	[6] M. Kim, M.-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian. A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems. FMOODS '07, volume 4468 of LNCS, pages 285-300.
	7	[7] M. Kim, S. Banerjee, N. Dutt, N. Venkatasubramanian. Energy-aware Co-synthesis of Real Time Multimedia Applications on MPSoCs. ACM Trans. on Embedded Computing Sys., accepted for publication.
	8	Minyoung Kim , Sudarshan Banerjee , Nikil Dutt , Nalini Venkatasubramanian, Design space exploration of real-time multi-media MPSoCs with heterogeneous scheduling policies, Proceedings of the 4th international conference on Hardware/software codesign and system synthesis, October 22-25, 2006, Seoul, Korea [doi>10.1145/1176254.1176261]
	9	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 Mobile Computing and Communications Review, v.10 n.3, July 2006 [doi>10.1145/1148094.1148100]
	10	[10] M. Kim, N. Dutt, N. Venkatasubramanian. Policy Construction and Validation for Energy Minimization in Cross Layered Systems: A Formal Method Approach. RTAS '06 WiP Session.
	11	Minyoung Kim , Hyunok Oh , Nikil Dutt , Alex Nicolau , Nalini Venkatasubramanian, Probability Based Power Aware Error Resilient Coding, Proceedings of the First International Workshop on Services and Infrastructure for the Ubiquitous and Mobile Internet (SIUMI) (ICDCSW'05), p.307-313, June 06-10, 2005 [doi>10.1109/ICDCSW.2005.113]
	12	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, Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10, p.218.1, April 04-08, 2005 [doi>10.1109/IPDPS.2005.13]
	13	[13] D. Kim, M. Kim, S. Ha A Case Study of System Level Specification and Software Synthesis of Multimode Multimedia Terminal. ESTImedia '03, pages 57-64.
	14	[14] M. Kim, S. Ha. Hybrid Run-time Power Management Technique for Real-time Embedded System with Voltage Scalable Processor. LCTES '01, pages 11-19.