Dependability benchmarks should provide costeffective ways to evaluate the behavior of components and computer systems in the presence of faults, allowing the quantification of dependability attributes or the characterization of the systems into well defined dependability classes. Beyond existing evaluation techniques, a dependability benchmark should represent an agreement accepted by the comp...

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...

Markov-reward models, as extensions of continuous-time Markov chains, have received increased attention for the specification and evaluation of performance and dependability properties of systems. Until now, however, the specification of reward-based performance and dependability measures has been done manually and informally. In this paper, we change this undesirable situation by the introduct...

The paper presents results of experimental dependability evaluation of the PhoenixRTOS operating system. Experiments are conducted using a self-developed testing environment and a kernel fault injector. Dependability evaluation is the last stage of a system development process. Results will be used in the future research to propose the dependable memory manager.

In this work, we present a first effort at quantitatively comparing the strengths and limitations of variousintrusion-tolerant server architectures. We study four representative architectures, and use stochastic mod-els to quantify the costs and benefits of each from both the performance and dependability perspectives. Wedescribe in detail how the models were constructed using Stoch...