Název projektu
Nastroj pro HPC postaveny na Petriho Sítích
Kód
SP2013/145
Řešitel
Školitel řešitele projektu
prof. RNDr. Petr Jančar, CSc.
Období řešení projektu
01. 01. 2013 - 31. 12. 2013
Předmět výzkumu
Řešitelé navrhovaného projektu se podílejí na vývoji nástroje určeného pro
generování paralelních aplikací. Nástroj umožňuje vytváření paralelních programů
pro oblast High Performance Computing pomocí vysokoúrovňového modelu, založeném na barevných
Petriho sítích. Nástroj byl vyvíjen v roce 2012 v rámci grantu SP2012/127. Vyvoj nástroje byl
částečně podpořen s projektů GAČR P202/11/0340 a projekt MŠMT 1M0567.
V minulém roce započaly práce v oblasti profilování aplikací. Hlavním cílem je využít abstrakní model aplikace
pro zjednodušení a zpřesnění měření chování paralelních aplikací.
Další oblastí, ve které chceme využit abstrakní model je automatická formální verifkace programů vytvořených v našem nástroji.
Vybrané publikace související s předmětem výzkumu:
BÖHM, Stanislav; BĚHÁLEK, Marek; Kaira: Modelling and generation tool
based on Petri nets for parallel applications. UkSim 13th International
Conference on Computer Modelling and Simulation, 30 2011-april 1 2011, p.
403 –408. ISBN 978-1-61284-705-4
BÖHM, Stanislav; BĚHÁLEK, Marek; GARNCZARZ, Ondřej. Developing
parallel applications using Kaira. Digital Information Processing and
Communications. Volume 188 of Communications in Computer and
Information Science. Springer. 2011. p. 237-251.
BĚHÁLEK, Marek; BÖHM, Stanislav; KRÖMER, Pavel; ŠURKOVSKÝ,
Martin; MECA, Ondřej. Parallelization of ant colony optimization algorithm
using Kaira. 11th International Conference on Intelligent Systems Design and
Applications (ISDA 2011), Cordoba, Spain, 2011
Členové řešitelského týmu
Ing. Martin Kot, Ph.D.
Ing. Marek Běhálek, Ph.D.
doc. MSc. Donald David Davendra, Ph.D.
Ing. Martin Šurkovský, Ph.D.
Ing. Ondřej Meca, Ph.D.
Ing. Lukáš Tomaszek
Bc. Jakub Dolba
Bc. Martin Kozubek
Ing. Ada Böhm, Ph.D.
prof. RNDr. Petr Jančar, CSc.
Specifikace výstupů projektu (cíl projektu)
Hlavní výstupy projektu jsou:
- Implementovat vlastnosti uvedené v předmětu výzkumu
- V průběhu řešení předpokládáme publikace týkající se vyvíjeného software