Combination of Simulation and Formal Methods to Analyse Network Survivability

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F10%3APU89510" target="_blank" >RIV/00216305:26230/10:PU89510 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Combination of Simulation and Formal Methods to Analyse Network Survivability

Popis výsledku v původním jazyce

Modern computer networks are complex and their topology can dynamically change when links go down. It is difficult to predict behaviour of a large network with dynamic routing protocols. To automatically prove survivability and reliability of an end-to-end connection, formal analysis combined with simulation can be exploited. In this paper, an approach based on detection of critical elements using formal analysis and subsequent simulation of time related properties is introduced. Our network model is based on graph theory and is automatically extracted from configurations of network devices. Then, critical network elements are detected using graph search algorithms. In addition to graph analysis, several simulation scenarios are executed over the modelin order to detect time dependencies. Modeling and simulation is done in OMNeT++ simulator, formal analysis is computed using scripting.<br>The first results of this combined analysis show feasability of this approach and help to reveal

Název v anglickém jazyce

Combination of Simulation and Formal Methods to Analyse Network Survivability

Popis výsledku anglicky

Modern computer networks are complex and their topology can dynamically change when links go down. It is difficult to predict behaviour of a large network with dynamic routing protocols. To automatically prove survivability and reliability of an end-to-end connection, formal analysis combined with simulation can be exploited. In this paper, an approach based on detection of critical elements using formal analysis and subsequent simulation of time related properties is introduced. Our network model is based on graph theory and is automatically extracted from configurations of network devices. Then, critical network elements are detected using graph search algorithms. In addition to graph analysis, several simulation scenarios are executed over the modelin order to detect time dependencies. Modeling and simulation is done in OMNeT++ simulator, formal analysis is computed using scripting.<br>The first results of this combined analysis show feasability of this approach and help to reveal

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/EE2.3.09.0067" target="_blank" >EE2.3.09.0067: TeamIT - Budování konkurenceschopných výzkumných týmů pro IT</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques

ISBN

978-963-9799-87-5

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

—

Název nakladatele

International Communication Sciences and Technology Association

Místo vydání

Malaga

Místo konání akce

Malaga

Datum konání akce

15. 3. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—