Constraint Refinement for Online Verifiable Cross-Layer System Adaptation


M. Kim, M. -O. Stehr, C. Talcott, N. Dutt and N. Venkatasubramanian, “Constraint Refinement for Online Verifiable Cross-Layer System Adaptation,” 2008 Design, Automation and Test in Europe, 2008, pp. 646-651, doi: 10.1109/DATE.2008.4484750.


Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this context, an optimization that simultaneously considers multiple layers (e.g., application, middleware, operating system) needs to be developed for continuous adaptation of system parameters. The tuning of system parameters greatly affects the system’s ability to meet QoS requirements, and also directly affects the energy consumption and system robustness. We present a novel approach to developing cross-layer optimization for resource limited real-time distributed systems, based on a constraint refinement technique combined with formal specification and feedback from system implementation. Our approach tunes the parameters in a compositional manner allowing coordinated interaction among sub-layer optimizers that enables holistic cross-layer optimization. We present experiments on a realistic multimedia application which demonstrate that constraint refinement enables us to generate robust and near optimal parameter settings. The constraint language can be used as an interface for composition by encapsulating the details of local optimization algorithms.

Read more from SRI