Projektek
A kvantálás statisztikai elmélete, a kvantálási zaj tulajdonságainak feltételei.
A kerekítés (általánosabban a kvantálás) minden digitális eszközben fellépő jelenség: az egyes értékeket mindig véges bitszámon ábrázoljuk, tehát általában kerekítenünk kell. A kvantálás...
Digitális rendszerek funkcionális és megbízhatósági validációjához különböző absztrakt matematikai modellek használhatók, pl. adatfolyam-gráfok, Petri-hálók, folyamat algebra, stb. Ezen modellező...
A/D átalakítók tesztelésére 2001-ben jött létre az IEEE1241-es szabvány. A projekt célja a szabvány algoritmusait Matlab kö...
Az “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) nevű H2020 RISE kutatási projekt a jövő...
A projekt fő célkitűzése annak megvizsgálása és feltárása, hogy az intelligens ágensek hogyan alkalmazhatóak elosztott informá...
Az AGTIVE 2011 szimpózium a gráftranszformáció gyakorlati és ipari alkalmazásainak bemutatását megcélzó nemzetközi...
Az aktív zajcsökkentés és a digitális hangszintézis, ezen belül is a hangszerek fizikai modellezése a tudományos érdeklődés középpontjában áll, szerepük a számítástechnikai eszközök fejlődésével...
A kutatás célja a jelenleg elérhető passzív markerbázisú mozgásanalizátorok pontosságának (ezen felül felbontásának és reprodukáló képességének) vizsgálata volt. Ehhez megfelelő modellt és mérési...
A projekt célja kettős: egyrészt anonimitási módszerek (anonim üzenetküldés, anonim engedélyezés) tudományos elemzése és kifejlesztése, másrészt pedig ezek Internetes implementáiója egy...
A digitális aláírás technológiailag szavatolja az aláírt dokumentum sértetlenségének ellenőrizhetőségét, valamint az aláíró fél (felek) letagadgatatlan azonosítását. A leggyengébb láncszem az...
A projekt célja egy olyan nyílt modell-analízis metodológia és keretrendszer kifejlesztése, amely nagymértékben hozzájárulhat beágyazott, biztonságkritikus rendszerek szoftver minőségének...
A Biztonsági Távfelügyeleti Rendszer alapötletét az informatikai és a hagyományos vagyonvédelmi rendszerek között húzható analógia adta. Míg a hagyományos eszközöknél gyakori az a megoldás, hogy a...
A BOSCH Beágyazott Rendszerek Laboratórium eszközei a tanszéknek azt a képességét erősítik, amelyre alapozva felkészíti a...
BRAINE konzorcium
A számítógépes programok biztonsági hiányosságaiból eredő visszaélések rendkívül komoly károkat okoznak nemzetgazdasági szinten. A vírusok és egyéb informatikai támadások nagy száma mutatja, hogy...