SmallDEVS-07

SmallDEVS-07

software

Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence

Poskytovatel licence na výsledek nepožaduje licenční poplatek

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

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

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.

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

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

Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení

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

Ústav inteligentních systémů (UITS)