WO2007144936A1

WO2007144936A1 - プログラマブルロジックコントローラの周辺装置およびプログラムの自動検証方法

Info

Publication number: WO2007144936A1
Application number: PCT/JP2006/311807
Authority: WO
Inventors: Kaori Sakagami; Masanobu Sumiya; Tomohiro Sato; Makoto Nonomura
Original assignee: Mitsubishi Electric Corporation
Priority date: 2006-06-13
Filing date: 2006-06-13
Publication date: 2007-12-21
Also published as: GB2454832B; DE112006003926B4; KR101006787B1; GB2454832A; CN101467111A; DE112006003926T5; US20100049337A1; JPWO2007144936A1; KR20090009320A; JP4890545B2; GB0822737D0; CN101467111B; US8060221B2

Abstract

　タイムチャートに基づいて作成されたシーケンスプログラムの検証を、高い精度で実行することができるプログラマブルロジックコントローラの周辺装置を得ること。外部機器をシーケンスプログラムに基づいて制御するＰＬＣ（１）に接続され、ＰＬＣ（１）でのシーケンスプログラムの動作状態を検証するＰＬＣの周辺装置（２）において、ＰＬＣ（１）が外部機器のうちの所定の信号入出力部に対応するシーケンス処理を実行することによって得られるトレース結果を外部機器の性能に基づいて補正した最適化後トレース結果を生成するトレース結果最適化処理部（２６）と、最適化後トレース結果と外部機器に対するシーケンス処理の基になるタイムチャートとを照合して、最適化後トレース結果のずれを検出するトレース結果照合処理部（２７）と、を備える。

Description

明細書

プログラマブルロジックコントローラの周辺装置およびプログラムの自動検証方法

技術分野

[0001] この発明は、プログラマブルロジックコントローラ（以下、 PLCという）のシーケンスプログラムの作成、編集を行う PLCの周辺装置およびプログラムの自動検証方法に関するものである。

背景技術

[0002] 従来から、 PLCの周辺装置における、タイムチャートから作成されたシーケンスプログラムの動作試験を行うシーケンスプログラムの試験方法が提案されて、る（たとえば

、特許文献 1参照)。この特許文献 1に記載のシーケンスプログラムの試験方法は、シ一ケンサプログラムによって制御される機器の動作パターンであるシーケンスタイムチャートに基づいて、動作パターンを数値ィ匕した動作パターンマトリクス表を予め作成しておき、シーケンサプログラムによって制御される機器力もの動作出力を数値ィ匕した値と動作パターンマトリクス表とを比較する。そして、両者が一致した場合には、シーケンサプログラムは正常であると判定し、両者が一致しない場合には、シーケンサプログラムは異常であると判定して、その結果を PLCの周辺装置のオペレータに出力する。

[0003] 特許文献 1 :特開 2002— 73619号公報

発明の開示

発明が解決しょうとする課題

[0004] し力しながら、特許文献 1に記載のシーケンスプログラムの試験方法では、シーケンスプログラムによって制御される機器が有する固有の性能によって生じるタイミングのずれを考慮していな力つた。その結果、比較の基準となる動作パターンマトリクス表と、比較の対象となる機器からの動作出力を数値ィ匕した値とは厳密には一致しないので、判定処理においては、両者のずれを許容するような誤差率を設定しなければならず、精度の高い判定を行うことができないという問題点があった。また、精度の高い判定を行う場合には、オペレータが、機器力もの動作出力を数値ィ匕した値のデバッグ処理を行わなければならなヽと、う問題点もあった。

[0005] この発明は上記に鑑みてなされたもので、タイムチャートに基づいて作成されたシ一ケンスプログラムの検証を、高、精度で実行することができるプログラマブルロジックコントローラの周辺装置およびプログラムの自動検証方法を得ることを目的とする。また、シーケンスプログラムを実際に実行した場合のトレース結果の時間経過によるタイムチャートからのずれを検出することができるプログラマブルロジックコントローラの周辺装置およびプログラムの自動検証方法を得ることも目的とする。さらに、トレース結果のタイムチャートからのずれの原因となるデバイスやシーケンスプログラム上の位置を検出し、自動的に修正可能な部分では修正し、自動的に修正できない場合にはその部分を表示することができるプログラマブルロジックコントローラの周辺装置およびプログラムの自動検証方法を得ることも目的とする。

課題を解決するための手段

[0006] 上記目的を達成するため、この発明に力かる PLCの周辺装置は、外部機器をシーケンスプログラムに基づいて制御するプログラマブルロジックコントローラ（以下、 PLC という）に接続され、前記 PLCでの前記シーケンスプログラムの動作状態を検証する PLCの周辺装置において、前記 PLCが前記外部機器のうちの所定の信号入出力部に対応するシーケンス処理を実行することによって得られるトレース結果を前記外部機器の性能に基づ、て補正した最適化後トレース結果を生成するトレース結果最適化処理手段と、前記最適化後トレース結果と、前記外部機器に対するシーケンス処理の基になるタイムチャートとを照合して、前記最適化後トレース結果のずれを検出するトレース結果照合処理手段と、を備えることを特徴とする。

発明の効果

[0007] この発明によれば、タイムチャートから作成したシーケンスプログラムの検証を行う場合に、トレース処理を実行し、検証対象の機器の性能誤差を考慮した最適化後トレース結果とタイムチャートとを比較するようにしたので、ユーザ力 SPLCで得られたトレース結果をデバッグすることなぐシーケンスプログラムを効率的にかつ正確に検証するができるという効果を有する。また、シーケンスプログラムの実行対象となる外部機器の性能によるタイミングのずれは比較対象にならないようにしたので、本来のシーケンスプログラムの問題のみ検出することができるという効果を有する。

図面の簡単な説明

[図 1]図 1は、この発明による PLC周辺装置の実施の形態 1の構造を PLCとともに模式的に示すブロック図である。

[図 2]図 2は、 PLC周辺装置における機器性能情報のデータ構造図である。

[図 3]図 3は、 PLC周辺装置におけるタイムチャートとトレース結果のデータ構造図である。

[図 4]図 4は、 PLCと PLC周辺装置におけるシーケンスプログラム自動検証処理の手順の一例を示すフローチャートである。

[図 5]図 5は、トレース結果の最適化処理の手順の一例を示すフローチャートである。

[図 6]図 6は、 PLC, PLC周辺装置および外部機器の構成の一例を模式的に示す図である。

[図 7]図 7は、図 6の構成図で実行させるシーケンスプログラムの一例を示す図である

