Search Results for "gnu dev environment"

Sardana is the control program initially developed at ALBA. Our mission statement: Produce a modular, high performance, robust, and generic user environment for control applications in large and small installations. Make Sardana the generic user environment distributed in the Tango project and the standard basis of collaborations in control. The origin of the Sardana name comes from a Catalan dance to honor the region where the ALBA synchrotron is build. Sardana is entirely built over...

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...

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.