Ing. Jaroslav Borecký, Ph.D.

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

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.

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

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