Web esc Aerospace s.r.o.
Nabízíme spolupráci v oblasti kosmických technologií.
– diplomové práce, již spolupráce s ČVUT od roku 2017
– semestrální práce
– možnost brigád
– možnost spolupráce na programech ESA (Evropské kosmické agentury)
esc Aerospace poskytuje zajímává témata v oblastí kosmického výzkumu.
Jedná se o zaměření na
– Přístrojový letový software pro družice a sondy
– Operační systémy pro družice a sondy
– Komunikační rozhraní SpaceWire
– Kybernetickou bezpečnost
– Kvantové šifrování
– Bezpečnost informací
Úspěšné vedení diplomových prací.
– Softwarový nástroj na návrh komunikačního protokolu družicového přístroje podle ECSS-E-ST-70-41C.
– Návrh letového softwaru pro projekt Demise Observation Capsule.
Témata na spolupráci:
– Navrhněte a implementujte přenášení zpráv (TM/TC) pro palubní počítač na družici přes rozhraní TCP a UDP. Porovnejte TCP/UDP komunikaci, velikosti implementací lwip a FreeRTOS-Plus-TCP a vyhodnoďte spolehlivost implementace. Použijte vývojový kit ST.
– Implementace SpaceWire komunikace mezi dvěma mikropočítači (např. ST). Rozhraní SpaceWire se používá pro komunikaci mezi přístroji na palubě sond ESA. Komerčně je však toto rozhraní drahé a nedostupné veřejnosti. Cílem je implementace rozhraní SpaceWire v jazyce C s ohledem na použití pro pedagogické účely.
– Návrh a implementace úložiště pro klíče přenesené pomocí QKD. Pomocí kvantového šifrování lze zajistit distribuci náhodných klíčů pro šifrování. Je však nutné zajistit, aby se po přenosu k takovým klíčům nikdo nedostal.
– Návrh a implementace zabezpečené komunikační linky s využitím QKD. Pomocí kvantového šifrování lze zajistit distribuci náhodných klíčů pro šifrování. Taková distribuce však neřeší přenos dat pro uživatele. Cílem práce je demonstrovat zabezpečenou komunikační linku s využitím náhodných klíčů.
– Návrh a implementace tajného úložiště tajných s využitím hardwarových tokenů. Šifrované úložiště potřebuje pro svoji činnost zadání hesla. Sdělením hesla je však možné toto heslo použít jinou osobou. Cílem práce je demonstrovat, že úložiště není možné dešifrovat bez hardwarové tokenu.
– Modelování jazyka C pro letový software. ESA poskytuje nástroje pro modelování software. Tyto nástroje se nevěnují ověření funkčnosti generovaného kódu. Cílem práce by bylo vyvinout vzorový model a napsat testy, které generovaný kód ověří.
– Měření doby běhu funkce v jazyce C. Cílem je určit dobu běhu (min., max.) jednotlivých funkcí v jazyce C za předpokladu, že funkce volané uvnitř funkce mají nulovou dobu trvání. Testování proběhne na procesoru ARM.
– Generování testovacích vektorů funkcí pro zdrojové kódy C. Cílem je automatizovat generování unit testů za použití open-source nástrojů.
– Zpracování dat z družic s využitím strojového učení (ML) a využitím umělé inteligence (AI).
– Vizualizace družicové komunikace CCSDS ve wiresharku.
V případě zájmu zašlete Váš životopis s fotografií na hr@evolvsys.cz. Specifikujte, o co konkrétně máte zájem.
Chcete-li požádat o tuto práci, kontaktujte nás na hr@evolvsys.cz