Sciweavers

EMSOFT
2004
Springer

Model based estimation and verification of mobile device performance

14 years 6 months ago
Model based estimation and verification of mobile device performance
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurate metrics. Detailed models are time consuming and expensive to build as well as to simulate. In order to strike a right balance, a framework is proposed in this paper that takes advantage of the ity of abstract modeling and intricacies of detailed modeling. Performance is modeled and verified per use case using a hierarchical queuing model of the system. Each component job is represented through characterization functions and service requests. Characterization functions may be parametric regression models derived from job measurements on system level model. A co-design framework is used to simulate and measure the performance of software components. The use case simulator analyzes the performance and verifies the use case requirements. Categories and Subject Descriptors D.4.8 [Performance]: Measurements, mode...
Gopalakrishna Raghavan, Ari Salomaki, Raimondas Le
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where EMSOFT
Authors Gopalakrishna Raghavan, Ari Salomaki, Raimondas Lencevicius
Comments (0)