In this paper we present a static analysis approach for inspecting Java programs and characterizing them with respect to their resource consumption in a given execution environment. We target, in particular, resource constrained devices that are characterized by resource scarcity and limited computational power. The focus of this paper is on a parametrical Abstract Resource Analyzer that performs the actual analysis and is supported by a Resource Model that allows us to abstract application behavior in terms of its resource needs. The presented components are integrated in a larger framework that provides a complete system for reasoning and adapting Java programs with respect to heterogeneous contexts.
展开▼
