Temporal Inference Engine Wiki

TINX 1.0, 2.0 and 3.3mt

A real time inference engine for temporal logic specifications, which is able to process and generate any binary signal through Linux IPC or files. Specifications of signals are represented as special graphs and executed in real time.

This distribution includes a very fast, single-threaded version (2.0) and a multithreaded version (3.3mt) of the inference engine, named Temporal Inference Network eXecutor. For an explanation of the executed networks, see the degree thesis included in the documentation (italian only). These networks can represent general temporal logical specifications of real time systems and the inference engine can process and generate binary signals in real time according to these specifications, with a sampling time of the order of few milliseconds on a modern hardware. The compiler used to generate these networks is not included due to property reasons, but the development of an open source compiler is strongly suggested by the author for a practical use of this tool in the context of a development system for general temporal logical specifications.

TINX 1.0 is not a real time application but can be compiled and run on any ANSI C compliant environment, the other versions are real time applications for Linux. This tool is licensed under the GNU Public License and includes the executor itself, a very simple text-based signal generator/displayer (for testing purposes only) and some examples of temporal inference networks.

Project Members:

• Andrea Giotti (admin)