Skip to main content
Springer Nature Link
Log in

Performability modeling of electronic funds transfer systems

  • Published:
Computing Aims and scope Submit manuscript

Abstract

Dependability is a paramount requirement for computer systems, since failures can cause a serious economic impact and jeopardize profitability. This paper considers electronic funds transfer (EFT) systems, where computing resources must be used efficiently in order to achieve high availability and reliability for a high quality of the offered service. The design of fault-tolerant computer systems requires their model-based performability evaluation. A stochastic Petri net model of EFT architecture and behavior is presented to evaluate the impact of availability and reliability issues on computational resources. An industrial case study shows the practical usability of the proposed models and techniques.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Crowe D, Feinberg A (2001) Design for reliability. CRC Press, West Palm Beach

    Book  Google Scholar 

  2. Jain R (1991) The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling. Wiley, New York

    MATH  Google Scholar 

  3. Menascé DA, Almeida VAF, Fonseca R, Mendes MA (1999) A methodology for workload characterization of e-commerce sites. ACM Press, New York

    Google Scholar 

  4. Menascé DA, Almeida VAF (2005) Performance by design: computer capacity planning by example. Prentice Hall PTR, Englewood Cliffs

    Google Scholar 

  5. German R (2000) Performance analysis of communication systems with non-Markovian stochastic Petri nets. Wiley, New York

    MATH  Google Scholar 

  6. Desrochers AA, Al-Jaar RY (1995) Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis. IEEE Press, Piscataway, New Jersey

    MATH  Google Scholar 

  7. Sousa E, Maciel P, Araujo C, Chicout F (2009) Performability evaluation of EFT systems for SLA assurance. IEEE Int Symp Parallel Distributed Process 1–8. doi:10.1109/IPDPS.2009.5161227

  8. Sousa E, Maciel P, Araujo C, Chicout F, Alves G (2009) Performance modeling for evaluation and planning of electronic funds transfer systems. IEEE Symp Comp Commun 73–76. doi:10.1109/ISCC.2009.5202403

  9. Gharbi N, Ioualalen M (2006) GSPN analysis of retrial systems with servers breakdowns and repairs. Appl Math Comput 174: 1151–1168

    Article  MATH  MathSciNet  Google Scholar 

  10. Hellerstein JL, Katircioglu K, Surendra M (2005) An on-line, business-oriented optimization of performance and availability for utility computing. Selected areas in communications. IEEE J 23(10): 2013–2021. doi:10.1109/JSAC.2005.854125

    Google Scholar 

  11. Trivedi KS, Hunter S, Garg S, Fricks R (1996) Reliability analysis techniques explored through a communication network example. In: Proceedings of international workshop on computer-aided design, test, and evaluation for dependability, Beijing, China, 2–3 July 1996

  12. Catalan ML, Ludena DA, Umeno H (2007) VM-based benchmark and analysis system for testing online transaction processing. In: Proceedings of the second International conference on innovative computing, informatio and control, ICICIC, IEEE Computer Society, Washington, DC, p 18, 5–7 Sep 2007. Available at http://dx.doi.org/10.1109/ICICIC.2007.619

  13. Zhang Q, Mi N, Smirni E, Riska A, Riedel E (2006) Evaluating the performability of systems with background jobs. In: Proceedings of the international conference on dependable systems and networks, pp 495–504

  14. Sesmun A, Turner LF (2000) Using performability in the design of communication networks. IEEE Proc Comput Digital Tech 147(5): 355–363. doi:10.1049/ip-cdt:20000741

    Article  Google Scholar 

  15. Avizienis A, Laprie JC, Randell B (2001) Fundamental concepts of dependability. Technical report 739, Department of Computing Science, University of Newcastle upon Tyne Computing Science

  16. Meyer JF, Sanders WH (1993) Specification and construction of performability models. Second international workshop on performability modeling of computer and communication systems

  17. Johnson BW (1989) Design and analysis of fault-tolerant digital systems. Addison-Wesley, Reading

    Google Scholar 

  18. Haverkort BR, Marie R, Rubino G, Trivedi KS (2001) Performability modelling: techniques and tools. Wiley, New York

    Google Scholar 

  19. Puliafito A, Riccobene S, Scarpa M (1996) Evaluation of performability parameters in client–server environments. Comp J 39(8): 647–662

    Article  Google Scholar 

  20. Sahner R, Trivedi KS, Puliafito A (1996) Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package. Kluwer, Dordrecht

    MATH  Google Scholar 

  21. Reisig W (1985) Petri nets: an introduction. Springer, New York

    MATH  Google Scholar 

  22. Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, New York

    MATH  Google Scholar 

  23. Malhotra M, Reibman A (1993) Selecting and implementing phase approximations for semi-Markov models. In: Communications in statistics: stochastic models, vol 9, pp 473–506

  24. Trivedi KS (2006) Probability and statistics with reliability, queuing, and computer science applications, 2nd edn. Wiley, New York

    Google Scholar 

  25. Geffroy JC, Motet G (2002) Design of dependable computing systems. Kluwer Academic Publishers, Dordrecht

    MATH  Google Scholar 

  26. Aviienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput

  27. Pradhan DK (1996) Fault-tolerant computer system design

  28. Sousa E, Maciel P, Araujo C (2009) Performability evaluation of EFT systems using expolinomial stochastic models. IEEE Int Conf Syst Man Cybern 3328–3333, 11–14 Oct 2009. doi:10.1109/ICSMC.2009.5346203

  29. Itautec (1999) Reference guide to the scope—electronic payment system

  30. Friedman M (2005) Microsoft Windows Server 2003 Performance Guide. Microsoft Press Redmond, USA

    Google Scholar 

  31. Zimmermann A, Knoke M (2007) TimeNET 4.0: A software tool for the performability evaluation with stochastic and colored Petri nets; user manual. TU, Professoren der Fak. IV

  32. Lilja DJ (2000) Measuring computer performance: a practitioner’s guide. Cambridge University Press, Cambridge

    Book  Google Scholar 

  33. Trivedi KS, Malhotra M, Fricks RM (1994) Markov reward approach to performability and reliability analysis. Modeling, analysis, and simulation of computer and telecommunication systems, MASCOTS’94. Proceedings of the second international workshop, pp 7–11, 31 Jan–2 Feb 1994

  34. Araujo C, Sousa E, Maciel P, Chicout F, Andrade E (2009) Performance modeling for evaluation and planning of electronic funds transfer systems with bursty arrival traffic. INTENSIVE ’09, First international conference on intensive applications and services, pp 65–70, 20–25 April 2009. doi:10.1109/INTENSIVE.2009.17

  35. Sastre RJL, Bascon SM, Herrero FJL (2006) New electronic funds transfer services over IP. Electrotechnical Conference, 2006. MELECON 2006. IEEE Mediterranean, pp 733–736, 16–19 May 2006. doi:10.1109/MELCON.2006.1653204

  36. Read RJ (1989) EFTPOs: electronic funds transfer at point of sale. Electron Commun Eng J 1(6): 263–270

    Article  Google Scholar 

  37. Staskauskas MG (1988) The formal specification and design of a distributed electronic funds-transfer system. IEEE Trans Comput

