Performability modeling of electronic funds transfer systems

Araujo, Carlos; Maciel, Paulo; Zimmermann, Armin; Andrade, Ermeson; Sousa, Erica; Callou, Gustavo; Cunha, Paulo Roberto Freire

doi:10.1007/s00607-010-0121-0

Cited by 6 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The semi-Markov process (SMP) model was used to model the reliability and mean and variation of web service response times [32]. Dependability and performance models were used to simulate an electronic funds transfer system considering failures and repairs, and the performability was evaluated [33]. A continuous-time Markov chain with a Markov reward model was employed to assess the fault-tolerant SCS's performability.…”

Section: Literature Reviewmentioning

confidence: 99%

Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis

Byun,

Lee

2024

JMSE

View full text Add to dashboard Cite

This paper presents a phased fault tree analysis (phased-FTA)-based approach to evaluate the performability of Autonomous Underwater Vehicles (AUVs) in real time. AUVs carry out a wide range of missions, including surveying the marine environment, searching for specific targets, and topographic mapping. For evaluating the performability of an AUV, it is necessary to focus on the mission-dependent components and/or subsystems, because each mission exploits different combinations of devices and equipment. In this paper, we define a performability index that quantifies the ability of an AUV to perform the desired mission. The novelty of this work is that the performability of the AUV is evaluated based on the reliability and performance of the relevant resources for each mission. In this work, the component weight, expressing the degree of relevance to the mission, is determined using a ranking system. The proposed ranking system assesses the performance of the components required for each mission. The proposed method is demonstrated under various mission scenarios with different sets of faults and performance degradations.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis

Byun,

Lee

2024

JMSE

View full text Add to dashboard Cite

show abstract

“…• Communication systems [36], [23] [40], [33], and • Electronic funds transfer systems [41]. A more comprehensive list of references is given in [6].…”

Section: Application Areasmentioning

confidence: 99%

Modeling and Evaluation of Stochastic Petri Nets With TimeNET 4.1

Zimmermann¹

2012

Proceedings of the 6th International Conference on Performance Evaluation Methodologies and Tools

Self Cite

View full text Add to dashboard Cite

Abstract-The paper presents a major update of the software tool TimeNET, a package for the modeling and performance evaluation of standard and colored stochastic Petri nets. Among its main characteristics are simulation and analysis modules for stationary and transient evaluation of Petri nets including nonexponentially distributed delays, as well as an efficient simulation module for complex colored models.An overview of the tool is given as well as a description of the new features, which are demonstrated using a manufacturing system application example. The tool is available free of charge for non-commercial use.

show abstract