Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2020/2021

Network Application Diagnostics

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
BE2M32DSAA Z,ZK 6 2P + 2C anglicky
Přednášející:
Radek Mařík (gar.)
Cvičící:
Radek Mařík (gar.)
Předmět zajišťuje:
katedra telekomunikační techniky
Anotace:

The first part of the course deals with complex network structures, their characteristics identification, with recognition of both structural static and dynamic patterns, and anomaly detection.

The second part of the course is focused on specification methods of static and dynamic behavior and their verification. The use of the methods is demonstrated on examples dealing with network application issues. The special treatment is dedicated not only to network and cloud applications, but also to posibilities of diagnostic process automation. The students gain sufficient skills in seminars where they solve practical problems in digital network domain.

Požadavky:

- Knowledge of linear algebra and graph theory.

Osnova přednášek:

1. Introduction to diagnostics, testing, and verification of network applications.

2. Fundamental characteristics of networks and models of random graphs.

3. Power distribution and preferential linking.

4. Network structure identification

5. Community detection

6. Ties prediction and network inference

7. Network dynamics and dynamic network processes

8. Specification system Alloy and its usage for network applications.

9. Dynamic behavior specification using timed automata (system UPPAAL)

10. Specification and verification of protocols using system UPPAAL

11. Finite state machines testing.

12. Checking sequences of finite state machines

13. Finite state machine behavior identification

14. Multilayer network diagnostics.

Osnova cvičení:

One/two methods taken from each lecture are selected to define tasks of each seminar. The students work in groups up to three members and solve the assignments using the recommended methods. The solutions and results are delivered electronically that is checked and points are assigned.

Cíle studia:

The course introduces mathematical, theoretical, and practical foundations required for solving of diagnostic system problems that can be modelled using complex network structures.

Studijní materiály:

- WWW http://alloy.mit.edu/alloy/

- WWW http://www.uppaal.org/

- Software Abstractions - Logic, Language, and Analysis. Jackson, D. MIT Press, 2006

- Networks: An Introduction, M. E. J. Newman, Oxford University Press (2010)

- Networks, Crowds, and Markets: Reasoning about a Highly Connected World, Easley, D., Kleinberg, J.; Cambridge University Press, 2010

Poznámka:
Rozvrh na zimní semestr 2020/2021:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
místnost T2:A4-505d
Mařík R.
11:00–12:30
(přednášková par. 1)
Dejvice
Laboratoř K132
místnost T2:A4-505d
Mařík R.
12:45–14:15
(přednášková par. 1
paralelka 101)

Dejvice
Laboratoř K132
St
Čt

Rozvrh na letní semestr 2020/2021:
Rozvrh není připraven
Předmět je součástí následujících studijních plánů:
Platnost dat k 24. 9. 2020
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet5602106.html