Service composition is a widely accepted method to build service-oriented applications. However, due to the uncertainty of infrastructure environments, service performance and user requests, service composition faces a great challenge to guarantee the dependability of the corresponding composite services. In this chapter, we provide an insightful analysis of the dependability issue of composite...

The paper presents techniques to support the dependability modeling and analysis of distributed object-oriented applications that are designed according to the Fault Tolerant CORBA (FT-CORBA) specification. First the construction of a high-level dependability model is described. It is based on the architecture of the application and allows the analysis of the fault tolerance strategies and prop...

Dependability represents a critical requirement for modern distributed systems. Today new requirements emerged. Among them reliability, safety, availability, security and maintainability are needed by more and more modern distributed service computing architectures. In this paper we present an approach to ensuring dependability in distributed infrastructures using virtualization for fault-toler...

Keyword list: HIDENETS, dependability, communication systems, ad hoc networks, wireless, middlewaresolutions, car-to-car communication, applications, use cases, business impact, preliminary reference modelThis document provides the starting point for the development of dependability solutions in theHIDENETS project with the following contents:(1) A conceptual framework is define...

In this paper we discuss the problem of attaining a dynamic compromise between using redundancy to improve software dependability and limiting the amount of redundancy so as to avoid unnecessary inefficiencies. A scheme, called self-configuring optimal programming (SCOP), is developed. SCOP attempts to reduce the resource cost of faulttolerant software, both in space and time, by providing desi...

There is obvious lack of attention to the dependability issues in literature on location-based services (LBS). Both researchers and practitioners were so far too much concerned with the questions about what useful features an LBS should have, while almost completely leaving out the questions about how to assure such basic properties as reliability or response accuracy. However, LBSs are applica...

Unintentional failures affect links and nodes in communication networks. Recovery mechanisms are the key tool for achieving the dependability required by the services using the network. However, high dependability in communication networks comes at a high cost in terms of the capacity needed by these mechanisms. The traffic from all services and users is carried by the same backbone network. Si...

This paper tries, on one side, to raise awareness on the level of complexity of future computer-based interconnected systems/infrastructures, at least as they are envisioned, and, on the other side, on the level of dependability we are today able to justify with confidence. This paper does not provide solutions, but tries to motivate that fundamental methods and methodologies must be reconsider...

The complexity of large cloud offerings makes it extremely hard to guarantee their dependability and security. This paper extracts lessons from some years of research on the notion of using several clouds – instead of a single one– with the objective of achieving high dependability and security. We show that using such clouds-of-clouds it is possible for services to continue to operate correctl...