PackML要么包老化中号achine大号anguage限定用于编程自动化机器，由OMAC（组织机械自动化和控制）维持的标准。PackML是部分OMAC包装工作组。
当开发PackML兼容的状态机，工程师通常在设计过程中定期检查符合标准。虽然PackML支持标准的解决万博 尤文图斯方案包括用于开发IEC 61万博1manbetx131-3代码，MathWorks公司扩大了PackML符合集成的方式来设计，支持模拟和测试PackML兼容机控制软件，只有一个模板：
- 加速通过利用创建造型模板
- 确保遵守通过静态检查
- 针对使用不同的PLC平台自动代码生成对于IEC 61131-3 ST和ANSI / ISO C / C ++
图1：PackML状态机模板
MathWorks公司的PackML兼容的状态机设计能力：
-
对于在Simulink和Stateflow建模PackML兼容的状态机模板万博1manbetx
一个附加用户接口确保模型遗体- PackML兼容，这意味着国家和转换符合标准的定义
- 启用模拟在Simulink中，万博1manbetx提供开发者进行早期和增量验证的能力
- 可测试-万博1manbetxSimulink设计验证用来产生基于覆盖的测试案例为模型，万博1manbetxSimulink的测试用于执行和管理测试用例
- 配置为自动代码生成，运用万博1manbetxSimulink的编码器（C / C ++）或万博1manbetxSimulink的PLC编码器（IEC 61131-3）。所生成的代码符合PackTag并且因此可以无缝地集成到其它PackML兼容的软件。
-
自动静态检查，确保PackML达标
静态检查正在使用模型顾问，并检查所建模PackML状态机模型的结构一致性执行。这包括状态，转换状态的功能和接口的正当性。因此，人工审查，以确保遵守PackML变得过时。 -
代码生成使用通用PLC平台 万博1manbetxSimulink的PLC编码器（IEC 61131-3 ST）或万博1manbetxSimulink的编码器 （C / C ++）
下面的PLC和工业PC平台支持从Simulink的代码生成：万博1manbetx万博1manbetx- 3S的CoDeSys
- B＆R自动化工作室
- 巴赫曼Solutioncenter
- 倍福的TwinCAT
- 博世力士乐
- 三菱电机
- 欧姆龙
- 菲尼克斯电气
- 罗克韦尔RSLOGIX
- 西门子STEP 7 / TIA博途
- 西门子的WinAC
万博1manbetxSimulink的PLC编码器能够产生与用于验证模型以确保模型和代码的等效行为试验例试验台。
图2：所有主要的PLC平台的支持代码生成利用Simulink和Sta万博1manbetxteflow。万博1manbetx
这些功能使基于模型的设计开发符合PackML状态机。基于模型的设计，通过早期验证，快速成型和自动代码生成有助于提高开发的机器控制软件的质量。
