[发明专利]可编程逻辑控制器用程序的创建支持装置和创建支持方法

说明书

本发明提供对具有被二重化的CPU的PLC，能够容易地创建用于使各个CPU动作的独立的执行文件，能够更加可靠地防止由转换器软件的故障引起的PLC的紧急停止的PLC用程序的创建支持装置、以及PLC用程序的创建支持方法。根据原始程序生成第一、第二中间代码，根据第一中间代码生成反向转换程序，根据反向转换程序生成再次转换第一中间代码、再次转换第二中间代码，在这些中间代码与那些再次转换中间代码的比较结果一致的情况下，根据再次转换第一中间代码生成第一执行文件，根据再次转换第二中间代码生成第二执行文件，并将这些执行文件转送至PLC。

本申请主张于2014年4月10日提出的日本专利申请2014-081034号的优先权，并在此引用其全部内容。

技术领域

本发明涉及可编程逻辑控制器用程序的创建支持装置、以及可编程逻辑控制器用程序的创建支持方法。

背景技术

可编程逻辑控制器(Programmable Logic Controller，以下，记载为PLC)被使用于工厂的自动机械的控制等。PLC是小型的计算机，具备执行程序的中央处理装置(以下，记载为CPU)，在创建程序时利用以梯形电路的形式描述顺序控制的梯形图语言，能够适当地被改写为符合用途的顺序程序来利用。而且向PLC输入来自各种输入设备(开关、传感器等)的与导通状态相关的信号(开启或者关闭的信息)，PLC使用将各种输入设备组合成所希望的方式(以串联或者并联的方式连接)的顺序程序，来控制(输出开启或者关闭信号等)输出设备(继电器、马达等)。

在PLC中还被称为安全PLC的PLC对CPU以及ROM进行二重化，分别向2个ROM搭载由相同的梯形图语言程序创建的独立的执行文件(以PLC能够执行的机器语言编写的代码，换句话说程序)。而且，在被二重化的CPU的输出一致的情况下，使用其输出来控制马达、继电器等输出设备。即，利用独立的CPU执行由相同的梯形图语言程序创建的不同的2个执行文件并对它们的输出进行核对，从而将从梯形图语言程序到执行文件的转换软件等出现意外故障的情况下的紧急停止防止于未然。

以往，在创建独立的执行文件时，使用中间代码转换器(转换器软件)，从梯形图语言程序转换为中间代码(用中间语言描述的程序，)，设计者一句一句地确认该转换后的中间代码来确认有无转换的故障。而且，将该中间代码，利用第一执行文件转换器(转换器软件)转换为第一执行文件，并利用第二执行文件转换器转换为第二执行文件，并将第一执行文件搭载于第一CPU，将第二执行文件搭载于第二CPU。

另外在日本特开2006－235660号公报中，公开了不向PLC转送执行文件而是转送数值数据程序，且PLC具备按照每个指令解释并执行数值数据程序的解释程序的控制系统。在该结构中，PLC并不是直接执行数值数据程序，而是执行通过解释程序解释(翻译为机器语言)后的内容。

另外在日本特开平9－212212号公报中，公开了如下的核对方法，即，例如在创建对设备1E的标准梯形顺序1和设备2E的标准梯形顺序2进行合成而成的梯形顺序3的情况下，从梯形顺序3中取出顺序A和顺序B，按照每个模块展开为助记符(将机器语言翻译为人容易理解/描述的英语单词、符号的组合)，对展开的顺序进行逻辑化并按地址顺序再次排列比较，从而能够识别逻辑的矛盾、逻辑的重复的顺序电路。

在从梯形图语言程序转换为中间代码，根据该转换后的中间代码来创建第一执行文件和第二执行文件的现有方法中，设计者一句一句地确认从梯形图语言程序转换成的中间代码的作业非常麻烦并且浪费时间，所以并不优选。另外，虽然准备两种执行文件转换器，根据一个中间代码来创建独立的执行文件，但从梯形图语言程序向中间代码的转换是1个类型。因此，认为在从该梯形图语言程序转换为中间代码的中间代码转换器(转换器软件)出现故障的情况下，存在即使设计者进行一句一句的确认也不能发现的可能性，可能发生由执行文件的错误引起的PLC的紧急停止，所以不优选。