PackML或包老化米achinelanguage定义了由OMAC(机器自动化和控制组织)维护的自动化机器编程标准。PackML是包装OMAC工作组。
在开发符合PackML的状态机时,工程师通常必须在设计过程中定期检查是否符合标准。虽然PackML支持的标准解决金宝搏官方网站方案只包含一个用于开发IEC金宝app 61131-3代码的模板,但MathWorks扩展了对PackML遵从性的支持,以一种集成的方式设计、模拟和测试PackML遵从性的机器控制软件,该软件包括:
- 通过杠杆加速创造建模模板
- 确保合规通过静态检查
- 针对不同的PLC平台使用自动代码生成适用于IEC 61131-3 - ST和ANSI/ISO C/ c++
MathWorks的能力,为PackML兼容的状态机设计:
-
用于在Simulink和Stateflow中建模符合PackML的状态机的模板金宝app
一个额外的用户界面确保模型保持不变- PackML兼容,表示状态和转换符合标准中的定义
- 在Simulink中,金宝app为开发人员提供执行早期和增量验证的能力
- 可测试的- - - - - -金宝app仿真软件设计验证器用于为模型生成基于覆盖率的测试用例,金宝app仿真软件测试是用来执行和管理测试用例的吗
- 配置为自动代码生成,使用金宝app仿真软件编码器或(C / c++)金宝app仿真软件PLC编码器(IEC 61131 - 3)。生成的代码符合PackTag,因此可以无缝地集成到其他与PackML兼容的软件中。
-
自动静态检查,确保PackML的一致性
使用Model Advisor执行静态检查,并检查建模的PackML状态机模型的结构一致性。这包括状态、转换、状态函数和接口的适当性。因此,为了确保PackML遵从性而进行的手工审查已经过时了。 -
用于通用PLC平台的代码生成 金宝app仿真软件PLC编码器(IEC 61131-3 - ST)或金宝app仿真软件编码器 (C / c++)
下列PLC和工业PC平台支持从Simulink生成代码:金宝app金宝app
金宝appSimulink PLC编码器能够从用于验证模型的测试用例生成测试工作台,以确保模型和代码的等效行为。
这些功能支持基于模型的设计,用于开发符合PackML的状态机。基于模型的设计,通过早期验证、快速原型设计和自动代码生成,有助于提高所开发的机器控制软件的质量。