符合PackML的状态机设计
PackML或包老化米achinel语言定义了编程自动化机器的标准,由OMAC(机器自动化与控制组织)维护。PackML是OMAC包装工作组.
在开发符合PackML的状态机时,工程师通常必须在设计过程中定期检查是否符合标准。虽然PackML支持的标准解决方案仅包括用于开发IEC 61131-3代码的模板,但MathWorks通过集成的方式扩展了对PackML兼容的支持,以设计、模拟和测试符合PackML的机器控制软件,该方法包括:
- 通过杠杆来加速创建建模模板
- 通过以下方式确保合规静态检查
- 针对不同的PLC平台使用自动代码生成适用于IEC 61131-3 ST和ANSI/ISO C/ c++
符合PackML的状态机设计的MathWorks功能:
-
在Simulink和statflow中建模符合PackML的状态机的模板
一个额外的用户界面确保模型仍然存在- PackML兼容,意味着状态和转换符合标准中的定义
- 在Simulink中启用模拟,为开发人员提供执行早期和增量验证的能力
- 可测试的- - - - - -Simulink设计验证器用于为模型生成基于覆盖的测试用例,仿真软件测试用于执行和管理测试用例
- 配置为自动代码生成,使用仿真软件编码器或(C / c++)Simulink PLC编码器(IEC 61131 - 3)。生成的代码符合PackTag,因此可以无缝集成到其他兼容PackML的软件。
-
自动的静态检查确保PackML的遵从性
使用Model Advisor执行静态检查,并检查建模的PackML状态机模型的结构一致性。这包括状态、转换、状态函数和接口的适当性。因此,手动检查以确保PackML遵从性变得过时了。 -
- 3 s CoDeSys
- 贝加莱自动化工作室
- 巴赫曼Solutioncenter
- Beckhoff TwinCAT
- 博世力士乐
- 三菱电机
- 欧姆龙
- 菲尼克斯
- 西门子step7 / TIA传送门
- 西门子WinAC
Simulink PLC Coder能够从用于验证模型的测试用例中生成测试台,以确保模型和代码的等效行为。
这些功能使基于模型的设计能够用于开发符合PackML的状态机。基于模型的设计,通过早期验证,快速原型和自动代码生成,有助于提高开发的机器控制软件的质量。