From VLE

A bit of theory

• The Discrete EVent system Specification DEVS formalism.

Courses and training

Training materials (in french) for VLE 0.8:

• Guide d'installation de VLE
• Savoir « lire » le C++ (introduction succincte au C++)
• Cours sur les extensions DEVS (équations aux différences, statecharts, décision etc.)
• Cours sur l'utilisation de GVLE
• Explication de l'environnement VLE (introduction à VLE, lien entre DEVS et VLE)
• Cours sur la modélisation et la simulation
• Cadres expérimentaux

• Anciennes documentations

To download documentations :

# To compile LaTeX source code, you need: beamer, tikz, pgf, hyperref
git clone git://www.vle-project.org/git/docs.git
cd docs
make

Using VLE

• GVLE: the modeler interface (create model structure, experimental plan, lunch simulations...)
• VLE: the simulation engine
• OOV: the Output Of VLE.
• EOV: the graphical interface for the real time output visualization of simulation results.

• Definition of package: What is a package? What commands to use them?

Scripting

• RVLE: using VLE within the R environment .
• PyVLE: use Python language to write scripts to drive experiments with models made with VLE and to design Web applications with Python frameworks (like Pylons, for example).
• jvle: use Java language to write programs to drive experiments with models made with VLE.

Model development

DEVS atomic model

• Atomic model development : how to write atomic model with VLE ? Description of each function of the functional interface of the atomic model of VLE.
• Executive model development : how to make models that manipulate the structure of your models?
• Model debugging : description of tools to help debug models.

Extensions

DEVS is a high level formalism that has the ability to encapsulate other formalisms. VLE allows you to use several formalisms in DEVS framework:

• Ordinary Differential Equations: QSS based on quantization and DESS a wrapping of classical numerical schema like Runge-Kunta, by example.
• Cellular automaton : CellDevs.
• Difference equation: DifferenceEquation.
• Petrinet : PetriNet.
• Discrete and finite state automaton: Moore and Mealy machines, FDDevs and statechart : FSA.
• Decision making: an extension of execution of activities plan based on conditional, temporal and precedents constraints.

Coupled models complex structures

These tools are provided in order to help building complex structures of coupled models:

• Building grids of models : MatrixTranslator.
• Building graphs of models : GraphTranslator.

Langues :

English  • Français