Performability modeling of electronic funds transfer systems

被引:4
作者
Araujo, Carlos [1 ]
Maciel, Paulo [1 ]
Zimmermann, Armin [2 ]
Andrade, Ermeson [1 ]
Sousa, Erica [1 ,3 ]
Callou, Gustavo [1 ]
Cunha, Paulo [1 ]
机构
[1] Univ Fed Pernambuco UFPE, Informat Ctr CIn, Recife, PE, Brazil
[2] Tech Univ Ilmenau, Fak Informat & Automatisierung, Fachgebiet Syst Software Engn, D-98684 Ilmenau, Germany
[3] Fed Rural Univ Pernambuco UFRPE, Acad Unit Garanhuns, Garanhuns, Brazil
关键词
EFT system; Performance and reliability analysis; Modeling; Faults Model; Stochastic Petri nets;
D O I
10.1007/s00607-010-0121-0
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
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.
引用
收藏
页码:315 / 334
页数:20
相关论文
共 37 条
[1]  
[Anonymous], TIMENET 4 0 SOFTWARE
[2]  
[Anonymous], 1991, The Art of Computer Systems Performance Analysis: Techniquesfor Experimental Design, Measurement, Simulation, and Modeling
[3]  
[Anonymous], PERFORMANCE DESIGN C
[4]  
[Anonymous], 2000, Measuring Computer Performance
[5]   Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic [J].
Araujo, Carlos ;
Sousa, Erica ;
Maciel, Paulo ;
Chicout, Fabio ;
Andrade, Ermeson .
INTENSIVE: 2009 FIRST INTERNATIONAL CONFERENCE ON INTENSIVE APPLICATIONS AND SERVICES, 2009, :65-70
[6]  
Aviienis A, 2004, IEEE T DEPENDABLE SE
[7]  
Avizienis A, 2001, 739 U NEWC UP TYN CO
[8]  
Catalan ML, 2007, P 2 INT C INN COMP I, P18
[9]  
Crowe D., 2001, Design for reliability
[10]  
Desrochers A.A., 1995, APPL PETRI NETS MANU