A new performance and performability modeling tool is introduced in this paper. PENE-LOPE is the rst tool which incorporates evaluation and optimization algorithms. It is the result of a combination between the performability modeling concept and Markov decision theory. Diierent algorithms are adopted and included in the tool under the unifying paradigm of reconngurability as the basis for adap...

In this paper we will describe the SoftArc approach. With the SoftArc approach it is possible to model and analyse safety-critical embedded and distributed systems that consist of both hardand software. We are going to present the SoftArc modelling language, its syntax and semantics. The semantics of the SoftArc modelling language is defined in terms of stochastic reactive modules. We will show...

The goal of dependability benchmarking is to provide generic ways for characterizing the behavior of components and computer systems in the presence of faults, allowing for the quantification of dependability measures. Beyond existing evaluation techniques, dependability benchmarking must provide a reproducible and cost-effective way of performing such a characterization, especially for compara...

Dependability [1] is a very important aspect of a computing or communication system. Modelling and analysis is a prominent means for system dependability evaluation [2]. The existing dependability modelling and analysis work for large systems like communication networks focus on the static issues (such as connectivity), mainly due to the increasing complexity and thus the limitations of insuffi...