PLC程序开发方法及装置制造方法及图纸

提供一种PLC程序开发方法及装置。所述方法包括：(A)获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试；(B)当所述数学模型通过仿真测试时，基于所述数学模型生成PLC程序。根据所述方法及装置，能够尽量避免进行PLC程序编码所依据的程序设计文件中存在错误，从而有效减少生成的PLC程序中的错误。

PLC program development method and device

Provide a PLC program development method and device. The method includes: (A) get the executable mathematical model corresponding to the logic control function that needs to be realized, and carry out the simulation test for the mathematical model; (B) when the mathematical model is passed the simulation test, the PLC program is generated based on the mathematical model. According to the method and device, it is possible to avoid errors in programming documents based on PLC program coding, so as to effectively reduce errors in generated PLC programs.

【技术实现步骤摘要】
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程序直接进行系统测试。根据本专利技术的另一示例性实施例，提供一种计算机可读存储介质，存储有计算机程序，其特征在于，所述计算机程序被配置为使计算机的处理器执行如上所述的PLC程序开发方法。根据本专利技术的另一示例性实施例，提供一种计算机，其特征在于，包括：如上所述的计算机可读存储介质；处理器，用于执行所述计算机可读存储介质所存储的计算机程序。根据本专利技术示例性实施例的PLC程序开发方法及装置，能够尽量避免进行PLC程序编码所依据的程序设计文件中存在错误，从而有效减少生成的PLC程序中的错误。将在接下来的描述中部分阐述本专利技术总体构思另外的方面和/或优点，还有一部分通过描述将是清楚的，或者可以经过本专利技术总体构思的实施而得知。附图说明通过下面结合示例性地示出实施例的附图进行的描述，本专利技术示例性实施例的上述和其他目的和特点将会变得更加清楚，其中：图1示出现有的程序开发模式V模型；图2示出根据本专利技术示例性实施例的PLC程序开发方法的流程图；图3示出根据本专利技术示例性实施例的分层表示Stateflow中的状态的示例；图4示出根据本专利技术示例性实施例的获取数学模型并进行仿真测试的方法的流程图；图5示出根据本专利技术示例性实施例的PLC程序开发模式；图6示出根据本专利技术示例性实施例的人行横道交通灯的示意图；图7示出根据本专利技术示例性实施例的Stateflow主模型的示意图；图8示出根据本专利技术示例性实施例的Stateflow主模型的仿真测试结果；图9示出根据本专利技术示例性实施例的Stateflow子模型的示意图；图10示出根据本专利技术示例性实施例的Stateflow子模型的仿真测试结果；图11示出根据本专利技术示例性实施例的PLC程序的主程序的示例；图12-图14示出根据本专利技术示例性实施例的PLC程序的子程序的示例；图15示出根据本专利技术示例性实施例的PLC程序开发装置的框图；图16示出根据本专利技术示例性实施例的数学模型获取单元的框图。具体实施方式现将详细参照本专利技术的实施例，所述实施例的示例在附图中示出，其中，相同的标号始终指的是相同的部件。以下将通过参照附图来说明所述实施例，以便解释本专利技术。图2示出根据本专利技术示例性实施例的PLC程序开发方法的流程图。参照图2，在步骤S10，获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试。这里，所述数学模型可以是支持仿真测试且能够被转换成PLC程序的各种类型的数学模型。仅作为优选示例，所述数学模型可以是Stateflow模型。进一步地，作为示例，所述数学模型可包括Stateflow主模型和一个或一个以上Stateflow子模型。这里，Stateflow主模型可用于生成PLC程序的主程序，Stateflow子模型可用于生成PLC程序的子程序。此外，本领域技术人员应该理解，所述数学模型也可仅包括Stateflow主模本文档来自技高网...

【技术保护点】
一种PLC程序开发方法，其特征在于，包括：(A)获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试；(B)当所述数学模型通过仿真测试时，基于所述数学模型生成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程序生成单元，当所述数学模型通过仿真测...

【专利技术属性】
技术研发人员：王达，
申请(专利权)人：北京天诚同创电气有限公司，
类型：发明
国别省市：北京,11