SmallDEVS-07
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APR23028" target="_blank" >RIV/00216305:26230/07:PR23028 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
SmallDEVS-07
Original language 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. (http://www.fit.vutbr.cz/~janousek/smalldevs) 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.
Czech name
SmallDEVS-07
Czech description
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. (http://www.fit.vutbr.cz/~janousek/smalldevs) 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.
Classification
Type
X - Unclassified
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Advanced Formal Approaches in the Design and Verification of Computer-Based Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2007
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů