SmallDEVS-07

Název česky

SmallDEVS-07

Typ

software

Licence

podle podmínek - zdarma

Autoři

Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Kironský Elöd, Ing. (UITS FIT VUT)

Klíčová slova

Discrete event systems specification, modeling, simulation, simulation-based development.

Popis

SmallDEVS je framework pro modelování systémů na bázi formalismu DEVS. Na rozdíl od jiných podobných frameworků má definováno reflektivní rozhraní, umožňující s formalismem DEVS pracovat dynamicky. Interaktivní vývoj je podpořen vizuálními nástroji.
Verze SmallDEVS-07 umožňuje interaktivní práci se základním fromalismem DEVS a byla úspěšně testována stovkami studentů v rámci výuky. Tvoří základ pro navazující výkumné aktivity v oblasti modelování a simulace.

Umístění

http://www.fit.vutbr.cz/~janousek/smalldevs/

Licence

MIT License (http://perchta.fit.vutbr.cz/projekty/28).

Projekty

Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)

Výzkumné skupiny

Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)

Pracoviště

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)