|
|
Návrh virtuálního světa pro testování autonomních vozidel
Turek, Martin ; Píštěk, Václav (oponent) ; Kučera, Pavel (vedoucí práce)
Bakalářská práce se zabývá návrhem virtuálního světa pro testování autonomních vozidel, jehož předlohou je reálná lokalita v ČR. Vozidlo řízené chybně navrženým algoritmem autonomního řízení nebo ADAS systémem potenciálně představuje velké bezpečnostní riziko pro všechny účastníky silničního provozu. Z toho plyne nutnost vše velmi důkladně odzkoušet, přičemž virtuální simulační prostředí představuje ekonomicky výhodnou alternativu k nákladnému testování prototypů ve skutečném světě. Detailní virtuální reprezentace vybrané lokality byla vytvořena v softwaru RoadRunner na základě digitálních mapových a fotografických podkladů. Funkčnost vytvořeného světa byla ověřena v Unreal Engine prostřednictvím jednoduché simulace navržené v prostředí Simulinku. Výstupem práce je funkční virtuální prostředí, jehož předlohou bylo blízké okolí FSI v Brně. Součástí vytvořeného světa je veškerá důležitá dopravní infrastruktura a vizuální autenticita okolí silnic je zajištěna umístěním 3D modelů reálných objektů.
|
|
|
Dynamické analyzátory pro platformu SearchBestie
Janoušek, Martin ; Češka, Milan (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá návrhem a implementací dynamického analyzátoru kontraktů s parametry. V první části práce je představena problematika testování paralelních programů, včetně metod testování a chyb, které se mohou v těchto programech nacházet. Podrobněji se zabývá metodou dynamické analýzy a věnuje se konkrétním dynamickým analyzátorům, jako jsou FastTrack nebo analyzátor kontraktů. Ve druhé části práce je popsán návrh a implementace dynamického analyzátoru kontraktů pro framework RoadRunner a platformu Searchbestie .
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Návrh simulačního prostředí pro testování provozu autonomních vozidel
Šůstek, Jan ; Krejsa, Jiří (oponent) ; Věchet, Stanislav (vedoucí práce)
Tato diplomová práce se zabývá návrhem simulačního prostředí pro testování autonomních vozidel. V teoretické části byla provedena rešerše dostupných simulátorů autonomního řízení. Dále byly představeny nástroje běžně používané v autonomních vozidlech, jako jsou senzory nebo softwarové moduly. V praktické části byl z dostupných řešení vybrán simulátor CARLA. Nejprve je vysvětlena instalace samotného simulátoru CARLA. Poté byla pomocí programu Roadrunner vytvořena simulační mapa, která napodobuje konkrétní ulici v Brně. Následně je ukázána práce se simulátorem CARLA. Na závěr je zhodnocena práce se simulátorem CARLA a ukázány konkrétní výstupy simulace.
|
|
|
Instrumentace Java programů, kontrakty pro paralelismus
Žárský, Jan ; Křena, Bohuslav (oponent) ; Smrčka, Aleš (vedoucí práce)
Kontrakty pro paralelismus slouží k vyjádření potřebné atomicity sekvencí metod ve vícevláknových programech. Tato práce se zaměřuje na implementaci dynamického analyzátoru, který verifikuje programy napsané v jazyce Java vůči kontraktům. Podporovány jsou parametrické kontrakty se spojlery. Analyzátor je implementován jako rozšíření frameworku RoadRunner. V rámci implementace analyzátoru byla do frameworku RoadRunner přidána podpora pro získávání argumentů metod a jejich návratových hodnot. Analyzátor byl plně implementován a jeho funkčnost byla ověřena na sadě testovacích programů.
|
|
|
Dynamické analyzátory pro platformu SearchBestie
Janoušek, Martin ; Češka, Milan (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato diplomová práce se zabývá návrhem a implementací dynamického analyzátoru kontraktů s parametry. V první části práce je představena problematika testování paralelních programů, včetně metod testování a chyb, které se mohou v těchto programech nacházet. Podrobněji se zabývá metodou dynamické analýzy a věnuje se konkrétním dynamickým analyzátorům, jako jsou FastTrack nebo analyzátor kontraktů. Ve druhé části práce je popsán návrh a implementace dynamického analyzátoru kontraktů pro framework RoadRunner a platformu Searchbestie .
|
host ::
RSS.