[図 8]図 8は、この実施の形態 1によるトレース結果の最適化処理の一例を示す図である。

[図 9]図 9は、この実施の形態 1による最適化後トレース結果の照合処理の一例を示す図である。

[図 10]図 10は、この発明による PLC周辺装置の実施の形態 2の構造を PLCとともに模式的に示すブロック図である。

[図 11]図 11は、 PLC周辺装置における時間経過によるタイミングずれの検出処理の一例を示すフローチャートである。

[図 12]図 12は、 PLC周辺装置における時間経過によるタイミングのずれを検出する照合処理の一例を示す図である。

[図 13]図 13は、この発明による PLC周辺装置の実施の形態 3の構造を PLCとともに模式的に示すブロック図である。

[図 14]図 14は、 PLC周辺装置におけるシーケンスプログラムのタイミング自動修正処理の手順の一例を示すフローチャートである。

[図 15]図 15は、 PLC周辺装置におけるシーケンスプログラムのタイミング自動修正の具体例を示す図である。

[図 16]図 16は、この発明による PLC周辺装置の実施の形態 4の構造を PLCとともに模式的に示すブロック図である。

[図 17]図 17は、 PLC周辺装置のシーケンスプログラムの位置提示処理の手順の一例を示すフローチャートである。

[図 18]図 18は、この発明による PLC周辺装置の実施の形態 5の構造を PLCとともに模式的に示すブロック図である。

[図 19]図 19は、 PLC周辺装置のシーケンスプログラムのタイミング修正必要箇所表示処理の手順の一例を示すフローチャートである。

[図 20]図 20は、 PLC周辺装置におけるシーケンスプログラムのタイミング修正必要箇所表示処理の一例を示す図である。

符号の説明

1 プログラマブルロジックコントローラ（PLC)

2 PLC周辺装置

3 表示装置

4 入力装置

11, 24 データメモリ

12 トレース処理部

13 周辺装置 IZF部

21 PLC I/F部

22 表示処理部

23 入力処理部

25 トレース対象デバイス取得処理部

26 トレース結果最適化処理部

27 トレース結果照合処理部

28 修正対象タイミング検出処理部 29 タイミング修正処理部

30 修正対象シーケンスプログラム検出処理部

221 シーケンスプログラムハイライト表示機能

発明を実施するための最良の形態

[0010] 以下に添付図面を参照して、この発明に力かるプログラマブルロジックコントローラ（以下、 PLCという）の周辺装置（以下、 PLC周辺装置という）およびプログラムの自動検証方法の好適な実施の形態を詳細に説明する。なお、これらの実施の形態によりこの発明が限定されるものではない。

[0011] 実施の形態 1.

図 1は、この発明に力かる PLC周辺装置の実施の形態 1の構造を PLCとともに模式的に示すブロック図である。制御対象である機器などを制御する PLC1本体に、 PLC 周辺装置 2が接続され、この PLC周辺装置 2には、 CRT (Cathode Ray Tube)や L CD (Liquid Crystal Display)などの表示装置 3と、キーボードなどの入力装置 4と、が接続された構成を有する。

[0012] PLC1は、シーケンスプログラムやデバイス値などを格納するデータメモリ 11と、サンプリングトレースを実行するトレース処理部 12と、 PLC周辺装置 2本体とのインタフエースとなる周辺装置 IZF部 13と、を備える。データメモリ 11には、シーケンスプログラムなどのプログラム 1 laと、シーケンスプログラムの命令を順次実行した結果となるデバイス値 l ibと、トレースの対象となるデバイスを指定するトレース対象デバイス 11 cと、トレース対象デバイスのトレース結果 l idと、を含む情報が格納される。

[0013] PLC周辺装置 2は、 PLC1本体とのインタフェースとなる PLCインタフェース部（以下、 PLC IZF部という） 21と、表示装置 3に情報を表示するための表示処理部 22と、入力装置 4からの入力を処理する入力処理部 23と、トレース処理を行うプログラムなどを格納するデータメモリ 24と、データメモリ 24に格納されるタイムチャート 24bからトレース対象デバイス 24cを取得するトレース対象デバイス取得処理部 25と、トレース結果 24dをその機器の性能を考慮して最適化するトレース結果最適化処理部 26と、データメモリに格納されるタイムチャート 24bと最適化後トレース結果 24fとを照合するトレース結果照合処理部 27と、を備える。 [0014] データメモリ 24には、トレース結果を最適化してタイムチャートと照合する処理などを行うプログラム 24aと、 PLC1の制御対象である機器に実行させるタイムチャート 24 bと、トレースの対象となるデバイスを指定するトレース対象デバイス 24cと、 PLC1によるトレースの結果であるトレース結果 24dと、 PLC 1に接続される機器の性能にっヽての情報である機器性能情報 24eと、トレース結果最適化処理部 26によって作成された最適化後トレース結果 24fと、トレース結果照合処理部 27によって処理された照合結果 24gと、を含む情報が格納される。

[0015] 図 2は、 PLC周辺装置における機器性能情報のデータ構造図である。機器性能情報 24eは、 PLC1に接続される制御対象となる機器に関する性能情報であり、具体的には機器の性能によるタイミングのずれを含むその機器のトレース結果を補正するための情報である。この機器性能情報 24eは、複数の機器の性能情報 241の集合体からなり、複数の機器の性能情報 241は、各機器の信号入力部と信号出力部を組み合わせた信号入出力部組み合わせ性能情報 2410の集合体である。各信号入出力組み合わせ性能情報 2410は、信号入力部の名称 2411、信号出力部の名称 2412、その機器の信号入力部 2411からの信号が出力信号部 2412から出力されるまでの時間である基準応答時間 2413、基準応答時間 2413に対して許容される誤差率である許容誤差率 2414を含む。これらの情報は、 PLC周辺装置 2に予め設定されている情報である。ただし、許容誤差率 2414は、ユーザによって任意の値に変更可能であるものとする。

[0016] 図 3は、 PLC周辺装置におけるタイムチャートとトレース結果のデータ構造図である。なお、タイムチャートとトレース結果は、共通のデータ構造を有している。この図に示されるように、タイムチャートまたはトレース結果は、経過時間ごとの ONZOFF状態をデバイスごとに格納している。たとえば、 ON状態は「1」で表し、 OFF状態は「0」で表す。なお、デバイス名は、プログラム名やステップ番号の組み合わせで特定される

