Späť


Aplikácie distribuovaných výpočtov v analýze spoľahlivosti

Garant: doc. Ing. Miroslav Kvaššay, PhD.
Učitelia: doc. Ing. Miroslav Kvaššay, PhD.
Počet študentov: 1 - 1

V ostatných rokoch bola na fakulte rozpracovaná pomerne rozsiahla metodika analýzy spoľahlivosti komplexných systémov založená na Booleovej a viachodnotovej logike a aplikáciách logického diferenciálneho počtu a rozhodovacích diagramov. Väčšina metód využívaných touto metodikou je implementovaná v softvérovej knižnici TeDDy (https://github.com/MichalMrena/DecisionDiagrams), vyvíjanej na fakulte. Kľúčovým problémom niektorých metód je však ich časová náročnosť v prípade zložitých systémov pozostávajúcich z veľkého množstva komponentov. Čiastočným riešením tohto problému by mohla byť paralelizácia existujúcich algoritmov a aplikácia modulárnej dekompozície.

V rámci projektu sa študenti oboznámia so základmi viachodnotovej logiky, rozhodovacími diagramami a ich aplikáciami v analýze spoľahlivosti. Následne budú pracovať na vývoji softvérového rámca, pomocou ktorého bude možné paralelizovať vybrané algoritmy analýzy spoľahlivosti. Pre samotnú paralelizáciu budú primárne využívané distribuované výpočty (štandard MPI), akcelerácia s využitím grafických kariet (technológia CUDA) a modely implicitných vlákien (knižnica OpenMP). Dosiahnuté výsledky študenti zhrnú vo svojich diplomových prácach.


Mám záujem o projekt
0
študentov
0
učiteľov
0
partnerov

Partneri FRI

Platinový partner

Hlavný partner

Partneri

Projekty a centrá FRI

Projekty

Inteligentné operačné a spracovateľské systémy pre UAV
Transdata
IT akadémia
ACeSYRI
SmartSoc
TECH4EDU4
Centre in Advanced Biomedical and Medical Informatics

Centrá

Cisco Network Academy
PEARSON VUE - Aturizované centrum