Showing 1 open source project for "codesys"

View related business solutions
  • Model-Based Systems Engineering Software Icon
    Model-Based Systems Engineering Software

    Systems requirements, Modeling and Simulation, Verification and Validation in one seamless solution.

    SPEC Innovations’ flagship model-based systems engineering solution can help your team reduce time-to-market, cost, and risk on even some of the most complex systems. This cloud or on-premise application uses a modern web browser, with an intuitive graphical user interface.
  • Never misplace a package or lose track of a delivery. Icon
    Never misplace a package or lose track of a delivery.

    PackageX uses computer vision technology to track packages and assets with a simple photo

    Simply "snap, notify and sign." PackageX is a simple yet powerful last-yard solution that will streamline the way you manage inbound deliveries, saving you from manually notifying the recipients and ultimately improving workplace productivity. The app uses Machine Learning and state of the art AI algorithms to extract information from package labels (even handwritten labels), and to match and route deliveries to the correct recipients. Lastly, the app collects signatures and notifies the recipient when the package is picked up, keeping everyone in the loop.
  • 1
    G4LTL-ST

    G4LTL-ST

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next