Akcelerované síťové technologie

Akcelerované síťové technologie - schéma

Výzkum metod akcelerace klíčových úloh v oblasti monitorování a bezpečnosti počítačových sítí.
K akceleraci využíváme hradlová pole FPGA, která dovolují zpracovat pakety na sítích s propustností 100 Gb/s.

 

Automatická verifikace

Printed Circuit Board

Výzkum metod automatizované analýzy a verifikace počítačových systémů zahrnující jak formální analýzu a verifikaci tak i inteligentní testování a dynamickou analýzu. Cílem je zvýšit obecnost, spolehlivost a škálovatelnost existujících přístupů k automatické analýze a verifikaci. Důraz je kladen na nekonečně stavové systémy (tj. systémy s dynamickými datovými či řídicími strukturami, parametry apod.), paralelní programy i verifikaci systémů vyvíjených moderními metodami současného návrhu hardware a software.

 

Evoluční návrh

Evoluční návrh - mutace obvodu

Výzkum metod evolučního návrhu číslicových obvodů. Cílem je z abstraktní specifikace automatizovaně vytvářet implementace číslicových obvodů, které splňují zadaná omezení. Očekává se, že evoluční návrh přinese inovativní řešení.
Další využití evolučního návrhu předpokládáme v oblasti autonomní rekonfigurace hardware.

 

HW/SW Codesign

HWSW codesign - shutterstock_12654325

Výzkum a implementace algoritmů pro moderní návrhové systémy, které se používají pro vývoj procesorů.
Tyto návrhové systémy využívají koncept hardware/software codesign a umožňují automatizovaně vytvářet podpůrné nástroje jako např. překladače, simulátory apod.

 

Modelování, simulace, optimalizace

microchip integrated on motherboard

Využití proveditelných (executable) modelů v návrhu, realizaci a údržbě počítačových systémů.
Tyto modely umožní simulaci, optimalizaci a generování kódu pro cílovou implementaci a také usnadní adaptaci systému na měnící se podmínky během jeho života.

 

Sítě, protokoly a vestavěné systémy

Sítě, protokoly a vestavěné systémy

Výzkum metod a algoritmů pro modelování, návrh a analýzu počítačových sítí a síťových prvků jak univerzálních, tj. na úrovni internetu, tak speciálních, zejména sítí kyberneticko-fyzikálních systémů.
Těžištěm zájmu je návrh a verifikace vlastností těchto sítí a vytváření nástrojů pro podporu resp. automatizaci návrhu a jeho testování.

 

Bezpečnost biometrických systémů

scanning fingerprint

V rámci bezpečnosti biometrických systémů se zabýváme problematikou detekce živosti (ověření, zda je uživatel, který předkládá svoji biometriku systému, živý a zároveň, zda nebyla použita falešná biometrika), vlivu onemocnění kůže na rozpoznávání otisků prstů (zda lze rozeznat onemocnění od nečistot na prstu, příp. zda lze vylepšit kvalitu otisku prstu zasaženého dermatologickým onemocněním), rozpoznávání 3D geometrie obličeje (zvýšení biometrické entropie oproti 2D systémům), rozpoznávání 3D geometrie ruky (opět inovativní metoda, která navyšuje rozpoznávací schopnost oproti klasickým 2D systémům), rozpoznáváním termosnímků obličeje (snímky vykazují vysokou odolnost vůči falšování) a fenoménu oka (rozpoznávání sítnice a duhovky oka). Součástí této výzkumné aktivity je propojení přes biometrické cestovní pasy, ve kterých jsou použity 2D obličej, otisk prstu a začíná integrace duhovky oka.

Noc vědců v IT4Innovations (6/10/2017)
Pozvánka na jedinečnou edukační a zábavnou Noc vědců v IT4Innovations – 6. října 2017 Zveme […]
Pozvánka na 6. Výroční konferenci IT4Innovations a 1. Konferenci uživatelů
6. Výroční konference IT4Innovations a 1. Konference uživatelů IT4Innovations V úterý 31. 10. dopoledne se […]
Pozvánka na kurz Creating Robust Software for Better Scientific Outcome (4-5/10/2017)
Kdy: středa 4. října 2017 9.30 hod. – čtvrtek 5. října 2017 15.30 hod. Kde: […]
Pozvánka na seminář HPC pro malé a střední podniky (7/9/2017)
Pozvánka na seminář HPC pro malé a střední podniky, který pořádáme 7. září 2017 Zveme […]
Tisková zpráva: Vysokoškolský ústav IT4Innovations
bude mít nového ředitele
Všechny aktuality