Temporal Inference Engine Reviews

Unique in its genre, this inference engine provides low level parallelism in real time when executing temporal logic specifications. Not too easy to configure and interface, it anyway includes a graphical shell. Its temporal logic compiler is essential in diagnostic but flexible and optimizing. Communication through message ports is very fast but its optimization seems to be impossible for flaws of the POSIX IPC library. Automatic scheduling of timed actions inferred from the logic specification without explicit programming is an effective way to reproduce the behaviour of binary real time systems. Currently, the most apparent limit in this approach is the amount of memory used by the inference engine when referring to very large intervals.