[0017] トレース対象デバイス取得処理部 25は、ユーザによって入力装置 4からシーケンスプログラムの自動検証指示を受けると、データメモリ 24に格納されているタイムチヤ一ト 24bからトレースを実行するデバイスを取得する。また、トレース対象デバイス取得処理部 25は、取得したデバイスを、トレース対象デバイス 24cとしてデータメモリ 24に格納する。具体的には、データメモリ 24内のタイムチャート 24bに登録されているデバイスをトレース対象デバイス 24cとして選択し、取得する。

[0018] トレース結果最適化処理部 26は、データメモリ 24中のトレース結果 24dに対して、トレースを行った機器の性能を考慮して最適化する。具体的には、データメモリ 24内のトレース結果 24d中の機器の信号出力部から出力されるトレース結果データに関係するトレース結果データについて、図 2に示される機器性能情報 24eの基準応答時間 2413を差し引く処理を行う。このトレース結果最適化処理部 26によって最適化されたトレース結果を、最適化後トレース結果という。トレース結果最適化処理部 26 は、最適化後トレース結果 24fをデータメモリ 24中に格納する。

[0019] トレース結果照合処理部 27は、データメモリ 24に格納されるトレース対象デバイス 2 4cについてのタイムチャート 24bと、そのタイムチャート 24bに対応する機器のデバイスの最適化後トレース結果 24fとを照合し、その照合結果 24gをデータメモリ 24に格納する。ここでは、最適化後トレース結果 24fが、対応するタイムチャート 24bと比較して図 2に示される機器性能情報 24eの許容誤差率 2414内に収まって、るか否かが照合される。

[0020] 図 4は、図 1に示した PLCと PLC周辺装置におけるシーケンスプログラム自動検証処理の手順の一例を示すフローチャートである。まず、 PLC周辺装置 2はユーザ (ォペレータ）からのシーケンスプログラムの自動検証指示の有無を判別する (ステップ S 101)。ユーザからのシーケンスプログラムの自動検証指示がない場合 (ステップ S 10 1で Noの場合）には、 PLC周辺装置 2におけるシーケンスプログラムの自動検証処理が終了する。一方、ユーザからのシーケンスプログラムの自動検証指示があった場合 (ステップ S101で Yesの場合）には、トレース対象デバイス取得処理部 25は、データメモリ 24内のタイムチャート 24bからトレース対象デバイス 24cを取得する（ステップ S102)。具体的には、データメモリ 24に格納されているタイムチャート 24bに登録されているデバイスをトレース対象デバイス 24cとして取得し、データメモリ 24に設定する。ついで、トレース対象デバイス取得処理部 25は、取得したトレース対象デバイス 2 4cを、 PLC IZF部 21を介して PLC1へ送信する（ステップ S103)。 [0021] PLC1は PLC周辺装置 2からトレース対象デバイスを受信すると (ステップ S104)、受信したトレース対象デバイス 11cをデータメモリ 11へ格納する (ステップ S 105)。その後、受信したトレース対象デバイス 1 lcをデータメモリ 11へ格納したことを示す格納完了信号を PLC周辺装置 2へ、周辺装置 IZF部 13を介して送信する (ステップ S 106)。

[0022] PLC周辺装置 2は、 PLC1から格納完了信号を受信すると (ステップ S 107)、トレース開始指示を、 PLC IZF部 21を介して PLC1へ送信する（ステップ S108)。 PLC1 は、 PLC周辺装置 2からトレース開始指示を受信すると (ステップ S 109)、そのトレース処理部 12にてトレース処理を実行する（ステップ S110)。トレース処理部 12は、シ一ケンスプログラムの実行処理中のデータをトレース結果 l idとしてデータメモリ 11 に格納する。トレース処理部 12によるトレース処理が実行された後、 PLC1はトレース結果 l idを、周辺装置 IZF部 13を介して PLC周辺装置 2へ送信する（ステップ S11

D o

[0023] PLC周辺装置 2は、 PLC1からトレース結果を受信すると (ステップ S112)、その受信したトレース結果 24dをデータメモリ 24に格納する。トレース結果 24dには外部機器の性能誤差が含まれているため、トレース結果最適化処理部 26は、トレース結果 2 4dから外部機器の性能誤差を取り除く最適化処理を実施する (ステップ S 113)。

[0024] 図 5は、トレース結果の最適化処理の手順の一例を示すフローチャートである。まず、トレース結果最適化処理部 26は、自動検証を行う対象機器についての機器性能情報 24eをデータメモリ 24から取得し (ステップ S131)、さらに取得した対象機器の機器性能情報 24eから、自動検証を行った信号入力部と信号出力部の組み合わせに対応する信号入出力部組み合わせ性能情報 2410を取得する (ステップ S132)。ついで、データメモリ 24に格納されたトレース結果 24dのうち、対象機器の出力に関係するトレース結果データについて、信号入出力部組み合わせ性能情報 2410中の基準応答時間 2413を引いて最適化後トレース結果を生成する (ステップ S133)。そして、生成した最適化後トレース結果 24fをデータメモリ 24に格納して (ステップ S 13 4)、トレース結果の最適化処理が終了し、図 4のフローチャートに処理が戻る。

[0025] 図 4に戻り、トレース結果照合処理部 27は、データメモリ 24に格納される最適化後トレース結果 24fとタイムチャート 24bとを抽出し、両者の照合処理を実施して (ステツプ S114)、その照合結果 24gをデータメモリ 24に格納する。そして、表示処理部 22 は、データメモリ 24から照合結果 24gを抽出し、 PLC周辺装置 2に接続された表示装置 3に照合結果 24gを表示して (ステップ S 115)、シーケンスプログラムの自動検証処理が終了する。

[0026] ここで、シーケンスプログラムの自動検証処理の具体例にっ、て説明する。図 6は、 PLC, PLC周辺装置および外部機器の構成の一例を模式的に示す図であり、図 7 は、図 6の構成図で実行させるシーケンスプログラムの一例であり、図 8は、この実施の形態 1によるトレース結果の最適化処理の一例を示す図であり、図 9は、この実施の形態 1による最適化後トレース結果の照合処理の一例を示す図である。

[0027] 図 8のトレース結果最適化前 810は、 PLC1のトレース処理部 12でとられたデバイスのトレース結果を示している。この図に示されるように、図 7のラダー図におけるデバイス Aとデバイス Bの信号の立ち上がりに比べ、デバイス Cとデバイス Dの信号の立ち上がりのタイミングが時間 A tだけ遅れている。これは、外部機器の性能に起因するずれである。

