Ing. Jan Bělohoubek, Ph.D.

Projekty

Bezpečné a spolehlivé architektury pro programovatelné obvody

Program
Studentská grantová soutěž ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SGS17/213/OHK3/3T/18
Období
2017 - 2019
Popis
Navrhovaný projekt se bude zabývat návrhem a modelováním architektur, které budou tolerantní vůči poruchám, útokům a nespolehlivým senzorickým vstupům. Projekt bude zejména orientován do oblasti programovatelných obvodů (FPGA), systémů s mikrokontroléry a vestavných systémů integrujících umělou inteligencí. Zásadní a tradiční metoda pro zvýšení spolehlivostních ukazatelů je zavedení redundance ať již replikací obvodů nebo kombinováním různých senzorických vstupů. Bezpečnost zařízení ve smyslu odolnosti proti útokům, je v dnešní době dalším stále důležitějším aspektem, což se často dosahuje také pomocí redundance, ale s cílem skrýt data. Budeme hledat vzájemné vztahy metod a způsobů návrhu systémů odolných proti poruchám, systémů odolných vůči chybným senzorickým vstupům a systémů odolných proti útokům. Chceme studovat průsečíky těchto oblastí a vliv řiditelnosti, pozorovatelnosti a redundance na cílové vlastnosti těchto architektur.

Bezpečné a spolehlivé architektury vhodné pro implementaci v FPGA

Program
Studentská grantová soutěž ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SGS16/121/OHK3/1T/18
Období
2016
Popis
Navrhovaný projekt se chce zabývat návrhy takové architektury, která je schopná tolerovat poruchy v programovatelných obvodech (FPGA). Zásadní a tradiční metoda je zavedení redundance. Bezpečnost zařízení, tj. odolnost proti útokům, je v dnešní době dalším stále důležitějším aspektem, což se často dosahuje také pomocí redundance, ale s cílem skrýt data. Budeme hledat vzájemné vztahy metod a způsobů návrhu systémů odolných proti poruchám a systémů odolných proti útokům, chceme studovat průsečíky obou oblastí, tzn. vliv řiditelnosti, pozorovatelnosti a redundance pomocí návrhu architektur pro obě aplikace.

Metody číslicového návrhu pro systémy s vysokou spolehlivostí a bezpečností

Program
Studentská grantová soutěž ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SGS14/105/OHK3/1T/18
Období
2014
Popis
Projekt je zaměřen na návrh spolehlivých a bezpečných číslicových obvodů s ohledem na jejich velikost, rychlost i testovatelnost. Vysoké spolehlivosti chceme dosáhnout vhodným zálohováním a využitím rekonfigurace. Chceme zkoumat vzájemný vztah architektur odolných proti poruchám a útokům. Použité metody budou ověřovány pomocí zkušebních úloh simulací a implementací v FPGA.

Prague Embedded Systems Workshop 2021

Program
Studentská vědecká konference ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SVK 56/21/F8
Období
2021
Popis
Prague Embedded Systems Workshop (PESW 2021) bude již devátým ročníkem akce přednostně určené pro studenty (doktorandy, magisterské a bakalářské studenty) z České republiky, EU i mimo EU. Hlavní náplní a cílem jsou ústní prezentace a poskytnutí velkého prostoru pro diskuse o zajímavých výzkumných výsledcích i realizačních výstupech v oblasti, která má vztah k návrhu vestavných systémů, a to k jejich realizaci, verifikaci, syntéze, testovatelnosti a bezpečnosti. Ohlasy minulých ročníků byly a jsou jednoznačně kladné, přestože PESW 2020 proběhl viruálně.Chceme vužít tyto čerstvé zkušenosti a uspořádat PESW 2021 tak, že spojíme výhody obojího způsobu. Pro živou organizaci využijeme služby hotelu Academic v Roztokách u Prahy s tím, že ji budeme zároveň přenášet on-line. Hlavním organizátorem je katedra číslicového návrhu FITu, zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně studenti, kteří pracují na svých doktorských i diplomových nebo bakalářských pracích. Se svými dílčími i finálními výsledky se mohou na PESW pochlubit v mezinárodním měřítku, a to buď formou ústní prezentace nebo na posterové soutěži, viz níže. Každý ročník aktualizujeme mezinárodní programový výbor, získáváme významné odborníky a jejich studenty. Akce nabývá stále větší prestiže i v mezinárodním měřítku. Počítáme opět s účastí zástupců z universit (Tel Aviv - Izrael, Leicester - UK, Montpellier, Lyon, Grenoble - Francie, Řím, Pavia - Itálie, Leuven - Belgie, Zelená Gora - Polsko, Talinn - Estonsko, San Diego - US, FIIT Bratislava - Slovensko, VUT, ZČU a i další university z Česka) i firem (např. EaToN, ASICentrum, CESNET, ESET, STMicroelectronics aj.). Počítáme samozřejmě s účastí studentů z ČVUT, z FELu, FITu, FJFI, FD a pracujeme na propagaci pro získání studentů a odborníků z dalších pracovišť. Členové programového výboru mají za povinnost propagaci akce po celý rok na mezinárodních i vnitrostátních fórech. Vzhledem k me

