Download
A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.
Features
- Fast Inference Engine
- Real Time or Batch Run
- Temporal Logical Networks
- Specification Execution
- Optional Multithreading
- Communication through Linux IPC, Files or Sockets
- Sampling Time of Few Milliseconds
- Compiler Included
- Graphical Shell Included
Project Samples
License
Affero GNU Public LicenseFollow Temporal Inference Engine
Other Useful Business Software
AI-generated apps that pass security review
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
Rate This Project
Login To Rate This Project
User 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.
