Search Results for "java projects big"

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.

Now available on Google Play at <https://play.google.com/store/apps/details?id=ca.farrelltonsolar.classic> The source code is now maintained on <https://github.com/graham22/Classic> Classic Monitor is a free status monitor for Midnite solar 's, Classic 150, 200, 250 Charge Controller. It is a Read Only Program, it does not write to the Classic. The software is provided "AS IS", WITHOUT WARRANTY OF ANY KIND, express or implied. Classic Monitor is NOT a product of Midnite solar,...

This project is aimed at producing open source hardware for real time use in industrial automation. This project will have a few sub-projects that will focus on individual hardware for various industrial purpose. Some of the sub-projects will be of type Field-IO Modules development, Analog-IO Module development etc.