Achieving Resilience of Heterogeneous Networks Through Predictive, Formal Analysis
Rapid development and wide deployment of wireless technologies in recent years have brought an increasing number and variety of services that are accessible directly from mobile terminals via multiple network access technologies (e.g., Ethernet, WiFi, Bluetooth, LTE, etc). A particular traffic flow may go through different kinds of networks, which greatly increases the end-to-end connectivity opportunities. However, the disadvantage of multi-networks is that a failure or change in one network type may affect many traffic flows. Thus, the various networks in a multi-network cannot be managed in isolation. Rather the authors need methodologies that analyze the effects of changes in these dynamic and heterogeneous network environments in unison.