Download references

Author information

Authors and Affiliations

  1. Informatics Center (CIn), Federal University of Pernambuco (UFPE), Av. Prof. Luiz Freire, s/n, Recife, Brazil

    Carlos Araújo, Paulo Maciel, Ermeson Andrade, Erica Sousa, Gustavo Callou & Paulo Cunha

  2. Technische Universität Ilmenau, Fakultät für Informatik und Automatisierung, Fachgebiet System Software Engineering, PF 100565, 98684, Ilmenau, Germany

    Armin Zimmermann

  3. Academic Unit of Garanhuns, Federal Rural University of Pernambuco (UFRPE), Av. Bom Pastor, S/N, Garanhuns, Brazil

    Erica Sousa

Authors
  1. Carlos Araújo
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Paulo Maciel
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Armin Zimmermann
    View author publications

    You can also search for this author inPubMed Google Scholar

  4. Ermeson Andrade
    View author publications

    You can also search for this author inPubMed Google Scholar

  5. Erica Sousa
    View author publications

    You can also search for this author inPubMed Google Scholar

  6. Gustavo Callou
    View author publications

    You can also search for this author inPubMed Google Scholar

  7. Paulo Cunha
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Carlos Araújo.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Araújo, C., Maciel, P., Zimmermann, A. et al. Performability modeling of electronic funds transfer systems. Computing 91, 315–334 (2011). https://doi.org/10.1007/s00607-010-0121-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00607-010-0121-0

Keywords

Mathematics Subject Classification (2000)