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	03.10.2017	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	10.10.2017	RM	3	Generování různých typů grafů	2randomgraphs.pdf
3	17.10.2017	RM	5	Identifikace „rich club“ uzlů sítě	c03richclub.pdf 2016-05-26.tgz
4	24.10.2017	RM	4	Rekonstrukce komunikační počítačové sítě	c04networkreconstruction.pdf wireshark_display_filters.pdf 20141021merged.zip
5	31.10.2017	RM		Konzultace
6	07.11.2017	RM	6	Specifikace a verifikace protokolů pomocí nástroje Alloy	alloyzadani.pdf Alloy Cheat Sheet¹⁾
7	14.11.2017		0	Samostatné vypracovávání úlohu Alloy
8	21.11.2017	RM	1	Specifikace dynamického systému v systému UPPAAL (příprava: nainstalujte si Uppaal)	uppaal_cviceni.pdf variantynim.pdf c09.uppaal.zip
9	28.11.2017	RM	0
10	05.12.2017	RM	6	Ověření protokolu pomocí systému UPPAAL/Alloy	UPPAAL_Zadani.pdf Články
11	12.12.2017	RM	3	Určení stavu pomocí kontrolní sekvence konečného automatu.	FsmUlohy.pdf Automaty.zip
12	19.12.2017	RM	3	Rekonstrukce konečného automatu pomocí aktivního učení.
13	02.01.2018	RM	3	Návrh testů pro vrstvené softwarové sítě. Rozklady sítí na komunity a Hodnocení vývoje senzorové sítě
14	09.01.2018	RM		Hodnocení cvičení, předávání úloh opozdilců

¹⁾

Patche vítány. Pokud vám v cheat sheetu něco chybí, není jasné nebo je špatně, napište mi, nebo rovnou pošlete merge request v odkazovaném repositáři.