Search Results for "squashfs-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...

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.

FactoryController testing/verification tool. Simulate MODBUS-TCP industrial network with set of devices. Update 2017: Hardware Emulator project has been integrated to main FactoryController codebase and this repository is obsolete.

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

BACnetRail is a free BACnet network discovery tool, with a few useful monitoring function. The software connects to the BACnet network with an IP/UDP connection. For more information check the readme file.

Cross platform (python 2.5) tool for exporting data via SMTP (email) to an Endress-Hauser Fieldgate DM3 Server. This tool may be used with any MySQL database historian, even though it was originally an extension for mod_openopc.

JUT is a web-application built around an IT framework that is specifically designed for the remote management of multiple IP Thermostats.

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