Článek ve sborníku konference

MATOUŠEK Petr, RYŠAVÝ Ondřej, DE Silva Gayan a DANKO Martin. Combination of Simulation and Formal Methods to Analyse Network Survivability. In: Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques. Malaga: International Communication Sciences and Technology Association, 2010, s. 6. ISBN 978-963-9799-87-5.
Jazyk publikace:angličtina
Název publikace:Combination of Simulation and Formal Methods to Analyse Network Survivability
Název (cs):Combination of Simulation and Formal Methods to Analyse Network Survivability
Strany:6
Sborník:Proceedings of the IEEE 3rd International ICST Conference on Simulation Tools and Techniques
Konference:SIMUTools 2010
Místo vydání:Malaga, ES
Rok:2010
ISBN:978-963-9799-87-5
Vydavatel:International Communication Sciences and Technology Association
Soubory: 
+Typ Jméno Název Vel. Změněn
iconpaper8654.pdfCombination of Simulation and Formal Methods to Analyse Network Survivability339 KB2010-03-16 11:52:50
^ Vybrat vše
S vybranými:
Klíčová slova
formální analýza, dynamické sítě, simulace, spolehlivost, robustnost
Anotace
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).
BibTeX:
@INPROCEEDINGS{
   author = {Petr Matoušek and Ondřej Ryšavý and Gayan Silva De and
	Martin Danko},
   title = {Combination of Simulation and Formal Methods to Analyse
	Network Survivability},
   pages = {6},
   booktitle = {Proceedings of the IEEE 3rd International ICST Conference on
	Simulation Tools and Techniques},
   year = {2010},
   location = {Malaga, ES},
   publisher = {International Communication Sciences and Technology
	Association},
   ISBN = {978-963-9799-87-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9186}
}

Vaše IPv4 adresa: 54.81.216.254
Přepnout na IPv6 spojení

DNSSEC [dnssec]