Návrh prostředí pro vytváření heterogenních modelů

Návrh heterogenních modelů složitých a rozsáhlých systémů v klasickém
programovacím nebo simulačním jazyce má některé nevýhody. Je to především
nepřehlednost takových kombinovaných modelů. Proto je naším cílem vytvořit
modulární a uživatelsky přívětivé prostředí pro návrh heterogenních modelů, které
by navíc umožňovalo jejich alespoň částečné verifikování. Východiskem bude
vytvoření formálního popisu grafové struktury, která bude slučovat spojité
a diskrétní přístupy. Dále bude tato struktura umožňovat přidávání dalších
modelovacích metod a konceptů. Navrhneme a vytvoříme grafický editor, který tento
graf zpracuje, a který bude možné rozšiřovat podobně jako vlastní grafovou
strukturu.