Softwarové systémy
Tato stránka vychází z podkladů pro tištěné studijní plány (tzv. Karolinku).
Aktuální studijní plány najdete zde.
Garantující pracoviště: Katedra distribuovaných a spolehlivých systémů
Oborový garant: Prof. Ing. Petr Tůma, Dr.
Zaměření:
- – systémové programování
- – spolehlivé systémy
- – výkonné systémy
- – spolehlivé systémy
Tento program je určen studentům se zájmem o hluboké znalosti z oblasti programovacích jazyků a počítačových systémů. Nabízí tři zaměření - Systémové programování, které vybaví absolventa znalostmi o moderních operačních systémech a souvisejících technologiích jako middleware či virtual machines, Spolehlivé systémy, které se soustředí na metody systematické konstrukce systémů s vysokou spolehlivostí, a konečně Výkonné systémy, které kladou důraz na znalosti potřebné pro vývoj software na moderních paralelních a distribuovaných systémech.
Povinné předměty
| kód | Předmět | Kredity | ZS | LS | |
| NTIN066 | Datové struktury 1 | 6 | 2/2 Z+Zk | — | |
| NTIN090 | Základy složitosti a vyčíslitelnosti | 4 | 2/1 Z+Zk | — | |
| NSZZ023 | Diplomová práce I | 6 | — | 0/4 Z | |
| NSZZ024 | Diplomová práce II | 9 | 0/6 Z | — | |
| NSZZ025 | Diplomová práce III | 15 | — | 0/10 Z | |
Povinně volitelné předměty
Hlavní náplň programu představují následující povinně volitelné předměty, u kterých program požaduje studium podle preferencí studenta v objemu nejméně 48 kreditů. Při volbě předmětů je vhodné zohlednit také budoucí zaměření odborné části státní závěrečné zkoušky.
| kód | Předmět | Kredity | ZS | LS | |
| NSWI106 | Administrace Linuxu | 6 | 2/2 KZ | — | |
| NSWI151 | Administrace virtualizační infrastruktury | 3 | — | 0/2 Z | |
| NSWI132 | Analýza programů a verifikace kódu | 5 | — | 2/2 Z+Zk | |
| NPRG075 | Design programovacích jazyků | 2 | 0/2 Z | — | |
| NSWI133 | Firemní semináře | 2 | 0/2 Z | — | |
| NTIN043 | Formální základy softwarového inženýrství | 5 | 2/2 Z+Zk | — | |
| NPRG014 | Koncepty moderních programovacích jazyků | 4 | 0/3 Z | — | |
| NSWI109 | Konstrukce překladačů | 4 | — | 2/1 Z+Zk | |
| NSWI080 | Middleware | 4 | — | 2/1 KZ | |
| NSWI164 | Modelem řízený vývoj | 2 | 0/1 Z | — | |
| NSWI101 | Modely a verifikace chování systémů | 5 | 2/2 Z+Zk | — | |
| NPRG077 | Napište si vlastní programovací mini-systém(y)! | 2 | 0/2 Z | — | |
| NSWI089 | Ochrana informací 1 | 3 | 2/0 Zk | — | |
| NSWI071 | Ochrana informací 2 | 3 | — | 2/0 Zk | |
| NSWI026 | Praktické aspekty softwarového inženýrství | 5 | — | 2/2 Z+Zk | |
| NSWI126 | Pokročilé nástroje pro vývoj a monitorování software | 2 | 0/2 Z | — | |
| NSWI161 | Pokročilé operační systémy | 3 | — | 2/0 Zk | |
| NPRG058 | Pokročilé programování v paralelním prostředí | 6 | 2/2 Z+Zk | — | |
| NMAI060 | Pravděpodobnostní metody | 3 | 2/0 Zk | — | |
| NSWI035 | Principy distribuovaných systémů | 3 | 2/0 Zk | — | |
| NPRG084 | Principy programovacích jazyků | 5 | — | 2/2 Zk | |
| NAIL094 | Rozhodovací procedury a SAT/SMT řešiče | 5 | — | 2/2 Z+Zk | |
| NSWI054 | Softwarové inženýrství pro spolehlivé systémy | 3 | — | 0/2 Z | |
| NDBI042 | Techniky vizualizace dat | 4 | — | 2/1 Z+Zk | |
| NSWE001 | Vestavěné systémy a systémy reálného času | 5 | — | 2/2 Z+Zk | |
| NSWI150 | Virtualizace a cloud computing | 3 | 2/0 Zk | — | |
| NPRG076 | Virtualní stroje a běhová prostředí | 1 | 3 | — | 1/1 KZ |
| NSWI131 | Vyhodnocování výkonnosti počítačových systémů | 4 | — | 2/1 Z+Zk | |
| NSWI057 | Výběrový seminář z distribuovaných a komponentových systémů I | 3 | 0/2 Z | 0/2 Z | |
| NSWI152 | Vývoj cloudových aplikací | 3 | — | 0/2 Z | |
1 Předmět je zaměnitelný se starším předmětem NSWI176 Dynamický překlad prakticky.
Povinně volitelné předměty z bakalářského programu
Program dává prostor pro další studium předmětů předchozího bakalářského programu v objemu nejméně 8 kreditů. Tuto povinnost je možné splnit také uznáním předmětů z předchozího bakalářského studia podle platných studijních předpisů. Započítané předměty bakalářského programu jsou:
| kód | Předmět | Kredity | ZS | LS | |
| NPRG038 | Pokročilé programování v jazyce C# | 5 | — | 2/2 Z+Zk | |
| NPRG051 | Pokročilé programování v C++ | 5 | — | 2/2 Z+Zk | |
| NPRG021 | Pokročilé programování v jazyce Java | 5 | — | 2/2 Z+Zk | |
| NSWI153 | Pokročilé programování webových aplikací | 5 | — | 2/2 Z+Zk | |
| NPRG043 | Doporučené postupy v programování | 5 | — | 2/2 KZ | |
| NPRG054 | Vývoj vysoce výkonného software | 6 | — | 2/2 KZ | |
| NPRG056 | Programování mobilních zařízení | 3 | 0/2 Z | — | |
| NPRG042 | Programování v paralelním prostředí | 6 | — | 2/2 KZ | |
| NSWI143 | Architektura počítačů | 3 | — | 2/0 Zk | |
| NSWI098 | Principy překladačů | 6 | 2/2 KZ | — | |
Povinně volitelné předměty týmového projektu
Program požaduje absolvovat jeden z předmětů týmového projektu:
| kód | Předmět | Kredity | ZS | LS | |
| NPRG069 | Softwarový projekt | 12 | 0/8 Z | 0/8 Z | |
| NPRG070 | Výzkumný projekt | 9 | 0/6 Z | 0/6 Z | |
| NPRG071 | Firemní projekt | 6 | 0/4 Z | 0/4 Z | |
Státní závěrečná zkouška
Požadavky k odborné části státní závěrečné zkoušky jsou dány zvoleným zaměřením programu.
Zaměření: Systémové programování
Toto zaměření ověřuje znalosti a dovednosti týkající se systémového programování a vnitřní funkce softwarových systémů, zkoušené v rozsahu následujících profilujících předmětů:
| kód | Předmět | Kredity | ZS | LS | |
| NPRG014 | Koncepty moderních programovacích jazyků | 4 | 0/3 Z | — | |
| NSWI080 | Middleware | 4 | — | 2/1 KZ | |
| NSWI161 | Pokročilé operační systémy | 3 | — | 2/0 Zk | |
| NPRG058 | Pokročilé programování v paralelním prostředí | 6 | 2/2 Z+Zk | — | |
| NSWI035 | Principy distribuovaných systémů | 3 | 2/0 Zk | — | |
Zaměření: Spolehlivé systémy
Toto zaměření ověřuje znalosti a dovednosti týkající se konstrukce spolehlivých softwarových systémů, zkoušené v rozsahu následujících profilujících předmětů:
| kód | Předmět | Kredity | ZS | LS | |
| NSWI132 | Analýza programů a verifikace kódu | 5 | — | 2/2 Z+Zk | |
| NTIN043 | Formální základy softwarového inženýrství | 5 | 2/2 Z+Zk | — | |
| NSWI164 | Modelem řízený vývoj | 2 | 0/1 Z | — | |
| NSWI101 | Modely a verifikace chování systémů | 5 | 2/2 Z+Zk | — | |
| NSWE001 | Vestavěné systémy a systémy reálného času | 5 | — | 2/2 Z+Zk | |
Zaměření: Výkonné systémy
Toto zaměření ověřuje znalosti a dovednosti týkající se konstrukce softwarových systémů s vysokým výpočetním výkonem, zkoušené v rozsahu následujících profilujících předmětů:
| kód | Předmět | Kredity | ZS | LS | |
| NSWI109 | Konstrukce překladačů | 4 | — | 2/1 Z+Zk | |
| NPRG058 | Pokročilé programování v paralelním prostředí | 6 | 2/2 Z+Zk | — | |
| NSWI035 | Principy distribuovaných systémů | 3 | 2/0 Zk | — | |
| NSWI150 | Virtualizace a cloud computing | 3 | 2/0 Zk | — | |
| NSWI131 | Vyhodnocování výkonnosti počítačových systémů | 4 | — | 2/1 Z+Zk | |
