Using observation ageing to improve Markovian model learning in QoS engineering

ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering

Volumn , Issue , 2011, Pages 505-510

  Calinescu, Radu ^a   Johnson, Kenneth ^a   Rafiq, Yasmin ^a  

^a ASTON UNIVERSITY   (United Kingdom)

Author keywords

Algorithms; Measurement; Reliability; Theory

Indexed keywords

BAYESIAN TECHNIQUES; BIOINFORMATICS WORKFLOWS; DEPLOYED SYSTEMS; DISCRETE TIME MARKOV CHAINS; MARKOVIAN MODEL; MODEL PARAMETERS; PROBABILISTIC MODELS; STATE TRANSITION PROBABILITIES; SYSTEM DESIGN; THEORY;

ALGORITHMS; BIOINFORMATICS; MARKOV PROCESSES; MODEL CHECKING; QUALITY OF SERVICE; RELIABILITY THEORY; SYSTEMS ANALYSIS;

MATHEMATICAL MODELS;

EID: 79953842360     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1958746.1958823     Document Type: Conference Paper

References (16)

1. S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni. Model-based performance prediction in software development: A survey. IEEE Trans. Softw. Eng., 30:295-310, May 2004.
2. R. Calinescu, L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli. Dynamic QoS management and optimisation in service-based systems. IEEE Transactions on Software Engineering, 99(PrePrints), 2010.
3. R. Calinescu and S. Kikuchi. Formal methods at runtime. In Modelling, Development and Verification of Adaptive Computer Systems, Lecture Notes in Computer Science. Springer, 2011. To appear.
4. R. Calinescu and M. Kwiatkowska. Using quantitative analysis to implement autonomic IT systems. In Proceedings of the 31st International Conference on Software Engineering (ICSE'09), pages 100-110, 2009.
5. I. Epifani, C. Ghezzi, R. Mirandola, and G. Tamburrelli. Model evolution by run-time parameter adaptation. In Proceedings of the 31st International Conference on Software Engineering, ICSE '09, pages 111-121, Washington, DC, USA, 2009. IEEE Computer Society.
6. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
7. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. In H. Hermanns and J. Palsberg, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 3920 of Lecture Notes in Computer Science, pages 441-444. Springer Berlin / Heidelberg, 2006. (Pubitemid 44019387)
8. D. Hull, K. Wolstencroft, R. Stevens, C. Goble, M. Pocock, P. Li, and T. Oinn. Taverna: a tool for building and running workflows of services. Nucleic Acids Research, 34(Web Server issue):729-732, July 2006.
9. J.-P. Katoen, M. Khattri, and I. S. Zapreev. A Markov reward model checker. In Quantitative Evaluation of Systems, pages 243-244, Los Alamitos, 2005. IEEE Computer Society.
10. M. Kwiatkowska. Quantitative verification: Models, techniques and tools. In Proc. 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 449-458. ACM Press, September 2007. (Pubitemid 351438700)
11. R. Pietrantuono, S. Russo, and K. S. Trivedi. Online monitoring of software system reliability. European Dependable Computing Conference, 0:209-218, 2010.
12. F. Raimondi, J. Skene, and W. Emmerich. Efficient online monitoring of web-service SLAs. In Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pages 170-180, New York, NY, USA, 2008. ACM.
13. C. C. Strelioff, J. P. Crutchfield, and A. W. Hübler. Inferring Markov chains: Bayesian estimation, model comparison, entropy rate, and out-of-class modeling. Phys. Rev. E, 76(1):011106, Jul 2007.
14. H. L. S. Younes. Ymer: A statistical model checker. In K. Etessami et al., editors, Computer Aided Verification, volume 3576 of LNCS, pages 429-433. Springer, Berlin, 2005. (Pubitemid 41431754)
15. T. Zheng, M. Woodside, and M. Litoiu. Performance model estimation and tracking using optimal filters. IEEE Transactions on Software Engineering, 34(3):391-406, 2008.
16. T. Zheng, J. Yang, M. Woodside, M. Litoiu, and G. Iszlai. Tracking time-varying parameters in software systems with extended Kalman filters. In Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research, CASCON '05, pages 334-345. IBM Press, 2005.