Odevzdávaným výstupem každé úlohy je zpráva (PDF, HTML, plain text), kde je vedle samozřejmých částí, jako jsou
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.
POZOR! Bude průběžné aktualizován.
Týden | Datum | Cvičící | Body za úlohu | Obsah | Výukové materiály |
---|---|---|---|---|---|
1 | 5.10.2023 | 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.pdf |
2 | 12.10.2023 | MC | 3 | Generování různých typů grafů | 2randomgraphs.pdf assignment2-cviceni.pdf |
3 | 06.10.2022 | MC | 4 | Identifikace „rich club“ uzlů sítě | c03richclub.pdf assignment3.pdf 2016-05-26.tgz assignment3-advice.pdf exported-flows.zip cviceni-3.pdf |
4 | 26.10.2023 | MC | 3 | Rekonstrukce komunikační počítačové sítě | c04networkreconstruction.pdf wireshark_display_filters.pdf additional-files.zip 20141021merged.zip |
5 | 2.11.2023 | MC | 3 | Detekce komunit a dynamiky provozu | C06NetworkCommunities |
6 | 9.11.2023 | MC | 3 | Specifikace a verifikace protokolů pomocí nástroje Alloy | alloyzadani.pdf Zadání 4 Alloy Cheat Sheet Download cviceni_alloy.zip |
7 | 16.11.2023 | MC | 6 | Specifikace a verifikace protokolů pomocí nástroje Alloy II | alloyzadani.pdf Zadání upřesněno na cvičení Alloy Cheat Sheet Download |
8 | 30.11.2023 | 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 variantynim.pdf |
9 | 07.12.2023 | MC | 3 | Konstrukce testů pro FSM. Konstrukce charakterizační množiny | Úkol 9 automaton.zip load.zip cviceni0712.pdf |
10 | 14.12.2023 | MC | 5+(2) | Kontrolní sekvence konečného automatu. | Zadani |
11 | 21.12.2023 | MC | 3 | Dynamické sítě. | Zadani.pdf |