SAS Offers for Commercial Sphere

Programming system for development of control logic for distributed production systems.

Code: IMC-S-00-0071-UI

Institute of Informatics

Contact Person:

Description:

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.