Product Details
SmallDEVS-07
Created: 2007
Czech title
SmallDEVS-07
Type
software
License
Use of the result by another entity is possible without acquiring a license in some cases
License Fee
The licensor does not require a license fee for the result
Authors
Janoušek Vladimír, doc. Ing., Ph.D.
(DITS)
Kironský Elöd, Ing.
Kironský Elöd, Ing.
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
License Conditions
MIT License (http://perchta.fit.vutbr.cz/projekty/28).
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments