Search Results for "development tools"

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.

...It is platform independent and based on a modern system design that provides security and flexibility at the same time. openSCADA is flexible. It is not an out of the box solution, but a set of tools that can be combined in many different ways. It provides development libraries, interface applications, mass configuration tools, front-end and back-end applications. openSCADA is ready to rock. It is used 24/7 in several installations around this world. openSCADA is supported. So if you prefer a fully supported, out of the box instead of a “build it yourself” solution you can contact IBH SYSTEMS GmbH and let us do the job. ...