|
Summary |
|
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. We propose a unified framework xTune 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.
|
|
Online Verifiable Cross-Layer Adaptation for Distributed Real-Time Embedded Systems |
|
xTune |
|
News |
|
xTune wins ¡°Best Overall Idea Award¡± and ¡°Best System Architecture Award¡± from NSF sponsored IEEE RTSS¡¯07 student forum. |