PackML或包老化米achinel语言定义了自动化机器编程的标准,由OMAC(机器自动化和控制组织)维护。PackML是包装OMAC工作组.
在开发PackML兼容状态机时,工程师通常需要在设计过程中定期检查是否符合标准。虽然PackML支持的标准解决万博 尤文图斯方案只包括一个开发IEC 6万博1manbetx1113 -3代码的模板,MathWorks扩展了对PackML兼容的支持,采用集成的方式来设计、模拟和测试PackML兼容的机器控制软件:
- 通过杠杆来加速创造建模模板
- 确保合规通过静态检查
- 针对不同的PLC平台使用自动代码生成适用于IEC 61131-3 ST和ANSI/ISO C/ c++
PackML兼容状态机设计的MathWorks功能:
-
在Simulink和statflow中建模PackML兼容状态机的模板万博1manbetx
一个额外的用户界面确保模型保留下来- PackML兼容,表示状态和转换符合标准中的定义
- 在Simulink中启用仿真,万博1manbetx为开发人员提供执行早期和增量验证的能力
- 可测试的- - - - - -万博1manbetx仿真软件设计验证器用于为模型生成基于覆盖的测试用例,万博1manbetx仿真软件测试用于执行和管理测试用例
- 配置为自动代码生成,使用万博1manbetx仿真软件编码器或(C / c++)万博1manbetx仿真软件PLC编码器(IEC 61131 - 3)。生成的代码符合PackTag,因此可以与其他PackML兼容的软件无缝集成。
-
自动静态检查确保PackML遵从
静态检查使用Model Advisor执行,并检查建模的PackML状态机模型的结构一致性。这包括状态、转换、状态函数和接口的适当性。因此,手工检查以确保PackML遵从性变得过时了。 -
代码生成用于常见的PLC平台使用 万博1manbetx仿真软件PLC编码器(IEC 61131-3 ST)万博1manbetx仿真软件编码器 (C / c++)
以下PLC和工业PC平台支持从Simulink生成代码:万博1manbetx万博1manbetx
万博1manbetxSimulink PLC Coder能够从用于验证模型的测试用例中生成一个测试台,以确保模型和代码的等效行为。
这些功能支持基于模型的设计来开发兼容PackML的状态机。基于模型的设计,通过早期验证,快速原型和自动代码生成,有助于提高所开发的机床控制软件的质量。