[0028] このようなトレース結果に対して、 PLC周辺装置 2のトレース結果最適化処理部 26 は、機器性能情報中の機器 Aの信号入力と信号出力の組み合わせに対応する性能情報中の基準応答時間を用いて最適化処理を実行する。具体的には、外部機器の出力部からの信号であるデバイス Cと、このデバイス Cを接点とするデバイス Dにつヽて、トレース結果力も取得した基準応答時間（A t)を差し引いて、最適化後トレース結果を作成する。その結果が、図 8のトレース結果最適化後 820に示されている。

[0029] また、図 9の下側に示される最適化後トレース結果 920には、 PLC1に接続される外部機器の性能誤差となる基準応答時間が含まれて、な、ために、正常動作して!/、れば、図 9の上側に示されるタイムチャート 910と一致する。ただし、システム構成の状態や動作環境により、タイムチャート 910と最適化後トレース結果 920がー致しない可能性もある。その場合、両者のずれが図 2の信号入出力部組み合わせ性能情報中の許容誤差率の範囲内であれば、両者が一致しているものとみなす。以上のようにして、トレース結果の最適化処理と照合処理が行われる。 [0030] この実施の形態 1によれば、タイムチャートから作成したシーケンスプログラムの検証を行う場合に、トレース処理を実行し、機器の性能による誤差時間となる基準応答時間をトレース結果力も差し引いた最適化後トレース結果を、タイムチャートと比較するようにしたので、ユーザが PLC1でデバッグすることがなぐシーケンスプログラムを効率的にかつ正確に検証することができるという効果を有する。また、ユーザが任意の許容誤差率を設定可能とすることで、システム構成や環境によって発生する可能性がある性能誤差を許容した検証を行うことができるという効果も有する。

[0031] 実施の形態 2.

この実施の形態 2では、実施の形態 1で取得した最適化後トレース結果を蓄積し、オペレータによって PLC周辺装置に設定された所定時間の経過毎に行われたトレース結果とタイムチャートの照合を行うことで、時間経過によるタイミングのずれを検出することができる PLC周辺装置について説明する。

[0032] 図 10は、この発明に力かる PLC周辺装置の実施の形態 2の構造を PLCとともに模式的に示すブロック図である。この PLC周辺装置 2は、実施の形態 1の図 1の PLC周辺装置 2において、データメモリ 24が、最適化後トレース結果 24fと照合結果 24gを蓄積して格納することができる構成を有する。たとえば、最適化後トレース結果 24^ して、 1回目、 2回目、 · · ·、のトレース結果である「トレース結果 l」24f— 1、「トレース結果 2」 24f— 2、 · · ·、が格納され、照合結果 24gとして、 1回目、 2回目、 · · ·、の照合結果である「照合結果 l」24g— 1、「照合結果 2」24g— 2、 · · ·、が格納される。また、データメモリ 24はトレース結果照合処理部 27によって検出されたタイミングずれ検出結果 24hを格納することができる構成となっている。

[0033] さらに、トレース結果照合処理部 27は、最適化後トレース結果 24fと対応する機器のタイムチャート 24bとを照合するが、このとき、最適化後トレース結果 24fを、自動検証処理を実行した回数分つなげて表示させ、各最適化後トレース結果について基準となるタイムチャート 24bを用いて照合を行う。ここで、最適化後トレース結果 24fが、タイムチャート 24bに比べて許容誤差率の範囲内に収まっている場合には、最適化後トレース結果 24fは、タイムチャート 24bに一致しているものと判定する力最適化後トレース結果 24fが、タイムチャート 24bに比べて許容誤差率の範囲を超えてしまつている場合には、そのずれをタイミングずれとして検出し、時間の経過によるタイミングずれであると判定する機能をさらに有している。そして、その検出したタイミングずれ検出結果 24hをデータメモリ 24に格納する。なお、実施の形態 1と同一の構成要素には同一の符号を付して、その説明を省略している。

[0034] つぎに、このような構成の PLC周辺装置 2における蓄積したトレース結果とタイムチヤートを比較することによって、時間経過によるタイミングのずれを検出する方法について説明する。図 11は、 PLC周辺装置における時間経過によるタイミングずれの検出処理の一例を示すフローチャートである。

[0035] まず、 PLC周辺装置 2は、ユーザ力の時間経過によるタイミングずれの検出処理の指示の有無を判定する (ステップ S201)。時間経過によるタイミングずれを検出する指示がない場合 (ステップ S 201で Noの場合）には、時間経過によるタイミングずれの検出処理を終了する。一方、時間経過によるタイミングずれを検出する指示があつた場合 (ステップ S201で Yesの場合）には、トレース対象デバイス取得処理部 25は、データメモリ 24内のタイムチャート 24bからトレース対象デバイスを取得し (ステップ S 202)、データメモリ 24内にトレース対象デバイス 24cを設定する。その後、トレース対象デバイス取得処理部 25は、取得したトレース対象デバイスを、 PLC IZF部 21を介して PLC1へ送信する（ステップ S203)。

[0036] ついで、実施の形態 1のステップ S104〜S106と同様に、 PLC1は PLC周辺装置 2からトレース対象デバイスを受信し、データメモリ 11へ格納した後、受信したトレース対象デバイス 1 lcをデータメモリ 11へ格納したことを示す格納完了信号を PLC周辺装置 2に対して送信する（ステップ S204〜S206)。

[0037] ついで、 PLC周辺装置 2は、 PLC1から格納完了信号を受信すると (ステップ S 207 )、所定時間毎にトレース処理を実行するトレース実行処理が開始される (ステップ S2 08〜S218)。つまり、 PLC周辺装置 2は、トレース開始指示を PLC1へ送信し (ステップ S209)、 PLC1は、 PLC周辺装置 2からトレース開始指示を受信すると (ステップ S210)、トレース処理部 12にてトレース処理を実行し (ステップ S211)、そのトレース結果 l idをデータメモリ 11に格納する。その後、 PLC1は、トレース処理を実行した後、トレース結果を PLC周辺装置 2へ送信する (ステップ S212)。 [0038] PLC周辺装置 2は、 PLC1からトレース結果を受信すると (ステップ S213)、データメモリ 24内に格納する。このトレース結果 24dには、トレースを実行した外部機器の性能誤差が含まれているため、トレース結果最適化処理部 26によるトレース結果の最適化処理が実行される (ステップ S214)。このトレース結果の最適化処理は、実施の形態 1の図 5で説明した処理であり、データメモリ 24中のトレース結果 24dから、トレースしている対象の機器についての機器性能情報 24e内の基準応答時間を差し引くこと〖こよって行われる。

