216,000+ customers in over 135 countries grow their businesses with HubSpot
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
Get started free
Red Hat Ansible Automation Platform on Microsoft Azure
Red Hat Ansible Automation Platform on Azure allows you to quickly deploy, automate, and manage resources securely and at scale.
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
Framework to enable PLC Visualisations (like Wago 750-841, Beck IPC, CoDeSys 2.3) displayed in a standalone Browser without Java applets.
Including Browsers of iPad, iPhone, iPod, Android aso..
Based on HTML5 canvas and Javascript.
Python module for network variables for CoDeSys PLCs
CoDeSys v2.3 supports so called network variables. Blocks of (global) variables, that propagates over networks like TCP, UDP or UDP Multicast aso.
This python module supports parsing, receiving and sending those blocks (with UDP Multicast only).
With this you can add for example a Raspberry Pi Sensor to your automation network without special Network clients on your PLC.
Generating PLC programs from formal specifications
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.