SAS Offers for Commercial Sphere
Programming system for development of control logic for distributed production systems.
The programming system which comprises the following basic modules:
- The graphical module for the specification of the control logic model (CLM) based on the visual language statecharts
- The module for the specification of the CLM properties based on the language of the temporal logic.
- The module for real-time simulation of the production devices
- The module for interactive debugging and testing SLM in the process of simulation.