Prague Embedded Systems Workshop 2022

Program
Studentská vědecká konference ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SVK 55/22/F8
Období
2022
Popis
Prague Embedded Systems Workshop (PESW 2022) bude jubilejním desátým ročníkem akce přednostně určené pro studenty (doktorandy, magisterské a bakalářské studenty) z České republiky, EU i mimo EU. Hlavní náplní a cílem jsou ústní prezentace a poskytnutí velkého prostoru pro diskuse o nejnovějších (třeba i rozpracovaných) výzkumných výsledcích i realizačních výstupech v oblasti, která má vztah k návrhu a aplikaci vestavných systémů, a to k jejich realizaci, verifikaci, syntéze, testovatelnosti a bezpečnosti. Ohlasy minulých ročníků byly a jsou jednoznačně kladné, přestože PESW 2020 proběhl viruálně a PESW 2021 měl některé příspěvky prezentované on-line. Přesto z principu hlavního cíle se budeme přednostně snažit zorganizovat PESW 2022 opět naživo. Hlavním organizátorem je katedra číslicového návrhu FITu, zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně studenti, kteří pracují na svých doktorských, diplomových nebo bakalářských pracích. Se svými dílčími i finálními výsledky se mohou na PESW pochlubit v mezinárodním měřítku, a to buď formou ústní prezentace nebo na posterové soutěži, viz níže. Každý ročník aktualizujeme mezinárodní programový výbor, získáváme významné odborníky a jejich studenty. Akce nabývá stále větší prestiže i v mezinárodním měřítku. Počítáme opět s účastí zástupců z universit (Tel Aviv - Izrael, Leicester - UK, Montpellier, Lyon, Grenoble - Francie, Řím, Pavia - Itálie, Leuven - Belgie, Zelená Gora - Polsko, Talinn - Estonsko, San Diego - US, FIIT Bratislava - Slovensko, VUT, ZČU a i další university z Česka) i firem (např. EaToN, ASICentrum, CESNET, ESET, STMicroelectronics aj.). Počítáme samozřejmě s účastí studentů z ČVUT, z FELu, FITu, FJFI, FD a pracujeme na propagaci pro získání studentů a odborníků z dalších pracovišť z ČR i SR. Členové programového výboru mají za povinnost propagaci akce po celý rok na mezinárodních i vnitrostátních fórech. Vzhledem k mezinárodní úča

Spolehlivé a bezpečné architektury založené na programovatelných obvodech

Program
Studentská grantová soutěž ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SGS15/119/OHK3/1T/18
Období
2015
Popis
Vnitřní struktura programovatelných obvodů je komplexní a návrháři do detailů neznámá, což způsobuje problémy při návrhu spolehlivých a bezpečných aplikací. Vzájemné vztahy metod a způsobů návrhu systémů odolných proti poruchám a systémů odolných proti útokům nejsou teoreticky prostudovány. Proto chceme studovat průsečíky obou oblastí, tzn. vliv řiditelnosti, pozorovatelnosti a redundance pomocí návrhu architektur pro obě aplikace s tím, že cílová platforma bude programovatelný hardware (FPGA). Abychom dosáhli tohoto cíle, musíme vytvořit realistický model. Nedostatky způsobené složitou a skrytou strukturou programovatelného zařízení budeme řešit pomocí kalibrace použitého modelu na základě srovnání se zrychlenými testy životnosti. Složitost struktur použitých zařízení vede ke složitým modelům, proto se budeme zabývat metodami pro zjednodušení a zavedení hierarchie těchto modelů se zaručením mezí spolehlivostních parametrů.

