Content area
Full Text
Computing (2011) 91:315334
DOI 10.1007/s00607-010-0121-0
Performability modeling of electronic funds transfer systems
Carlos Arajo Paulo Maciel
Armin Zimmermann Ermeson Andrade
Erica Sousa Gustavo Callou Paulo Cunha
Received: 1 July 2009 / Accepted: 16 September 2010 / Published online: 13 October 2010 Springer-Verlag 2010
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 efciently 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
C. Arajo (B) P. Maciel E. Andrade E. Sousa G. Callou P. Cunha
Informatics Center (CIn), Federal University of Pernambuco (UFPE), Av. Prof. Luiz Freire, s/n, Recife, Brazile-mail: [email protected]; [email protected]
P. Maciele-mail: [email protected]
E. Andradee-mail: [email protected]
G. Calloue-mail: [email protected]
P. Cunhae-mail: [email protected]
A. ZimmermannTechnische Universitt Ilmenau, Fakultt fr Informatik und Automatisierung, Fachgebiet System Software Engineering, PF 100565, 98684 Ilmenau, Germany e-mail: [email protected]
E. SousaAcademic Unit of Garanhuns, Federal Rural University of Pernambuco (UFRPE), Av. Bom Pastor, S/N, Garanhuns, Brazile-mail: [email protected]
123
316 C. Arajo et al.
computational resources. An industrial case study shows the practical usability of the proposed models and techniques.
Keywords EFT system Performance and reliability analysis Modeling
Faults Model Stochastic Petri nets
Mathematics Subject Classication (2000) 60-XX Probability theory and stochastic processes 60Gxx Stochastic processes 60Hxx Stochastic analysis
1 Introduction
Over the last years, reliability and availability have become a crucial factor in designing computer systems, especially fault-tolerant ones [1]. In such systems, redundant components are added to the system that continues to function uninterruptedly despite the occurrence of failures. Some well-known techniques to operate spare modules include hot standby, cold standby and triple modular redundancy (TMR). Fault tolerance is achieved as a result of joining these techniques with a fault detection mechanism.
Failures may in general reduce the performance of systems, prolong downtime, or cause the system to perform countermeasures. An important example of highly reliable requirements, which have not yet been attracted much attention in the literature, are electronic funds transfer (EFT) systems....