[0039] ついで、トレース結果照合処理部 27は、最適化後トレース結果 24fをデータメモリ 2 4に格納された対応する機器のタイムチャート 24bと比較する照合処理を実施する（ステップ S215)。図 12は、 PLC周辺装置における時間経過によるタイミングのずれを検出する照合処理の一例を示す図である。この図 12には、基準となるタイムチヤ一ト 1210と最適化後トレース結果 1220とが示されて、る。この図 12の下側の最適化後トレース結果 1220のトレース 1, 2に示されるように、網掛けがしている範囲が機器の性能範囲 (許容誤差率を考慮した範囲） 1201であり、この機器の性能範囲 1201 内に最適化後トレース結果が納まっている場合には、トレース結果照合処理部 27は、最適化後トレース結果はタイムチャートとよく一致しているものと判定する。一方、図 12の下側の最適化後トレース結果 1220のトレース 3に示されるように、トレース結果力機器の性能範囲 1201を超えてしまっている場合には、トレース結果照合処理部 27は、その機器の性能範囲を超えた範囲 1202、すなわち最適化後トレース結果とタイムチャートとの差を、時間経過によるタイミングずれとして検出する。

[0040] ついで、最適化後トレース結果 24f、照合結果 24gおよびタイミングずれがある場合にはタイミングずれ検出結果 24hをデータメモリ 24に蓄積した後 (ステップ S 216)、表示処理部 22は、時間経過によるタイミングのずれの原因となる箇所を抽出し、 PL C周辺装置 2に接続される表示装置 3に表示して (ステップ S217)、時間経過によるタイミングずれの検出処理が終了する。なお、ステップ S217での時間経過によるタイミングずれを検出した場合における、その原因となる箇所をユーザに示す方法については、実施の形態 4で説明する。また、ステップ S209〜S218は、所定の時間ごとに繰り返し実行される。 [0041] この実施の形態 2によれば、最適化後トレース結果を蓄積して格納するようにしたので、時間の経過によるタイムチャートからのずれを検出することができるという効果を有する。

[0042] 実施の形態 3.

この実施の形態 3では、実施の形態 1でタイムチャートと最適化後トレース結果とを照合した結果、タイミングずれを検出した場合に、シーケンスプログラムに含まれるタイマの設定値などを修正し、そのタイミングずれを自動修正することができる PLC周辺装置について説明する。

[0043] 図 13は、この発明に力かる PLC周辺装置の実施の形態 3の構造を PLCとともに模式的に示すブロック図である。この PLC周辺装置 2は、実施の形態 1の図 1の PLC周辺装置 2において、照合結果 24gに基づいてシーケンスプログラム中の修正が必要なタイミングを検出する修正対象タイミング検出処理部 28と、修正対象タイミング検出処理部 28で検出された修正対象タイミング一覧 24iを基にシーケンスプログラムを修正するタイミング修正処理部 29と、をさらに備える構成を有する。また、データメモリ 2 4は、修正対象のタイミングの一覧である修正対象タイミング一覧 24iをさらに格納する。

[0044] 修正対象タイミング検出処理部 28は、照合結果 24gに基づいて修正が必要なタイミングを検出し、シーケンスプログラム内から検出したタイミングよりも前でタイマを使用している箇所を抽出し、現在のタイマの設定値に対してタイムチャート 24bと最適化後トレース結果 24fとの間に差異が生じない値を算出し、その値を用いて新しいタイマ設定値を算出する。検出した修正が必要なシーケンスプログラム上のタイミングと新たなタイマ設定値を含む修正タイミングは、修正対象タイミング一覧 24iの一つの情報としてデータメモリ 24に格納される。

[0045] タイミング修正処理部 29は、修正対象タイミング検出処理部 28によって作成された修正対象タイミング一覧 24iに基づ、て、修正が必要なシーケンスプログラム上のタイミングよりも前に存在するタイマの設定値を新たなタイマ設定値に修正する。

[0046] 図 14は、 PLC周辺装置におけるシーケンスプログラムのタイミング自動修正処理の手順の一例を示すフローチャートである。まず、 PLC周辺装置 2は、ユーザからのシ一ケンスプログラムの自動修正指示の有無を判別する (ステップ S301)。シーケンスプログラムの自動修正指示がない場合 (ステップ S301で Noの場合）には、 PLC周辺装置 2におけるシーケンスプログラムの自動修正処理が終了する。一方、シーケンスプログラムの自動修正指示があった場合 (ステップ S301で Yesの場合）には、最適化後トレース結果 24fがタイムチャート 24bとずれている箇所をシーケンスプログラムから検出する処理を実行する（ステップ S302〜S308)。

[0047] 修正対象タイミング検出処理部 28は、データメモリ 24内のタイムチャート 24bと最適化後トレース結果 24fの照合結果 24gとを用いて不一致箇所を取得し (ステップ S30 3)、データメモリ 24に格納されるプログラム 24a中のシーケンスプログラムから、不一致箇所に該当するステップを検索する (ステップ S304)。たとえば、不一致箇所を有するトレース結果データに対応するデバイスを基に、シーケンスプログラム内の該当するステップを検索する。その後、検索したステップの前にタイマ処理があるかを判別する（ステップ S305)。その結果、タイマ処理がある場合 (ステップ S305で Yesの場合）には、修正対象タイミング検出処理部 28は、現在のタイマの設定値に対してタイムチャート 24bと最適化後トレース結果 24fとの間に差異が生じない値を算出し、その値を用いて新しいタイマ設定値を算出する (ステップ S306)。そして、修正対象タイミング検出処理部 28は、ステップ S304で検索したステップとステップ S306で算出した新タイマ設定値とを含む修正対象タイミングデータをデータメモリ 24内の修正対象タイミング一覧 24iに格納する（ステップ S307)。一方、ステップ S 305で該当するステツプの前にタイマ処理がない場合 (ステップ S305で Noの場合）には、そのステップについての処理はここでは何も行われない。以上のステップ S302からの処理力タイムチャートと最適化後トレース結果との間の不一致箇所がなくなるまで実行される (ステツプ S302〜S308)。

[0048] っ、で、タイミング修正処理部 29は、修正対象タイミングデータが修正対象タイミング一覧 24i中からなくなるまで、タイミング修正処理を実行する（ステップ S309〜S31 2)。つまり、タイミング修正処理部 29は、データメモリ 24内の修正対象タイミング一覧 24iから修正対象タイミングデータ (修正が必要なステップと新タイマ設定値)を取得し (ステップ S310)、データメモリ 24のプログラム 24a中のシーケンスプログラムに対して、修正対象のステップよりも前に存在するタイマ処理のタイマ設定値を、取得した新、タイマ設定値に変更するプログラムの修正処理を実行する (ステップ S311)。以上のステップ S309からの処理力タイミング修正処理として修正対象タイミング一覧 24iから修正して、な、修正対象タイミングデータがなくなるまで実行される (ステツプ S309〜S312)。そして、シーケンスプログラムのタイミング自動修正処理が終了する。

[0049] 図 15は、 PLC周辺装置におけるシーケンスプログラムのタイミング自動修正の具体例を示す図である。この図には、タイムチャート 1510と、タイミング修正前の最適化後トレース結果 1520とシーケンスプログラム 1530、タイミング修正後の最適化後トレース結果 1540とシーケンスプログラム 1550とが示されている。この図では、修正後最適化後トレース結果 1540のデバイス D力基準となるタイムチャート 1510に対して許容誤差率を超えた結果を有してしまって、る場合を示して、る。修正対象タイミング検出処理部 28は、データメモリから修正前シーケンスプログラム 1530を取得し、この修正前シーケンスプログラム 1530の「デバイス D」 1531よりも前にタイマ処理があるかを判断する。この修正前シーケンスプログラム 1530の「デバイス D」 1531の前に待機タイマ 1532というタイマ処理が存在する。またタイムチャート 1510と最適化後トレース結果 1520との間で差異が生じない時間 A tは、修正前最適化後トレース結果 1 520とタイムチャート 1510から 1秒であるとすると、修正対象タイミング検出処理部 28 は、待機タイマ 1532の設定値を「K20」から「K10」に修正した新たなタイマ設定値を設定する。このとき、ステップを特定するために、たとえばシーケンスプログラムの左側の母線に書かれている番号「80」などが用いられる。その後、タイミング修正処理部 29によって、修正後最適化後トレース結果 1540と修正後シーケンスプログラム 15 50に示されるように、それぞれ修正対象タイミングに基づいて修正される。

[0050] この実施の形態 3によれば、基準となるタイムチャートに比べてタイミングのずれている最適化後トレース結果のシーケンスプログラム中の場所を特定し、その特定された位置の前に設定されているタイマのタイマ設定値をそのずれの量力修正するようにしたので、自動的にタイムチャートに合致したトレース結果を有するシーケンスプログラムを得ることができるという効果を有する。 [0051] 実施の形態 4.

この実施の形態 4では、実施の形態 2で、時間経過によるタイミングのずれを検出した場合に、原因となる箇所をユーザに示すことができる PLC周辺装置について説明する。

[0052] 図 16は、この発明に力かる PLC周辺装置の実施の形態 4の構造を PLCとともに模式的に示すブロック図である。この PLC周辺装置 2は、実施の形態 2の図 10の PLC 周辺装置 2において、タイミングずれ検出結果 24hを基に、シーケンスプログラム内で修正が必要な箇所を検出する修正対象シーケンスプログラム検出処理部 30をさらに備え、表示処理部 22は、表示装置 3に表示されるシーケンスプログラム中の修正対象の位置をハイライト表示するシーケンスプログラムハイライト表示処理機能 221をさらに備え、データメモリ 24は、修正対象シーケンスプログラム検出処理部 30によって検出されたタイミングがずれる原因となるシーケンスプログラム中の修正対象である修正対象シーケンスプログラム一覧 24jを有する構成となっている。なお、実施の形態 1 , 2と同一の構成要素には同一の符号を付して、その説明を省略している。

[0053] 図 17は、 PLC周辺装置の時間経過によるタイミングずれの原因となるシーケンスプログラムの位置提示処理の手順の一例を示すフローチャートである。まず、 PLC周辺装置 2は、時間経過によるタイミングずれが検出されているか否かを確認する (ステツプ S401)。時間経過によるタイミングずれの検出は、トレース結果照合処理部 27によつて行われ、その結果力タイミングずれ検出結果 24hとしてデータメモリ 24に記憶される。それ故、タイミングずれの検出の有無は、データメモリ 24におけるタイミングずれ検出結果 24hの有無で判断することができる。なお、トレース結果照合処理部 27 によるタイミングずれ検出処理は、実施の形態 2で説明したのでその説明を省略する。時間経過によるタイミングずれが検出されて、な、場合 (ステップ S401で Noの場合）には、タイミングずれ位置提示処理を終了する。一方、時間経過によるタイミングずれが検出されていた場合 (ステップ S401で Yesの場合）には、タイミングずれの原因となるシーケンスプログラム上の位置の検出処理を行う（ステップ S402〜S407)。

[0054] 修正対象シーケンスプログラム検出処理部 30は、まず、タイミングずれ検出結果 24 hから原因のデバイスを取得し (ステップ S403)、取得したデバイスによりデータメモリ 24のプログラム（シーケンスプログラム） 24a中の該当するステップを検索する（ステツプ S404)。たとえば、タイミングずれが検出されたトレース結果データに対応するデバイスを基に、シーケンスプログラム内の該当するステップを検索する。検索の結果、デバイスに該当するステップが見つ力つた場合 (ステップ S405で Yesの場合）には、シーケンスプログラム中の該当箇所を修正対象シーケンスプログラムとして修正対象シーケンスプログラム一覧 24jへ格納する（ステップ S406)。また、ステップ S405でデバイスに該当するステップが見つからなかった場合 (ステップ S405で Noの場合）には、そのステップについての処理はここでは何も行われない。以上のステップ S402 力の処理力シーケンスプログラムの最後まで実行される（ステップ S402〜S407)

[0055] ついで、表示処理部 22のシーケンスプログラムハイライト表示処理機能 221は、修正対象シーケンスが修正対象シーケンスプログラム一覧 24j中からなくなるまで、ハイライト表示処理を実行する（ステップ S408〜S411)。つまり、表示処理部 22のシーケンスプログラムハイライト表示処理機能 221は、修正対象シーケンスプログラム一覧 24j力も修正が必要なプログラム上の位置を取得して (ステップ S409)、その該当デバイスを表示装置 3にハイライト表示する (ステップ S410)。そして、ノ、イライト表示を該当する修正対象シーケンスプログラムがなくなるまで実施した後 (ステップ S409〜 S411)、タイミングずれ位置提示処理が終了する。

