Skip to main content
SpringerLink
Log in

An Analytical Framework to Deal with Changing Points and Variable Distributions in Quality Assessment

  • Chapter
  • First Online:
Principles of Performance and Reliability Modeling and Evaluation

Part of the book series: Springer Series in Reliability Engineering ((RELIABILITY))

  • 1143 Accesses

Abstract

Nonfunctional properties such as dependability and performance have growing impact on the design of a broad range of systems and services, where tighter constraints and stronger requirements have to be met. This way, aspects such as dependencies or interference, quite often neglected, now have to be taken into account due to the higher demand in terms of quality. In this chapter, we associate such aspects with operating conditions for a system, proposing an analytical framework to evaluate the effects of condition changing to the system quality properties. Starting from the phase type expansion technique, we developed a fitting algorithm able to catch the behavior of the system at changing points, implementing a codomain memory policy forcing the continuity of the observed quantity when operating conditions change. Then, to also deal with the state-space explosion problem of the underlying stochastic process, we resort to Kronecker algebra providing a tool able to evaluate, both in transient and steady states, nonfunctional properties of systems affected by variable operating conditions. Some examples from different domains are discussed to demonstrate the effectiveness of the proposed framework and its suitability to a wide range of problems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    This is an approximation we made because the speed is not constant but a r.v. Thus, the supplied power is a r.v. too. The approximation introduced is not required by the proposed method and we made it just to simplify the presentation because our purpose is to show the effectiveness of the technique and not to study the mechanical system with high accuracy.

