Journal article

DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr and ŠVÉDA Miroslav. On formal reachability analysis in networks with dynamic behavior. Telecommunication Systems. New York: Springer US, 2013, vol. 52, no. 2, pp. 919-929. ISSN 1018-4864. Available from: http://link.springer.com/article/10.1007%2Fs11235-011-9585-2
Publication language:english
Original title:On Formal Reachability Analysis in Networks with Dynamic Behavior
Title (cs):Formální analýza dosažitelnosti služeb v počítačových sítích
Pages:919-929
Place:US
Year:2013
URL:http://link.springer.com/article/10.1007%2Fs11235-011-9585-2
Journal:Telecommunication Systems, Vol. 52, No. 2, New York, US
ISSN:1018-4864
URL:http://dx.doi.org/10.1007/s11235-011-9585-2 [PDF]
Files: 
+Type Name Title Size Last modified
icondesilva_11_reachability.pdfOn formal reachability analysis in networks with dynamic behavior613 KB2011-08-29 09:21:32
^ Select all
With selected:
Keywords
Formal modeling and analysis, Network service reachability, Dynamic routing, Configuration validation
Annotation
Recently, several researches have suggested an application of formal methods for identifying configuration errors, unveiling design problems and predicting network behavior. In this paper, we contribute to this research area by defining a method able to efficiently check reachability properties in dynamically routed networks. We define a notion of network state that captures different network conditions. Each network state represents a unique combination of link availability. The naive enumeration of network states leads quickly to intractability even for small networks as the number of possible combinations grows exponentially. Instead, we enumerate all available paths and, for each path, we search for state aggregation, in which this path is active.
BibTeX:
@ARTICLE{
   author = {Gayan Silva De and Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and Petr
	Matou{\v{s}}ek and Miroslav {\v{S}}v{\'{e}}da},
   title = {On Formal Reachability Analysis in Networks with Dynamic
	Behavior},
   pages = {919--929},
   journal = {Telecommunication Systems},
   volume = {52},
   number = {2},
   year = {2013},
   ISSN = {1018-4864},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9578}
}

Your IPv4 address: 54.198.118.102
Switch to IPv6 connection

DNSSEC [dnssec]