Dependability as a Criterion for Distributed Systems Design (original) (raw)

System Dependability Analysis: Main Issues and Possible Solutions

2014

In several application domains ranging from automotive to aerospace (Garro, Gros, Riestenpatt Gen. Richter and Tundis, 2013; Falcone, Garro and Tundis, 2014; Garro, Gros, Riestenpatt Gen. Richter and Tundis, 2012; Garro and Tundis, 2012b; Garro and Tundis, 2012c; Garro, Tundis and Chirillo, 2011), a great variety of systems are currently designed and developed by organizing and integrating existing and heterogeneous components. This design approach potentially offers many advantages in terms of time and cost reductions as promote the reusability of existing components and enable a natural parallel work organization in the system realization (Falcone, Garro, Longo and Spadafora, 2014); in fact, system components can be selected/customized/realized separately and then integrated so to obtain the overall system. However, the integration of system components is a challenging task whose criticality increases as the heterogeneity and complexity of the components increase. Thus, suitable e...

Design and Modeling Of A Dependable Network

2006

As networks become a part of our lives, we are becoming dependent on them, and thus we need them to be highly dependable. Dependability is an important requirement in network's design and operation. This thesis introduces and investigates the topic of dependability modeling for networks. It concentrates on dependability attributes models, which should be set for the network. The results of dependability modeling and analysis, if properly considered, will directly improve the network performance, and guide the future design decisions. This fact requires that dependability modeling and analysis should form an integral part of the network design, operation, and development stages. Since all required information for dependability modeling and planning has to be gathered, the conversion of network system information into dependability models can be set. This thesis shows how this can be done. A different modeling techniques are used to describe the models of the main dependability at...