Simulator Plugin
[Plugins]


Detailed Description

Overview

This plugin provides classes to support the simulation of faudes generators. It is organized in a hierarchical fashion to introduce the following features:

The tutorial simfaudes.cpp demonstrates the use of the ProposingExecutor in a simple interactive simulator for the synchronous product of faudes generators.

License

The current implementation of the simulator plugin is a re-design based on Ruediger Berndt's and Christoph Doerr's student projects. It is distributed with libFAUDES and under the terms of the LGPL.

Copyright (c) 2008, Thomas Moor.


Modules

 Random Variables
 Sampling or evaluating random variables for simulation.
 Simulation Condition Attributes
 Attributes to define simulation conditions used for statistic analysis of simulation runs.
 Simulation Event Attributes
 Attributes to define stochastic and priority properties.

Classes

class  faudes::DeviceExecutor
 Executer with IO device to handle external/physical events. More...
class  faudes::Executor
 An Executor is a timed generator that maintains a current state. More...
class  faudes::LoggingExecutor
 Executor with logging facilities. More...
class  faudes::ParallelExecutor
 Synchronized parallel execution of tGenerators. More...
class  faudes::ProposingExecutor
 Executer that proposes which transition to execute. More...


Generated on Mon Nov 10 08:13:16 2008 for libFAUDES 2.11v by  doxygen 1.4.4