[0056] この実施の形態 4によれば、時間経過によるタイミングずれの原因となるシーケンスプログラム上の位置をユーザに表示するようにしたので、シーケンスプログラム中のその時間ずれの原因を特定することができるという効果を有する。

[0057] 実施の形態 5.

この実施の形態 5では、実施の形態 3にお、てシーケンスプログラムを修正する必要がある場合に、原因となるデバイスが使用されている箇所を検索し、関連するシーケンスプログラム部分をユーザに示すことができる PLC周辺装置について説明する。

[0058] 図 18は、この発明に力かる PLC周辺装置の実施の形態 5の構造を PLCとともに模式的に示すブロック図である。この PLC周辺装置 2は、実施の形態 3の図 13の PLC 周辺装置 2において、照合結果 24gを基に修正が必要なタイミングを検出し、修正が必要なシーケンスプログラムを検出する修正対象シーケンスプログラム検出処理部 3 0をさらに備え、表示処理部 22は、表示装置 3に表示されるシーケンスプログラム中の修正が必要なシーケンスプログラムをハイライト表示するシーケンスプログラムハイライト表示処理機能 221をさらに備え、データメモリは、修正が必要なシーケンスプログラムを含む修正対象シーケンスプログラム一覧を有する。なお、実施の形態 1, 3と同一の構成要素には同一の符号を付して、その説明を省略している。また、修正対象シーケンスプログラム検出処理部 30と表示処理部 22のシーケンスプログラムハイライト表示処理機能 221の機能は、実施の形態 4で説明したものと同一であるので、その説明を省略する。

