doc. RNDr. Ing. Petr Zemánek, CSc.

Závěrečné práce

Bakalářské práce

Ohodnocování zdatnosti SW balíčků s ohledem na bezpečnost a užití v průmyslu

Autor
Martin Kröner
Rok
2025
Typ
Bakalářská práce
Vedoucí
doc. RNDr. Ing. Petr Zemánek, CSc.
Oponenti
Ing. Filip Čacký
Anotace
Tato bakalářská práce se zabývá zkoumáním různých možností hodnocení a posuzování rizika použití softwarových balíčků. Během první kapitoly proběhla analýza existujících hodnotících frameworků a nástrojů, a uvážení jejich slabých a silných stránek. Nadále byla navržena a vyvinuta metodika pro shromažďování všerůzných metrik a jejich následné zpracování pro účely posouzení odhadovaného rizika. V pozdější kapitole byl naimplementován nástroj, který zmíněné úkony provádí. Nakonec byly porovnány výsledky analyzovaných nástrojů a frameworků a námi implementovaným nástrojem, z čehož byly vyvoděny závěry.

SW podpora NPU akcelerátorů pro operační systémy Linuxového typu

Autor
Michal Žáček
Rok
2025
Typ
Bakalářská práce
Vedoucí
doc. RNDr. Ing. Petr Zemánek, CSc.
Oponenti
Bc. Tomáš Martinec
Anotace
Tento dokument zahrnuje informace o NPU čipu, kterým je vybavena deska NXP i.MX 8MP EVK, jak se používá, jaké k němu existují přistupové cesty, v čem se liší či co mají společného. Provedeme několik základních benchmarků abychom zjistili jaký je skutečný přínos chipu pro některé běžné ůkony. Nakonec shrneme co je potřeba aby PikeOS podporoval, pro oficiální podporu tohoto NPU čipu a probereme, co portování těchto knihoven může zahrnovat.

Diplomové práce

Studie integrace časově citlivých sítí v RTOS PikeOS

Autor
Jakub Šatoplet
Rok
2024
Typ
Diplomová práce
Vedoucí
doc. RNDr. Ing. Petr Zemánek, CSc.
Oponenti
Ing. Alexandru Moucha, Ph.D.
Anotace
Cílem diplomové práce je studie integrace časově citlivých sítí do operačního systému reálného času PikeOS. V analytické části práce jsou představeny operační systémy reálného času a systém PikeOS. Dále představuje základní koncepty časově citlivých sítí s důrazem na synchronizaci času pomocí protokolu Precision Time Protocol. Implementační kapitoly vysvětlují, jak jsou strukturovány ovladače systému PikeOS, se zaměřením na Ethernetové ovladače. Jejich hlavním výstupem je ovladač pro Ethernetový řadič ENET_QOS. Kromě základních funkcí přenosu rámců patří mezi vlastnosti ovladače pokročilé filtrování rámců se značkami IEEE 802.1Q, které představilo návrh nového standardního rozhraní, zpracování vícesměrového vysílání a integrace protokolu Precision Time Protocol. Testování ovladače ověřilo jeho správnost a naměřilo chybu integrované časové synchronizace v očekávaném rozsahu desítek mikrosekund.