References

  1. Finkelstein MS (1999) Wearing-out of components in a variable environment. Reliab Eng Syst Saf 66(3):235–242

    Article  Google Scholar 

  2. Sedyakin N (1966) On one physical principle in reliability theory. Tekhn Kibernetika (in Russian—Tech Cybern) 3:80–87

    Google Scholar 

  3. Ciardo G, Marie R, Sericola B, Trivedi K (1990) Performability analysis using semi-Markov reward processes. IEEE Trans Comput 39:1252–1264

    Article  Google Scholar 

  4. Limnios N, Oprisan G (2001) Semi-Markov processes and reliability, ser. Statistics for industry and technology. Birkhäuser, Boston, MA, USA

    Google Scholar 

  5. Gribaudo M, Bobbio A, Sereno M (2001) Modeling physical quantities in industrial systems using fluid stochastic Petri nets. In: Proceeding of fifth international workshop on performability modeling of computer and communication systems (PMCCS 5), 2001, pp 81–85

    Google Scholar 

  6. Ciardo G, Nicol D, Trivedi KS (1999) Discrete-event simulation of fluid stochastic Petri nets. IEEE Trans Softw Eng 2:207–217

    Article  Google Scholar 

  7. Brokemeyer F, Halstron HS, Jensen A (1948) The life and works of A. K. Erlang. Trans Danish Acad Tech Sci 2

    Google Scholar 

  8. Neuts MF, Meier KS (1981) On the use of phase type distributions in reliability modelling of systems with two components. OR Spectr 2(4):227–234

    Article  MATH  Google Scholar 

  9. Neuts MF (1981) Matrix-geometric solutions in stochastic models: an algorithmic approach. Johns Hopkins University Press, Baltimore

    MATH  Google Scholar 

  10. Scarpa M (1999) Non Markovian stochastic Petri nets with concurrent generally distributed transtions. PhD dissertation, University of Turin

    Google Scholar 

  11. Pérez-Ocón R, Montoro-Cazorla D (2004) A multiple system governed by a quasi-birth-and-death process. Reliab Eng Syst Saf 84(2):187–196

    Article  Google Scholar 

  12. Buchholz P, Ciardo G, Donatelli S, Kemper P (2000) Complexity of memory-efficient kronecker operations with applications to the solution of markov models. Inf J Comput 12(3):203–222

    Article  MathSciNet  MATH  Google Scholar 

  13. Distefano S, Longo F, Scarpa M (2010) Availability assessment of ha standby redundant clusters. In: SRDS, 2010, pp 265–274

    Google Scholar 

  14. Distefano S, Longo F, Scarpa M (2010) Symbolic representation techniques in dynamic reliability evaluation. In: HASE, 2010, pp 45–53

    Google Scholar 

  15. Bruneo D, Distefano S, Longo F, Puliafito A, Scarpa M (2010) Reliability assessment of wireless sensor nodes with non-linear battery discharge. In: Wireless Days (WD), 2010 IFIP, Oct 2010, pp 1–5

    Google Scholar 

  16. Bruneo D, Longo F, Puliafito A, Scarpa M, Distefano S (2010) Software rejuvenation in the cloud. In: Proceedings of the 5th international ICST conference on simulation tools and techniques, ser. SIMUTOOLS ’12. ICST, ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), Brussels, Belgium, Belgium, pp 8–16 [Online]. http://dl.acm.org/citation.cfm?id=2263019.2263022

  17. Bruneo D, Distefano S, Longo F, Puliafito A, Scarpa M (2012) Evaluating wireless sensor node longevity through Markovian techniques. Comput Netw 56(2):521–532

    Article  Google Scholar 

  18. Bruneo D, Distefano S, Longo F, Puliafito A, Scarpa M (2013) Workload-based software rejuvenation in cloud systems. IEEE Trans Comput 62(6):1072–1085

    Article  MathSciNet  Google Scholar 

  19. Distefano S, Bruneo D, Longo F, Scarpa M (2013) Quantitative dependability assessment of distributed systems subject to variable conditions. In: Pathan M, Wei G, Fortino G (eds) Internet and distributed computing systems, ser. Lecture notes in computer science, vol 8223. Springer, Berlin, pp 385–398 [Online]. http://dx.doi.org/10.1007/978-3-642-41428-2_31

    Google Scholar 

  20. Distefano S, Longo F, Scarpa M (2013) Investigating mobile crowdsensing application performance. In: Proceedings of the third ACM international symposium on design and analysis of intelligent vehicular networks and applications, ser. DIVANet ’13. ACM, New York, NY, USA, pp. 77–84 [Online]. http://doi.acm.org/10.1145/2512921.2512931

  21. Distefano S, Longo F, Scarpa M, Trivedi K (2014) Non-markovian modeling of a bladecenter chassis midplane. In: Horvath A, Wolter K (eds) Computer performance engineering, ser. Lecture notes in computer science, vol 8721. Springer International Publishing, pp. 255–269 [Online]. http://dx.doi.org/10.1007/978-3-319-10885-8_18

    Google Scholar 

  22. Longo F, Bruneo D, Distefano S, Scarpa M (20104) Variable operating conditions in distributed systems: modeling and evaluation. Concurrency and computation: practice and experience, pp n/a-n/a, 2014 [Online]. http://dx.doi.org/10.1002/cpe.3419

  23. Longo F, Distefano S, Bruneo D, Scarpa M (2015) Dependability modeling of software defined networking. Comput Netw 83(0):280–296 [Online]. http://www.sciencedirect.com/science/article/pii/S1389128615001139

    Google Scholar 

  24. Cumani A (1985) ESP—a package for the evaluation of stochastic Petri nets with phase-type distributed transition times. In: PNPM, pp 144–151

    Google Scholar 

  25. Bobbio A, Scarpa M (1998) Kronecker representation of stochastic petri nets with discrete ph distributions. In: Proceedings of the third IEEE annual international computer performance anddependability sympousim (IPDS ’98)

    Google Scholar 

  26. Horvath A, Puliafito A, Telek M, Scarpa M (2000) Analysis and evaluation of non-markovian stochastic Petri nets. In: Tools 2000. Springer, Schaumburg, IL, USA, March 2000, pp 171–187

    Google Scholar 

  27. Buchholz P, Ciardo G, Donatelli S, Kemper P (1997) Complexity of kronecker operations on sparse matrices with applications to the solution of markov models. Technical report

    Google Scholar 

  28. Longo F, Scarpa M (2009) Applying symbolic techniques to the representation of non-markovian models with continuous ph distributions. In: EPEW ’09: Proceedings of the 6th European performance engineering workshop on computer performance engineering. Springer, Berlin, Heidelberg, pp 44–58

    Google Scholar 

  29. Longo F, Scarpa M (2015) Two-layer symbolic representation for stochastic models with phase-type distributed events. Int J Syst Sci 46(9):1540–1571

    Article  MathSciNet  MATH  Google Scholar 

  30. Franz R, Gradischnig K, Huber M, Stiefel R (1994) Atm-based signaling network topics on reliability and performance. IEEE J Sel Areas Commun 12(3):517–525

    Article  Google Scholar 

  31. Herrmann C, Lott M, Du Y, Hettich A (1998) A wireless atm lan prototype: test bed implementation and first performance results. In: Proceedings of the of MTT-S wireless’98 symposium, pp 145–150

    Google Scholar 

  32. Liu H-L, Shooman M (2003) Reliability computation of an ip/atm network with congestion. In: Annual reliability and maintainability symposium, pp 581–586

    Google Scholar 

  33. Bruneo D (2014) A stochastic model to investigate data center performance and qos in iaas cloud computing systems. IEEE Trans Parallel Distrib Syst 25(3):560–569

    Article  Google Scholar 

  34. Ganti R, Ye F, Lei H (2011) Mobile crowdsensing: current state and future challenges. IEEE Commun Mag 49(11):32–39

    Article  Google Scholar 

  35. Carroll A, Heiser G (2010) An analysis of power consumption in a smartphone. In: Proceedings of the 2010 USENIX conference on USENIX annual technical conference, ser. USENIXATC’10. USENIX Association, Berkeley, CA, USA, pp 21–21

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria, Università degli Studi di Messina, C.da di Dio, 98166, Messina, Italy

    Dario Bruneo, Francesco Longo & Marco Scarpa

  2. Higher Institute for Information Technology and Information Systems Kazan Federal University, 35 Kremlevskaya Street, 420008, Kazan, Russia

    Salvatore Distefano

  3. Dipartimento di Scienze Matematiche e Informatiche, Scienze Fisiche e Scienze della Terra, Università degli Studi di Messina, Viale F. Stagno d’Alcontres, 31, 98166, Messina, Italy

    Salvatore Distefano

Authors
  1. Dario Bruneo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Salvatore Distefano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francesco Longo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marco Scarpa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dario Bruneo .

Editor information

Editors and Affiliations

  1. University of Massachusetts Dartmou, Dartmouth, Massachusetts, USA

    Lance Fiondella

  2. Università degli studi di Messina, Messina, Italy

    Antonio Puliafito

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Bruneo, D., Distefano, S., Longo, F., Scarpa, M. (2016). An Analytical Framework to Deal with Changing Points and Variable Distributions in Quality Assessment. In: Fiondella, L., Puliafito, A. (eds) Principles of Performance and Reliability Modeling and Evaluation. Springer Series in Reliability Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-30599-8_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-30599-8_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-30597-4

  • Online ISBN: 978-3-319-30599-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation