Types

Faudes-typed objects are characterised by their configuration data, which can be read from or written to a file. The corresponding file formats are based on sequences of tokens that form nested sections to hold sets or lists of strings or integers. For example, the alphabet Sigma = {alpha, beta, gamma} is represented as

<Alphabet> "alpha" "beta" "gamma" </Alphabet>

Faudes-types available in this copy of libFAUDES are:

AlphabetBasic alphabet with controllability attributes.
BooleanElementary type to hold a boolean value true or false.
ComediDeviceAccess digital IO hardware within the comedi framework.
D3RipUrtDeviceSynchronize events via D3RIP protocols.
DeviceContainerMerge individual IO devices.
DeviceExecutorSimulation of synchronized timed automata, incl. physical events and time.
EventSetBasic alphabet.
EventSetVectorVector of alphabets
GeneratorBasic generator model G=(Sigma,Q,delta,Qo,Qm).
GeneratorVectorVector of generators
IntegerElementary type to hold a 32bit signed integer value.
IntegerVectorVector of integers
LoggingExecutorSimulation of synchronized timed automata, incl logging.
ModbusDeviceSynchronize process image via Modbus/TCP protocol.
ParallelExecutorBasic simulation of synchronized timed automata.
ProposingExecutorSimulation of synchronized timed automata, incl. stochastic execution.
SignalDeviceAbstract interface for signal based event detection and execution.
SimplenetDeviceNetwork based communication of events.
SpiDeviceSynchronize process image via serial interface.
StringElementary type to hold an ASCII encoded string
SystemGenerator model G=(Sigma,Q,delta,Qo,Qm) with controllability attributes.
SystemVectorVector of systems
WagoDeviceAccess digital IO hardware by Wago Kbus interface.

libFAUDES 2.28a --- 2016.09.13 --- with "timed-iodevice-simulator"