This paper proposes a vectorized measure for a set of behavioural dependability attributes. The measure is based on Markov processes and is intended for practical dependability trade-offs. It describes the system performance on a number of service levels. Thus, it is possible to merge attributes such as reliability, safety and performability into one single quality. Whereas reliability describe...

This paper deals with real-time dependable systems required to achieve the best usage of the resources even under adverse circumstances as transient overloads or component failures. Various possible trade-offs among the different application requirements must be considered to allow a flexible management of system resources. On the basis of a simple formulation of the concept of value in real-ti...

In this paper, we report our recent work on closed form solutions to the blocking and dropping probability in wireless cellular networks with handoff. First, we develop a performance model of a cell in a wireless network where the effect of handoff arrival and the use of guard channels are included. Fast recursive formulas for the loss probabilities of new calls and handoff calls are given. Alg...

Non-stop operation, despite the occurrence of faults, is a key requirement for highly-reliable, real-time systems , such as aircraft and nuclear reactor controller computers. Reconnguration is commonly used to mean the process of transforming the execution structure of a system from one state to another when a fault occurs. We identiied two types of reconngura-tion: fault-tolerating reconngurat...

This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resiliencescaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, fro...