Search Results for "java runtime environment"

...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. Accent is essentially software. As most of Accent in in Java, it needs at least a Java Runtime Environment but more likely a Java Software Development Kit. To interact with the real world, Accent needs relevant hardware such as a communications server (softswitch) or home automation equipment.

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.