About: On formal reachability analysis in networks with dynamic behavior

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: On formal reachability analysis in networks with dynamic behavior Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://link.springer.com/article/10.1007%2Fs11235-011-9585-2
Description	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. 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. (en)
Title	On formal reachability analysis in networks with dynamic behavior On formal reachability analysis in networks with dynamic behavior (en)
skos:prefLabel	On formal reachability analysis in networks with dynamic behavior On formal reachability analysis in networks with dynamic behavior (en)
skos:notation	RIV/00216305:26230/13:PU98145!RIV14-GA0-26230___
http://linked.open...avai/predkladatel	Fakulta informačních technologií
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(GA102/08/1429), S, Z(MSM0021630528)
http://linked.open...iv/cisloPeriodika	2
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Švéda, Miroslav Matoušek, Petr Ryšavý, Ondřej de Silva, Hidda Marakkala Gayan Ru
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	93713
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/13:PU98145
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Formal modeling and analysis, Network service reachability, Dynamic routing, Configuration validation (en)
http://linked.open.../riv/klicoveSlovo	Dynamic routing Configuration validation Formal modeling and analysis Network service reachability
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[5D7D6FE11683]
http://linked.open...i/riv/nazevZdroje	TELECOMMUNICATION SYSTEMS
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Safety and security of networked embedded system applications
http://linked.open...UplatneniVysledku	2013
http://linked.open...v/svazekPeriodika	52
http://linked.open...iv/tvurceVysledku	Švéda, Miroslav Matoušek, Petr Ryšavý, Ondřej de Silva, Hidda Marakkala Gayan Ru
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	1018-4864
number of pages	10 (xsd:int)
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software