Search Results for "re-tool"

Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for...

This tool is a lightweight Java-based generator that creates JSON files with a hierarchical Folder/UDT/Tag structure. It’s designed to help you quickly populate your Ignition tag system by pre-defining common tag properties. With an easy-to-use Swing interface, you can build and manage your tag hierarchy, then export it as a ready-to-import JSON file.

Accent (Advanced Component Control Enhancing Network Technologies) is a comprehensive tool suite that interfaces a variety of communications systems and allows these systems to be controlled through goals (high-level user aims) and policies (lower-level system rules). Accent has been applied to the domains of: o Call Control: for telecommunications, particularly call control in Internet telephony o Home Care: for home automation and telecare, particularly for domestic appliances and devices to support home care o Sensor Networks: sensor networks, particularly managing wind farms However, the approach is generic and extensible for managing other kinds of systems. ...

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

Generic directory service (for the EPICS tool set). Directory entries are channels with properties and tags. Applications can query a web service to retrieve channels based on wildcard matching on properties and tags, and manipulate the directory data. Code has been moved to GitHub at https://github.com/ChannelFinder

GridIQ is a testbed for smart grid agents. It enables the JADE agent development platform to integrate with the PSAT power simulation tool.