Packml.或者盒老化machine.L.Anguage定义了用于编程自动化机器的标准，由OMAC维护（机器自动化和控制组织）。packml是部分的一部分OMAC包装工作组。
在开发PackML兼容状态机时，工程师通常必须在设计过程中定期检查与标准的符合性。虽然PackML支持的标准解决金宝搏官方网站方案仅包括用于开发IEC 6金宝app1131-3代码的模板，但MathWorks扩展了对PackML符合性的支持，以综合方式设计，模拟和测试PackML兼容机器控制软件：
- 通过杠杆加速创造建模模板
- 确保合规性静态检查
- 通过使用来定向不同的PLC平台自动代码生成对于IEC 61131-3 ST和ANSI / ISO C / C ++
图1：PackML状态机模板
PackML兼容状态机设计的MathWorks功能：
-
用于在Simulink和StateFlow中建模PackML兼容状态机的模板金宝app
另外的用户界面可确保窗口仍然存在- packml兼容，意味着状态和转换符合标准中的定义
- 启用Simulink中的仿真，金宝app为开发人员提供早期和增量验证的能力
- 可测试-金宝appSimulink Design Verifier用于为模型生成基于覆盖的测试用例，金宝appSimulink测试用于执行和管理测试用例
- 配置为自动代码生成，使用金宝appSimulink编码器（C / C ++）或金宝appSimulink PLC编码器（IEC 61131-3）。生成的代码符合PackTag，因此可以无缝地集成到兼容其他PackML的软件中。
-
自动静态检查确保PackML合规性
使用模型顾问执行静态检查，并检查模型PackML状态机模型的结构一致性。这包括状态，转换，状态和接口的适当性。因此，手动审查以确保PackML合规性变得过时。 -
使用常用PLC平台的代码生成 金宝appSimulink PLC编码器（IEC 61131-3 ST）或金宝appSimulink编码器 （C / C ++）
以下PLC和工业PC平台支持来自Simulink的代码：金宝app金宝app- 3S代码
- B＆R自动化工作室
- Bachmann SolutionCenter.
- Beckhoff Twincat.
- 博世雷克斯
- 三菱电气
- 欧姆龙
- 凤凰城联系人
- 西门子STEP 7 / TIA门户
- 西门子Winac.
金宝appSimulink PLC编码器能够从用于验证模型的测试案例生成测试台，以确保模型和代码的等效行为。
图2：所有主要的PLC平台支持来自Simulink和StateFlo金宝appw的代码生成。金宝app
这些功能使基于模型的设计能够开发PackML兼容状态机。基于模型的设计，通过早期验证，快速原型设计和自动代码产生有助于提高发发机器控制软件的质量。
