Publication Details

Combination of Simulation and Formal Methods to Analyse Network Survivability

MATOUŠEK, P.; RYŠAVÝ, O.; DE SILVA, G.; DANKO, M. Combination of Simulation and Formal Methods to Analyse Network Survivability. Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010. p. 150-155. ISBN: 978-963-9799-87-5.
Czech title
Combination of Simulation and Formal Methods to Analyse Network Survivability
Type
conference paper
Language
English
Authors
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
de Silva Hidda Marakkala Gayan Ruchika, MSc
Danko Martin, Ing.
Keywords

formal analysis, dynamic networks, simulation, survivability, reliability

Abstract

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 model in order to detect time
dependencies. Modeling and simulation is done in OMNeT++ simulator, formal
analysis is computed using scripting.
The first results of this combined analysis show feasability of this approach and
help to reveal both qualitative parameters (status of links and nodes), and 
quantitative parameters (timers, routing protocols) that influence reliability
and survivability of the network. The approach is demonstrated on a simplified
topology of Czech Academic Network (CESNET).

Published
2010
Pages
150–155
Proceedings
Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques
Conference
SIMUTools 2010, Malaga, ES
ISBN
978-963-9799-87-5
Publisher
International Communication Sciences and Technology Association
Place
Malaga
BibTeX 
@inproceedings{BUT34729,
  author="Petr {Matoušek} and Ondřej {Ryšavý} and Hidda Marakkala Gayan Ruchika {de Silva} and Martin {Danko}",
  title="Combination of Simulation and Formal Methods to Analyse Network Survivability",
  booktitle="Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques",
  year="2010",
  pages="150--155",
  publisher="International Communication Sciences and Technology Association",
  address="Malaga",
  isbn="978-963-9799-87-5",
  url="https://www.fit.vut.cz/research/publication/9186/"
}
Files
Back to top