Combination of Simulation and Formal Methods to Analyse Network Survivability
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Combination of Simulation and Formal Methods to Analyse Network Survivability
Original language description
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
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/EE2.3.09.0067" target="_blank" >EE2.3.09.0067: TeamIT - Building Competitive Research Teams in IT</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques
ISBN
978-963-9799-87-5
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
—
Publisher name
International Communication Sciences and Technology Association
Place of publication
Malaga
Event location
Malaga
Event date
Mar 15, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—