Anotace
Kaira (http://verif.cs.vsb.cz/kaira/) je vývojové prostředí pro MPI zaměřené na snadné prototypování aplikací. Cílem je automaticky vygenerovat nízkoúrovňové části aplikace, ale zároveň ponechat uživateli kontrolu nad výslednou aplikací a současně zachovat maximální efektivitu. Kaira kombinuje vizuální programování a C++. Vizuální programování slouží pro návrh komunikační vrstvy programu a C++ pro popis sekvenčních částí. Toto spojení umožňuje nabídnout sjednocující koncept pro vytváření, ladění, analýzu a verifikaci výsledných aplikací.
Kaira je experimentální a aktivně vyvíjený projekt, cílem semináře je tedy ukázat nové myšlenky a perspektivy v paralelním programování, spíše než prezentace technologie, která by byla masivně používána a zaručeně stabilní.
Úroveň
Jazyk
Čeština
Cíl kurzu (přínos pro posluchače)
Posluchač by měl být schopen vytvářet a spouštět MPI aplikace v Kaiře, včetně použití analytických a verifikačních nástrojů.
O lektorech
Stanislav Böhm je hlavní autor projektu Kaira, který byl také jeho disertační prací. V současnosti působí jako postdoc v IT4Innovations se zaměřením na oblast verifikace paralelních programů a nekonečně stavových systémů. (http://verif.cs.vsb.cz/sb/)
Marek Běhálek je odborný asistent na Katedře informatiky, VŠB-TUO a výzkumný pracovník IT4Innovations, VŠB-TUO. Předmětem jeho výzkumu je rozvoj programovacích technik a nástrojů pro vývoj paralelních/ distribuovaných systémů. Nyní se zaměřuje na vizuální programování distribuovaných aplikací, jejich analyzování a verifikaci. Je členem vývojového týmu nástroje Kaira.
Ondřej Meca je posluchačem doktorského studia na VŠB-TUO. Jeho hlavním odborným zaměřením je verifikace MPI aplikací - právě nyní se věnuje vylepšení verifikace v Kaiře. Dále pracuje pro IT4Innovations, kde participuje na vývoji různých nástrojů (v C++) pro řešení kontaktních úloh.
Martin Šurkovský je také studentem doktorského programu na VŠB-TUO. Na projektu Kaira se aktivně podílí od roku 2012, zejména na částech týkajících se analýz výkonu. V poslední době je jeho pozornost zaměřena na možnosti využití process-mining technik v oblasti paralelního programování.
