Prihlásenie

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.