To address the reliability challenges due to failures and planned outages, Internet Service Providers (ISPs) typically use two backbone routers at each central office with access routers connecting to them in a dual-homed configuration. At the IP layer, providers deploy redundant backbone routers and redundant transport equipment interconnecting these routers, with the goal of providing reliabi...

A distributed system is a complex system. Developing complex systems is a demanding task when attempting to achieve functional and non-functional properties such as synchronization, communication, fault tolerance. These properties impose immense complexities on the design, development, and implementation of a distributed system that incur massive effort and cost a large amount of money. Therefo...

Consider a set of terminal nodes K that belong to a network whose nodes are connected by links that fail independently with known probabilities. We introduce a method for estimating any performability measure that depends on the hop distance between terminal nodes. It generalises previously introduced Monte Carlo methods for estimation of the K-reliability of networks with variance reduction co...

Disasters striking in inhabited areas pose a significant risk to the development and growth of modern societies. The impact of any disaster would be severe. In case a disaster strikes, fast and safe mitigation of damages is important. Information and communication technology (ICT) plays a crucial role in helping reconnaissance and first response teams on disaster sites. Most rescue teams bring ...

In light of the insurmountable sedimentation magnetorheological (MR) fluid, it is great significance to ensure performability an MR damper by introducing a sensing method for fluid settling, and key indicator identify health status critical. However, settling monitoring system can nowadays only function in laboratory with transparent non-magnetic tubes, which not qualified in-situ steel-made cy...

Stochastic activity networks (SANs) are a powerful and flexible extension of Petri nets. However, SANs facilities are not enough for modeling and analysis of complex and large-scale systems. In order to provide such high-level modeling facilities, we have defined some new extensions for SANs. We intend to preserve all capabilities of SANs for performance, dependability and performability evalua...