Performability modeling of electronic funds transfer systems

被引：0

作者：

Carlos Araújo

Paulo Maciel

Armin Zimmermann

Ermeson Andrade

Erica Sousa

Gustavo Callou

Paulo Cunha

机构：

[1] Informatics Center (CIn),Academic Unit of Garanhuns

[2] Federal University of Pernambuco (UFPE),undefined

[3] Technische Universität Ilmenau,undefined

[4] Fakultät für Informatik und Automatisierung,undefined

[5] Fachgebiet System Software Engineering,undefined

[6] Federal Rural University of Pernambuco (UFRPE),undefined

来源：

Computing | 2011年 / 91卷

关键词：

EFT system; Performance and reliability analysis; Modeling; Faults Model; Stochastic Petri nets; 60-XX Probability theory and stochastic processes; 60Gxx Stochastic processes; 60Hxx Stochastic analysis;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

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

页数：19