[发明专利]工程设计工具

说明书

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

技术领域

本发明涉及一种创建控制程序的工程设计工具。

背景技术

使用了现有的工程设计工具而进行的控制程序的动作确认是将工程设计工具与实际的控制对象仪器或者模拟器连接而进行的。动作确认通常是通过执行希望确认的控制程序，由用户对其状态进行监视、确认这样的方法来实施的。另外，就动作确认而言，通过由用户进行输入、设定，由此进行控制程序的初始值的设定及执行时的参数的设定。

上述现有方法存在从控制程序的执行至确认为止，用户的操作花费大量时间的问题。另外，关于上述方法，为了罗列式地对动作进行确认，需要由用户进行初始值的设定及执行时的参数的设定，其初始值及参数的创建花费时间。

针对上述现有方法的问题，提出有下述装置，即，使用模型检查程序而进行控制程序的动作确认的装置(参照专利文献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.