The 3rd Prague Embedded Systems Workshop - PESW

Program
Studentská vědecká konference ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SVK 50/15/F8
Období
2015
Popis
Prague Embedded Systems Workshop (PESW, http://pesw2015.fit.cvut.cz/) je již třetím ročníkem akce přednostně určené pro studenty (doktorandy i magisterské studenty), aby prezentovali a diskutovali o svých zajímavých výzkumných výsledcích i realizačních výstupech v oblasti, která má vztah k návrhu vestavných systémů, a to k jejich realizaci, verifikaci, syntéze, testovatelnosti i zajímavým aplikacím. Původní myšlenka vznikla na základě spolupráce mezi pražským FITem a kolegy z Tel Aviv University, tedy přímočarým cílem byla spolupráce s pracovištěm mimo EU. První ročník (ESW 2013) probíhal ve velmi neformální atmosféře ve středisku Temešvár v Jižních Čechách (http://esw2013.fit.cvut.cz/) a protože ohlasy byly jednoznačně kladné, uspořádali jsme druhý a nyní připravujeme již třetí ročník PESW 2015 opět v hotelu Academic v Roztokách u Prahy, který nás zcela uspokojil jednak svou polohou a jednak službami. Hlavními organizátory je katedra číslicového návrhu FITu a hlavně výzkumná skupina "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/). Podařilo se opět rozšířit programový výbor a máme přislíbenou účast doktorandů, jejich školitelů a dalších aktivních účastníků nejen z universit z Tel Avivu (Izrael), Zelené Gory (Polsko), Západočeské university, firmy EaToN, FELu a FITu jako v roce 2014, ale navíc ještě ze Slovenska, z USA a z Itálie. Vzhledem k mezinárodní účasti probíhá workshop v angličtině. SCOPE: The workshop PESW 2015 addresses emerging issues, hot problems, new solution methods, and their hardware and software implementations in the fields of digital and mixed-signal system design. It is especially focused on dependable and low power design, and testing methods related to the SoC technology and modern embedded applications. The workshop topics include (but are not limited to): Programmable/re-configurable/adaptable architectures SoC and NoC design and testing Digital design optimization methods Architectures and hardw

The 4th Prague Embedded Systems Workshop - PESW

Program
Studentská vědecká konference ČVUT
Poskytovatel
Jiný tuzemský poskytovatel
Kód
SVK 58/16/F8
Období
2016
Popis
Prague Embedded Systems Workshop (PESW 2016, http://pesw.fit.cvut.cz/2016/) je již čtvrtým ročníkem akce přednostně určené pro studenty (doktorandy i magisterské studenty) nejen z České republiky. Hlavní náplní a cílem jsou ústní prezentace a poskytnutí velkého prostoru pro diskuse o zajímavých výzkumných výsledcích i realizačních výstupech v oblasti, která má vztah k návrhu vestavných systémů, a to k jejich realizaci, verifikaci, syntéze, testovatelnosti i zajímavým aplikacím. Ohlasy minulých třech ročníků byly jednoznačně kladné, proto připravujeme již čtvrtý ročník PESW 2016 opět v hotelu Academic v Roztokách u Prahy, který nás zcela uspokojil jednak svou polohou a jednak službami. Hlavním organizátorem je katedra číslicového návrhu FITu, zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/). Od minulého ročníku se opět podařilo rozšířit mezinárodní programový výbor, máme přislíbenou účast doktorandů, jejich školitelů a dalších aktivních účastníků z universit z Tel Avivu (Izrael), University of Leicester (UK), University di Pavia (Itálie), Zelené Gory a Varšavy (Polsko), FIIT z Bratislavy, Západočeské university, firmy EaToN, FELu a FITu i z Brněnského VUT. CfP rozesíláme i na další pracoviště. Vzhledem k mezinárodní účasti probíhá workshop celý v angličtině. SCOPE: The workshop PESW 2015 addresses emerging issues, hot problems, new solution methods, and their hardware and software implementations in the fields of digital and mixed-signal system design. It is especially focused on dependable and low power design, and testing methods related to the SoC technology and modern embedded applications. The workshop topics include (but are not limited to): Programmable/re-configurable/adaptable architectures SoC and NoC design and testing Digital design optimization methods Architectures and hardware for security applications On-line and off-line error detection and correction Fault-tolerant control systems design me