As wireless networks are increasingly deployed in the enterprise and other environments and such trends are expected to intensify with the emergence of high performance wireless networks, an important and emerging area of research is the dependability of wireless networks. Although, the dependability problem also arises in wireline counterparts, user mobility, location and link dependence, and ...

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

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

Computer benchmarks are standard tools that allow evaluating and comparing different systems or components according to specific characteristics (performance, dependability, security, etc). Resilience encompasses all attributes of the quality of ‘working well in a changing world that includes faults, failures, errors and attacks’. This way, resilience benchmarking merges concepts from performan...

Phase-type (PH) distributions are being used to model a wide range of phenomena in performance and dependability evaluation. The resulting models may be employed in analytical as well as in simulationdriven approaches. Simulations require the efficient generation of random variates from PH distributions. PH distributions have different representations and different associated computational cost...

Using diverse redundancy for database replication is the focus of this thesis. Traditionally, database replication solutions have been built on the fail-stop failure assumption, i.e. that crashes are believed to cause a majority of failures. However, recent findings refuted this common assumption, showing that many of the faults cause systematic non-crash failures. These findings demonstrate th...

The validation of network systems is mandatory to guarantee the dependability levels, that international standard impose in many safety-critical applications. This article presents a framework for the dependability evaluation of a networked control system (NCS) taking into account the network behaviour when transition faults occurs. CAN-based systems are studied and a proposed method is describ...