První část předmětu se zabývá modelováním komplexních síťových struktur, identifikací jejich charakteristik, rozpoznáváním strukturálních statických i dynamických vzorů a detekcí případných anomálií. Druhá část předmětu se soustředí na specifikační metody statického i dynamického chování a jejich ověřování. Použití metod je demonstrováno na příkladech problémů síťových aplikací. Speciální pozornost je věnována nejen diagnostice aplikací v síťovém prostředí a cloudu, ale i možnostem automatizace diagnostických procesů Cvičení jsou zaměřena na získání praktických dovedností v rámci řešení praktických úloh v doméně počítačových sítí.
Předmět představuje matematické, teoretické, a praktické základy nutné pro zvládnutí problematiky diagnostiky systémů, které lze modelovat jako komplexní síťové struktury.
ČVUT hodnotící tabulka:
Body | >=90 | <80, 90) | <70, 80) | <60, 70) | <50, 60) | (0, 50) |
---|---|---|---|---|---|---|
Známka | A | B | C | D | E | F |