Detail výsledku

SmallDEVS-07

Vznik: 2007
Typ
software
Jazyk
anglicky
Autoři
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Kironský Elöd, Ing.
Popis

SmallDEVS is a frameworsk form DEVS-based systems modeling. It has a reflective API allowing to use DEVS formalism dynamically. Interactive development is supported by visual tools.
Version SmallDEVS-07 allows interactive work with DEVS. It has been successfully tested by hundreds of students. It constitutes a basis for next research activities in the area of modeling and simulation.


Klíčová slova

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

URL
Licence
Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Licenční podmínky

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ů, 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é 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ů (UITS)
Nahoru