To install a plugin, copy its sources into the plug directory of the libfaudes source tree. To enable a plugin, either edit the main Makefile of add its name to the FAUDES_PLUGINS environment variable. The example plugin further illustrates the plugin infrastructure.
Modules | |
Example Plugin | |
Observer Plugin | |
Simulator Plugin | |
Timed Automata Plugin |