[发明专利]PLC程序开发方法及装置

权利要求书

1.一种PLC程序开发方法，其特征在于，包括：

(A)获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试；

(B)当所述数学模型通过仿真测试时，基于所述数学模型生成PLC程序。

2.根据权利要求1所述的PLC程序开发方法，其特征在于，所述数学模型是Stateflow模型。

3.根据权利要求2所述的PLC程序开发方法，其特征在于，所述数学模型包括Stateflow主模型和一个或一个以上Stateflow子模型，其中，对所述数学模型进行仿真测试的步骤包括：

对所述Stateflow主模型进行仿真测试；

当所述Stateflow主模型通过仿真测试时，对所述一个或一个以上Stateflow子模型进行仿真测试。

4.根据权利要求2所述的PLC程序开发方法，其特征在于，所述数学模型包括Stateflow主模型和一个或一个以上Stateflow子模型，其中，步骤(A)包括：

获取与需要实现的逻辑控制功能对应的一个或一个以上时态逻辑命题；

基于获取的时态逻辑命题生成Stateflow主模型，并对所述Stateflow主模型进行仿真测试；

当所述Stateflow主模型通过仿真测试时，基于获取的时态逻辑命题和所述Stateflow主模型生成一个或一个以上Stateflow子模型，并对所述一个或一个以上Stateflow子模型进行仿真测试。

5.根据权利要求3或4所述的PLC程序开发方法，其特征在于，在步骤(B)中，

基于所述Stateflow主模型生成PLC程序的主程序，并基于所述一个或一个以上Stateflow子模型生成PLC程序的一个或一个以上子程序。

6.根据权利要求1所述的PLC程序开发方法，其特征在于，所述方法还包括：

对生成的PLC程序直接进行系统测试。

7.一种PLC程序开发装置，其特征在于，包括：

数学模型获取单元，获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试；

PLC程序生成单元，当所述数学模型通过仿真测试时，基于所述数学模型生成PLC程序。

8.根据权利要求7所述的PLC程序开发装置，其特征在于，所述数学模型是Stateflow模型。

9.根据权利要求8所述的PLC程序开发装置，其特征在于，所述数学模型包括Stateflow主模型和一个或一个以上Stateflow子模型，

其中，数学模型获取单元对所述Stateflow主模型进行仿真测试；当所述Stateflow主模型通过仿真测试时，数学模型获取单元对所述一个或一个以上Stateflow子模型进行仿真测试。

10.根据权利要求8所述的PLC程序开发装置，其特征在于，所述数学模型包括Stateflow主模型和一个或一个以上Stateflow子模型，其中，数学模型获取单元包括：

获取单元，获取与需要实现的逻辑控制功能对应的一个或一个以上时态逻辑命题；

主模型生成单元，基于获取的时态逻辑命题生成Stateflow主模型，并对所述Stateflow主模型进行仿真测试；

子模型生成单元，当所述Stateflow主模型通过仿真测试时，基于获取的时态逻辑命题和所述Stateflow主模型生成一个或一个以上Stateflow子模型，并对所述一个或一个以上Stateflow子模型进行仿真测试。

11.根据权利要求9或10所述的PLC程序开发装置，其特征在于，PLC程序生成单元基于所述Stateflow主模型生成PLC程序的主程序，并基于所述一个或一个以上Stateflow子模型生成PLC程序的一个或一个以上子程序。

12.根据权利要求7所述的PLC程序开发装置，其特征在于，所述装置还包括：

系统测试单元，对生成的PLC程序直接进行系统测试。

13.一种计算机可读存储介质，存储有计算机程序，其特征在于，所述计算机程序被配置为使计算机的处理器执行如权利要求1至6之中任意一项所述的PLC程序开发方法。

14.一种计算机，其特征在于，包括：

如权利要求13所述的计算机可读存储介质；

处理器，用于执行所述计算机可读存储介质所存储的计算机程序。