, Volume 91, Issue 4, pp 315–334 | Cite as

Performability modeling of electronic funds transfer systems

  • Carlos Araújo
  • Paulo Maciel
  • Armin Zimmermann
  • Ermeson Andrade
  • Erica Sousa
  • Gustavo Callou
  • Paulo Cunha


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.


EFT system Performance and reliability analysis Modeling Faults Model Stochastic Petri nets 

Mathematics Subject Classification (2000)

60-XX Probability theory and stochastic processes 60Gxx Stochastic processes 60Hxx Stochastic analysis 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Crowe D, Feinberg A (2001) Design for reliability. CRC Press, West Palm BeachCrossRefGoogle Scholar
  2. 2.
    Jain R (1991) The art of computer systems performance analysis: techniques for experimental design, measurement, simulation, and modeling. Wiley, New YorkMATHGoogle Scholar
  3. 3.
    Menascé DA, Almeida VAF, Fonseca R, Mendes MA (1999) A methodology for workload characterization of e-commerce sites. ACM Press, New YorkGoogle Scholar
  4. 4.
    Menascé DA, Almeida VAF (2005) Performance by design: computer capacity planning by example. Prentice Hall PTR, Englewood CliffsGoogle Scholar
  5. 5.
    German R (2000) Performance analysis of communication systems with non-Markovian stochastic Petri nets. Wiley, New YorkMATHGoogle Scholar
  6. 6.
    Desrochers AA, Al-Jaar RY (1995) Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis. IEEE Press, Piscataway, New JerseyMATHGoogle Scholar
  7. 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. 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. 9.
    Gharbi N, Ioualalen M (2006) GSPN analysis of retrial systems with servers breakdowns and repairs. Appl Math Comput 174: 1151–1168CrossRefMATHMathSciNetGoogle Scholar
  10. 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. 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 1996Google Scholar
  12. 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
  13. 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–504Google Scholar
  14. 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 CrossRefGoogle Scholar
  15. 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 ScienceGoogle Scholar
  16. 16.
    Meyer JF, Sanders WH (1993) Specification and construction of performability models. Second international workshop on performability modeling of computer and communication systemsGoogle Scholar
  17. 17.
    Johnson BW (1989) Design and analysis of fault-tolerant digital systems. Addison-Wesley, ReadingGoogle Scholar
  18. 18.
    Haverkort BR, Marie R, Rubino G, Trivedi KS (2001) Performability modelling: techniques and tools. Wiley, New YorkGoogle Scholar
  19. 19.
    Puliafito A, Riccobene S, Scarpa M (1996) Evaluation of performability parameters in client–server environments. Comp J 39(8): 647–662CrossRefGoogle Scholar
  20. 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, DordrechtMATHGoogle Scholar
  21. 21.
    Reisig W (1985) Petri nets: an introduction. Springer, New YorkMATHGoogle Scholar
  22. 22.
    Marsan MA, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, New YorkMATHGoogle Scholar
  23. 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–506Google Scholar
  24. 24.
    Trivedi KS (2006) Probability and statistics with reliability, queuing, and computer science applications, 2nd edn. Wiley, New YorkGoogle Scholar
  25. 25.
    Geffroy JC, Motet G (2002) Design of dependable computing systems. Kluwer Academic Publishers, DordrechtMATHGoogle Scholar
  26. 26.
    Aviienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure ComputGoogle Scholar
  27. 27.
    Pradhan DK (1996) Fault-tolerant computer system designGoogle Scholar
  28. 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. 29.
    Itautec (1999) Reference guide to the scope—electronic payment systemGoogle Scholar
  30. 30.
    Friedman M (2005) Microsoft Windows Server 2003 Performance Guide. Microsoft Press Redmond, USAGoogle Scholar
  31. 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. IVGoogle Scholar
  32. 32.
    Lilja DJ (2000) Measuring computer performance: a practitioner’s guide. Cambridge University Press, CambridgeCrossRefGoogle Scholar
  33. 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 1994Google Scholar
  34. 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. 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. 36.
    Read RJ (1989) EFTPOs: electronic funds transfer at point of sale. Electron Commun Eng J 1(6): 263–270CrossRefGoogle Scholar
  37. 37.
    Staskauskas MG (1988) The formal specification and design of a distributed electronic funds-transfer system. IEEE Trans ComputGoogle Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  • Carlos Araújo
    • 1
  • Paulo Maciel
    • 1
  • Armin Zimmermann
    • 2
  • Ermeson Andrade
    • 1
  • Erica Sousa
    • 1
    • 3
  • Gustavo Callou
    • 1
  • Paulo Cunha
    • 1
  1. 1.Informatics Center (CIn), Federal University of Pernambuco (UFPE)RecifeBrazil
  2. 2.Technische Universität Ilmenau, Fakultät für Informatik und Automatisierung, Fachgebiet System Software EngineeringIlmenauGermany
  3. 3.Academic Unit of GaranhunsFederal Rural University of Pernambuco (UFRPE)GaranhunsBrazil

Personalised recommendations