Achieving resilience of heterogeneous networks through predictive, formal analysis
Achieving resilience of heterogeneous networks through predictive, formal analysis
复制标题
通过预测、形式分析实现异构网络的弹性
DOI：
10.1145/2461446.2461459
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
N. Venkatasubramanian
中科院分区：
文献类型：
--
作者：
Zhijin Qin;G. Denker;C. Talcott;N. Venkatasubramanian
近年来无线技术的快速发展和广泛部署带来了越来越多的服务，这些服务可以通过多种网络接入技术(例如，以太网、WiFi、蓝牙、LTE等)从移动终端直接访问。特定的流量可能通过不同类型的网络，这极大地增加了端到端的连接机会。然而，多网络的缺点是，一种网络类型的故障或更改可能会影响许多流量。因此，不能孤立地管理多个网络中的各种网络。相反，我们需要统一分析这些动态和异类网络环境中变化的影响的方法。传统的网络分析方法只关注静态网络属性，没有充分考虑故障对流中服务质量(Qos)的影响。在本文中，我们使用形式化方法设计并实现了一种“如果”分析方法。我们的方法分析了异质网络中的故障和变化对流的服务质量的影响。正式分析的结果可以指导网络管理员做出决策，主动调整网络配置以实现任务或应用目标。我们通过一些用例来说明我们的方法，例如在网络中加入额外的节点或因故障而重新配置网络。我们将我们的结果与传统的网络配置方法进行了比较，并展示了我们的形式化方法如何比传统的网络配置方法提供更有效的决策支持，并且它比模拟方法具有更好的可扩展性。
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 multinetworks is that a failure or change in one network type may affect many traffic flows. Thus, the various networks in a multinetwork cannot be managed in isolation. Rather we need methodologies that analyze the effects of changes in these dynamic and heterogeneous network environments in unison. Traditional network analysis approaches only focus on static network attributes and do not fully consider the impact of failures on quality of services (QoS) across flows. In this paper, we design and implement a "what-if" analysis methodology using formal methods. Our methodology analyzes the impact of failures and changes in heterogeneous networks on QoS of flows. The results of the formal analysis can guide network administrators in their decisions to proactively adapt network configurations to achieve mission or application objectives. We illustrate our methodology with the help of use cases such as incorporating additional nodes in a network or reconfiguring the network due to failure. We compare our results with conventional network configuration approaches and show how our formal methodology provides more effective decision support than conventional network configuration approaches and that it scales better than simulation approaches.
DOI：
10.1016/j.physa.2008.11.011
发表时间：
2009-03-01
影响因子：
3.3
作者：
Estrada, Ernesto;Higham, Desmond J.;Hatano, Naomichi
通讯作者：
Hatano, Naomichi