| Sommario: | The present technical report is aimed at discussing the modeling, analysis and computation of the reliability and quality of service (QoS) of complex networks, with particular emphasis on the Italian GARR network. The present report is primarily based on the methodologies described in previous work, where the algorithm for deriving the reliability of a binary probabilistic network, via the use of BDD is described.
Moreover, the present report introduces new capabilities and analysis techniques, by considering weighted networks. Weight are parameters that characterize the service that the network is able to provide, so that the analysis of weighted can give insight on the service availability provided by any system representable in the form of a network. |