[0059] 図 19は、 PLC周辺装置のシーケンスプログラムのタイミング自動修正時におけるタイミング修正必要箇所表示処理の手順の一例を示すフローチャートである。まず、 P LC周辺装置 2は、シーケンスプログラムのタイミングの自動修正指示の有無を判別する (ステップ S501)。シーケンスプログラムのタイミングの自動修正指示がな、場合 (ステップ S501で Noの場合）には、 PLC周辺装置 2におけるシーケンスプログラムのタイミング修正必要箇所表示処理が終了する。一方、シーケンスプログラムのタイミングの自動修正指示があった場合 (ステップ S501で Yesの場合）には、最適化後トレース結果がタイムチャートとずれている箇所をシーケンスプログラム力検出する処理を実行する（ステップ S502〜S511)。

[0060] 修正対象タイミング検出処理部 28は、データメモリ 24内のタイムチャート 24bと最適化後トレース結果 24fの照合結果 24gとを用いて不一致箇所を取得し (ステップ S50 3)、データメモリ 24に格納されるプログラム 24a中のシーケンスプログラムから、不一致箇所に該当するステップを検索する (ステップ S504)。たとえば、不一致箇所を有するトレース結果データに対応するデバイスを基に、シーケンスプログラム内の該当するステップを検索する。その後、検索したステップの前にタイマ処理があるかを判別する（ステップ S505)。その結果、タイマ処理がある場合 (ステップ S505で Yesの場合）には、修正対象タイミング検出処理部 28は、現在のタイマの設定値に対してタイムチャート 24bと最適化後トレース結果 24fとの間に差異が生じない値を算出し、その値を用いて新しいタイマ設定値を算出する (ステップ S506)。そして、修正対象タイミング検出処理部 28は、ステップ S504で検索したステップとステップ S506で算出した新タイマ設定値とを含む修正対象タイミングデータをデータメモリ 24内の修正対象タイミング一覧 24iに格納する（ステップ S507)。

[0061] 一方、ステップ S505で該当するステップの前にタイマ処理がない場合 (ステップ S5 05で Noの場合）には、修正対象シーケンスプログラム検出処理部 30は、シーケンスプログラムにおける該当するステップの接点に対応するコイルを検索する (ステップ S 508)。その結果、修正対象シーケンスプログラム検出処理部 30が該当するコイルを見つけた場合 (ステップ S508で Yesの場合）には、修正対象シーケンスプログラム検出処理部 30は、そのコイルを含むシーケンスプログラムの開始ステップと終了ステツプを修正対象シーケンスプログラムとして、修正対象シーケンスプログラム一覧 24jへ格納する (ステップ S510)。また、修正対象シーケンスプログラム検出処理部 30が該当するコイルを見つけることができなかった場合 (ステップ S508で Noの場合）には、そのステップについての処理はここでは何も行われない。以上のステップ S502からの処理が、タイムチャートと最適化後トレース結果との間の不一致箇所がなくなるまで実行される（ステップ S502〜S511)。

[0062] っ、で、タイミング修正処理部 29は、修正対象タイミングデータが修正対象タイミング一覧 24i中からなくなるまで、タイミング修正処理を実行する（ステップ S512〜S51 5)。つまり、タイミング修正処理部 29は、データメモリ 24内の修正対象タイミング一覧 24iから修正対象タイミングデータ (修正が必要なステップと新タイマ設定値)を取得し (ステップ S513)、データメモリ 24内のシーケンスプログラムに対して、修正対象のステップよりも前に存在するタイマ処理のタイマ設定値を、取得した新タイマ設定値に変更するプログラムの修正処理を実行する（ステップ S514)。以上のステップ S512 力もの処理力タイミング修正処理として修正対象タイミング一覧 24 も修正してヽな！、修正対象タイミングデータがなくなるまで実行される（ステップ S512〜S 515)。

[0063] その後、表示処理部 22のシーケンスプログラムノ、イライト表示処理機能 221は、修正対象シーケンスプログラムが修正対象シーケンスプログラム一覧 24j中力もなくなるまで、ハイライト表示処理を実行する (ステップ S516〜S519)。つまり、表示処理部 2 2のシーケンスプログラムハイライト表示処理機能 221は、修正対象シーケンスプログラム一覧 24j力も修正対象シーケンスプログラムの開始ステップと終了ステップを取得し (ステップ S517)、修正対象シーケンスプログラムをノヽイライト表示する（ステップ S5 18)。そして、ハイライト表示を該当する修正対象シーケンスプログラムがなくなるまで実施する（ステップ S516〜S519)。これにより、ステップ S512〜S515で、タイミングの自動修正がなされなかったシーケンスプログラム中の位置をユーザに対して表示する。以上により、 PLC周辺装置 2におけるシーケンスプログラムのタイミング修正必要箇所表示処理が終了する。

