Projekty

2017

Prague Embedded Systems Workshop (PESW 2017, http://pesw.fit.cvut.cz/2017/) je již pátý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 a bezpečnosti. Ohlasy minulých již čtyř ročníků byly jednoznačně kladné, proto připravujeme již pátý ročník 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/), a to hlavně studenti, kteří pracují na svých doktorských a diplomových pracích. S jejich dílčími i finálními výsledky se mohou na PESW pochlubit i v mezinárodním měřítku. 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), z Montpellier (Francie), University di Pavia (Itálie), Zelené Gory (Polsko), FIIT z Bratislavy (Slovensko), 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á celý workshop v angličtině. Jako inovaci plánujeme zorganizovat speciální sekci na téma síťové bezpečnosti, takže ke každoročně vyhlašovaným tématickým okruhům z oblasti vestavných systémů, návrhů odolných proti poruchám a útokům, k řízení robotů a dalším (podrobně je možné najít na našem již funkčním webu) přibývá ještě: - Network monitoring and measurements - Network traffic processing and analysis, anomaly detection - Security and privacy issues Další součástí konference je "PESW 2017 Student Poster Ses

2022 - 2025

Projekt se zaměřuje na výzkum nových metod účinné ochrany před kybernetickými hrozbami, které zneužívají zabezpečenou komunikaci ke kompromitaci serverů a počítačů v prostředí vysokorychlostních sítí. Budou zkoumány metody strojového učení vhodné pro určování charakteristik toků šifrované komunikace a souvisejících rizik pouze z dostupných metadat. Díky využití hardwarové akcelerace pro realizaci klasifikátorů využívající strojové učení umožní systém vysokorychlostní detekci bezpečnostních incidentů a jejich reportování do SIEM nástroje. Dále bude vyvinut modul pro analýzu incidentů ve formě zásuvného modulu do systému QRadar. Výstupy projektu budou také zahrnovat referenční datové sady síťového provozu a systém pro jejich sběr a anotaci.

2017 - 2019

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.

2016

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.

2017 - 2019

The Internet of Things (IoT) is increasingly becoming part of our everyday life. Therefore, electronic IoT devices need to be carefully designed, taking into account data security and privacy. Putting in place security and privacy measures should introduce a minimal overhead in the system's power/energy consumption, cost and operational delay. Additionally, since IoT devices are everywhere, attackers can be in the vicinity of the device, which stresses the need for protection against side-channel analysis (SCA) attacks. These attacks exploit the use of side-channels, which are information channels that are unintentionally present in electronic devices and which potentially leak secret information. Examples are the power consumption, the electromagnetic radiation and the timing behaviour of the electronic device. In both academia and industry, SCA countermeasures are being developed and deployed. However, as SCA attacks become more and more sophisticated, continuously evolving countermeasures are necessary to protect the electronic devices of the future. This project proposes the use of dynamic hardware reconfiguration as a countermeasure against one of the most exploited types of SCA attacks, namely power analysis attacks. The goal is to randomly change the hardware circuit without altering the input-output behaviour of the chip. Since power analysis attacks are strongly based on the knowledge of the circuit, this is a very promising countermeasure. Another advantage is that dynamic hardware reconfiguration can be used as an add-on to other countermeasures. The project focuses on dynamic hardware reconfiguration on FPGAs (field-programmable gate arrays). It will result in proof-of-concept implementations that will be evaluated for power analysis attack resistance. The experimental results are crucial for the definition of a European project proposal that develops an automated tool flow and industry-driven use cases to show the effectiveness of the approach.

2013

První ročník společného semináře (studentské konference) kateder číslicového návrhu a počítačových systémů FIT s doktorandskými studenty z university Tel Aviv z Izraele. Při návštěvě prof. Ilyi Levina z University Tel Aviv v listopadu 2012 jsme našli společná témata, která odpovídají současným trendům ve výzkumu vestavných systémů. Domluvili jsme užší spolupráci se zaměřením na PhD. studenty. Proto jsem se rozhodli uspořádat v podstatě nultý ročník společného semináře, a to tak, aby náklady akce byly co nejmenší. Předpokládáme přednesení příspěvků na téma vestavných systémů, logické syntézy a číslicového návrhu s ohledem na spolehlivost a bezpečnost, včetně bezpečných síťových přenosů. Účast prof Levina a jeho 5 doktorandů je již domluvená. Předpokládáme, že pozveme kolegy z ostatních českých universit zabývajících se stejnou tématikou podle kapacity střediska Temešvár. Hlavním cílem bude příprava společné konference v roce 2014 s širší účastí PhD. studentů i z dalších evropských států

2010

V této práci se zaměříme na prozkoumání odolnosti šífer KeeLoq, Hitag-2, PRESENT a Clefia proti variantám útoku hrubou silou. Tyto šifry jsou určeny zejména pro tzv. Lightweight cryptography, tedy např. pro čipové karty nebo pro dálkově ovládané elektronické zámky automobilů. První dvě šifry jsou v praxi používány, druhé dvě jsou navrženy jako náhrada za zastaralé šifry. Navrhneme hardwarové architektury pro kryptanalýzu těchto šifer. Architetury budou převážně implementovány v FPGA. Tam, kde to bude možné, bude použit cluster COPACOBANA (Cost-Optimized PArallel COde BreAker). Výsledkem práce bude (i) návrh hardwarových architektur podporujících útok hrubou silou na konkrétní šifry a (ii) následné zhodnocení odolnosti jednotlivých šifer proti útokům hrubou silou.

2015

Cílem projektu je výzkum a vývoj bezpečnostních prvků současných informačních systémů. Důraz je kladen na zabezpečení zpracovávaných dat a komunikaci na úrovni jak technických, tak také programových prostředků. Výzkumná skupina Aplikované numeriky a kryptografie a výzkumná skupina Síťové bezpečnosti se dlouhodobě zabývají výzkumem různých bezpečnostních součástí a aspektů informačních systémů. Je to zejména výzkum v oblasti kryptoanalýzy blokových a proudových šifer, v síťové bezpečnosti, bezpečnosti čipových karet a v oblasti zpětného inženýrství. Navrhovaný projekt se tematicky zabývá těmito oblastmi výzkumu.

2016

Cílem projektu je výzkum a vývoj bezpečnostních prvků současných informačních systémů. Důraz je kladen na zabezpečení zpracovávaných dat a komunikace na úrovni jak technických, tak také programových prostředků. Výzkumná skupina Síťové bezpečnosti se dlouhodobě zabývají výzkumem různých bezpečnostních součástí a aspektů informačních systémů. Navrhovaný projekt se tematicky zabývá těmito oblastmi výzkumu.

2024

Poster session se pořádá v rámci dvacátého ročníku prestižní konference CNSM (Conference on Network and Service Management), která se v roce 2024 pořádá v Praze. Plánovaná sekce pro prezentaci studentských posterů cílí na začínající výzkumníky a studenty nejen z ČVUT, ale z celého světa, aby získali zpětnou vazbu na jejich dosavadní či plánovaný výzkum v oblasti počítačových sítí. Tématika počítačových sítí patří ke klíčovým oblastem současného technologického světa, jejíž rozvoj je nutný k zajištění efektivní komunikace, sdílení informací a bezpečnosti přenášených dat. I proto konference cílí na velké množství témat zabývající se síťovou bezpečností, analýzou síťového provozu, inovativních síťových řešení a protokolů, správou sítí, spolehlivostí, testováním a aplikací nových algoritmů v síťovém prostředí. Tématicky navrhovaná akce souvisí i s úspěšně řešeným projektem SGS, jehož řešitelem je navrhovatel dr. Čejka. Pořádáním této konference chceme navázat na předchozí ročníky poster session pořadaných v rámci CNSM, které vždy rozproudily diskuze o nových výzkumných tématech a umožnily začínajícím výzkumníkům z řad Ph.D. či magisterských studentů získat zkušenosti s tímto typem akce. Dále tento plán navazuje i na předchozí ročníky studentského vědeckého workshopu Prague Embedded Systems Workshop (PESW) pořádaný Katedrou Číslicového Návrhu FIT ČVUT v Praze, na kterém již řadu let probíhá speciální sekce Network Security. Organizátoři konference jsou zejména členové laboratoře monitorování síťového provozu na Katedře Číslicového Návrhu, a to hlavně Ph.D. studenti, kteří si tak prakticky vyzkouší organizaci takového typu akce. Navíc předpokládáme i zapojení dalších Ph.D. studentů z ČVUT v Praze do programového výboru konference, kteří si tak budou mít možnost i vyzkoušet recenzování příspěvků ostatních výzkumníků. Samotná poster session se bude skládat z krátkých (2 stránkových) článků, které budou prezentovány v angličtině během konference ve formě plakátu (posteru)

2017 - 2019

Cílem projektu je vytvořit a technicky vybavit Laboratoř inteligentních vestavných systémů. Laboratoř se bude zaměřena na vestavné systémy s integrovanými prvky umělé inteligence. Laboratoř bude studentům poskytovat technické zázemí pro předměty Základy inteligentních vestavných systémů (BI-ZIVS) v bakalářské etapě, Inteligentní vestavné systémy (MI-IVS) v magisterské etapě, bakalářské a diplomové práce. Technické vybavení laboratoře bude sledovat nejmodernější trendy v dané oblasti.

2013

Projekt je zaměřen na návrh číslicových obvodů s ohledem na jejich velikost, rychlost, spotřebu, spolehlivost a testovatelnost. Pilotní implementace bude realizována na programovatelných hradlových polích (FPGA). Vysoké spolehlivosti chceme dosáhnout vhodným zálohováním a efektivním využitím dynamické rekonfigurace. Předpokládáme vylepšování metodiky generování testů.

2012

Projekt je zaměřen na návrh a číslicových obvodů s ohledem na jejich velikost, rychlost, spotřebu, spolehlivost a testovatelnost. Pilotní implementace bude realizována na programovatelných hradlových polích (FPGA). Vysoké spolehlivosti chceme dosáhnout vhodným zálohováním a efektivním využitím dynamické rekonfigurace. Předpokládáme vylepšení metodiky generování komprimovaného testu, pomocí překrývání testovacích vektorů, využívající jejich implicitní reprezentace ke zvýšení efektivity testování.

2014

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.

2021

Náplň SVK v roce 2021 bude tvořit problematika moderní železnice odpovídající 21. století. Železnice má v 21. století své místo. Podle nedávné studie Mezinárodní železniční unie má železniční doprava v přepočtu na osobokilometry asi čtyřikrát méně externích nákladů než silniční nebo letecká. V nákladní dopravě je to dokonce šestkrát méně. Více než polovina externích nákladů silniční dopravy přitom pochází z nehod. U letadel externality z drtivé většiny souvisejí s exhalacemi a jejich neblahým vlivem na změnu klimatu. Důležitou oblastí moderní železnice 21. století je digitalizace, která je zakotvena v projektech Inteligentní dopravní systémy na železnici (ITS-R) resp. technologické rozpracování ITS-R v projektu Železnice 4.0. Důležitou aktuální změnou současné železnice je celková digitalizace, která není zaměřena pouze na oblast řízení a zabezpečení, ale i na oblast týkající se cestujících (přístup k internetu aj.), informačních a odbavovacích technologií, logistických a dispečerských aplikací. S tím souvisí především zásadní a systémové otázky pokrytí mobilními sítěmi celé železniční sítě a především vybavení novými digitálními technologiemi všech vozidel. To železnici do budoucna otevírá velké možnosti. S masivním přechodem k plně digitální železnici však vyvstávají nové a dosud tolik na železnici neřešené problémy jako jsou kybernetická bezpečnost či ekonomická udržitelnost a efektivita železnice. Proto je tematika ITS-R a Železnice 4.0 jednou z hlavních sekcí konference. Moderní železnice se samozřejmě dotýká i ostatních částí železničního provozu. Pokud chceme provozovat opravdu kvalitní a spolehlivou železniční dopravu, je nutné dbát o pravidelnou údržbu vozidel a zejména infrastruktury. Velkým problémem je nákladní doprava; většina vozidel je na hranici životnosti a jejich digitalizace je, zdá se, obtížná a ekonomicky nevýhodná. Je možné diskutovat kromě údržby také o provozu, nákupu, resp. pronájmu vozidel. Oblasti energetiky se kromě elektrifikace dotýká n

2020 - 2022

Přirozenou evolucí počítačových sítí dochází ke zvyšování složitosti a různorodosti infrastruktur a k masivnímu využívání šifrovaných protokolů. Tento trend komplikuje proces monitorování, neboť použití šifrování snižuje viditelnost do provozu. Navíc různorodost protokolů komplikuje zpracování provozu monitorovacími systémy. Na tyto nové vlastnosti síťového provozu je potřeba přizpůsobit a rozšířit existující nástroje pro monitorování a bezpečnostní analýzu. Tento projekt cílí na využití vysokoúrovňového aplikačně-specifického jazyka P4 pro popis funkcionality síťových zařízení a komunikačních protokolů, který umožní zpracování dat při vysokých rychlostech. Díky obecnému popisu v P4 plánujeme generovat pokročilé nástroje pro vytváření IP toků, které budou rozšířeny o charakteristiky provozu na paketové úrovni. Detailní paketové informace plánujeme využít pro klasifikaci a detekci anomálií síťového provozu. V rámci projektu se budeme soustředit na analýzu šifrovaného provozu, na který dosavadní monitorovací nástroje nejsou dostatečně připravené. Předmětem našeho výzkumu bude využití rozšířených IP toků a nalezení vhodných algoritmů pro jejich zpracování.

2023 - 2025

Umělá inteligence a strojové učení začíná zasahovat do mnoha aplikačních domén, kde zlepšuje automatizaci a využití velkého množství strojově zpracovatelných dat pro odvození nových informací. Přirozenou evolucí počítačových sítí dochází ke zvyšování složitosti a různorodosti infrastruktur a k masivnímu využívání šifrovaných protokolů. Tento trend komplikuje proces monitorování, neboť použití šifrování snižuje viditelnost do provozu. Navíc různorodost protokolů komplikuje zpracování provozu monitorovacími systémy. Na tyto nové vlastnosti síťového provozu je potřeba přizpůsobit a rozšířit existující nástroje pro monitorování a bezpečnostní analýzu a využití strojového učení k tomu může poskytnout technologie a postupy. V projektu plánujeme vyvíjet a využívat pokročilé nástroje pro vytváření IP toků obohacených o vektory příznaků a statistik pro strojové učení. Výsledné rozšířené IP toky plánujeme využít pro vytváření datových sad, klasifikaci provozu a detekci bezpečnostních hrozeb. Vyvíjené klasifikační a detekční algoritmy budou zkoumány mimo jiné z pohledu časových řad vytvořených ze síťového provozu. Důležitou součástí plánovaného výzkumu je analýza a automatické vyhodnocování vytvářených datových sad ze síťového provozu.

2022 - 2025

Projekt reaguje na současný nedostatek nástrojů pro analýzu a verifikaci bezpečnostní certifikace zařízení používaných pro zajištění kybernetické bezpečnosti. Zejména u hardwarových zařízení implementujících kryptografické algoritmy, například čipových karet, je v ČR téměř nemožné spolehlivě ověřit deklarovanou úroveň bezpečnosti, což následně znemožňuje analýzu rizik systémů využívajících tato zařízení a tedy použití zařízení např. u bezpečnostních složek státu či v rámci kritických informačních infrastruktur. V rámci projektu budou vyvinuty nové hardwarové a softwarové nástroje založené na principech umělé inteligence, které bude možné využít pro specifické kroky automatizované verifikace bezpečnosti kryptografického zařízení - ať už na základě bezpečnostní certifikace nebo tvrzení výrobce/dodavatele.

2011

Projekt je zaměřen na návrh spolehlivých obvodů, poskládaných z menších zabezpečených bloků, které jsou určeny pro implementaci do programovatelných hradlových polí(FPGA). Vysoké spolehlivosti chceme dosáhnout pomocí rekonfigurace a návrhu metodiky dekompozice obvodu s následným efektivním zabezpečením nově vzniklých bloků. Současně bude vylepšena stávající metodika zabezpečení obvodů, kde bude kladen důraz na celkovou velikost obvodů se záměrem minimalizovat hardwarový overhead. Pro testování budou použity bloky z projektu staničního zabezpečovacího zařízení pro železnice. Cílem bude dosáhnout spolehlivostních norem Českých drah. Výsledné zabezpečené obvody budou vyzkoušeny a experimentálně ověřeny na FPGA.

2010

Projekt je zaměřen na návrh spolehlivých obvodů implementovaných na programovatelných hradlových polích (FPGA) a jejich testování. Vysoké spolehlivosti chceme dosáhnout efektivním využitím dynamické rekonfigurace. Pro zlepšení testovatelnosti obvodů bude navržena metodika dekompozice obvodu. Zároveň bude vylepšena současná metodika generování komprimovaného testu, pomocí překrývání testovacích vektorů, využívající jejich implicitní reprezentace ke zvýšení efektivity testování. Zároveň bude kladen důraz na celkovou velikost obvodů s cílem minimalizovat hardwarový overhead. Výsledná architektura a navržené metody budou vyzkoušeny a experimentálně ověřeny na FPGA.

2011

Náplní projektu je výzkum v oblasti vysokorychlostních bezdrátových komunikačních systémů a následný vývoj mikrovlnného spoje se začleněnými adaptivními systémy a s přenosovou rychlostí 256MBit/s s takovým konstrukčním řešením, které by umožňovalo zajistit cenovou dostupnost daného zařízení pro zákazníky z ČR , kterými jsou zejména malé a střední společnosti zabývající se poskytováním datových služeb, včetně vysokorychlostního připojení k internetu. Primární oblastí použití vyvíjeného zařízení jsou páteřní sítě internetu a jiné datové sítě vyžadující vysokorychlostní bezdrátový přenos. Úkolem bude rovněž návrh a realizace vhodného adaptivního systému pro řízení výkonu vysílání, umožňující snížit celkovou energetickou spotřebu zařízení při zachování požadované spolehlivosti přenosu.

2023 - 2025

Projekt se zabývá číslicovým návrhem zaměřeným na tzv. inteligentní vestavné systémy. Zaměřuje se na studium nejnovějších trendů v technologiích a jejich využití zejména v tzv. "mission-critical" aplikacích, kde využívá umělou inteligenci (např. neuronové sítě) a aproximativní výpočty. Návrh takových systémů musí zohledňovat požadavky nejen na funkčnost, ale i na další omezující podmínky: spolehlivost, bezpečnost, odolnost proti útokům, velikost, spotřebu a real-timové garance. Proto budeme využívat nové metody, algoritmy a návrhové prostředky (EDA tools) a hledat, navrhovat a upravovat vhodné modely, které umožní testovat, predikovat i formálně verifikovat požadované funkce a chování systému.

2020 - 2022

Projekt se zabývá číslicovým návrhem zaměřeným na vestavné systémy. Zaměřuje se na studium nejnovějších trendů jednak v technologiích a jejich využití i v tzv. "mission-critical" aplikacích. Návrh takových systémů musí zohledňovat požadavky nejen na funkčnost, ale i na další omezující podmínky, tzn., že musí splňovat požadovanou úroveň spolehlivosti, bezpečnosti, odolnosti proti útokům, velikost, spotřebu a real-timové garance. Proto budeme využívat nové metody, algoritmy a návrhové prostředky (EDA tools) a hledat, navrhovat a upravovat vhodné modely, které umožní testovat, predikovat i formálně verifikovat požadované funkce a chování systému.

2011

Výzkumné projekty skupiny Digital Design and Dependability jsou zaměřeny na návrh spolehlivých obvodů implementovaných na programovatelných hradlových polích (FPGA) a jejich testování. Vysoké spolehlivosti chceme dosáhnout efektivním využitím dynamické rekonfigurace. Pro zlepšení testovatelnosti obvodů bude navržena metodika dekompozice obvodu. Spolehlivostní modely jsou nutnou součástí výzkumu spolehlivých obvodů, protože umožňují ověřit, zda a jak navrhované metody ovlivňují spolehlivostní ukazatele. Důraz bude kladen na přehlednost modelů, možnost snadného rozšíření a snadnou modifikaci. Výsledné modely budou použity i pro praktické výpočty spolehlivostních parametrů v drážních aplikacích.

2022

Navrhovaná SVK navazuje na realizované studentské vědecké konference s železniční tematikou pořádané Fakultou dopravní v letech 2016, 2017, 2020 a 2021. Nosným tématem letošní SVK bude opět téma digitalizace železnice, která je v ČR zachycena v projektech Inteligentní dopravní systémy na železnici (ITS-R) resp. technologické rozpracování ITS-R v projektu Železnice 4.0. Digitalizace, kromě části řízení a zabezpečení, se týká cestujících (přístup k internetu aj.), informačních a odbavovacích technologií, logistických a dispečerských aplikací. S oborem logistika je spojena oblast optimalizace jízdních řádů a grafikonů, zejména dynamická optimalizace reagující na aktuální anomálie a zpoždění na železniční síti, vyžadující aplikaci informačních technologií typu zpracování velkých dat (Big Data), aplikace umělé inteligence, masivních paralelních (distribuovaných) výpočtů a simulací apod. Vzorem v této oblasti řízení jsou švýcarské železnice. S nástupem nových technologií bude třeba změnit i přístup ke školení dispečerů a strojvedoucích, nedílnou součást železničního systému je tedy školení založený na principech simulátorů (např. simulátorech lokomotivy, samozřejmě se systémem ETCS). Nezanedbatelnou součástí železničního systému musí být i údržba vozidel, infrastruktury a jejich inovace, ať už se jedná o konvenční tratě nebo připravované VRT. Bohužel, v ČR je průběžná údržba tratí v posledních letech minoritní oblastí. Organizátoři plánují zahájit konferenci třemi vyzvanými referáty z oblasti Železnice 4.0, simulace a vzdělávání strojvedoucích (doc. Leso), kolejových vozidel (doc. Kolář) a dokumentu Cestovní mapa - postup nasazování moderních technologií při přípravě a realizaci vysokorychlostních tratí v České republice (Ing. Vašátko). Konference bude rozdělena na tematické okruhy pokrývající výše zmiňovanou problematiku: Železnice 4.0 - ETCS, digitalizace, Optimalizace v řízení železniční dopravy, Inovace železniční infrastruktury, Moderní kolejová vozidla, Životní p

2023

PhD studenti katedry číslicového návrhu FITu za podpory svých školitelů se rozhodli uspořádat pracovní setkání - workshop s tématikou vztahující se k současným výzkumným i aplikačním výzvám, které podporují masivní rozvoj nových technologií a spolu s tím i možnost využití čím dál složitějších a chytřejších algoritmů. Tématika vestavných systémů v sobě zahrnuje mnoho výzkumných výzev v oblasti computer science: kritické aplikace (v dopravě i ve vesmíru), umělou inteligenci např. pro ovládání robotů, návrhy nových architektur odolných proti útokům a/i poruchám, real-time komunikaci na velké vzdálenosti, sběr dat z chytrých nízkopříkonových senzorových systémů, aj. Jinými slovy současný svět informatiky je propojený a cílem naší nové akce je propojit i studenty a jejich aktivity tak, aby jejich prezentace dílčích výsledků nebo zdánlivě slepých cest cílila ke vzájemné spolupráci a lepším týmovým a hlavně disertabilním výstupům. Chceme navázat na dříve pořádanou doktorskou konferenci na FITu, která ovšem byla povinná a nebyla výjezdní (a byla také podporovaná interním grantem SVK). Chceme podpořit nejen spolupráci na bázi poslechu přednášek, ale hlavně podpořit kuloární diskuse a hledání společných a vzájemně využitelných výzkumných témat. Organizátoři jsou zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně PhD studenti, kteří budou předsedat jednotlivým sekcím a vyzkouší si tak prakticky roli "session chairs" na klasických konferencích. Bude připraven elektronický sborník abstraktů a soubor podkladů pro prezentace. Účast studentů magisterského, případně bakalářského studia, kteří uvažují o doktorském studiu je vítána. Hlavní náplní workshopu budou ústní prezentace a zároveň 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, verifi

2024

Doktorští studenti katedry číslicového návrhu FITu za podpory svých školitelů se rozhodli uspořádat pracovní setkání - workshop s tématikou vztahující se k současným výzkumným i aplikačním výzvám, které podporují masivní rozvoj nových technologií a spolu s tím i možnost využití čím dál složitějších a chytřejších algoritmů. Tématika vestavných systémů v sobě zahrnuje mnoho výzkumných výzev v oblasti computer science: kritické aplikace (v dopravě i ve vesmíru), umělou inteligenci např. pro ovládání robotů, návrhy nových architektur odolných proti útokům a/i poruchám, real-time komunikaci na velké vzdálenosti, sběr dat z chytrých nízkopříkonových senzorových systémů, aj. Jinými slovy současný svět informatiky je propojený a cílem této akce je propojit i studenty a jejich aktivity tak, aby jejich prezentace dílčích výsledků nebo zdánlivě slepých cest cílila ke vzájemné spolupráci a lepším týmovým a hlavně disertabilním výstupům. Touto konferencí chceme navázat na minulý ročník (2023) a také dříve pořádanou doktorskou konferenci na FITu, která ovšem byla povinná a nebyla výjezdní (a byla také podporovaná interním grantem SVK). Chceme podpořit nejen spolupráci na bázi poslechu přednášek, ale hlavně podpořit kuloární diskuse a hledání společných a vzájemně využitelných výzkumných témat. Organizátoři konference jsou zejména členové výzkumné skupiny "Digital Design & Dependability Research Group" (http://ddd.fit.cvut.cz/), a to hlavně PhD studenti, kteří budou zaštiťovat akci, případně předsedat jednotlivým sekcím a vyzkouší si tak prakticky roli "session chairs" na klasických konferencích. Bude připraven elektronický sborník abstraktů a soubor podkladů pro prezentace. Účast studentů magisterského, případně bakalářského studia, kteří uvažují o doktorském studiu je velmi vítána. Hlavní náplní workshopu budou ústní prezentace a zároveň 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, kt

2012

Tematika a cíle konference: - návrh číslicových obvodů pro výpočetní a automatizační techniku - návrh analogových obvodů - popis číslicových obvodů a syntéza - analýza testovatelnosti - verifikace návrhu a testovatelnosti - generování testu, prostředky a metody pro autonomní testování - evolvable hardware, biologií inspirované techniky v návrhu a diagnostice - využití optimalizačních metod při návrhu elektronických obvodů - nové architektury počítačů (FPGA, GPGPU, IBM CELL) - vestavěné systémy - využití formálních prostředků v návrhu a diagnostice - systémy odolné proti poruchám - modelování a simulace číslicových obvodů - hw-sw codesign, SoC, IP cores - šifrování a komprese dat PAD 2012 je jubilejní již 10. ročník pracovního semináře pro studenty doktorského studia, organizovaného pracovníky univerzit a vědecko-výzkumných pracovišť v Čechách a na Slovensku, na němž studenti doktorského studia informují o výsledcích své výzkumné práce formou článku ve sborníku a prezen

2017 - 2019

Projekt by měl umožnit řešitelce v letech 2017 – 2019 spolupráci s technickým výborem 4.2 Technical Committee on Mechatronic Systems Mezinárodní federace pro automatické řízení IFAC (International Federation of Automatic Control), jehož je řešitelka řádnou členkou. V rámci svého členství ve výboru se musí řešitelka navrhovaného projektu zúčastňovat alespoň jedenkrát ročně zasedání výboru, obvykle při příležitosti konání mezinárodní konference/symposia/kongresu, jehož je technický výbor IFAC spolupořadatelem resp. organizátorem. Zde obvykle žadatelka aktivně prezentuje výsledky své vědecké práce formou příspěvku na konferenci. Členové výboru se zde nejen účastní zasedání, ale předsedají odborným sekcím, podílejí se na organizaci akce a prezentují zde rovněž výsledky vědeckého výzkumu, na němž participují. Nedílnou součástí je i vypracovávání recenzních posudků odborných publikací.

2015

Projekt se zaměřuje na perspektivní a neustále se rozšiřující oblast zpracování dat a vytěžování informačně obsažných údajů z dat. K metodám pro získávání informací se stále více využívají vybrané metody umělé inteligence, jako např. neuronové sítě nebo evoluční algoritmy. Do popředí se dostávají i kombinované modely nebo algoritmy pro zpracování textové informace (text mining). Perspektiva a potřebnost těchto témat je zřejmá z faktu, že každým rokem se zdvojnásobuje objem dat. Současně je zpracováváno jen 20 % dostupných dat.

2010

Ternární stromy jsou nově navržené (resp. znovuobjevené) struktury pro uchovávání termů logické funkce popsané ve formě součtu součinů. Tato nová reprezentace je oproti klasické tabulární reprezentaci termů velice výhodná, zejména pro funkce popsané velkým počtem termů. Jednou z nejdůležitějších vlastností ternárních stromů je rychlost vyhledávání termů - časová složitost je lineární s počtem proměnných a nezávisí na počtu uchovaných termů. Projekt se bude zabývat možnostmi efektivního využití ternárních stromů v logické syntéze. V rámci předchozího výzkumu byl navržen algoritmus pro minimalizaci ternárních stromů popisujících jednovýstupové úplně určené logické funkce. Dále plánujeme zobecnění tohoto algoritmu pro skupinovou minimalizaci a minimalizaci neúplně určených funkcí. Finálním výstupem bude adaptace algoritmů minimalizačního nástroje ESPRESSO, což je také tématem řešitelovy diplomové práce.

2016 - 2017

.

2011 - 2013

Projekt by měl podporovat členství a práci Doc. Hyniové v technickém výboru 4.2 Mechatronické systémy IFAC v letech 2011-2013

2014 - 2016

Projekt je určen pro podporu členství řešitelky v technickém výboru 4.2 Mechatronic Systems IFAC. Z finanční podpory bude řešitelka cestovat na zasedání technického výboru, podílet se na organizaci konferencí a publikovat výsledky své vědecko výzkumné práce v letech 2014- 2016.

2014

Cílem studentského - doktorského pracovního semináře je rozšířit kontakty v oblasti teorie i praxe vestavných systémů mezi Ph.D. studenty nejen z universit v České a Slovenské republice, ale navázat např. na úspěšnou spolupráci s Universitou v Tel-Avivu. Předpokládáme přednesení příspěvků na téma vestavných systémů, logické syntézy a číslicového návrhu s ohledem na spolehlivost a bezpečnost, včetně bezpečných síťových přenosů. Konkrétní témata: - 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 - Testability Analysis - Logic Synthesis & Verification - Diagnosis & Testing of Embedded Systems - Applications of (embedded) digital systems. Prague Embedded Systems Workshop 2014 (PESW´14) je druhým ročníkem nízkonákladového semináře ESW 2013 (viz http://esw2013.fit.cvut.cz/), který měl velmi kladné ohlasy. Po domluvě s dalšími pracovišti (např. s University of California, Irvine, CA, U.S.A., konkrétně s prof. Jean-Luc Gaudiotem) plánujeme záběr semináře rozšířit, a proto hlavně kvůli snadnější dostupnosti jsme se rozhodli uspořádat příští ročník v Praze nebo blízkém okolí (Konkrétně v Roztokách u Prahy, hotel Academia). Předpokládáme, že by pracovní workshop, zatím zaměřený jen na prezentace a výsledky Ph.D. studentů mohl postupně přerůst v klasickou konferenci, ale vždy s částí (sekcí, či několika sekcemi) zaměřenými na výsledky Ph.D. studentů v oblastech vestavných návrhů a aplikací.

2018

Prague Embedded Systems Workshop (PESW 2018, http://pesw.fit.cvut.cz/2018/) je již šestým ročníkem akce přednostně určené pro studenty (doktorandy, ale i magisterské a bakalářské 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 a bezpečnosti. Ohlasy minulých pěti ročníků byly jednoznačně kladné, a to jak ohledně obsahu tak i místa konání a celkové organizace, proto akce bude 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/), 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 . Od minulého ročníku jsme aktualizovali 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), z Montpellier (Francie), University di Pavia (Itálie), Zelené Gory (Polsko), Černé hory, FIIT z Bratislavy (Slovensko), Západočeské university, firmy EaToN, z Brněnského VUTu a dalších. Počítáme samozřejmě s účastí studentů z ČVUT, z FELu, FITu i 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 mezinárodní účasti probíhá celý workshop v angličtině. Za největší přínos pokládáme navázání meziuniversitních a mezinárodních vztahů mezi studenty a odborníky z oblast

2019

Prague Embedded Systems Workshop (PESW 2019, http://pesw.fit.cvut.cz/2019/) bude již sedmý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 jednoznačně kladné, a to jak ohledně obsahu tak i místa konání a celkové organizace. Proto akci opět uspořádáme ve stejném formátu. Opět využijeme služby hotelu Academic v Roztokách u Prahy. 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 máme přislíbenou aktivní účast jejich studentů. 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 - Francie, Řím, Pavia - Itálie, Leuven - Belgie, Zelená Gora - Polsko, Talinn - Estonsko, San Diego - US, FIIT Bratislava, VUT, ZČU) i firem (např. EaToN, ASICentrum, CESNET, 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 mezinárodní účasti probíhá celý workshop v angličtině. Daří se nám získávat i velmi kvalitní zvané přednášky

2020

Prague Embedded Systems Workshop (PESW 2020) bude již osmý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é, a to jak ohledně obsahu tak i místa konání a celkové organizace. Proto akci uspořádáme ve stejném formátu. Opět využijeme služby hotelu Academic v Roztokách u Prahy. 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 (tato aktualizace proběhla již před podáním přihlášky), získáváme významné odborníky a máme přislíbenou aktivní účast jejich studentů. 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 mezináro

2021

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

2022

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

2023

Prague Embedded Systems Workshop (PESW 2023) bude již jedenáctý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 všech minulých ročníků byly a jsou jednoznačně kladné, přestože jsme v dobách covidových umožnili prezentovat některé příspěvky on-line, je akce přednostně organizovaná živě, protože hlavním cílem je vzájemná komunikace a navázání mezinárodní spolupráce. 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, Intel, 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. Podařilo se nám domluvit partnerství s prestižní akcí 28th IEEE European Test Symposium 2023 (https://cas.polito.it/ETS23/#/).

2024

Prague Embedded Systems Workshop (PESW 2024) bude již dvanáctým ročníkem akce přednostně určené pro studenty (doktorandy, magisterské a bakalářské studenty) nejen z ČVUT, ale z celé ČR, 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 všech minulých ročníků byly a jsou jednoznačně kladné. Akce je organizovaná živě, protože hlavním cílem je vzájemná komunikace a navázání spolupráce, zejména mezinárodní. Ve výjímečných případech zajišťujeme prezentaci některých příspěvků on-line (například prezentace zvaných přednášek významných zahraničních odborníků). 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/). Aktivními účastníky jsou 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 univerzit (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ší univerzity z Česka) i firem (např. EaToN, ASICentrum, CESNET, Intel, 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. Rozšiřujeme i záběr témat formo

2015

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ů.

2020

Náplň SVK v roce 2020 bude tvořit problematika vysokorychlostních tratí připravovaných v České republice. Toto prioritní zaměření navazuje na usnesení vlády ze dne 22. 5. 2017, které schválilo výchozí strategický dokument ministerstva dopravy ČR "Příprava rozvoje rychlých železničních spojení v ČR" a zároveň stanovilo postup realizace záměrů tohoto programu. Vysokorychlostní železniční trať, zkráceně VRT, je železniční trať, na které jsou povoleny vyšší rychlosti než na konvenční železniční síti. Obecně se za vysokorychlostní trať považují ty, kde je traťová rychlost 250 km/h a vyšší (u nových tratí), nebo alespoň nad 200 km/h (u modernizovaných starších tratí). Některé nové tratě jsou již konstruované pro rychlost 350 km/h, ale může být na nich povolena rychlost nižší. Výstavba VRT v ČR by měla být zahájena do roku 2025 s tím, že pro urychlení přípravných prací nebudou tvořeny vlastní české národní standardy, ale SŽDC za 11 milionů korun zakoupila licenci na normy pro francouzský systém TGV. Výstavba VRT je jednou z podmínek rozvoje mobility v ČR, neboť současná síť konvenčních železničních tratí má již nedostatečnou provozní kapacitu. Současně je nutné se napojit na rozvíjející se síť VRT v Evropě včetně posledního rozvoje VRT v sousedních státech. Výstavbou VRT se výrazně zvýší konkurenceschopnost, kvalita a dostupnost železnice v ČR. Realizací tohoto záměru se přispěje k naplnění evropského strategického záměru - železnice jako páteř evropského integrovaného dopravního systému. Urychlení výstavby VRT a příprava podmínek pro jejich efektivní provozování znamená mít dostatek odborníků proto tento náročný technický a hospodářský úkol. K tomu musí být zaměřeno vzdělávání potřebných odborníků, podpora výzkumu, technického vývoje a inovací. K naplnění tohoto významného cíle chce také přispět naše Studentská vědecká konference IRICoN 2020: "Vysokorychlostní tratě - budoucnost české železnice". Odborná úroveň konference bude garantována vystoupením předních odborníků

2012 - 2014

Naším cílem je studium vlastností vícemodulové residuální aritmetiky při řešení specifických problémů lineární algebry. Jedním z komplexních a vhodných problému je řešení velkých soustav lineárních rovnic. Toto vyžaduje vytvořit model řešiče za účelem provádění experimentů. Jako základ řešiče je zvolena metoda Gauss-Jordanovy eliminace s residuální pivotizací. Za účelem získání co nejvěrohodnějších poznatků o vlastnostech použité aritmetiky v daném modelu bude pro něj vytvořena hardwarová architektura, která bude následně emulována pomocí FPGA. Experimentální řešení nám umožňuje také verifikovat teoretické předpoklady o prostorové, časové a komunikační složitosti modelovaného řešiče.

2015

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

2016

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

2018 - 2021

Cílem projektu je výzkum a vývoj funkčního vzorku modulárního hybridního lokalizátoru schopného docílit vysoké přesnosti a integrity. Modulární přístup řešení zajistí široké uplatnění v dopravě, logistice a výrobě (Průmysl 4.0). Součástí projektu je i výzkum a vývoj modulu MEMS inerciální měřící jednotky a vývoj modulu multikonstelačního GNSS přijímače s metodou EGNOS rozšíření.

2014 - 2015

V projektu vzniknou metody a algoritmy návrhu spolehlivých číslicových systémů, realizovaných pomocí programovatelných obvodů FPGA. Počáteční popis takového systému a prozkoumávání jeho možných architektur proběhne na úrovni abstrakce vyšší než je dosud běžná úroveň registrových přenosů (RTL). Protože použité prostředky budou mít formálně definovanou sémantiku, bude možné použít formální metody pro verifikaci a ověření vlastností systému. V počáteční fázi bude možné odhadnout základní vlastnosti systému co se týče spolehlivosti. Další postup návrhu pak bude řízen splněním zadaných kritérií spolehlivosti. Výsledný návrh bude pak doprovázen spolehlivostními modely s důrazem na jejich algoritmickou produkci a praktickou relevanci. Pro splnění tohoto cíle budou prozkoumány možnosti modelování vlivu SEU poruch na obvody FPGA a porovnány s výsledky zrychlených testů životnosti (Accelerated Life Test, ALT) v prostředí toku neutronů. Pro vyhodnocení odolnosti konkrétního návrhu proti poruchám SEU bude použito injekce poruch jak v simulačních modelech, tak v reálných obvodech, a dále formálních metod klasifikace poruch. Pro bloky různých druhů (kombinační bloky, sekvenční bloky synchronní i asynchronní) budou navrženy vhodné způsoby zabezpečení redundancí s ohledem na minimální degradaci parametrů systému a jeho cenu. Navržené postupy návrhu a verifikace budou ověřeny na zkušebních příkladech a porovnány s výsledky dosud běžných postupů. Výsledky budou zveřejněny standardní metodou, to jest v recenzovaných mezinárodních časopisech a konferencích.

2017 - 2019

Význam komunikačních technologií ve společnosti roste a internet je již každodenní součástí soukromého i pracovního života lidí po celém světě. Neustálý růst objemu dat však ztěžuje bezpečnostní analýzu provozu za účelem detekce škodlivého provozu. Škodlivý provoz, který je možné každodenně pozorovat v reálných sítích, může ohrozit nejen fungování infrastruktury, ale i samotné uživatele, kteří ji využívají. Vedle toho trend poslední doby v podobě chytrých zařízení připojovaných do internetu s sebou přináší mnohé bezpečnostní otázky. Oblasti síťové bezpečnosti se věnuje spousta výzkumníků i komerčních firem z celého světa již mnoho let, ale přesto existuje mnoho dosud nevyřešených výzkumných problémů, na které je potřeba se zaměřit. Tento projekt má za cíl výzkum v oblasti detekce škodlivého provozu ve vysokorychlostních sítích a vývoj nástrojů pro analýzu a získávání informací k detekovaným událostem.

2011

Zlepšování výrobních technologií má za následek rostoucí význam testování ve výrobním procesu a taktéž jeho vlivu na výslednou cenu čipu. Stávající algoritmy pro generování testu jsou převážně navrženy tak, aby v každém kroku nalezly jeden vhodný testovací vektor pro danou poruchu. Tato strategie je vhodná pro generování testu, u kterého nám příliš nezáleží na dalších parametrech (doba testování, spotřeba energie v průběhu testování/vyzářená energie). V současnosti je ale kladen důraz právě na další parametry testu, které zvyšují jeho efektivitu (rychlost, spotřeba energie) a vzrůstá obliba těchto tzv. parametrizovatelných testů. Implicitní reprezentace nám umožňují efektivní popis celé množiny vhodných testovacích vektorů, ze které lze aplikací dalších omezení získat ideální řešení (podmnožinu ideálních řešení) pro daný problém (komprese testu, generování parametrizovatelného testu). Vygenerováním vhodného parametrizovatelného testu tedy snížíme náklady na výrobu čipu. V rámci projek

2016 - 2018

S pokračující miniaturizací současných zařízení se drasticky zhoršuje jejich spolehlivost. Je tedy nutné navrhovat zařízení, která s tímto počítají a jsou spolehlivá (funkční) i za přítomnosti poruch. Toho se typicky dosahuje zavedením redundance za cílem zaručení správnosti dat. Bezpečnost zařízení, tj. odolnost proti útokům, je v dnešní době dalším stále důležitějším aspektem. Návrhu bezpečných zařízení se často dosahuje také pomocí redundance, ovšem za jiným cílem

2009 - 2011

Projekt se zabývá základním výzkumem architektur číslicových systémů umožňujících zvýšení spolehlivostních parametrů. Cílem projektu je vyvinout metodický postup, který umožní zvýšit zabezpečení a odolnost vůči poruchám SoC obvodů. Tyto obvody bude možnétestovat pomocí dodatečně nakonfigurovaných testovacích jader, čímž dojde k úspoře technického vybavení určeného pro servisní funkce a samočinně je opravovat pomocí dynamické rekonfigurace. Postupy kombinují redundanci a samočinnou opravu na různých úrovních granularity rekonfigurovatelných bloků. Rekonfigurační mechanismy budou zkoumány na různých platformách umožňujících rozdílnou úroveň granularity bloků. Výsledkem bude metodika návrhu vysoce spolehlivých systémů s předem definovanými úrovněmi tolerance vůči poruchám, předem definovanou bezpečností a s predikcí charakteristiky provozuschopnosti. Výzkum bude prováděn na třech akademických pracovištích , která mají dostatečnou zkušenost s vedením výzkumných projektů a kooperují s další