This paper presents a detailed, but eeciently solv-able model of the N version programming for evaluating the reliability and performability over a mission period. Employing a hierarchical decomposition we reduce the model complexity and provide a modeling framework for evaluating the NVP failure and execution time behavior and the operational environment, as well. The failure and execution rat...

Many embedded systems behave as discrete-time semi-Markov processes (DTSMPs). For those systems, performability measures, especially when specified as an accumulated reward, are often difficult to evaluate analytically. In this article, we informally describe an approach that uses a recurrence-relation-based (RRB) reward model for performability evaluation of systems exhibiting DTSMP behavior. ...

In modern telecommunication networks, services are provided through Service Function Chains (SFC), where network resources implemented by leveraging virtualization and containerization technologies. particular, the possibility of easily adding or removing has prompted service providers to redefine some concepts including performance availability. line with this new trend, we propose a performab...

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

Stochastic activity networks have been used since the mid1980s for performance, dependability, and performability evaluation. They have been used as a modeling formalism in three modeling tools (METASAN, UltraSAN, and Möbius), and have been used to evaluate a wide range of systems. This chapter provides the formal definitions and basic concepts associated with SANs, explaining their behavior an...