Informace o projektu
Parasim: Nástroj pro paralelni simulaci a verifikaci
(Parasim)
- Kód projektu
- MUNI/33/05/2012
- Období řešení
- 4/2012 - 12/2012
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program děkana FI
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- RNDr. Jan Papoušek, Ph.D.
- Mgr. Tomáš Vejpustek
Projekt si klade za cíl vytvoření nástroje pro analýzu dynamických systémů modelovaných pomocí obyčejných diferenciálních rovnic. Na rozdíl od existujících nástrojů pro simulaci chování dynamických systémů a monitoring temporálních vlastností nad běhy těchto systémů je zde podstatný aspekt vzniku modulární architektury, jež by umožňovala budoucí vývoj a testování optimalizace a paralelizace jednotlivých modulů i analytických algoritmů.