File	Date	Author	Commit
hanoi.odt	2022-06-06	Andrea Giotti	[aa3295] Commit 560
hanoi.pdf	2022-06-06	Andrea Giotti	[aa3295] Commit 560
minmark.ods	2022-12-29	Andrea Giotti	[1e9e79] Commit 605
quantum.ods	2024-10-21	Andrea Giotti	[ffe015] Commit 1084
readme.txt	2018-03-20	Andrea Giotti	[f42959] Commit 99
reference.odt	4 days ago	Andrea Giotti	[5bfa48] Commit 1173
reference.pdf	4 days ago	Andrea Giotti	[5bfa48] Commit 1173
thesis.pdf	2017-03-09	Andrea Giotti	[7c7ff3] Initial commit
usage.txt	2017-03-18	Andrea Giotti	[3c594e] Commit 3

Read Me

TINX 4.9 Suite

A real time inference engine for temporal logic specifications, which is able to process and generate any binary signal through POSIX IPC or files. 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 operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.

Unique in its genre, this software provides low level parallelism in real time when executing temporal logic specifications. Its temporal logic compiler is flexible and optimizing. Automatic scheduling of timed actions inferred from logic specifications without explicit programming is an effective way to reproduce the behaviour of binary real time systems.

This distribution includes a very fast, single-threaded version (4.3) and a multithreaded version (4.3 MT) of the inference engine (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 logic 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.

An open source compiler (Temporal Inference Network Generator) is included, to generate these networks from a temporal logic source file, together with a graphical shell (Graphical TINX SHell) for signal generation and display which shows how to control and interface the inference engine. They allow the practical use of this tool in the context of a development system for general temporal logic 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 software is licensed under the GNU Public License and includes the executor itself, the compiler, a graphical shell and some examples of temporal logic specifications of simple dynamical systems.

Prof. Andrea Giotti, PhD