| |
libFAUDES
PlugIns
Types
Functions
|
libFAUDES User ReferenceThe user reference lists all data types and functions that are considered relevant to the user of typical libFAUDES based applications. It is generated from the HTML documentation provided by the libFAUDES run-time interface. The user reference is complemented by the comprehensive and more technical C++ API documentaion. PlugInsA typical libFAUDES plug-in addresses a specific methodology/approach to the synthesis and/or analysis of discrete event systems. Plug-ins may use the build system to register their functions and data-types with the run-time interface and provide the HTML documentation to be listed in this reference. TypesThe core libFAUDES data types (or faudes-types) are sets of events, sets of states, sets of transitions and generators. Elements of faudes-type sets may have attributes attached, e.g. a controllability flag to indicate whether an event is controllable. A faudes-type includes the specification of the supported attribute type. There are also elemetary faudes-types for boolean, integer and strings. Every faudes-type supports reading/writing from/to file via a stream of tokens. libFAUDES plugins introduce specialised faudes-types to support e.g. particular controller synthesis methods. FunctionslibFAUDES functions (short faudes-functions) implement operations to be performed on faudes-typed parameters. Each faudes-function has one or more signatures to specify supported parameter types. The provided functions include intersection, union, and complement for sets, as well as regular expressions on languages represented by generators. libFAUDES plugins introduce specialised faudes-functions that implement e.g. algorithms for particular controller synthesis methods. |
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"