Informace o projektu
Parasim: Nástroj pro paralelni simulaci a verifikaci
| Kód projektu | MUNI/33/05/2012 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.04.2012–31.12.2012 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Program děkana FI |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
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ů.