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

说明书

技术领域

本发明总体说来涉及PLC技术领域，更具体地讲，涉及一种PLC程序开发方法及装置。

背景技术

可编程逻辑控制器(PLC)是一类专门的工业计算装置，其通过内部存储的用于执行逻辑运算、顺序控制、定时、计数、算术运算等操作的PLC程序来控制各种类型的机械设备或生产过程，广泛应用于生产制造、交通、电力等领域。

目前普遍采用的程序开发模式是V模型。V模型最大的优点是将程序测试融入了整个程序的开发生命周期，可以改进程序开发的效率和有效性。如图1所示，在V模型中，开发阶段分为四个步骤，分别是需求分析、规格说明、概要设计和详细设计，对应的测试步骤分别为验收测试、系统测试、集成测试和单元测试。

虽然V模型在PLC程序开发上得到普遍应用，但它存在以下缺点：必须要等到编码结束后才能进入测试阶段，这导致在编码之前的早期程序设计阶段引入的错误要到后面的测试阶段才能被发现，很可能造成部分甚至全部PLC程序的重新编码。这不仅浪费了开发人员的时间和精力，也增加了项目按期完成的压力，更严重的情况是错误的PLC程序在测试阶段可能会造成设备或人员的伤害。

发明内容

本发明的示例性实施例在于提供一种PLC程序开发方法及装置，其能够解决现有技术存在的上述问题。

根据本发明的示例性实施例，提供一种PLC程序开发方法，其特征在于，包括：(A)获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试；(B)当所述数学模型通过仿真测试时，基于所述数学模型生成PLC程序。

可选地，所述数学模型是Stateflow模型。

可选地，所述数学模型包括Stateflow主模型和一个或一个以上Stateflow子模型，其中，对所述数学模型进行仿真测试的步骤包括：对所述Stateflow主模型进行仿真测试；当所述Stateflow主模型通过仿真测试时，对所述一个或一个以上Stateflow子模型进行仿真测试。

可选地，所述数学模型包括Stateflow主模型和一个或一个以上Stateflow子模型，其中，步骤(A)包括：获取与需要实现的逻辑控制功能对应的一个或一个以上时态逻辑命题；基于获取的时态逻辑命题生成Stateflow主模型，并对所述Stateflow主模型进行仿真测试；当所述Stateflow主模型通过仿真测试时，基于获取的时态逻辑命题和所述Stateflow主模型生成一个或一个以上Stateflow子模型，并对所述一个或一个以上Stateflow子模型进行仿真测试。

可选地，在步骤(B)中，基于所述Stateflow主模型生成PLC程序的主程序，并基于所述一个或一个以上Stateflow子模型生成PLC程序的一个或一个以上子程序。

可选地，所述方法还包括：对生成的PLC程序直接进行系统测试。

根据本发明的另一示例性实施例，提供一种PLC程序开发装置，其特征在于，包括：数学模型获取单元，获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试；PLC程序生成单元，当所述数学模型通过仿真测试时，基于所述数学模型生成PLC程序。

可选地，所述数学模型是Stateflow模型。

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

可选地，所述数学模型包括Stateflow主模型和一个或一个以上Stateflow子模型，其中，数学模型获取单元包括：获取单元，获取与需要实现的逻辑控制功能对应的一个或一个以上时态逻辑命题；主模型生成单元，基于获取的时态逻辑命题生成Stateflow主模型，并对所述Stateflow主模型进行仿真测试；子模型生成单元，当所述Stateflow主模型通过仿真测试时，基于获取的时态逻辑命题和所述Stateflow主模型生成一个或一个以上Stateflow子模型，并对所述一个或一个以上Stateflow子模型进行仿真测试。

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

可选地，所述装置还包括：系统测试单元，对生成的PLC程序直接进行系统测试。