SmallDEVS-07

Czech title

SmallDEVS-07

Type

software

License

optional - free

Authors

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

Keywords

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

Description

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.

Location

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

Licence

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

Projects

Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
Security-Oriented Research in Information Technology (MSM0021630528)

Research groups

Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)

Departments

Department of Intelligent Systems FIT BUT (DITS FIT BUT)