Detail publikace

On Formal Reachability Analysis in Networks with Dynamic Behavior

DE Silva Gayan, RYŠAVÝ Ondřej, MATOUŠEK Petr a ŠVÉDA Miroslav. On Formal Reachability Analysis in Networks with Dynamic Behavior. Telecommunication Systems, roč. 52, č. 2, 2013, s. 919-929. ISSN 1018-4864. Dostupné z: http://link.springer.com/article/10.1007%2Fs11235-011-9585-2
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
angličtina
Autoři
De Silva Gayan (FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
URL
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
Vydavatel
Springer US
BibTeX
@ARTICLE{FITPUB9578,
   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 = "https://www.fit.vut.cz/research/publication/9578"
}
Nahoru