PackML or Packaging Machine Language defines a standard for programming automated machines, maintained by OMAC (Organization for Machine Automation and Control). PackML is part of the ISA88 standard.
When developing PackML compliant state machines, engineers usually have to check compliance with the standard periodically during the design process. While standard solutions for PackML support include only a template for developing IEC 61131-3 code, MathWorks expands support for PackML compliance with an integrated way to design, simulate, and test PackML compliant machine control software that:
Simulink PLC Coder is capable of generating a test bench from test cases used to verify the model to ensure the equivalent behavior of model and code.