Cvičení
Odevzdávaným výstupem každé úlohy je zpráva (PDF, HTML, plain text), kde je vedle samozřejmých částí, jako jsou
- jména autorů,
- zadání úlohy (kopie), a
- závěr,
- uvedeno jak jste úlohu řešili,
- k jakým výsledkům jste došli,
- na jaké potíže jste narazili a
- jak jste se s nimi vypořádali.
Zpráva by měla být co nejkratší, ale nesmí v ní nic podstatného chybět. Odevzdávají se rovněž zdrojové kódy řešící úlohu. Součástí bodového hodnocení úlohy je kvalita zpracování zprávy.
Na cvičení budete potřebovat Uppaal, Alloy a váš oblíbený skriptovací jazyk pro generování zpráv. Každý student/tým si může zvolit vývojové prostředí dle svých dovedností, např. Python, Java, C++/C, Ruby, PHP, C#, Lua, apod. či výpočty počítat na prstech jedné ruky nebo pomocí kalkulačky. Doporučeným programovacím jazykem je Python, pro který existuje řada podpůrných knihoven, které lze s výhodou použít v rámci tohoto předmětu. Úkolem předmětu není Vás naučit programovat, ale používat vhodné prostředky, které se k dané problematice váží. Vzhledem k předpokládanému poslednímu roku magisterského studia je na každém týmu, aby nalezl a rozhodl se pro efektivní řešení (samozřejmě s vyjímkou plagiátů), které úlohu splní ve vymezené době. Také by se vám mohl hodit Graphviz.
Úlohy se odevzdávaji do systému Upload/Brute. Deadline pro odevzdání úlohy je obvykle následující cvičení. Na některé úlohy však bude poskytnuta delší doba.
Harmonogram cvičení
POZOR! Bude průběžné aktualizován.
| Týden | Datum | Cvičící | Body za úlohu | Obsah | Výukové materiály | |
|---|---|---|---|---|---|---|
| 1 | 26.09.2024 | MC | - - - - - - 1 3 | Organizace cvičení. Rozdělení do skupin po max. 2 studentech. Kontrola přístupu do laboratoře a k počítačům. Instalace prostředí. Kontrola přístupu k Upload systému. - 0pzdr: Odevzdání pozdravu - 1apsp: Distribuce nejkratších cest | 0pzdr.pdf 1apsp.pdf measurement.zip cviceni1.7z | |
| 2 | 03.10.2024 | MC | 3 | Generování různých typů grafů | 2randomgraphs.pdf cviceni2.7z | |
| 3 | 10.10.2024 | MC | 4 | Identifikace „rich club“ uzlů sítě | c03richclub.pdf Staci dokoncit jenom body 1-4 a bod 5a 2016-05-26.tgz exported-flows.zip cviceni3.zip | |
| 4 | 17.10.2024 | MC | 3 | Rekonstrukce komunikační počítačové sítě | c04networkreconstruction.pdf wireshark_display_filters.pdf additional-files.zip 20141021merged.zip cviceni4.7z | |
| 5 | 24.10.2024 | MC | 3 | Detekce komunit a dynamiky provozu | C06NetworkCommunities cviceni5.7z | |
| 6 | 31.10.2024 | MC | 3 | Specifikace a verifikace protokolů pomocí nástroje Alloy | alloyzadani.pdf Zadání 4 Alloy Cheat Sheet Download | |
| 7 | 07.11.2024 | MC | 6 | Specifikace a verifikace protokolů pomocí nástroje Alloy II | alloyzadani.pdf Zadání 1 cviceni-alloy.7z Alloy Cheat Sheet Download | |
| 8 | 14.11.2024 | MC | 3(za varianty 10-15 4 body; za varianty 16-26 5 bodů) | Specifikace dynamického systému v systému UPPAAL (příprava: nainstalujte si Uppaal) | uppaal_cviceni.pdf Vyber varianty je na vas - s vyjimkou varianty 1. \\variantynim.pdf | |
| 9 | 21.11.2024 | MC | 3 | Konstrukce testů pro FSM. Konstrukce charakterizační množiny | Úkol 9 automaton.7z Z cviceni | |
| 10 | 28.11.2024 | MC | 3 | Kontrolní sekvence konečného automatu. | Zadani a,b  Z cviceni | |
| 11 | 05.12.2024 | MC | 3(+2) | Kontrolní sekvence konečného automatu. | Zadani c,d,e | |
| 12 | 12.12.2024 | MC | 2 | Dynamické sítě. | Zadani.pdf | |
| 13 | 19.12.2024 | MC | Konzultace. |