[0064] 図 20は、 PLC周辺装置におけるシーケンスプログラムのタイミング修正必要箇所表示処理の一例を示す図である。この図に示されるように、タイミング修正前の最適化後トレース結果 2020を、基準となるタイムチャート 2010と比較して照合を行い、両者がー致しないシーケンスプログラム 2030上の該当する位置を検出する。そして、該当するステップの前にコイル処理がなヽ場合には、修正対象ステップの接点に対応するコイルを検索する。図 20に示される場合には、その修正前最適化後トレース結果 2020を見ると、デバイス Cのトレース結果データがタイムチャートと不一致である。そこで、修正前シーケンスプログラム 2030を見ると、修正対象ステップである「デバイスじ」 2031の前にはタイマがないので、「デバイス C」 2031を有するステップの接点である「デバイス B」 2032と「始動スィッチ」 2033を抽出する。その後、これらの「デバイス B」 2032と「始動スィッチ」 2033をコイルとするシーケンスプログラム 2030中のステツプである「ステップ 78」と「ステップ 80」を修正対象シーケンスプログラムとして、修正対象シーケンスプログラム一覧に格納する。そして、表示処理部 22のシーケンスプログラムノ、イライト表示処理機能 221は、この修正対象シーケンスプログラム一覧に格納されるステップをノヽイライト表示させる処理を行う。図 20の場合には、シーケンスプログラム 2040に示されるように、コイルとして「デバイス B」と「始動スィッチ」を含む「ステップ 78」と「ステップ 80」がハイライト表示される。

[0065] この実施の形態 5によれば、 PLC周辺装置のシーケンスプログラムのタイミング自動修正時にぉ、て、自動的にタイミングが修正されな力つた修正が必要なシーケンスプログラムの位置が明示されるので、タイムチャートとトレース結果にずれが生じた際の原因追求が容易となり、効率的にデバッグ作業が実施できるという効果を有する。産業上の利用可能性

以上のように、この発明に力かる PLCの周辺装置およびプログラムの自動検証方法は、シーケンスプログラムのデバッグを行う際において用いられるのに適している。

Claims

請求の範囲

[1] 外部機器をシーケンスプログラムに基づ、て制御するプログラマブルロジックコントローラ（以下、 PLCという）に接続され、前記 PLCでの前記シーケンスプログラムの動作状態を検証する PLCの周辺装置において、

前記 PLCが前記外部機器のうちの所定の信号入出力部に対応するシーケンス処理を実行することによって得られるトレース結果を前記外部機器の性能に基づいて補正した最適化後トレース結果を生成するトレース結果最適化処理手段と、前記最適化後トレース結果と、前記外部機器に対するシーケンス処理の基になるタィムチャートとを照合して、前記最適化後トレース結果のずれを検出するトレース結果照合処理手段と、

を備えることを特徴とする PLCの周辺装置。

[2] 前記 PLCが前記外部機器のうちの所定の信号入出力部に対するシーケンス処理を、所定の時間間隔で実行することによって得られるトレース結果を蓄積して格納するトレース結果記憶手段をさらに備え、

前記トレース結果記憶手段に前記トレース結果が格納される毎に、

前記トレース結果最適化処理手段は、最適化後トレース結果を生成し、前記トレース結果照合処理手段は、前記最適化後トレース結果と前記タイムチヤ一トとの照合を行い、時間経過によるタイミングのずれを検出する機能を備えることを特徴とする請求項 1に記載の PLCの周辺装置。

[3] 前記トレース結果照合処理手段によって得られた照合結果から前記タイムチャートと前記最適化後トレース結果との間にタイミングのずれが検出されると、そのタイミングのずれに対応する前記シーケンスプログラム上の位置と、そのタイミングのずれの量を特定した修正対象タイミング情報を生成する修正対象タイミング検出処理手段と前記修正対象タイミング検出処理手段によって生成された前記修正対象タイミングに基づいて前記シーケンスプログラムの修正処理を行うタイミング修正処理手段と、をさらに備えることを特徴とする請求項 1に記載の PLCの周辺装置。

[4] 前記修正対象タイミング検出処理手段は、前記タイミングのずれに対応する前記シ一ケンスプログラム上の位置よりも前にタイマ処理が存在する場合に、このタイマ処理のタイマ設定値に対して前記タイミングのずれの量が解消される新たなタイマ設定値を算出し、

前記タイミング修正処理手段は、前記シーケンスプログラム上の前記タイマ処理のタイマ設定値に前記新たなタイマ設定値を設定することを特徴とする請求項 3に記載の PLCの周辺装置。

[5] 前記トレース結果照合処理手段によって得られた照合結果から前記タイムチャートと前記最適化後トレース結果との間に時間経過によるタイミングのずれが検出されると、そのタイミングのずれの原因となるデバイスを取得し、このデバイスに関係する前記シーケンスプログラム中のステップを取得する修正対象シーケンスプログラム検出処理手段と、

前記シーケンスプログラム中の前記タイミングのずれが生じる原因となる前記デバイスを強調して、当該 PLCの周辺装置に接続される表示手段に表示させる表示処理手段と、

をさらに備えることを特徴とする請求項 2に記載の PLCの周辺装置。

[6] 前記トレース結果照合処理手段によって得られた照合結果から前記タイムチャートと前記最適化後トレース結果との間にタイミングのずれが検出されると、そのタイミングのずれの原因となる前記シーケンスプログラム中のステップを取得する修正対象シ一ケンスプログラム検出処理手段と、

前記シーケンスプログラム中の前記タイミングのずれが生じる原因となるステップを強調して、当該 PLCの周辺装置に接続される表示手段に表示させる表示処理手段と、

をさらに備えることを特徴とする請求項 1に記載の PLCの周辺装置。

[7] 前記修正対象シーケンスプログラム検出処理手段は、前記タイミングのずれに対応する前記シーケンスプログラム中のステップを抽出し、このステップで接点として使用されるデバイスをコイルとするステップを、前記タイミングのずれが生じる原因となるステツプとして取得することを特徴とする請求項 6に記載の PLCの周辺装置。

[8] 外部機器をシーケンスプログラムに基づ、て制御するプログラマブルロジックコントローラ（以下、 PLCという）に接続される PLCの周辺装置で、前記 PLCでの前記シーケンスプログラムの動作状態を検証するプログラムの自動検証方法にお、て、前記 PLCが前記外部機器のうちの所定の信号入出力部に対応するシーケンス処理を実行することによって得られるトレース結果を前記外部機器の性能に基づいて補正した最適化後トレース結果を生成する工程と、

前記最適化後トレース結果と、前記外部機器に対するシーケンス処理の基になるタィムチャートとを照合して、前記最適化後トレース結果のずれを検出する工程と、を含むことを特徴とするプログラムの自動検証方法。