Over the last two decades many techniques have been developed to specify and evaluate Markovian dependability models. Most often, these Markovian models are automatically derived from stochastic Petri nets, stochastic process algebras, or stochastic activity networks. However, whereas the model specification has become very comfortable, the specification of the dependability measures of interes...

The work in this paper1 is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be used in the early phases of the system design to capture system dependability attributes like reliability and availability, thus providing guidelines for the choice among different architectural and design solutions. We show how structural UML dia...

The work in this paper1 is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be used in the early phases of the system design to capture system dependability attributes like reliability and availability, thus providing guidelines for the choice among different architectural and design solutions. We show how structural UML dia...

Approaches to dependability and performance are challenged when systems are made up of networks of heterogeneous applications/devices, especially when operating in unpredictable open-world settings. The research community is tackling this problem and exploring means for enabling interoperability at the application level. The EU project CONNECT has developed a generic interoperability mechanism ...

Dependability evaluation is playing an increasing role in system and software engineering together with performance evaluation. Performance benchmarks are widely used to evaluate system performance while dependability benchmarks are hardly emerging. A dependability benchmark for operating systems is intended to objectively characterize the operating system's behavior in the presence of faults, ...

Architectural choices have a profound influence on the dependability of a computer system. Dependability modelling and analysis is a method proposed for the early evaluation of the system architecture and the related design decisions. We describe the design, implementation and application of a tool that is able to construct automatically a dependability model (in the form of Generalized Stochas...

To evaluate the dependability properties of mission-critical systems like reliability, safety, availability, maintainability etc. a Markov chain models can be used. However the dependability prediction using these models is focused only on the stuck-at faults even though the system is exposed to the influence of transient faults produced by the operational environment. It is the aim of this pap...

The increasing importance and criticality of computers in technical applications have spurred a demand on dependable computers. In these applications acceptance of the system is strongly innuenced by dependability aspects. Consideration of dependability has to be an integral part of system development and has to start at early phases in the design. This paper presents our approach for the integ...

We propose a new method to obtain bounds of dependability, performance or performability measures concerning complex systems modeled by a large Markov model. Its extends previous published techniques mainly designed to the analysis of dependability measures only, and working under more restrictive conditions. Our approach allows to obtain tight bounds of performance measures on certain cases, a...

We present a system architect and administrator's view of system dependability issues and research suggestions. The dependability problem has been extensively studied by operators and architects, and most simple failures have known solutions. However, many operators and architects are not aware of many of the available solutions or the scope of the dependability problem. More complex failures w...