包装或收拾变老M疼痛L语言定义了自动机器编程的标准，由OMAC（机器自动化和控制组织）维护OMAC包装工作组.
在开发符合PackML的状态机时，工程师通常必须在设计过程中定期检查是否符合标准。虽然PackML支持的标准解决方案仅包括用于开发IEC 61131-3代码的模板，但MathWorks通过设计、模拟和测试的集成方式扩展了对PackML符合性的支持符合st PackML标准的机器控制软件：万博 尤文图斯万博1manbetx
- 通过利用建模模板
- 通过以下方式确保法规遵从性：静态检查
- 通过使用自动代码生成适用于IEC 61131-3 ST和ANSI/ISO C/C++
图1:PackML状态机模板
MathWorks兼容PackML的状态机设计功能:
-
Simulink和Stateflow中PackML兼容状态机建模模板万博1manbetx
附加的用户界面可确保模型保持不变- PackML兼容，表示状态和转换符合标准中的定义
- 在Simulink中启用模拟，万博1manbetx为开发人员提供执行早期和增量验证的能力
- 可测试–万博1manbetxSimulink设计验证程序用于为模型生成基于覆盖率的测试用例，万博1manbetx模拟试验用于执行和管理测试用例
- 配置为自动代码生成，使用万博1manbetxSimulink编码器（C/C++）或万博1manbetxSimulink PLC编码器（IEC 61131-3）。生成的代码符合PackTag，因此可以与其他PackML兼容软件无缝集成。
-
自动静态检查确保PackML合规性
使用ModelAdvisor执行静态检查，并检查建模的PackML状态机模型的结构一致性。这包括状态、转换、状态函数和接口的适当性。因此，确保PackML合规性的手动审查已经过时。 -
使用 万博1manbetxSimulink PLC编码器（IEC 61131-3 ST）或万博1manbetxSimulink编码器 （C/C++）
以下PLC和工业PC平台支持从Simulink生成代码：万博1manbetx万博1manbetx
万博1manbetxSimulink PLC编码器能够从用于验证模型的测试用例生成测试台，以确保模型和代码的等效行为。
图2：所有主要的PLC平台都支持从Simulink和Stateflo万博1manbetxw生成代码。万博1manbetx
这些功能使基于模型的设计能够开发符合PackML的状态机。通过早期验证、快速原型设计和自动代码生成，基于模型的设计有助于提高所开发的机器控制软件的质量。
