In the Electronic Funds Transfer (EFT) Systems, faults can cause severe degradation on the performance of this system. Thus, modelling the performance of EFT system without considering dependability aspects can cause inaccurate results. This paper presents a stochastic model for evaluating performance of processing and storage infrastructures of the EFT system. This work also presents a model f...

The dependability of a system is contextually subjective and reflects the particular stakeholder s needs. In different circumstances, the focus will be on different system properties, e.g., availability, real-time response, ability to avoid catastrophic failures, and prevention of deliberate intrusions, as well as different levels of adherence to such properties. Close involvement from stakehol...

Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependability metrics to drive the system and software development process is likely to lead to delivered systems that are unsatisfactory to some stakeholders. This paper proposes a Value-Based Software Dependability Achievement...

The design of dependable software systems invariably comprises two main activities: (i) the design of dependability mechanisms, and (ii) the location of dependability mechanisms. It has been shown that these activities are intrinsically difficult. In this paper we propose an automated wrapper-based methodology to circumvent the problems associated with the design and location of dependability m...

The goal of the dependability analysis is to predict inconsistencies and to reveal ambiguities and incompleteness in the designed learning scenario. Evaluation, in traditional learning design, is generally planned after the execution of the scenario. In mobile learning, this stage becomes too difficult and expensive to apply due to the complexity and heterogeneity of mobile infrastructure with ...

The paper focus dependability modelling and evaluation of fieldbus networks in the presence of permanent faults. Several architectures are analysed, considering different operating modes, topologies and fault types. Two measures of dependability are evaluated: reliability and asymptotic unavailability. The aim is to compare these various design solutions, to define essential parameters and to s...

Known benchmarks, like SPECweb, SPECint or TPC, evaluate system performance. In general, they evaluate characteristics like speed, response time, usage of resources etc. They usually ignore issues of reliability and dependability. This paper shows a way to extend these performance benchmarks by dependability aspects. It addresses the issues: How does system performance change facing hardware fa...

For efficiency and cost control reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications and design, and also to perform dependability analyses. The SAE (Society of Automotive Engineers) AADL (Architecture Analysis and Design Language) has proved to be efficient for architectural modeling. We present a modeling framework allowing the generation...