A real time inference engine for temporal logic specifications, which is able to process and generate any binary or real signal through POSIX IPC, files or UNIX sockets.
Specifications of signals are represented as special graphs and executed in real time, with a sampling time of few milliseconds.
The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.