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 | 26.09.2019 | RM | - - - - - - 1 2 | 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 |
2 | 03.10.2019 | RM | 3 | Generování různých typů grafů | 2randomgraphs.pdf |
3 | 10.10.2019 | RM | 3 | Identifikace „rich club“ uzlů sítě | c03richclub.pdf 2016-05-26.tgz |
4 | 17.10.2019 | RM | 3 | Rekonstrukce komunikační počítačové sítě | c04networkreconstruction.pdf wireshark_display_filters.pdf 20141021merged.zip |
5 | 24.10.2019 | RM | 3 | Detekce komunit | Zadáno slovně |
6 | 31.10.2019 | RM | 3 | Detekce komunit a dynamiky provozu | C06NetworkCommunities |
7 | 07.11.2019 | RM | 6 | Specifikace a verifikace protokolů pomocí nástroje Alloy | alloyzadani.pdf Alloy Cheat Sheet1) |
8 | 14.11.2019 | RM | 1 | Specifikace dynamického systému v systému UPPAAL (příprava: nainstalujte si Uppaal) | uppaal_cviceni.pdf variantynim.pdf c09.uppaal.zip Nim |
9 | 21.11.2019 | RM | 6 | Ověření protokolu pomocí systému UPPAAL/Alloy | UPPAAL_Zadani.pdf Články |
10 | 28.11.2019 | RM | 3 | Konstrukce testů pro FSM. Konstrukce charakterizační množiny | FsmUlohy.pdf Automaty.zip |
11 | 05.12.2019 | RM | 3 | Určení stavu pomocí kontrolní sekvence konečného automatu. | CheckingSequence.pdf |
12 | 12.12.2019 | RM | 3 | Rekonstrukce konečného automatu pomocí aktivního učení. | FsmLearning.pdf lstarlearning.zip |
13 | 19.12.2019 | RM | Prezentace studia článků | ||
14 | 09.01.2020 | RM | Konzultace. Rozklady sítí na komunity a vývoje senzorové sítě. Návrh testů pro vrstvené softwarové sítě. |