工程设计工具制造技术

工程设计工具具有：显示区域(62a1)，其显示于显示装置(62)的显示画面(62a)且对梯形图程序(RP)进行显示；以及单元格(C1)，其是时序运算符赋予区域。作为时序运算符赋予区域的单元格(C1)是显示于显示区域(62a1)且对梯形图程序(RP)的程序模块(RPM1)赋予时序运算符(TO1)的区域。工程设计工具具有控制规格编辑部和控制规格记述式变换部。控制规格编辑部创建程序模块(RPM1)。控制规格记述式变换部将程序模块(RPM1)变换为能够输入至模型检查程序的算式。

Engineering design tools

The engineering design tool has a display area (62a1), a display screen (62a) displayed on the display device (62), a display of the ladder diagram program (RP), and a cell (C1), which is assigned to the region by the timing operator. The cell assigned to the sequence operator (C1) is the region that is displayed in the display area (62a1) and assigned to the program module (RPM1) of the ladder diagram program (RP) to the sequence operator (TO1). The engineering design tool has the control specification editing department and the control specification recording transformation section. The control specification editing department creates the program module (RPM1). The control specification description transformation converts the program module (RPM1) to the formula that can be input to the model checking program.

【技术实现步骤摘要】
【国外来华专利技术】工程设计工具
本专利技术涉及一种创建控制程序的工程设计工具。
技术介绍
使用了现有的工程设计工具而进行的控制程序的动作确认是将工程设计工具与实际的控制对象仪器或者模拟器连接而进行的。动作确认通常是通过执行希望确认的控制程序，由用户对其状态进行监视、确认这样的方法来实施的。另外，就动作确认而言，通过由用户进行输入、设定，由此进行控制程序的初始值的设定及执行时的参数的设定。上述现有方法存在从控制程序的执行至确认为止，用户的操作花费大量时间的问题。另外，关于上述方法，为了罗列式地对动作进行确认，需要由用户进行初始值的设定及执行时的参数的设定，其初始值及参数的创建花费时间。针对上述现有方法的问题，提出有下述装置，即，使用模型检查程序而进行控制程序的动作确认的装置(参照专利文献1)。专利文献1：日本特开平7－72787号公报
技术实现思路
但是，就专利文献1示出的装置而言，对控制对象仪器所执行的动作及不执行的动作进行规定的控制规格的输入方法不明确。因此，就专利文献1示出的装置而言，为了进行使用了模型检查程序的动作确认，需要对控制规格的输入进行研究。本专利技术就是鉴于上述情况而提出的，其目的在于得到一种工程设计工具，该工程设计工具能够容易地输入控制对象仪器的控制规格。为了解决上述的课题，并达到目的，本专利技术是一种工程设计工具，其具有：显示区域，其显示于显示装置的显示画面且对控制规格记述式进行显示；以及时序运算符赋予区域。时序运算符赋予区域是显示于显示区域且对控制规格记述式的程序模块赋予时序运算符的区域。专利技术的效果本专利技术所涉及的工程设计工具实现能够容易地输入控制对象仪器的控制规格这样的效果。附图说明图1是表示实施方式1所涉及的工程设计工具所具有的控制系统的结构的图。图2是表示图1所示的工程设计工具的显示装置的显示画面的一个例子的图。图3是表示在图1所示的工程设计工具的显示装置的显示画面的第1显示区域进行显示的梯形图程序的一个例子的图。图4是表示对图3所示的梯形图程序的第1程序模块进行创建的过程的图。图5是表示对图3所示的梯形图程序的第2程序模块进行创建的过程的图。图6是表示实施方式1所涉及的工程设计工具的硬件结构的图。图7是表示通过实施方式1所涉及的工程设计工具创建的SFC程序的一个例子的图。图8是对图7所示的SFC程序的输出程序源代码进行变换而得到的状态跳转模型的图。图9是表示在图7所示的SFC程序的动作确认中所使用的梯形图程序的一个例子的图。具体实施方式下面，参照附图，对本专利技术的实施方式所涉及的工程设计工具详细地进行说明。此外，本专利技术并不限定于本实施方式。实施方式1.图1是表示实施方式1所涉及的工程设计工具所具有的控制系统的结构的图。图2是表示图1所示的工程设计工具的显示装置的显示画面的一个例子的图。控制系统1构成FA(FactoryAutomation)领域的设备，如图1所示，该控制系统1具有：设置于设备的多个控制对象仪器2、3、4；与多个控制对象仪器2、3、4连接的控制装置5；以及与控制装置5连接的工程设计工具6。控制对象仪器2、3、4是设置于设备的开关、调整阀、电磁阀、电动机或泵，是实施动作的驱动仪器。在实施方式1中，控制系统1具有三个控制对象仪器2、3、4，但也可以具有除了三个以外数量的控制对象仪器2、3、4，至少具有大于或等于一个控制对象仪器2、3、4即可。工程设计工具6是执行计算机程序的计算机。工程设计工具6经由控制装置5而与控制对象仪器2、3、4连接。工程设计工具6生成由控制装置5执行的控制程序即SFC(SequentialFunctionChart)程序SP，发送至控制装置5。控制装置5通过执行SFC程序SP，从而对控制对象仪器2、3、4进行控制。在实施方式1中，控制装置5是可编程控制器(JISB3502：2011，programmablecontrollers(PLC))，但并不限定于PLC。工程设计工具6还是执行创建出的SFC程序SP的动作确认的装置。如图1所示，工程设计工具6具有：输入装置61，其接收来自用户的操作输入；以及显示装置62，其具有对文字及图像进行显示的图2所示的显示画面62a。工程设计工具6具有：存储装置63，其对用于创建SFC程序SP的控制创建程序、用于执行SFC程序SP的动作确认的模型检查程序MP及创建出的SFC程序SP进行存储；以及运算部10，其执行SFC程序SP的创建及动作确认。控制创建程序、SFC程序SP及模型检查程序MP是能够由计算机即工程设计工具6执行的计算机程序，是工程设计工具程序。如果工程设计工具6执行了控制创建程序，则显示装置62如图2所示，在显示画面62a显示第1显示区域62a1和第2显示区域62a2。即，工程设计工具6具有通过执行控制创建程序而显示于显示画面62a的第1显示区域62a1以及显示于显示画面62a的第2显示区域62a2。第1显示区域62a1是对控制规格记述式即梯形图程序RP进行显示的显示区域。梯形图程序RP是利用梯形图(Ladder：LD)语言记述的梯形图程序。梯形图语言是通过IEC(国际电工委员会)61131－3及JIS(日本工业标准)B3503：2012规定出的语言。在实施方式1中，第1显示区域62a1在显示画面62a的下端部进行显示，但并不限定于此。在实施方式1中，工程设计工具6显示梯形图程序RP而作为控制规格记述式，但作为控制规格记述式进行显示的并不限定于梯形图程序RP。在实施方式1中，梯形图程序RP具有：母线BL，其在第1显示区域62a1的图2中的左端沿上下方向以直线状延伸；以及多个多个程序模块RPM，它们与母线BL相连且沿与母线BL交叉的图2中的左右方向延伸。在实施方式1中，程序模块RPM对控制对象仪器2、3、4的控制规格进行规定。控制规格是对控制对象仪器2、3、4的动作进行规定的规格。控制规格表示控制对象仪器2、3、4始终执行的动作、控制对象仪器2、3、4将来要执行的动作、或控制对象仪器2、3、4相互的动作执行定时的关系。程序模块RPM具有：要素E，其表示控制对象仪器2、3、4的动作、且沿图2中的左右方向或上下方向排列；连接线L，其将要素E彼此连接或将要素E和母线BL连接。程序模块RPM通过要素E的配置及连接线L的连接关系而对控制对象仪器2、3、4的控制规格进行规定。第2显示区域62a2是显示对控制对象仪器2、3、4进行控制的SFC程序SP的显示区域。在实施方式1中，第2显示区域62a2在显示画面62a的第1显示区域62a1的上方显示两个，但并不限定于此。在实施方式1中，SFC程序SP具有：步骤S，其附属有控制对象仪器2、3、4的动作；转移TJ，其附属有多个步骤S间的跳转条件；以及连接线LA。SFC程序SP将步骤S和转移TJ沿上下方向交替地配置，通过连接线LA将步骤S和转移TJ连接。SFC程序SP从多个步骤S中的上方的步骤S依次执行附属于各个步骤S的动作，如果满足附属于通过连接线LA与正在执行动作的步骤S连接的转移TJ的跳转条件，则将附属于正在执行动作的步骤S的动作停止。SFC程序SP执行附属于通过连接线LA与满足了跳转条件的转移TJ连接的步骤S的动作。运算部10如图1所示，具有：作为第1创建单元的控制规格编辑部11；以及作为本文档来自技高网...

【技术保护点】
一种工程设计工具，其特征在于，具有：显示区域，其显示于显示装置的显示画面且对控制规格记述式进行显示；以及时序运算符赋予区域，其显示于所述显示区域且对所述控制规格记述式的程序模块赋予时序运算符。

【技术特征摘要】
【国外来华专利技术】1.一种工程设计工具，其特征在于，具有：显示区域，其显示于显示装置的显示画面且对控制规格记述式进行显示；以及时序运算符赋予区域，其显示于所述显示区域且对所述控制规格记述式的程序模块赋予时序运算符。2.根据权利要求1所述的工程设计工具，其特征在于，具有：第1创建单元，其创建所述程序模块；以及第1变换单元，其将所述程序模块变换为能够输入至模型检查程序的算式。...

【专利技术属性】
技术研发人员：山冈孝行，滨崎弘，
申请(专利权)人：三菱电机株式会社，
类型：发明
国别省市：日本,JP