Detail publikace

On formal reachability analysis in networks with dynamic behavior

DE SILVA, G.; RYŠAVÝ, O.; MATOUŠEK, P.; ŠVÉDA, M. On formal reachability analysis in networks with dynamic behavior. TELECOMMUNICATION SYSTEMS, 2013, vol. 52, no. 2, p. 919-929. ISSN: 1018-4864.
Název česky
Formální analýza dosažitelnosti služeb v počítačových sítích
Typ
článek v časopise
Jazyk
anglicky
Autoři
de Silva Hidda Marakkala Gayan Ruchika, MSc
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
a další
URL
Klíčová slova

Formal modeling and analysis, Network service reachability, Dynamic routing, Configuration validation

Abstrakt

Aplikace formálních metod pro zjišťování chyb v síťové konfiguraci umožnuje nalezení možných problémů a predikci chování sítě. V tomto příspěvku je definována metoda, která umožňuje efektivním způsobem ověřovat dosažitelnost síťových služeb v sítích s dynamickým směrováním. Stavy sítě jsou agregovány na základě aktivních směrovacích cest což umožňuje ověřovat vlastnosti pro celou síť, bez nutnosti explicitní kontroly v každém jejím stavu.

Rok
2013
Strany
919–929
Časopis
TELECOMMUNICATION SYSTEMS, roč. 52, č. 2, ISSN 1018-4864
BibTeX 
@article{BUT91437,
  author="Hidda Marakkala Gayan Ruchika {de Silva} and Ondřej {Ryšavý} and Petr {Matoušek} and Miroslav {Švéda}",
  title="On formal reachability analysis in networks with dynamic behavior",
  journal="TELECOMMUNICATION SYSTEMS",
  year="2013",
  volume="52",
  number="2",
  pages="919--929",
  issn="1018-4864",
  url="http://link.springer.com/article/10.1007%2Fs11235-011-9585-2"
}
Nahoru