Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail projektu
Období řešení: 01.01.2003 — 31.12.2003
O projektu
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.
Popis anglickyThe design of heterogeneous models of complex and extensive systems is affected by some disadvantages when one uses the standard programming or simulative language. Especially it is the untransparency of such combined models. Our goal is therefore to create a modular and user friendly environment for design of heterogeneous models. Moreover it should allow, at least partial, verification of such models. The starting point will be the design of a formal description of a graph structure merging continuous and discrete approaches. This structure will also allow the addition of the other modelling methods and approaches. We will design and create the graphical editor that will be able to process such a structure, and that will be able to extend according to the graph structure itself.
Klíčová slovaheterogenní modelování, prostředí pro vizuální modelování, Java, Eclipse
Klíčová slova anglickyheterogeneous modelling, environment for visual modelling, Java, Eclipse
Označení
FR833/2003/G1
Originální jazyk
čeština
Řešitelé
Martinek David, Ing. - hlavní řešitelČernohorský Jakub, Ing. - spoluřešitelRábová Zdeňka, doc. Ing., CSc. - spoluřešitel
Útvary
Ústav inteligentních systémů- spolupříjemce (01.01.2003 - 31.12.2003)