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

The Fifth Generation (5G) of mobile networks offers new and advanced services with stricter requirements. Multi-access Edge Computing (MEC) is a key technology that enables these by deploying multiple devices computing storage capabilities at the edge network, close to end-users. MEC enhances network efficiency reducing latency, enabling real-time awareness local environment, allowing cloud off...

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

The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets (SRN). A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation is presented ...

Mechatronic automotive systems are hybrid systems. Modelling and simulation of the interactions between continuous and discrete parts is essential to evaluate dependability. In this paper we show how a simple mechatronic system can be modelled in the CPN formalism. Quantitative dependability evaluation is obtained thanks to MonteCarlo simulation. We use the DesignCPN Occurrence Graph tool to va...

Computer and communication systems are designed to meet a certain speciied behavior. The procurement of metrics to establish how well the system behaves, that is, how closely it follows the speciied behavior , is the objective of quantitative analysis. Traditionally, performance and dependability evaluation are used as separate approaches to provide quantitative gures of system behavior. Perfor...

Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems. Then statistical model checking is used to analyze the dependability of the constructed model. Our verification framework allows users to express a wide r...