JP2002163020A - プログラマブルコントローラにおける異常検出方法およびその装置 - Google Patents
プログラマブルコントローラにおける異常検出方法およびその装置Info
- Publication number
- JP2002163020A JP2002163020A JP2000359254A JP2000359254A JP2002163020A JP 2002163020 A JP2002163020 A JP 2002163020A JP 2000359254 A JP2000359254 A JP 2000359254A JP 2000359254 A JP2000359254 A JP 2000359254A JP 2002163020 A JP2002163020 A JP 2002163020A
- Authority
- JP
- Japan
- Prior art keywords
- input
- sequence program
- data
- output
- programmable controller
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Testing And Monitoring For Control Systems (AREA)
- Programmable Controllers (AREA)
Abstract
(57)【要約】
【課題】プログラマブルコントローラの異常の原因を簡
単な処理で抽出する。 【解決手段】プログラム読込手段１１はシーケンスプロ
グラムＰＲ１を読み込み、入出力データ読込手段１２は
要求仕様としての入出力データＩＯ１を読み込む。入出
力動作解読手段１３では入出力データＩＯ１の時刻毎の
組合せをデータ組としたデータテーブル１４を作成す
る。次動作判定手段１５は時刻毎のデータ組をシーケン
スプログラムＰＲ１に適用したときの論理矛盾の有無を
判定し、論理矛盾があるとシーケンスプログラムＰＲ１
のうち論理矛盾を生じた入出力の組合せから遡って関連
する入出力を追跡することにより論理矛盾の原因を推論
し、推論結果を結果出力手段１６から出力する。
単な処理で抽出する。 【解決手段】プログラム読込手段１１はシーケンスプロ
グラムＰＲ１を読み込み、入出力データ読込手段１２は
要求仕様としての入出力データＩＯ１を読み込む。入出
力動作解読手段１３では入出力データＩＯ１の時刻毎の
組合せをデータ組としたデータテーブル１４を作成す
る。次動作判定手段１５は時刻毎のデータ組をシーケン
スプログラムＰＲ１に適用したときの論理矛盾の有無を
判定し、論理矛盾があるとシーケンスプログラムＰＲ１
のうち論理矛盾を生じた入出力の組合せから遡って関連
する入出力を追跡することにより論理矛盾の原因を推論
し、推論結果を結果出力手段１６から出力する。
Description
【０００１】
【発明の属する技術分野】本発明は、プログラマブルコ
ントローラにおける異常検出方法およびその装置に関す
るものであり、詳しくは、プログラマブルコントローラ
における開発中のシーケンスプログラムの誤り、シーケ
ンスプログラムの完成後における制御対象との不整合、
動作中の制御対象に生じる異常等のプログラマブルコン
トローラにおける異常を検出する技術に関するものであ
る。
ントローラにおける異常検出方法およびその装置に関す
るものであり、詳しくは、プログラマブルコントローラ
における開発中のシーケンスプログラムの誤り、シーケ
ンスプログラムの完成後における制御対象との不整合、
動作中の制御対象に生じる異常等のプログラマブルコン
トローラにおける異常を検出する技術に関するものであ
る。
【０００２】
【従来の技術】従来から、プログラマブルコントローラ
における異常の一種である制御対象の故障の際の診断を
行う技術として、特開平１０−９７３１８号公報に記載
されているように、基準パターンと異常時のパターンと
を比較することによって異常診断を行うものが提案され
ている。
における異常の一種である制御対象の故障の際の診断を
行う技術として、特開平１０−９７３１８号公報に記載
されているように、基準パターンと異常時のパターンと
を比較することによって異常診断を行うものが提案され
ている。
【０００３】
【発明が解決しようとする課題】ところで、上述した公
報に記載の技術では、基準パターンと異常時のパターン
とを比較するものであるから、２次元のパターン同士を
比較することになり、比較的複雑な処理を必要とすると
いう問題がある。
報に記載の技術では、基準パターンと異常時のパターン
とを比較するものであるから、２次元のパターン同士を
比較することになり、比較的複雑な処理を必要とすると
いう問題がある。
【０００４】本発明は上記事由に鑑みて為されたもので
あり、その目的は、プログラマブルコントローラの異常
の原因を比較的簡単な処理で抽出することができるプロ
グラマブルコントローラにおける異常検出方法およびそ
の装置を提供することにある。
あり、その目的は、プログラマブルコントローラの異常
の原因を比較的簡単な処理で抽出することができるプロ
グラマブルコントローラにおける異常検出方法およびそ
の装置を提供することにある。
【０００５】
【課題を解決するための手段】請求項１の発明は、プロ
グラマブルコントローラを動作させるシーケンスプログ
ラムおよび前記シーケンスプログラムに関連付けたプロ
グラマブルコントローラの入出力データが読込手段を通
して入力され、次動作判定手段により所定時刻における
入出力データの組合せをシーケンスプログラムに適用し
たときのシーケンスプログラムと入出力データの組合せ
との整合性から論理矛盾の有無を判定するとともに、論
理矛盾が生じているときにはシーケンスプログラムのう
ち論理矛盾を生じた入出力の組合せから遡って関連する
入出力を追跡することにより論理矛盾の原因を推論し、
推論結果を結果出力手段から出力することを特徴とす
る。
グラマブルコントローラを動作させるシーケンスプログ
ラムおよび前記シーケンスプログラムに関連付けたプロ
グラマブルコントローラの入出力データが読込手段を通
して入力され、次動作判定手段により所定時刻における
入出力データの組合せをシーケンスプログラムに適用し
たときのシーケンスプログラムと入出力データの組合せ
との整合性から論理矛盾の有無を判定するとともに、論
理矛盾が生じているときにはシーケンスプログラムのう
ち論理矛盾を生じた入出力の組合せから遡って関連する
入出力を追跡することにより論理矛盾の原因を推論し、
推論結果を結果出力手段から出力することを特徴とす
る。
【０００６】請求項２の発明は、請求項１の発明におい
て、前記入出力データを制御対象の動作タイミングの要
求仕様を表す入出力データとし、この入出力データから
入出力動作解読手段を用いて時刻毎の組合せをデータ組
として抽出することによりデータ組の時系列であるデー
タテーブルを作成し、前記次動作判定手段ではデータテ
ーブルの各データ組とシーケンスプログラムとの整合性
から論理矛盾の有無を判定することにより、シーケンス
プログラムの中での論理矛盾の原因箇所を推論すること
を特徴とする。
て、前記入出力データを制御対象の動作タイミングの要
求仕様を表す入出力データとし、この入出力データから
入出力動作解読手段を用いて時刻毎の組合せをデータ組
として抽出することによりデータ組の時系列であるデー
タテーブルを作成し、前記次動作判定手段ではデータテ
ーブルの各データ組とシーケンスプログラムとの整合性
から論理矛盾の有無を判定することにより、シーケンス
プログラムの中での論理矛盾の原因箇所を推論すること
を特徴とする。
【０００７】請求項３の発明は、請求項２の発明におい
て、前記結果出力手段では前記要求仕様のうち論理矛盾
を生じたデータ組を含む部分のタイムチャートを可視化
して出力するとともに前記タイムチャートの中に論理矛
盾を生じたタイミングを示し、前記次動作判定手段によ
り推論された矛盾の原因箇所および内容を表すメッセー
ジをタイムチャートとともに可視化して出力することを
特徴とする。
て、前記結果出力手段では前記要求仕様のうち論理矛盾
を生じたデータ組を含む部分のタイムチャートを可視化
して出力するとともに前記タイムチャートの中に論理矛
盾を生じたタイミングを示し、前記次動作判定手段によ
り推論された矛盾の原因箇所および内容を表すメッセー
ジをタイムチャートとともに可視化して出力することを
特徴とする。
【０００８】請求項４の発明は、請求項２または請求項
３の発明において、前記次動作判定手段により推論され
た前記シーケンスプログラム中での論理矛盾の原因箇所
について修正案を作成し、作成した修正案のうち論理矛
盾を解消する修正案を結果出力手段により可視化して出
力することを特徴とする。
３の発明において、前記次動作判定手段により推論され
た前記シーケンスプログラム中での論理矛盾の原因箇所
について修正案を作成し、作成した修正案のうち論理矛
盾を解消する修正案を結果出力手段により可視化して出
力することを特徴とする。
【０００９】請求項５の発明は、請求項１の発明におい
て、前記入出力データを実動作時の制御対象の異常発生
の時刻における入出力データとし、前記次動作判定手段
ではこの入出力データのデータ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するこ
とを特徴とする。
て、前記入出力データを実動作時の制御対象の異常発生
の時刻における入出力データとし、前記次動作判定手段
ではこの入出力データのデータ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するこ
とを特徴とする。
【００１０】請求項６の発明は、請求項１の発明におい
て、前記入出力データを制御対象の異常発生の時刻を含
む所定の時間範囲の入出力データとし、この入出力デー
タから入出力動作解読手段を用いて時刻毎の組合せをデ
ータ組として抽出することによりデータ組の時系列であ
るデータテーブルを作成し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、制御
対象について論理矛盾の原因箇所を推論することを特徴
とする。
て、前記入出力データを制御対象の異常発生の時刻を含
む所定の時間範囲の入出力データとし、この入出力デー
タから入出力動作解読手段を用いて時刻毎の組合せをデ
ータ組として抽出することによりデータ組の時系列であ
るデータテーブルを作成し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、制御
対象について論理矛盾の原因箇所を推論することを特徴
とする。
【００１１】請求項７の発明は、請求項５または請求項
６の発明において、前記次動作判定手段により推論され
た矛盾の原因箇所および内容を表すメッセージを結果出
力手段により可視化して出力することを特徴とする。
６の発明において、前記次動作判定手段により推論され
た矛盾の原因箇所および内容を表すメッセージを結果出
力手段により可視化して出力することを特徴とする。
【００１２】請求項８の発明は、請求項５ないし請求項
７の発明において、前記シーケンスプログラムが制御対
象を実動作させるプログラマブルコントローラにすでに
実装されているシーケンスプログラムであって、通信手
段を介してプログラマブルコントローラから転送され、
さらに前記入出力データが通信手段を介してプログラマ
ブルコントローラから転送されることを特徴とする。
７の発明において、前記シーケンスプログラムが制御対
象を実動作させるプログラマブルコントローラにすでに
実装されているシーケンスプログラムであって、通信手
段を介してプログラマブルコントローラから転送され、
さらに前記入出力データが通信手段を介してプログラマ
ブルコントローラから転送されることを特徴とする。
【００１３】請求項９の発明は、プログラマブルコント
ローラを動作させるシーケンスプログラムおよび前記シ
ーケンスプログラムに関連付けたプログラマブルコント
ローラの入力データが読込手段を通して入力され、プロ
グラマブルコントローラと等価な模擬制御手段に前記入
力データを与えてシーケンスプログラムを実行するとと
もに、制御対象を模擬して結果出力手段がディスプレイ
装置に表示したシミュレーションモデルを、模擬制御手
段でのシーケンスプログラムの実行に伴って動作させる
ことを特徴とする。
ローラを動作させるシーケンスプログラムおよび前記シ
ーケンスプログラムに関連付けたプログラマブルコント
ローラの入力データが読込手段を通して入力され、プロ
グラマブルコントローラと等価な模擬制御手段に前記入
力データを与えてシーケンスプログラムを実行するとと
もに、制御対象を模擬して結果出力手段がディスプレイ
装置に表示したシミュレーションモデルを、模擬制御手
段でのシーケンスプログラムの実行に伴って動作させる
ことを特徴とする。
【００１４】請求項１０の発明は、請求項９の発明にお
いて、前記模擬制御手段に与える入力データのオンオフ
の時間間隔の最小単位をタイミング生成手段により生成
した基準タイミングの周期とするようにタイミング規制
手段で規制し、タイミング生成手段では基準タイミング
の周期を可変としていることを特徴とする。
いて、前記模擬制御手段に与える入力データのオンオフ
の時間間隔の最小単位をタイミング生成手段により生成
した基準タイミングの周期とするようにタイミング規制
手段で規制し、タイミング生成手段では基準タイミング
の周期を可変としていることを特徴とする。
【００１５】請求項１１の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが読込手段を通して入力され、入
力データのオンオフの時間間隔の最小単位をタイミング
生成手段により生成した基準タイミングの周期とするよ
うにタイミング規制手段で規制するとともに、タイミン
グ生成手段では基準タイミングの周期を可変としてあ
り、さらにプログラマブルコントローラと等価な模擬制
御手段に前記入力データを与えてシーケンスプログラム
を実行するとともに、模擬制御手段でのシーケンスプロ
グラムの実行に伴う出力データと模擬制御手段に与えら
れた入力データとから結果出力手段によりタイムチャー
トを生成することを特徴とする。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが読込手段を通して入力され、入
力データのオンオフの時間間隔の最小単位をタイミング
生成手段により生成した基準タイミングの周期とするよ
うにタイミング規制手段で規制するとともに、タイミン
グ生成手段では基準タイミングの周期を可変としてあ
り、さらにプログラマブルコントローラと等価な模擬制
御手段に前記入力データを与えてシーケンスプログラム
を実行するとともに、模擬制御手段でのシーケンスプロ
グラムの実行に伴う出力データと模擬制御手段に与えら
れた入力データとから結果出力手段によりタイムチャー
トを生成することを特徴とする。
【００１６】請求項１２の発明は、請求項１１の発明に
おいて、前記結果出力手段では、制御対象を模擬してデ
ィスプレイ装置に表示したシミュレーションモデルを、
前記タイムチャートにより表される入出力データのタイ
ミングで動作させることを特徴とする。
おいて、前記結果出力手段では、制御対象を模擬してデ
ィスプレイ装置に表示したシミュレーションモデルを、
前記タイムチャートにより表される入出力データのタイ
ミングで動作させることを特徴とする。
【００１７】請求項１３の発明は、請求項１１の発明に
おいて、前記結果出力手段では、制御対象の動作タイミ
ングの要求仕様として与えられる入出力データのタイム
チャートと、前記タイムチャートとを比較することによ
り相違点を抽出し、抽出結果のメッセージを可視化して
出力することを特徴とする。
おいて、前記結果出力手段では、制御対象の動作タイミ
ングの要求仕様として与えられる入出力データのタイム
チャートと、前記タイムチャートとを比較することによ
り相違点を抽出し、抽出結果のメッセージを可視化して
出力することを特徴とする。
【００１８】請求項１４の発明は、請求項９ないし請求
項１３の発明において、前記制御対象がそれぞれ１つの
処理を完結させる複数個のブロックの集合であって、前
記シミュレーションモデルが各ブロックに対応するサブ
モデルの組合せとして構成されていることを特徴とす
る。
項１３の発明において、前記制御対象がそれぞれ１つの
処理を完結させる複数個のブロックの集合であって、前
記シミュレーションモデルが各ブロックに対応するサブ
モデルの組合せとして構成されていることを特徴とす
る。
【００１９】請求項１５の発明は、請求項９ないし請求
項１４の発明において、前記シーケンスプログラムが制
御対象を実動作させるプログラマブルコントローラにす
でに実装されているシーケンスプログラムであって、通
信手段を介してプログラマブルコントローラから転送さ
れることを特徴とする。
項１４の発明において、前記シーケンスプログラムが制
御対象を実動作させるプログラマブルコントローラにす
でに実装されているシーケンスプログラムであって、通
信手段を介してプログラマブルコントローラから転送さ
れることを特徴とする。
【００２０】請求項１６の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入出力データが入力される読込手段と、所定
時刻における入出力データの組合せをシーケンスプログ
ラムに適用したときのシーケンスプログラムと入出力デ
ータの組合せとの整合性から論理矛盾の有無を判定する
とともに、論理矛盾が生じているときにはシーケンスプ
ログラムのうち論理矛盾を生じた入出力の組合せから遡
って関連する入出力を追跡することにより論理矛盾の原
因を推論する次動作判定手段と、推論結果を出力する結
果出力手段とを備えるものである。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入出力データが入力される読込手段と、所定
時刻における入出力データの組合せをシーケンスプログ
ラムに適用したときのシーケンスプログラムと入出力デ
ータの組合せとの整合性から論理矛盾の有無を判定する
とともに、論理矛盾が生じているときにはシーケンスプ
ログラムのうち論理矛盾を生じた入出力の組合せから遡
って関連する入出力を追跡することにより論理矛盾の原
因を推論する次動作判定手段と、推論結果を出力する結
果出力手段とを備えるものである。
【００２１】請求項１７の発明は、請求項１６の発明に
おいて、前記入出力データを制御対象の動作タイミング
の要求仕様を表す入出力データとし、この入出力データ
から時刻毎の組合せをデータ組として抽出することによ
りデータ組の時系列であるデータテーブルを作成する入
出力動作解読手段を付加し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、シー
ケンスプログラムの中での論理矛盾の原因箇所を推論す
るものである。
おいて、前記入出力データを制御対象の動作タイミング
の要求仕様を表す入出力データとし、この入出力データ
から時刻毎の組合せをデータ組として抽出することによ
りデータ組の時系列であるデータテーブルを作成する入
出力動作解読手段を付加し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、シー
ケンスプログラムの中での論理矛盾の原因箇所を推論す
るものである。
【００２２】請求項１８の発明は、請求項１６の発明に
おいて、前記入出力データを実動作時の制御対象の異常
発生の時刻における入出力データとし、前記次動作判定
手段ではこの入出力データのデータ組とシーケンスプロ
グラムとの整合性から論理矛盾の有無を判定することに
より、制御対象について論理矛盾の原因箇所を推論する
ものである。
おいて、前記入出力データを実動作時の制御対象の異常
発生の時刻における入出力データとし、前記次動作判定
手段ではこの入出力データのデータ組とシーケンスプロ
グラムとの整合性から論理矛盾の有無を判定することに
より、制御対象について論理矛盾の原因箇所を推論する
ものである。
【００２３】請求項１９の発明は、請求項１６の発明に
おいて、前記入出力データを制御対象の異常発生の時刻
を含む所定の時間範囲の入出力データとし、この入出力
データから時刻毎の組合せをデータ組として抽出するこ
とによりデータ組の時系列であるデータテーブルを作成
する入出力動作解読手段を付加し、前記次動作判定手段
ではデータテーブルの各データ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するも
のである。
おいて、前記入出力データを制御対象の異常発生の時刻
を含む所定の時間範囲の入出力データとし、この入出力
データから時刻毎の組合せをデータ組として抽出するこ
とによりデータ組の時系列であるデータテーブルを作成
する入出力動作解読手段を付加し、前記次動作判定手段
ではデータテーブルの各データ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するも
のである。
【００２４】請求項２０の発明は、請求項１８または請
求項１９の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
および前記入出力データを転送する通信手段が付加され
ているものである。
求項１９の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
および前記入出力データを転送する通信手段が付加され
ているものである。
【００２５】請求項２１の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、プログ
ラマブルコントローラと等価であって前記入力データが
与えられてシーケンスプログラムを実行する模擬制御手
段と、制御対象を模擬したシミュレーションモデルをデ
ィスプレイ装置に表示する結果出力手段とを備え、結果
出力手段が模擬制御手段でのシーケンスプログラムの実
行に伴ってシミュレーションモデルを動作させるもので
ある。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、プログ
ラマブルコントローラと等価であって前記入力データが
与えられてシーケンスプログラムを実行する模擬制御手
段と、制御対象を模擬したシミュレーションモデルをデ
ィスプレイ装置に表示する結果出力手段とを備え、結果
出力手段が模擬制御手段でのシーケンスプログラムの実
行に伴ってシミュレーションモデルを動作させるもので
ある。
【００２６】請求項２２の発明は、請求項２１の発明に
おいて、所定の周期で基準タイミングを生成するタイミ
ング生成手段と、前記模擬制御手段に与える入力データ
のオンオフの時間間隔の最小単位を前記基準タイミング
の周期とするように規制するタイミング規制手段とを付
加し、タイミング生成手段では基準タイミングの周期を
可変としているものである。
おいて、所定の周期で基準タイミングを生成するタイミ
ング生成手段と、前記模擬制御手段に与える入力データ
のオンオフの時間間隔の最小単位を前記基準タイミング
の周期とするように規制するタイミング規制手段とを付
加し、タイミング生成手段では基準タイミングの周期を
可変としているものである。
【００２７】請求項２３の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、所定の
周期で基準タイミングを生成するタイミング生成手段
と、前記模擬制御手段に与える入力データのオンオフの
時間間隔の最小単位を前記基準タイミングの周期とする
ように規制するタイミング規制手段と、プログラマブル
コントローラと等価であって前記入力データが与えられ
てシーケンスプログラムを実行する模擬制御手段と、制
御対象を模擬したシミュレーションモデルをディスプレ
イ装置に表示する結果出力手段とを備え、タイミング生
成手段では基準タイミングの周期を可変としてあり、模
擬制御手段でのシーケンスプログラムの実行に伴う出力
データと模擬制御手段に与えられた入力データとから結
果出力手段によりタイムチャートを生成するものであ
る。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、所定の
周期で基準タイミングを生成するタイミング生成手段
と、前記模擬制御手段に与える入力データのオンオフの
時間間隔の最小単位を前記基準タイミングの周期とする
ように規制するタイミング規制手段と、プログラマブル
コントローラと等価であって前記入力データが与えられ
てシーケンスプログラムを実行する模擬制御手段と、制
御対象を模擬したシミュレーションモデルをディスプレ
イ装置に表示する結果出力手段とを備え、タイミング生
成手段では基準タイミングの周期を可変としてあり、模
擬制御手段でのシーケンスプログラムの実行に伴う出力
データと模擬制御手段に与えられた入力データとから結
果出力手段によりタイムチャートを生成するものであ
る。
【００２８】請求項２４の発明は、請求項２１ないし請
求項２３の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
を転送する通信手段が付加されているものである。
求項２３の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
を転送する通信手段が付加されているものである。
【００２９】
【発明の実施の形態】以下に説明する本発明の実施の形
態として、第１の実施の形態では、プログラマブルコン
トローラ（以下、ＰＬＣと略称する）において開発中の
シーケンスプログラムの誤りを検出してデバッグ作業を
効率化することによりシーケンスプログラムの作成を支
援する機能を持つ装置を例示し、第２の実施の形態で
は、動作中の制御対象に異常が発生したときに異常の発
生箇所を容易に検出する故障診断を支援する機能を持つ
装置を例示する。また、第３の実施の形態では、シーケ
ンスプログラムの完成後においてシーケンスプログラム
と制御対象との整合性を制御対象に生じる現象（動作）
を通して検証することにより実システムの運転開始前に
プログラムの修正の要否や制御対象の調整の要否を抽出
する機能を有した装置を例示する。各実施形態において
説明する装置は、いずれもＰＬＣを動作させるシーケン
スプログラムと、シーケンスプログラムに関連付けたＰ
ＬＣの入出力データとを入力情報として上述の機能を実
現するものであるが、各機能については互いに独立して
いるから、各装置は通常は目的に応じて個別に使用され
る。ただし、第１の実施の形態の装置や第２の実施の形
態の装置を用いてＰＬＣの動作の異常の有無を検出した
後に、第３の実施の形態の装置を用いて異常を制御対象
に生じる現象として検証したり、逆に、第３の実施の形
態の装置を用いて制御対象に生じた異常な現象の発生原
因を第１の実施の形態の装置や第２の実施の形態の装置
を用いて抽出するというように、第１の実施の形態の装
置や第２の実施の形態の装置と第３の実施の形態の装置
とを連携させて用いることが可能である。したがって、
第１の実施の形態の装置や第２の実施の形態の装置を実
現するプログラムと第３の実施の形態の装置を実現する
プログラムとを１台のコンピュータに実装しておき、実
行するプログラムを切り換えて使用することが可能であ
る。そこで、第３の実施の形態の装置は第１の実施の形
態の装置ないし第２の実施の形態の装置に機能を付加し
た構成として例示する。また、第１の実施の形態の装置
と第２の実施の形態の装置とは、入力される情報と出力
する情報とに相違があるが、主要な処理内容は共通して
いるから、装置の構成を表すブロック図は同じものを用
いる。ただし、第１の実施の形態の装置と第２の実施の
形態の装置とではブロック図として記載された各手段の
機能には相違する部分もある。
態として、第１の実施の形態では、プログラマブルコン
トローラ（以下、ＰＬＣと略称する）において開発中の
シーケンスプログラムの誤りを検出してデバッグ作業を
効率化することによりシーケンスプログラムの作成を支
援する機能を持つ装置を例示し、第２の実施の形態で
は、動作中の制御対象に異常が発生したときに異常の発
生箇所を容易に検出する故障診断を支援する機能を持つ
装置を例示する。また、第３の実施の形態では、シーケ
ンスプログラムの完成後においてシーケンスプログラム
と制御対象との整合性を制御対象に生じる現象（動作）
を通して検証することにより実システムの運転開始前に
プログラムの修正の要否や制御対象の調整の要否を抽出
する機能を有した装置を例示する。各実施形態において
説明する装置は、いずれもＰＬＣを動作させるシーケン
スプログラムと、シーケンスプログラムに関連付けたＰ
ＬＣの入出力データとを入力情報として上述の機能を実
現するものであるが、各機能については互いに独立して
いるから、各装置は通常は目的に応じて個別に使用され
る。ただし、第１の実施の形態の装置や第２の実施の形
態の装置を用いてＰＬＣの動作の異常の有無を検出した
後に、第３の実施の形態の装置を用いて異常を制御対象
に生じる現象として検証したり、逆に、第３の実施の形
態の装置を用いて制御対象に生じた異常な現象の発生原
因を第１の実施の形態の装置や第２の実施の形態の装置
を用いて抽出するというように、第１の実施の形態の装
置や第２の実施の形態の装置と第３の実施の形態の装置
とを連携させて用いることが可能である。したがって、
第１の実施の形態の装置や第２の実施の形態の装置を実
現するプログラムと第３の実施の形態の装置を実現する
プログラムとを１台のコンピュータに実装しておき、実
行するプログラムを切り換えて使用することが可能であ
る。そこで、第３の実施の形態の装置は第１の実施の形
態の装置ないし第２の実施の形態の装置に機能を付加し
た構成として例示する。また、第１の実施の形態の装置
と第２の実施の形態の装置とは、入力される情報と出力
する情報とに相違があるが、主要な処理内容は共通して
いるから、装置の構成を表すブロック図は同じものを用
いる。ただし、第１の実施の形態の装置と第２の実施の
形態の装置とではブロック図として記載された各手段の
機能には相違する部分もある。
【００３０】（第１の実施の形態）本実施形態では、プ
ログラマブルコントローラ（以下、ＰＬＣと略称する）
を動作させるシーケンスプログラムの開発中にシーケン
スプログラムが要求仕様を満たすか否かを検証する目的
で用いる装置を例示する。本実施形態は、パーソナルコ
ンピュータのようなコンピュータにプログラムを実装す
ることにより実現されるものであって、入力装置として
キーボードやマウスを備え、出力装置として少なくとも
ディスプレイ装置を備える。また、出力装置として必要
に応じてプリンタを備えていてもよい。
ログラマブルコントローラ（以下、ＰＬＣと略称する）
を動作させるシーケンスプログラムの開発中にシーケン
スプログラムが要求仕様を満たすか否かを検証する目的
で用いる装置を例示する。本実施形態は、パーソナルコ
ンピュータのようなコンピュータにプログラムを実装す
ることにより実現されるものであって、入力装置として
キーボードやマウスを備え、出力装置として少なくとも
ディスプレイ装置を備える。また、出力装置として必要
に応じてプリンタを備えていてもよい。
【００３１】本実施形態では、図１に示すように、開発
中のシーケンスプログラムＰＲ１と、このシーケンスプ
ログラムＰＲ１に対する要求仕様として与えられるＰＬ
Ｃの入出力データＩＯ１とを入力情報とする。シーケン
スプログラムＰＲ１および入出力データＩＯ１は、それ
ぞれ読込手段としてのプログラム読込手段１１および入
出力データ読込手段１２により読み込まれる。シーケン
スプログラムＰＲ１や入出力データＩＯ１は、適宜の記
憶媒体に記録されているものを用いたり、通信手段１７
を通して外部から入力されるものを用いる。
中のシーケンスプログラムＰＲ１と、このシーケンスプ
ログラムＰＲ１に対する要求仕様として与えられるＰＬ
Ｃの入出力データＩＯ１とを入力情報とする。シーケン
スプログラムＰＲ１および入出力データＩＯ１は、それ
ぞれ読込手段としてのプログラム読込手段１１および入
出力データ読込手段１２により読み込まれる。シーケン
スプログラムＰＲ１や入出力データＩＯ１は、適宜の記
憶媒体に記録されているものを用いたり、通信手段１７
を通して外部から入力されるものを用いる。
【００３２】本実施形態では、シーケンスプログラムＰ
Ｒ１として、図３に示す内容のものを想定しており、図
示するシーケンスプログラムＰＲ１は、ＰＬＣを動作さ
せるシーケンスプログラムＰＲ１の一部分であるが、１
つの処理を完結させるための一連の制御を行う部分を表
している。図示例ではシーケンスプログラムＰＲ１がラ
ダー図の形式で表現され、５個の入力Ｘ０，Ｘ１，Ｘ
２，Ｘ３，Ｘ７と３個の出力Ｙ１０，Ｙ２０，Ｙ２１と
を備える。
Ｒ１として、図３に示す内容のものを想定しており、図
示するシーケンスプログラムＰＲ１は、ＰＬＣを動作さ
せるシーケンスプログラムＰＲ１の一部分であるが、１
つの処理を完結させるための一連の制御を行う部分を表
している。図示例ではシーケンスプログラムＰＲ１がラ
ダー図の形式で表現され、５個の入力Ｘ０，Ｘ１，Ｘ
２，Ｘ３，Ｘ７と３個の出力Ｙ１０，Ｙ２０，Ｙ２１と
を備える。
【００３３】入出力データ読込手段１２により読み込ま
れた入出力データＩＯ１は入出力動作解読手段１３に入
力される。制御対象の動作タイミングの要求仕様として
与えられる入出力データＩＯ１は一般に、図４（ａ）の
ように、シーケンスプログラムＰＲ１に関連付けて入力
Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７および出力Ｙ１０，Ｙ２
０，Ｙ２１のオンオフを表すタイムチャートの形式で与
えられている。入出力動作解読手段１３では、タイミン
グ決定手段１３ａにより決められる適宜のタイミングで
時刻毎の入力Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７および出力
Ｙ１０，Ｙ２０，Ｙ２１の組合せが抽出する（抽出時刻
を図４（ａ）では０〜９の数字で示している）。つま
り、図４（ｂ）のように時刻毎の入出力の組み合わせを
それぞれデータ組（図４（ｂ）の縦一列がそれぞれデー
タ組になる）として抽出したデータテーブル１４を作成
する。図４（ｂ）において「０」はオフ、「１」はオン
を示している。タイミング決定手段１３ａは、一定の時
間間隔でデータ組を抽出してもよいが、入出力の変化点
（立ち上がりと立ち下がり）の時刻毎に変化点の直後の
データ組を抽出してもよい。このようにして求めたデー
タ組は、ＰＬＣの各瞬間ごとの入力Ｘ０，Ｘ１，Ｘ２，
Ｘ３，Ｘ７および出力Ｙ１０，Ｙ２０，Ｙ２１の状態を
表している。
れた入出力データＩＯ１は入出力動作解読手段１３に入
力される。制御対象の動作タイミングの要求仕様として
与えられる入出力データＩＯ１は一般に、図４（ａ）の
ように、シーケンスプログラムＰＲ１に関連付けて入力
Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７および出力Ｙ１０，Ｙ２
０，Ｙ２１のオンオフを表すタイムチャートの形式で与
えられている。入出力動作解読手段１３では、タイミン
グ決定手段１３ａにより決められる適宜のタイミングで
時刻毎の入力Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７および出力
Ｙ１０，Ｙ２０，Ｙ２１の組合せが抽出する（抽出時刻
を図４（ａ）では０〜９の数字で示している）。つま
り、図４（ｂ）のように時刻毎の入出力の組み合わせを
それぞれデータ組（図４（ｂ）の縦一列がそれぞれデー
タ組になる）として抽出したデータテーブル１４を作成
する。図４（ｂ）において「０」はオフ、「１」はオン
を示している。タイミング決定手段１３ａは、一定の時
間間隔でデータ組を抽出してもよいが、入出力の変化点
（立ち上がりと立ち下がり）の時刻毎に変化点の直後の
データ組を抽出してもよい。このようにして求めたデー
タ組は、ＰＬＣの各瞬間ごとの入力Ｘ０，Ｘ１，Ｘ２，
Ｘ３，Ｘ７および出力Ｙ１０，Ｙ２０，Ｙ２１の状態を
表している。
【００３４】プログラム読込手段１１により読み込まれ
たシーケンスプログラムＰＲ１と、入出力データＩＯ１
に基づいて作成されたデータテーブル１４とは、次動作
判定手段１５に与えられ、入力されたシーケンスプログ
ラムＰＲ１が要求仕様として与えられた入出力データＩ
Ｏ１を満たすか否かが検証される。次動作判定手段１５
では、要求仕様から得られた各データ組をシーケンスプ
ログラムＰＲ１に順次適用し、シーケンスプログラムＰ
Ｒ１の入力Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７にデータ組を
適用したときに、シーケンスプログラムＰＲ１における
入出力の論理関係では得られない出力Ｙ１０，Ｙ２０，
Ｙ２１が生じているときにシーケンスプログラムＰＲ１
が要求仕様を満たしていないと判定する。つまり、次動
作判定手段１５では、データ組をシーケンスプログラム
ＰＲ１に適用したときにシーケンスプログラムＰＲ１に
よって得られる出力Ｙ１０，Ｙ２０，Ｙ２１とデータ組
の出力Ｙ１０，Ｙ２０，Ｙ２１とのオンオフが異なって
いるときに、シーケンスプログラムＰＲ１における入力
Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７と出力Ｙ１０，Ｙ２０，
Ｙ２１との論理的な結合関係（論理和、論理積、否定の
関係）に矛盾（以下、「論理矛盾」という）があると判
断する。
たシーケンスプログラムＰＲ１と、入出力データＩＯ１
に基づいて作成されたデータテーブル１４とは、次動作
判定手段１５に与えられ、入力されたシーケンスプログ
ラムＰＲ１が要求仕様として与えられた入出力データＩ
Ｏ１を満たすか否かが検証される。次動作判定手段１５
では、要求仕様から得られた各データ組をシーケンスプ
ログラムＰＲ１に順次適用し、シーケンスプログラムＰ
Ｒ１の入力Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７にデータ組を
適用したときに、シーケンスプログラムＰＲ１における
入出力の論理関係では得られない出力Ｙ１０，Ｙ２０，
Ｙ２１が生じているときにシーケンスプログラムＰＲ１
が要求仕様を満たしていないと判定する。つまり、次動
作判定手段１５では、データ組をシーケンスプログラム
ＰＲ１に適用したときにシーケンスプログラムＰＲ１に
よって得られる出力Ｙ１０，Ｙ２０，Ｙ２１とデータ組
の出力Ｙ１０，Ｙ２０，Ｙ２１とのオンオフが異なって
いるときに、シーケンスプログラムＰＲ１における入力
Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ７と出力Ｙ１０，Ｙ２０，
Ｙ２１との論理的な結合関係（論理和、論理積、否定の
関係）に矛盾（以下、「論理矛盾」という）があると判
断する。
【００３５】たとえば、図３に示したシーケンスプログ
ラムＰＲ１に対して、図４（ｂ）に示すデータ組ＤＴ１
を適用すると、シーケンスプログラムＰＲ１では、入力
Ｘ１，Ｘ２の論理積によって出力Ｙ１０が決定されるの
に対して、データ組ＤＴ１では入力Ｘ１がオフかつ入力
Ｘ２がオンであるときに出力Ｙ１０がオンであるから論
理矛盾を生じている。本実施形態において入出力データ
ＩＯ１は要求仕様によって与えられ、データ組ＤＴ１は
要求仕様に基づくものであるから誤りはないと仮定して
よく、したがって論理矛盾はシーケンスプログラムＰＲ
１の誤りを原因として生じたと考えることができる。な
お、図３においてはシーケンスプログラムＰＲ１をラダ
ー図で表したが、シーケンスプログラムＰＲ１をたとえ
ばニモニックを用いて記述する場合でも同様の処理が可
能である。
ラムＰＲ１に対して、図４（ｂ）に示すデータ組ＤＴ１
を適用すると、シーケンスプログラムＰＲ１では、入力
Ｘ１，Ｘ２の論理積によって出力Ｙ１０が決定されるの
に対して、データ組ＤＴ１では入力Ｘ１がオフかつ入力
Ｘ２がオンであるときに出力Ｙ１０がオンであるから論
理矛盾を生じている。本実施形態において入出力データ
ＩＯ１は要求仕様によって与えられ、データ組ＤＴ１は
要求仕様に基づくものであるから誤りはないと仮定して
よく、したがって論理矛盾はシーケンスプログラムＰＲ
１の誤りを原因として生じたと考えることができる。な
お、図３においてはシーケンスプログラムＰＲ１をラダ
ー図で表したが、シーケンスプログラムＰＲ１をたとえ
ばニモニックを用いて記述する場合でも同様の処理が可
能である。
【００３６】要するに、次動作判定手段１５において
は、データテーブル１４に含まれる各データ組のうち入
力となるデータをシーケンスプログラムＰＲ１に順次適
用し、そのときのデータ組の出力とシーケンスプログラ
ムＰＲ１により得られた出力とを比較し、両者が不一致
であると論理矛盾が生じていると判断する。また、デー
タテーブル１４のすべてのデータ組について論理矛盾が
生じなければ、シーケンスプログラムＰＲ１が要求仕様
を満たすものと判断する。要するに、シーケンスプログ
ラムＰＲ１と要求仕様との整合性によってシーケンスプ
ログラムＰＲ１と要求仕様との間の論理矛盾の有無を判
定するのである。
は、データテーブル１４に含まれる各データ組のうち入
力となるデータをシーケンスプログラムＰＲ１に順次適
用し、そのときのデータ組の出力とシーケンスプログラ
ムＰＲ１により得られた出力とを比較し、両者が不一致
であると論理矛盾が生じていると判断する。また、デー
タテーブル１４のすべてのデータ組について論理矛盾が
生じなければ、シーケンスプログラムＰＲ１が要求仕様
を満たすものと判断する。要するに、シーケンスプログ
ラムＰＲ１と要求仕様との整合性によってシーケンスプ
ログラムＰＲ１と要求仕様との間の論理矛盾の有無を判
定するのである。
【００３７】ところで、次動作判定手段１５では上述の
ような論理矛盾を検出すると、シーケンスプログラムＰ
Ｒ１において論理矛盾を生じた出力から遡り、この出力
に関連する入力および出力（つまり、この出力の決定に
要する入力および出力）を追跡して抽出する（この処理
を本実施形態では「ラダーカバレッジ」と呼ぶ）。ラダ
ーカバレッジによって、論理矛盾を生じた出力に関連す
る入力および出力と、その論理的な結合関係とが抽出さ
れるから、データテーブル１４と照合することによっ
て、論理矛盾の原因箇所を推論することが可能になる。
ような論理矛盾を検出すると、シーケンスプログラムＰ
Ｒ１において論理矛盾を生じた出力から遡り、この出力
に関連する入力および出力（つまり、この出力の決定に
要する入力および出力）を追跡して抽出する（この処理
を本実施形態では「ラダーカバレッジ」と呼ぶ）。ラダ
ーカバレッジによって、論理矛盾を生じた出力に関連す
る入力および出力と、その論理的な結合関係とが抽出さ
れるから、データテーブル１４と照合することによっ
て、論理矛盾の原因箇所を推論することが可能になる。
【００３８】上述した例では、出力Ｙ１０について論理
矛盾が発生しており、ラダーカバレッジを行えば、入力
Ｘ１，Ｘ２（入力）の論理積（結合関係）が出力Ｙ１０
であることがわかるから、これらについて論理矛盾の原
因箇所を推論する。まず第１には、図４（ｂ）のデータ
組ＤＴ１をシーケンスプログラムＰＲ１に適用したとき
に論理矛盾を生じたのであるから、出力Ｙ１０がオンで
あるべきであるのに、シーケンスプログラムＰＲ１にお
いては出力Ｙ１０がオンではないという意味で、「出力
Ｙ１０が出力されていない」という推論結果が得られ
る。また、出力Ｙ１０を決定するのは、２つの入力Ｘ
１，Ｘ２と、入力Ｘ１，Ｘ２の結合関係とであるから、
「入力Ｘ１，Ｘ２が誤っている」、「入力Ｘ１，Ｘ２の
結合関係が誤っている」という原因箇所についての推論
結果が得られる。これらの推論結果のメッセージは、デ
ィスプレイ装置の画面上に要求仕様のタイムチャートと
ともに一覧表示される。また、タイムチャートの中には
どの時点で論理矛盾が発生したかの位置がカーソル線
（縦線）によって示される。したがって、シーケンスプ
ログラムＰＲ１の作成者は、画面上に一覧表示された箇
所について、タイムチャートを参照しながらシーケンス
プログラムＰＲ１を修正すればよいことになり、シーケ
ンスプログラムＰＲ１のデバッグ作業を容易に行うこと
ができる。要するに、ラダーカバレッジを行うことによ
って、論理矛盾の原因箇所の範囲を絞り込むことができ
るのである。
矛盾が発生しており、ラダーカバレッジを行えば、入力
Ｘ１，Ｘ２（入力）の論理積（結合関係）が出力Ｙ１０
であることがわかるから、これらについて論理矛盾の原
因箇所を推論する。まず第１には、図４（ｂ）のデータ
組ＤＴ１をシーケンスプログラムＰＲ１に適用したとき
に論理矛盾を生じたのであるから、出力Ｙ１０がオンで
あるべきであるのに、シーケンスプログラムＰＲ１にお
いては出力Ｙ１０がオンではないという意味で、「出力
Ｙ１０が出力されていない」という推論結果が得られ
る。また、出力Ｙ１０を決定するのは、２つの入力Ｘ
１，Ｘ２と、入力Ｘ１，Ｘ２の結合関係とであるから、
「入力Ｘ１，Ｘ２が誤っている」、「入力Ｘ１，Ｘ２の
結合関係が誤っている」という原因箇所についての推論
結果が得られる。これらの推論結果のメッセージは、デ
ィスプレイ装置の画面上に要求仕様のタイムチャートと
ともに一覧表示される。また、タイムチャートの中には
どの時点で論理矛盾が発生したかの位置がカーソル線
（縦線）によって示される。したがって、シーケンスプ
ログラムＰＲ１の作成者は、画面上に一覧表示された箇
所について、タイムチャートを参照しながらシーケンス
プログラムＰＲ１を修正すればよいことになり、シーケ
ンスプログラムＰＲ１のデバッグ作業を容易に行うこと
ができる。要するに、ラダーカバレッジを行うことによ
って、論理矛盾の原因箇所の範囲を絞り込むことができ
るのである。
【００３９】シーケンスプログラムＰＲ１のデバッグ作
業をさらに容易にするために、上述のように論理矛盾の
原因箇所を推論するだけではなく、論理矛盾の原因箇所
に対して論理矛盾を解消するためのシーケンスプログラ
ムＰＲ１の修正案が作成され、作成された修正案が結果
出力手段１６に含まれる出力装置としてのディスプレイ
装置に示される。論理矛盾を解消する修正案は、論理矛
盾を生じた箇所の入力と出力との結合関係を次動作判定
手段１５に設けたルールベースに照合することによって
推論される。推論結果は入力に関するオンオフの反転
（否定）あるいは入力の結合関係の変更という形で与え
られる。
業をさらに容易にするために、上述のように論理矛盾の
原因箇所を推論するだけではなく、論理矛盾の原因箇所
に対して論理矛盾を解消するためのシーケンスプログラ
ムＰＲ１の修正案が作成され、作成された修正案が結果
出力手段１６に含まれる出力装置としてのディスプレイ
装置に示される。論理矛盾を解消する修正案は、論理矛
盾を生じた箇所の入力と出力との結合関係を次動作判定
手段１５に設けたルールベースに照合することによって
推論される。推論結果は入力に関するオンオフの反転
（否定）あるいは入力の結合関係の変更という形で与え
られる。
【００４０】上述した例について示すと、２つの入力Ｘ
１，Ｘ２の論理演算によって１つの出力Ｙ１０を得る関
係であるから、このような形式では論理矛盾が生じたと
きの修正案として、各入力Ｘ１，Ｘ２について一方を反
転するか（つまり、常開接点ならば常閉接点に変更し、
常閉接点ならば常開接点に変更する）、２つの入力Ｘ
１，Ｘ２の結合関係を論理積とするか、２つの入力Ｘ
１，Ｘ２の結合関係を論理和とするか、２つの入力Ｘ
１，Ｘ２の一方を削除するかの修正案が検討される。通
常は複数種類の修正案が抽出されるから、各修正案をシ
ーケンスプログラムＰＲ１に折り込んだ後に、論理矛盾
を生じたデータ組を用いて論理矛盾の発生の有無を再度
検証する。ここで、すべての修正案について検証を行
い、論理矛盾が解消されていれば、その修正案を結果出
力手段１６を通してディスプレイ装置に出力する。シー
ケンスプログラムＰＲ１の実際の修正は人手によって行
うことになるが、修正個所と修正内容とを絞り込んでい
るから、シーケンスプログラムＰＲ１の修正を容易に行
うことができる。
１，Ｘ２の論理演算によって１つの出力Ｙ１０を得る関
係であるから、このような形式では論理矛盾が生じたと
きの修正案として、各入力Ｘ１，Ｘ２について一方を反
転するか（つまり、常開接点ならば常閉接点に変更し、
常閉接点ならば常開接点に変更する）、２つの入力Ｘ
１，Ｘ２の結合関係を論理積とするか、２つの入力Ｘ
１，Ｘ２の結合関係を論理和とするか、２つの入力Ｘ
１，Ｘ２の一方を削除するかの修正案が検討される。通
常は複数種類の修正案が抽出されるから、各修正案をシ
ーケンスプログラムＰＲ１に折り込んだ後に、論理矛盾
を生じたデータ組を用いて論理矛盾の発生の有無を再度
検証する。ここで、すべての修正案について検証を行
い、論理矛盾が解消されていれば、その修正案を結果出
力手段１６を通してディスプレイ装置に出力する。シー
ケンスプログラムＰＲ１の実際の修正は人手によって行
うことになるが、修正個所と修正内容とを絞り込んでい
るから、シーケンスプログラムＰＲ１の修正を容易に行
うことができる。
【００４１】上述した処理手順をまとめると図２のよう
になる。すなわち、シーケンスプログラムＰＲ１の開発
中においては、要求仕様として与えられる入出力データ
ＩＯ１から作成したデータ組をシーケンスプログラムＰ
Ｒ１に当てはめることにより、論理矛盾の有無を検証す
る（Ｓ１）。データ組のうちの１つでも論理矛盾を生じ
る場合には、ラダーカバレッジを行って、論理矛盾を生
じた出力に関連する入力を抽出し（Ｓ２）、その結果を
結果出力手段１６を通してディスプレイ装置に表示す
る。このように、論理矛盾の原因箇所が絞り込まれる
と、その部分の入力と出力との関係を次動作判定手段１
５に設けたルールベースに照合することによってシーケ
ンスプログラムＰＲ１の修正案を抽出する（Ｓ３）。次
に、抽出された修正案をシーケンスプログラムＰＲ１の
中に埋め込んで（Ｓ４）、論理矛盾を生じたデータ組を
シーケンスプログラムＰＲ１に再度適用し（Ｓ５）、こ
れによって論理矛盾が解消されるか否かを再度検証する
（Ｓ６）。ステップＳ６の検証により論理矛盾が解消さ
れた場合には、ステップＳ３において抽出された修正案
を提示するために出力する。ここで、ステップＳ３にお
いて抽出された修正案が複数存在する場合に、論理矛盾
を生じたデータ組による論理矛盾を解消する修正案も複
数存在することがある。この場合には、当該データ組に
よって論理矛盾が解消されるすべての修正案をディスプ
レイ装置に表示し、どの修正案を選択するかはシーケン
スプログラムＰＲ１の作成者にまかせることとする。ま
た、シーケンスプログラムＰＲ１が修正された後には、
図２の処理を再度繰り返して、データテーブル１４のす
べてのデータ組についてシーケンスプログラムＰＲ１と
の論理矛盾の有無を検証する。
になる。すなわち、シーケンスプログラムＰＲ１の開発
中においては、要求仕様として与えられる入出力データ
ＩＯ１から作成したデータ組をシーケンスプログラムＰ
Ｒ１に当てはめることにより、論理矛盾の有無を検証す
る（Ｓ１）。データ組のうちの１つでも論理矛盾を生じ
る場合には、ラダーカバレッジを行って、論理矛盾を生
じた出力に関連する入力を抽出し（Ｓ２）、その結果を
結果出力手段１６を通してディスプレイ装置に表示す
る。このように、論理矛盾の原因箇所が絞り込まれる
と、その部分の入力と出力との関係を次動作判定手段１
５に設けたルールベースに照合することによってシーケ
ンスプログラムＰＲ１の修正案を抽出する（Ｓ３）。次
に、抽出された修正案をシーケンスプログラムＰＲ１の
中に埋め込んで（Ｓ４）、論理矛盾を生じたデータ組を
シーケンスプログラムＰＲ１に再度適用し（Ｓ５）、こ
れによって論理矛盾が解消されるか否かを再度検証する
（Ｓ６）。ステップＳ６の検証により論理矛盾が解消さ
れた場合には、ステップＳ３において抽出された修正案
を提示するために出力する。ここで、ステップＳ３にお
いて抽出された修正案が複数存在する場合に、論理矛盾
を生じたデータ組による論理矛盾を解消する修正案も複
数存在することがある。この場合には、当該データ組に
よって論理矛盾が解消されるすべての修正案をディスプ
レイ装置に表示し、どの修正案を選択するかはシーケン
スプログラムＰＲ１の作成者にまかせることとする。ま
た、シーケンスプログラムＰＲ１が修正された後には、
図２の処理を再度繰り返して、データテーブル１４のす
べてのデータ組についてシーケンスプログラムＰＲ１と
の論理矛盾の有無を検証する。
【００４２】なお、上述した例では１つのデータ組につ
いて論理矛盾が生じたときに、そのデータ組について論
理矛盾を解消するように修正案を設定しているが、１つ
のデータ組の論理矛盾だけではなく、そのデータ組の前
後の少なくとも１組のデータ組についても矛盾が生じな
いように修正案を設定すれば、修正案の信頼性をより向
上させることができ、結果的にシーケンスプログラムＰ
Ｒ１のデバッグ作業の効率がさらに向上することにな
る。
いて論理矛盾が生じたときに、そのデータ組について論
理矛盾を解消するように修正案を設定しているが、１つ
のデータ組の論理矛盾だけではなく、そのデータ組の前
後の少なくとも１組のデータ組についても矛盾が生じな
いように修正案を設定すれば、修正案の信頼性をより向
上させることができ、結果的にシーケンスプログラムＰ
Ｒ１のデバッグ作業の効率がさらに向上することにな
る。
【００４３】（第２の実施の形態）第１の実施の形態で
は、要求仕様として与えられる入出力データＩＯ１には
誤りはなく、開発中のシーケンスプログラムＰＲ１には
バグが含まれている可能性があるものとして、データ組
をシーケンスプログラムＰＲ１に適用したときに論理矛
盾が生じると、論理矛盾の原因をシーケンスプログラム
ＰＲ１に求める構成とした。これに対して、本実施形態
ではすでに制御対象を制御しているシーケンスプログラ
ムＰＲ２に対して、制御対象の実動作により得られた入
出力データＩＯ２から得られたデータ組を適用し、論理
矛盾が生じたときにはその原因を制御対象に求めるもの
である。したがって、本実施形態の構成は図１に示した
第１の実施の形態と同様である。
は、要求仕様として与えられる入出力データＩＯ１には
誤りはなく、開発中のシーケンスプログラムＰＲ１には
バグが含まれている可能性があるものとして、データ組
をシーケンスプログラムＰＲ１に適用したときに論理矛
盾が生じると、論理矛盾の原因をシーケンスプログラム
ＰＲ１に求める構成とした。これに対して、本実施形態
ではすでに制御対象を制御しているシーケンスプログラ
ムＰＲ２に対して、制御対象の実動作により得られた入
出力データＩＯ２から得られたデータ組を適用し、論理
矛盾が生じたときにはその原因を制御対象に求めるもの
である。したがって、本実施形態の構成は図１に示した
第１の実施の形態と同様である。
【００４４】本実施形態では、基本的には制御対象にお
いて異常（故障）が生じた時刻の１組のデータ組を１次
元データとして入出力データＩＯ２に用いるが、異常が
生じた時刻の前後のタイムチャートから第１の実施の形
態と同様にして作成したデータテーブル１４を２次元デ
ータとして入出力データＩＯ２に用いるようにしてもよ
い。つまり、入出力データＩＯ２は制御対象に異常が生
じたときに入出力データ読込手段１２に読み込まれる。
１次元データか２次元データかにはかかわらずシーケン
スプログラムＰＲ２に適用すれば論理矛盾の有無を検証
することができる。本実施形態では、シーケンスプログ
ラムＰＲ２が完成品であるから、論理矛盾が発生すれば
制御対象の異常と考えることができる。
いて異常（故障）が生じた時刻の１組のデータ組を１次
元データとして入出力データＩＯ２に用いるが、異常が
生じた時刻の前後のタイムチャートから第１の実施の形
態と同様にして作成したデータテーブル１４を２次元デ
ータとして入出力データＩＯ２に用いるようにしてもよ
い。つまり、入出力データＩＯ２は制御対象に異常が生
じたときに入出力データ読込手段１２に読み込まれる。
１次元データか２次元データかにはかかわらずシーケン
スプログラムＰＲ２に適用すれば論理矛盾の有無を検証
することができる。本実施形態では、シーケンスプログ
ラムＰＲ２が完成品であるから、論理矛盾が発生すれば
制御対象の異常と考えることができる。
【００４５】本実施形態においても第１の実施の形態と
同様に図６（ａ）のようなシーケンスプログラムＰＲ２
を想定する。このシーケンスプログラムをニモニックを
用いて記述すると図６（ｂ）のようになる。ここでは入
出力データＩＯ２として２次元データを用いるものと
し、制御対象の異常発生時の前後において得られた入力
Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ１０と出力Ｙ２０，Ｙ２１
と内部リレーＲ０とのオンオフの状態が入出力データＩ
Ｏ２として得られているものとする。つまり、第１の実
施の形態と同様にして、図７（ａ）のようなタイムチャ
ートを有する入出力データＩＯ２について図７（ｂ）の
ようなデータテーブル１４を作成する。ここに、故障診
断を行う場合には、入出力データＩＯ２のうちの各入力
および各出力の変化点ごとにデータ組を生成する。図７
（ａ）に実線で示す入出力データＩＯ２は制御対象が正
常である場合であって、図７（ａ）に破線で示す入出力
データＩＯ２は制御対象に故障が生じた場合の例を示し
ている。また、図７（ｂ）のデータテーブルは図７
（ａ）に破線で示す状態に対応しており、「Ｎｏ．」の
欄における０〜９の数字は図７（ａ）における各変化点
を示す数字０〜９に対応している。正常時と異常時とで
はＮｏ．４、Ｎｏ．５、Ｎｏ．７においてデータ組が変
化し、正常時においてはシーケンスプログラムＰＲ２と
データ組とは整合しているから、故障時にはこれらのデ
ータ組では論理矛盾が生じることになる。
同様に図６（ａ）のようなシーケンスプログラムＰＲ２
を想定する。このシーケンスプログラムをニモニックを
用いて記述すると図６（ｂ）のようになる。ここでは入
出力データＩＯ２として２次元データを用いるものと
し、制御対象の異常発生時の前後において得られた入力
Ｘ０，Ｘ１，Ｘ２，Ｘ３，Ｘ１０と出力Ｙ２０，Ｙ２１
と内部リレーＲ０とのオンオフの状態が入出力データＩ
Ｏ２として得られているものとする。つまり、第１の実
施の形態と同様にして、図７（ａ）のようなタイムチャ
ートを有する入出力データＩＯ２について図７（ｂ）の
ようなデータテーブル１４を作成する。ここに、故障診
断を行う場合には、入出力データＩＯ２のうちの各入力
および各出力の変化点ごとにデータ組を生成する。図７
（ａ）に実線で示す入出力データＩＯ２は制御対象が正
常である場合であって、図７（ａ）に破線で示す入出力
データＩＯ２は制御対象に故障が生じた場合の例を示し
ている。また、図７（ｂ）のデータテーブルは図７
（ａ）に破線で示す状態に対応しており、「Ｎｏ．」の
欄における０〜９の数字は図７（ａ）における各変化点
を示す数字０〜９に対応している。正常時と異常時とで
はＮｏ．４、Ｎｏ．５、Ｎｏ．７においてデータ組が変
化し、正常時においてはシーケンスプログラムＰＲ２と
データ組とは整合しているから、故障時にはこれらのデ
ータ組では論理矛盾が生じることになる。
【００４６】本実施形態では、このような論理矛盾の発
生に基づいて、制御対象における異常の発生箇所および
異常の発生原因となる入力を追跡する。異常の発生原因
によっては１次元データのみでは異常の発生箇所を特定
できないことがあるが、１次元データを適用する処理は
短時間で終了するから、まず１次元データで簡易的に異
常の発生箇所を検出し、１次元データでは異常の発生箇
所が検出されなかったときに２次元データを用いればよ
い。２次元データは異常の発生時点の前後の情報を含ん
でいるから、異常の発生箇所を確実に抽出することがで
きる。こうして異常の発生箇所が抽出されると、ルール
ベースに照合することによって、異常の発生原因の候補
を抽出することができる。ルールベースには、たとえば
図８のような形で各入力（原因信号）と異常原因とを対
応付けたルールが格納され、異常の発生箇所としての入
力が与えられると、異常の発生原因を抽出することがで
きる。
生に基づいて、制御対象における異常の発生箇所および
異常の発生原因となる入力を追跡する。異常の発生原因
によっては１次元データのみでは異常の発生箇所を特定
できないことがあるが、１次元データを適用する処理は
短時間で終了するから、まず１次元データで簡易的に異
常の発生箇所を検出し、１次元データでは異常の発生箇
所が検出されなかったときに２次元データを用いればよ
い。２次元データは異常の発生時点の前後の情報を含ん
でいるから、異常の発生箇所を確実に抽出することがで
きる。こうして異常の発生箇所が抽出されると、ルール
ベースに照合することによって、異常の発生原因の候補
を抽出することができる。ルールベースには、たとえば
図８のような形で各入力（原因信号）と異常原因とを対
応付けたルールが格納され、異常の発生箇所としての入
力が与えられると、異常の発生原因を抽出することがで
きる。
【００４７】制御対象の故障の有無を検出する処理手順
をまとめると図５のようになる。すなわち、制御対象に
異常が生じたときには、１次元データないし２次元デー
タを入出力データとしてデータテーブルを作成し（もし
くは、異常発生時点のデータ組を抽出し）、ＰＬＣに実
装されているシーケンスプログラムにデータ組を適用す
る。こうしてシーケンスプログラムにデータ組を適用し
たときの論理矛盾の有無を検証し（Ｓ１）、論理矛盾が
生じていれば論理矛盾の生じている入力および出力を抽
出し（Ｓ２）、さらに入力か出力かを判別する（Ｓ
３）。出力（内部リレーを含む）である場合には、次動
作判定手段１５においてラダーカバレッジを行うことで
故障の発生箇所（入力）を追跡する（Ｓ４）。ラダーカ
バレッジにより異常の発生箇所である入力が抽出される
か、ステップＳ３において入力と判断されている場合に
は、異常の原因箇所としての入力を抽出し（Ｓ５）、ル
ールベースに照合して異常の発生原因の候補を抽出する
（Ｓ６）。要するに、基本的には第１の実施の形態と同
様の処理によって、シーケンスプログラムＰＲ２の中に
おいて異常の発生箇所である入力を検出し、この入力に
よって制御対象における異常の原因箇所および異常の発
生原因をルールベースにより特定するのである。他の構
成および動作は第１の実施の形態と同様である。
をまとめると図５のようになる。すなわち、制御対象に
異常が生じたときには、１次元データないし２次元デー
タを入出力データとしてデータテーブルを作成し（もし
くは、異常発生時点のデータ組を抽出し）、ＰＬＣに実
装されているシーケンスプログラムにデータ組を適用す
る。こうしてシーケンスプログラムにデータ組を適用し
たときの論理矛盾の有無を検証し（Ｓ１）、論理矛盾が
生じていれば論理矛盾の生じている入力および出力を抽
出し（Ｓ２）、さらに入力か出力かを判別する（Ｓ
３）。出力（内部リレーを含む）である場合には、次動
作判定手段１５においてラダーカバレッジを行うことで
故障の発生箇所（入力）を追跡する（Ｓ４）。ラダーカ
バレッジにより異常の発生箇所である入力が抽出される
か、ステップＳ３において入力と判断されている場合に
は、異常の原因箇所としての入力を抽出し（Ｓ５）、ル
ールベースに照合して異常の発生原因の候補を抽出する
（Ｓ６）。要するに、基本的には第１の実施の形態と同
様の処理によって、シーケンスプログラムＰＲ２の中に
おいて異常の発生箇所である入力を検出し、この入力に
よって制御対象における異常の原因箇所および異常の発
生原因をルールベースにより特定するのである。他の構
成および動作は第１の実施の形態と同様である。
【００４８】（第３の実施の形態）本実施形態は、シー
ケンスプログラムの完成後にシーケンスプログラムを実
行することにより制御対象との整合性を検証しようとす
るものである。すなわち、シーケンスプログラムが要求
仕様を満たすように作成されているとしても、ＰＬＣと
制御対象との動作タイミングや制御対象の構成要素間の
動作タイミングにずれがあったり、制御対象を動作させ
るときに制御対象の構成要素間で干渉を生じたりするこ
とがある。このような現象は、要求仕様として与えられ
た入出力データに誤りが含まれている場合や、制御対象
の稼働中に制御対象の経時変化によって要求仕様として
最初に与えた入出力データとずれが生じてきた場合など
に生じる可能性がある。
ケンスプログラムの完成後にシーケンスプログラムを実
行することにより制御対象との整合性を検証しようとす
るものである。すなわち、シーケンスプログラムが要求
仕様を満たすように作成されているとしても、ＰＬＣと
制御対象との動作タイミングや制御対象の構成要素間の
動作タイミングにずれがあったり、制御対象を動作させ
るときに制御対象の構成要素間で干渉を生じたりするこ
とがある。このような現象は、要求仕様として与えられ
た入出力データに誤りが含まれている場合や、制御対象
の稼働中に制御対象の経時変化によって要求仕様として
最初に与えた入出力データとずれが生じてきた場合など
に生じる可能性がある。
【００４９】そこで、本実施形態では制御対象を実際に
制御するのではなく、図９に示すように、制御対象を模
擬するシミュレーションモデル２３を結果出力手段１６
に設けたディスプレイ装置に表示するとともに、ＰＬＣ
の動作を模擬する模擬制御手段２２によりシーケンスプ
ログラムを実行してシミュレーションモデル２３をディ
スプレイ装置の画面上で動作させるようにしてある。本
実施形態の機能は第１の実施の形態の装置ないし第２の
実施の形態の装置に付加してあり、プログラム読込手段
１１およびデータ読込手段１２は上述した実施形態のも
のと共通に用いている。ただし、本実施形態では、デー
タ読込手段１２を通して与えられる入出力データのうち
入力データのみを用いることになる。たとえば、要求仕
様として与えられる入出力データのうち入力データのみ
を抽出して用いたり、稼働中の制御対象に設けたセンサ
などによって発生する入力データのみを用いる。また、
出力データは模擬制御手段２２に入力データを与えるこ
とによって生成される。
制御するのではなく、図９に示すように、制御対象を模
擬するシミュレーションモデル２３を結果出力手段１６
に設けたディスプレイ装置に表示するとともに、ＰＬＣ
の動作を模擬する模擬制御手段２２によりシーケンスプ
ログラムを実行してシミュレーションモデル２３をディ
スプレイ装置の画面上で動作させるようにしてある。本
実施形態の機能は第１の実施の形態の装置ないし第２の
実施の形態の装置に付加してあり、プログラム読込手段
１１およびデータ読込手段１２は上述した実施形態のも
のと共通に用いている。ただし、本実施形態では、デー
タ読込手段１２を通して与えられる入出力データのうち
入力データのみを用いることになる。たとえば、要求仕
様として与えられる入出力データのうち入力データのみ
を抽出して用いたり、稼働中の制御対象に設けたセンサ
などによって発生する入力データのみを用いる。また、
出力データは模擬制御手段２２に入力データを与えるこ
とによって生成される。
【００５０】データ読込手段１２を通して得られた入力
データはタイミング規制手段２１に入力され、タイミン
グ規制手段２１においては入力データの立ち上がりおよ
び立ち下がりをタイミング生成手段２１ａでクロック信
号として生成された基準タイミングに同期させる。つま
り、タイミング規制手段２１では入力データのオンオフ
の最小間隔を基準タイミングの周期とする。タイミング
生成手段２１ａは基準タイミングの周期が可変であっ
て、基準タイミングの周期を変化させることによって制
御対象のタクトタイムを変化させたときのＰＬＣと制御
対象との整合性を検証することが可能になっている。タ
イミング規制手段２１から出力された入力データはＰＬ
Ｃを模擬する模擬制御手段２２に与えられ、入力データ
に対応する出力データが生成され、また結果出力手段１
６に設けたシミュレーションモデル２３が制御される。
したがって、シミュレーションモデル２３の動作をディ
スプレイ装置の画面上で確認することにより、制御対象
が正常に動作するか否かを容易に知ることができる。
データはタイミング規制手段２１に入力され、タイミン
グ規制手段２１においては入力データの立ち上がりおよ
び立ち下がりをタイミング生成手段２１ａでクロック信
号として生成された基準タイミングに同期させる。つま
り、タイミング規制手段２１では入力データのオンオフ
の最小間隔を基準タイミングの周期とする。タイミング
生成手段２１ａは基準タイミングの周期が可変であっ
て、基準タイミングの周期を変化させることによって制
御対象のタクトタイムを変化させたときのＰＬＣと制御
対象との整合性を検証することが可能になっている。タ
イミング規制手段２１から出力された入力データはＰＬ
Ｃを模擬する模擬制御手段２２に与えられ、入力データ
に対応する出力データが生成され、また結果出力手段１
６に設けたシミュレーションモデル２３が制御される。
したがって、シミュレーションモデル２３の動作をディ
スプレイ装置の画面上で確認することにより、制御対象
が正常に動作するか否かを容易に知ることができる。
【００５１】たとえば、要求仕様における入力データが
図１１（ａ）に示すものであるときに、タイミング生成
手段２１ａからの基準タイミングを図１１（ｂ）のよう
な周期で与え基準タイミングの立ち上がりによって入力
データをラッチするとすれば、図１１（ｃ）のような入
力データを模擬制御手段２２に与えることができる。ま
た、図１１（ｄ）のような周期で基準タイミングを与え
ると、図１１（ｅ）のようになる。つまり、基準タイミ
ングが可変であることによって、１つの入力データから
立ち上がりおよび立ち下がりのタイミングが異なる入力
データを生成することができる。このように基準タイミ
ングを変更して模擬制御手段２２を動作させたときの入
出力データおよびデータテーブル１４の例を図１２およ
び図１３に示す。図１２および図１３において各図
（ａ）は入出力データのタイムチャートであり、各図
（ｂ）は各図（ａ）に対応するデータテーブル１４であ
る。また、図１２は基準タイミングの周期を１０ｍｓｅ
ｃとした場合、図１３は５ｍｓｅｃとした場合の例を示
している。このように、基準タイミングの周期を１０ｍ
ｓｅｃ、２０ｍｓｅｃ、２５ｍｓｅｃなどに変化させて
シーケンスプログラムの動作を確認すれば、シーケンス
プログラムで対応可能な制御対象の動作速度を知ること
が可能になる。つまり、制御対象のタクトタイムを変化
させたときのシーケンスプログラムと制御対象との整合
性を検証することが可能になる。
図１１（ａ）に示すものであるときに、タイミング生成
手段２１ａからの基準タイミングを図１１（ｂ）のよう
な周期で与え基準タイミングの立ち上がりによって入力
データをラッチするとすれば、図１１（ｃ）のような入
力データを模擬制御手段２２に与えることができる。ま
た、図１１（ｄ）のような周期で基準タイミングを与え
ると、図１１（ｅ）のようになる。つまり、基準タイミ
ングが可変であることによって、１つの入力データから
立ち上がりおよび立ち下がりのタイミングが異なる入力
データを生成することができる。このように基準タイミ
ングを変更して模擬制御手段２２を動作させたときの入
出力データおよびデータテーブル１４の例を図１２およ
び図１３に示す。図１２および図１３において各図
（ａ）は入出力データのタイムチャートであり、各図
（ｂ）は各図（ａ）に対応するデータテーブル１４であ
る。また、図１２は基準タイミングの周期を１０ｍｓｅ
ｃとした場合、図１３は５ｍｓｅｃとした場合の例を示
している。このように、基準タイミングの周期を１０ｍ
ｓｅｃ、２０ｍｓｅｃ、２５ｍｓｅｃなどに変化させて
シーケンスプログラムの動作を確認すれば、シーケンス
プログラムで対応可能な制御対象の動作速度を知ること
が可能になる。つまり、制御対象のタクトタイムを変化
させたときのシーケンスプログラムと制御対象との整合
性を検証することが可能になる。
【００５２】ところで、工場設備のような制御対象は、
図１４に示すように、それぞれ１つの処理を完結させる
複数個のブロックＢＬ１〜ＢＬ３の集合として構成され
ることが多い。図示例では、部品を供給する投入部とし
てのブロックＢＬ１と、部品の位置を監視して定位置に
調整する調整部としてのブロックＢＬ２と、部品を組み
付けるベースマシン部としてのブロックＢＬ３とが結合
されて制御対象として構成されている。つまり、ブロッ
クＢＬ１の結果を受けてブロックＢＬ２が動作し、さら
にブロックＢＬ２の結果を受けてブロックＢＬ３が動作
するように、ブロックＢＬ１〜ＢＬ３が関連付けられて
いる。そこで、シミュレーションモデル２３を各ブロッ
クＢＬ１〜ＢＬ３に対応するサブモデルの組合せとして
構成してある。シミュレーションモデル２３をサブモデ
ルの組合せとして構成することによって、制御対象とシ
ーケンスプログラムとの整合性の検証を行う部位の範囲
を絞ることが可能になり、作業を迅速に行うことが可能
になる。しかも、サブモデルとなるプログラムをライブ
ラリ化しておけば、各サブモデルを他の制御対象の構成
要素として組み込むことが可能になり、シミュレーショ
ンモデルを効率よく作成することが可能になる。
図１４に示すように、それぞれ１つの処理を完結させる
複数個のブロックＢＬ１〜ＢＬ３の集合として構成され
ることが多い。図示例では、部品を供給する投入部とし
てのブロックＢＬ１と、部品の位置を監視して定位置に
調整する調整部としてのブロックＢＬ２と、部品を組み
付けるベースマシン部としてのブロックＢＬ３とが結合
されて制御対象として構成されている。つまり、ブロッ
クＢＬ１の結果を受けてブロックＢＬ２が動作し、さら
にブロックＢＬ２の結果を受けてブロックＢＬ３が動作
するように、ブロックＢＬ１〜ＢＬ３が関連付けられて
いる。そこで、シミュレーションモデル２３を各ブロッ
クＢＬ１〜ＢＬ３に対応するサブモデルの組合せとして
構成してある。シミュレーションモデル２３をサブモデ
ルの組合せとして構成することによって、制御対象とシ
ーケンスプログラムとの整合性の検証を行う部位の範囲
を絞ることが可能になり、作業を迅速に行うことが可能
になる。しかも、サブモデルとなるプログラムをライブ
ラリ化しておけば、各サブモデルを他の制御対象の構成
要素として組み込むことが可能になり、シミュレーショ
ンモデルを効率よく作成することが可能になる。
【００５３】一方、このような制御対象に対応するシー
ケンスプログラムは、各ブロックＢＬ１〜ＢＬ３に対応
する部分ごとのモジュールの組み合わせとして作成され
る。つまり、ブロックＢＬ１に対応するモジュールの結
果を受けてブロックＢＬ２に対応するモジュールが実行
され、ブロックＢＬ２に対応するモジュールの結果を受
けてブロックＢＬ３に対応するモジュールが実行される
ようにモジュール間が関連付けられることになる。シー
ケンスプログラムを上述のような基準でモジュール化し
ておけば、第１の実施の形態や第２の実施の形態におい
てラダーカバレッジを行う範囲をモジュールの範囲とす
ることが可能になり、矛盾の発生箇所や調整箇所の特定
が容易になる。なお、ブロックＢＬ１〜ＢＬ３ごとにモ
ジュールを構成してライブラリ化しておけば、他の制御
対象において同様のブロックＢＬ１〜ＢＬ３を用いる際
にモジュールを再利用することができ、シーケンスプロ
グラムの作成効率を高めることができる。
ケンスプログラムは、各ブロックＢＬ１〜ＢＬ３に対応
する部分ごとのモジュールの組み合わせとして作成され
る。つまり、ブロックＢＬ１に対応するモジュールの結
果を受けてブロックＢＬ２に対応するモジュールが実行
され、ブロックＢＬ２に対応するモジュールの結果を受
けてブロックＢＬ３に対応するモジュールが実行される
ようにモジュール間が関連付けられることになる。シー
ケンスプログラムを上述のような基準でモジュール化し
ておけば、第１の実施の形態や第２の実施の形態におい
てラダーカバレッジを行う範囲をモジュールの範囲とす
ることが可能になり、矛盾の発生箇所や調整箇所の特定
が容易になる。なお、ブロックＢＬ１〜ＢＬ３ごとにモ
ジュールを構成してライブラリ化しておけば、他の制御
対象において同様のブロックＢＬ１〜ＢＬ３を用いる際
にモジュールを再利用することができ、シーケンスプロ
グラムの作成効率を高めることができる。
【００５４】シーケンスプログラムをモジュールに分割
する技術として、制御対象を構成するブロックＢＬ１〜
ＢＬ３を単位とするのではなく、シーケンスプログラム
自身の構造に基づいてモジュール化することも可能であ
る。いま、シーケンスプログラムをラダー図で表せば図
１５（ａ）のようになり、ニモニックで表せば図１５
（ｂ）のようになるものとする。ラダー図においては１
つの出力に接続されている線が、この出力を決定する入
力であるから、シーケンスプログラムを各出力ごとにモ
ジュールとして分割し、各モジュールにおける出力が他
のモジュールの入力として用いられるときには、入力と
なる側のモジュールを出力となる側のモジュールの下位
とする関係で階層化することができる。ここで、図示例
の入出力の関連を一覧できるように表形式で表すと図１
６のようになる。図１６において左欄は入力、右欄は出
力であり、このような入出力の関係は第１の実施の形態
や第２の実施の形態において用いたラダーカバレッジの
技術を採用して各出力に関連する入力を遡ることによっ
て容易に知ることができる。図示例では、出力Ｙ１０は
内部リレー（制御対象への入出力ではなくメモリ上のフ
ラグ）Ｒ０に対する入力であって、かつ内部リレーＲ０
は出力Ｙ２１の入力になっており、出力Ｙ２１は他の出
力を決める入力にはなっていない。また、出力Ｙ２０は
シーケンスプログラムの他の箇所での入力になっていな
い。そこで、出力Ｙ２０と出力Ｙ２１とは同位の階層と
し、出力Ｙ１０は出力Ｙ２１の下位の階層として、各出
力Ｙ１０，Ｙ２０，Ｙ２１を階層化することができる。
すなわち、図１６において各出力Ｙ１０，Ｙ２０，Ｙ２
１に対応したモジュールＭ１〜Ｍ３を設定しているとす
れば、図１７に示すような階層関係をシーケンスプログ
ラムから求めることができる。このようにシーケンスプ
ログラムをモジュール化するとともに階層化しておけ
ば、矛盾が生じたときに矛盾の発生箇所や調整箇所を特
定するために行うラダーカバレッジの範囲を制限するこ
とができる。
する技術として、制御対象を構成するブロックＢＬ１〜
ＢＬ３を単位とするのではなく、シーケンスプログラム
自身の構造に基づいてモジュール化することも可能であ
る。いま、シーケンスプログラムをラダー図で表せば図
１５（ａ）のようになり、ニモニックで表せば図１５
（ｂ）のようになるものとする。ラダー図においては１
つの出力に接続されている線が、この出力を決定する入
力であるから、シーケンスプログラムを各出力ごとにモ
ジュールとして分割し、各モジュールにおける出力が他
のモジュールの入力として用いられるときには、入力と
なる側のモジュールを出力となる側のモジュールの下位
とする関係で階層化することができる。ここで、図示例
の入出力の関連を一覧できるように表形式で表すと図１
６のようになる。図１６において左欄は入力、右欄は出
力であり、このような入出力の関係は第１の実施の形態
や第２の実施の形態において用いたラダーカバレッジの
技術を採用して各出力に関連する入力を遡ることによっ
て容易に知ることができる。図示例では、出力Ｙ１０は
内部リレー（制御対象への入出力ではなくメモリ上のフ
ラグ）Ｒ０に対する入力であって、かつ内部リレーＲ０
は出力Ｙ２１の入力になっており、出力Ｙ２１は他の出
力を決める入力にはなっていない。また、出力Ｙ２０は
シーケンスプログラムの他の箇所での入力になっていな
い。そこで、出力Ｙ２０と出力Ｙ２１とは同位の階層と
し、出力Ｙ１０は出力Ｙ２１の下位の階層として、各出
力Ｙ１０，Ｙ２０，Ｙ２１を階層化することができる。
すなわち、図１６において各出力Ｙ１０，Ｙ２０，Ｙ２
１に対応したモジュールＭ１〜Ｍ３を設定しているとす
れば、図１７に示すような階層関係をシーケンスプログ
ラムから求めることができる。このようにシーケンスプ
ログラムをモジュール化するとともに階層化しておけ
ば、矛盾が生じたときに矛盾の発生箇所や調整箇所を特
定するために行うラダーカバレッジの範囲を制限するこ
とができる。
【００５５】本実施形態を用いて完成後のシーケンスプ
ログラムと制御対象との整合性を検証する際の処理手順
について以下に例を示す。本実施形態では、図１０に示
すように、シミュレーションを行う前に、シーケンスプ
ログラムと要求仕様との論理矛盾の有無を検証する（Ｓ
１）。これには模擬制御手段２２により得られる入出力
データからデータテーブル１４を作成して第１の実施の
形態と同様の技術を適用する。つまり、各データ組をシ
ーケンスプログラムに適用して論理矛盾の有無を検証す
る。論理矛盾があれば、その出力から遡って関連する入
力を抽出するラダーカバレッジを行うことにより論理矛
盾の箇所を絞り込む（Ｓ２）。論理矛盾の箇所を絞り込
めば、その箇所がどのサブモデルに対応するかを知るこ
とができるから、サブモデルを選択し（Ｓ３）、シーケ
ンスプログラムにおいてサブモデルを動作させる部分を
模擬制御手段２２によって実行する（Ｓ４）。模擬制御
手段２２によりシーケンスプログラムを実行した結果は
シミュレーションモデル２３の動作としてディスプレイ
装置の画面上に表示される（Ｓ５）。ここで、シミュレ
ーションモデルの動きによって異常の発生箇所を知るこ
とができる。シミュレーションモデルの動きに異常があ
れば（Ｓ６）、論理矛盾を生じた部位に相当する入力デ
ータを修正して（Ｓ７）、サブモデルを再度動作させる
（Ｓ８）。入力データの修正は、論理矛盾を生じたと考
えられる入力データのオンオフを反転する修正とする。
ステップＳ８においてサブモデルを動作させた結果はデ
ィスプレイ装置の画面上に表示され（Ｓ９）、ここで動
作の異常がなければ論理矛盾を生じた原因箇所が修正し
た入力データの箇所であるとして、論理矛盾の原因箇所
を出力する（Ｓ１０）。論理矛盾を解消するにはどの入
力の値を反転させればよいかを知ることができ、用意さ
れたシーケンスプログラムによって制御対象を動作させ
るには、どの箇所でどのようなタイミングの信号を発生
させればよいかがわかり、実際の制御対象の調整が容易
になるのである。ここにおいて、基準タイミングを変化
させることによっても動作の異常を解消することが可能
な場合もあるから、必要に応じて基準タイミングを変化
させて同様の作業を行うようにしてもよい。
ログラムと制御対象との整合性を検証する際の処理手順
について以下に例を示す。本実施形態では、図１０に示
すように、シミュレーションを行う前に、シーケンスプ
ログラムと要求仕様との論理矛盾の有無を検証する（Ｓ
１）。これには模擬制御手段２２により得られる入出力
データからデータテーブル１４を作成して第１の実施の
形態と同様の技術を適用する。つまり、各データ組をシ
ーケンスプログラムに適用して論理矛盾の有無を検証す
る。論理矛盾があれば、その出力から遡って関連する入
力を抽出するラダーカバレッジを行うことにより論理矛
盾の箇所を絞り込む（Ｓ２）。論理矛盾の箇所を絞り込
めば、その箇所がどのサブモデルに対応するかを知るこ
とができるから、サブモデルを選択し（Ｓ３）、シーケ
ンスプログラムにおいてサブモデルを動作させる部分を
模擬制御手段２２によって実行する（Ｓ４）。模擬制御
手段２２によりシーケンスプログラムを実行した結果は
シミュレーションモデル２３の動作としてディスプレイ
装置の画面上に表示される（Ｓ５）。ここで、シミュレ
ーションモデルの動きによって異常の発生箇所を知るこ
とができる。シミュレーションモデルの動きに異常があ
れば（Ｓ６）、論理矛盾を生じた部位に相当する入力デ
ータを修正して（Ｓ７）、サブモデルを再度動作させる
（Ｓ８）。入力データの修正は、論理矛盾を生じたと考
えられる入力データのオンオフを反転する修正とする。
ステップＳ８においてサブモデルを動作させた結果はデ
ィスプレイ装置の画面上に表示され（Ｓ９）、ここで動
作の異常がなければ論理矛盾を生じた原因箇所が修正し
た入力データの箇所であるとして、論理矛盾の原因箇所
を出力する（Ｓ１０）。論理矛盾を解消するにはどの入
力の値を反転させればよいかを知ることができ、用意さ
れたシーケンスプログラムによって制御対象を動作させ
るには、どの箇所でどのようなタイミングの信号を発生
させればよいかがわかり、実際の制御対象の調整が容易
になるのである。ここにおいて、基準タイミングを変化
させることによっても動作の異常を解消することが可能
な場合もあるから、必要に応じて基準タイミングを変化
させて同様の作業を行うようにしてもよい。
【００５６】ところで、上述したように模擬制御手段２
２においては入力データに基づいて出力データを生成す
るから、この出力データを入力データと併せることによ
って入出力データに相当するタイムチャートを生成する
ことができる。このようにして生成されたタイムチャー
トは結果出力手段１６を通してディスプレイ装置の画面
に表示される。また、このタイムチャートとシミュレー
ションモデル２３とを併せてディスプレイ装置の画面に
表示し、シミュレーションモデル２３の動きをタイムチ
ャートに関連付けて表示すれば、シミュレーションモデ
ル２３の動作に異常があるときに、どの入力ないし出力
に関連して異常が生じたのかを容易に知ることができる
ことになる。あるいはまた、模擬制御手段２２により生
成したタイムチャートを要求仕様のタイムチャートとと
もにディスプレイ装置の画面に表示し、両者の比較によ
り相違点を抽出し、抽出結果のメッセージを可視化して
出力するようにしてもよい。
２においては入力データに基づいて出力データを生成す
るから、この出力データを入力データと併せることによ
って入出力データに相当するタイムチャートを生成する
ことができる。このようにして生成されたタイムチャー
トは結果出力手段１６を通してディスプレイ装置の画面
に表示される。また、このタイムチャートとシミュレー
ションモデル２３とを併せてディスプレイ装置の画面に
表示し、シミュレーションモデル２３の動きをタイムチ
ャートに関連付けて表示すれば、シミュレーションモデ
ル２３の動作に異常があるときに、どの入力ないし出力
に関連して異常が生じたのかを容易に知ることができる
ことになる。あるいはまた、模擬制御手段２２により生
成したタイムチャートを要求仕様のタイムチャートとと
もにディスプレイ装置の画面に表示し、両者の比較によ
り相違点を抽出し、抽出結果のメッセージを可視化して
出力するようにしてもよい。
【００５７】なお、上述したように、通信手段１７を通
してシーケンスプログラムや入出力データを受け取るよ
うにすれば、ＰＬＣや制御対象が遠方に設置されている
場合でも、第２の実施の形態において説明した故障診断
の技術や第３の実施の形態において説明した模擬制御手
段２２を用いることによって、ＰＬＣや制御対象の異常
を容易に検出することができ、遠隔地に設置されたＰＬ
Ｃや制御対象であってもシーケンスプログラムの修正や
制御対象の調整の指示が可能になる。
してシーケンスプログラムや入出力データを受け取るよ
うにすれば、ＰＬＣや制御対象が遠方に設置されている
場合でも、第２の実施の形態において説明した故障診断
の技術や第３の実施の形態において説明した模擬制御手
段２２を用いることによって、ＰＬＣや制御対象の異常
を容易に検出することができ、遠隔地に設置されたＰＬ
Ｃや制御対象であってもシーケンスプログラムの修正や
制御対象の調整の指示が可能になる。
【００５８】たとえば、制御対象に原因不明の異常が生
じたときに、シーケンスプログラムおよび実動作の入出
力データをシーケンスプログラムの開発元に転送し、開
発元において制御対象の動作を模擬制御手段２２で模擬
したり、次動作判定手段１５で整合性を検証したりする
ことにより、異常の箇所および原因を追跡することが可
能になる。
じたときに、シーケンスプログラムおよび実動作の入出
力データをシーケンスプログラムの開発元に転送し、開
発元において制御対象の動作を模擬制御手段２２で模擬
したり、次動作判定手段１５で整合性を検証したりする
ことにより、異常の箇所および原因を追跡することが可
能になる。
【００５９】上述した実施形態は図１ないし図９に示し
た装置をコンピュータにより実現する例を示したが、Ｐ
ＬＣに組み込むようにしてもよい。この場合には模擬制
御手段２２としてＰＬＣを用いることができるから、よ
り正確なシミュレーションが可能になる。
た装置をコンピュータにより実現する例を示したが、Ｐ
ＬＣに組み込むようにしてもよい。この場合には模擬制
御手段２２としてＰＬＣを用いることができるから、よ
り正確なシミュレーションが可能になる。
【００６０】
【発明の効果】請求項１の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入出力データが読込手段を通して入力され、
次動作判定手段により所定時刻における入出力データの
組合せをシーケンスプログラムに適用したときのシーケ
ンスプログラムと入出力データの組合せとの整合性から
論理矛盾の有無を判定するとともに、論理矛盾が生じて
いるときにはシーケンスプログラムのうち論理矛盾を生
じた入出力の組合せから遡って関連する入出力を追跡す
ることにより論理矛盾の原因を推論し、推論結果を結果
出力手段から出力することを特徴としており、シーケン
スプログラムと入出力データの組合せとの整合性によっ
て論理矛盾の有無を判断するから、論理演算のみの簡単
な処理でシーケンスプログラムと入出力データとの整合
性を検証することができる。しかも、論理矛盾があると
きには入出力を遡って追跡することにより論理矛盾の原
因を推論することができるから、論理矛盾の原因箇所を
修正するように対処することで異常に対して容易に対処
することができる。さらに、論理矛盾が生じた箇所に関
連した箇所のみで論理矛盾の原因箇所を推論するから比
較的短時間で原因箇所を見つけることが可能になる。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入出力データが読込手段を通して入力され、
次動作判定手段により所定時刻における入出力データの
組合せをシーケンスプログラムに適用したときのシーケ
ンスプログラムと入出力データの組合せとの整合性から
論理矛盾の有無を判定するとともに、論理矛盾が生じて
いるときにはシーケンスプログラムのうち論理矛盾を生
じた入出力の組合せから遡って関連する入出力を追跡す
ることにより論理矛盾の原因を推論し、推論結果を結果
出力手段から出力することを特徴としており、シーケン
スプログラムと入出力データの組合せとの整合性によっ
て論理矛盾の有無を判断するから、論理演算のみの簡単
な処理でシーケンスプログラムと入出力データとの整合
性を検証することができる。しかも、論理矛盾があると
きには入出力を遡って追跡することにより論理矛盾の原
因を推論することができるから、論理矛盾の原因箇所を
修正するように対処することで異常に対して容易に対処
することができる。さらに、論理矛盾が生じた箇所に関
連した箇所のみで論理矛盾の原因箇所を推論するから比
較的短時間で原因箇所を見つけることが可能になる。
【００６１】請求項２の発明は、請求項１の発明におい
て、前記入出力データを制御対象の動作タイミングの要
求仕様を表す入出力データとし、この入出力データから
入出力動作解読手段を用いて時刻毎の組合せをデータ組
として抽出することによりデータ組の時系列であるデー
タテーブルを作成し、前記次動作判定手段ではデータテ
ーブルの各データ組とシーケンスプログラムとの整合性
から論理矛盾の有無を判定することにより、シーケンス
プログラムの中での論理矛盾の原因箇所を推論すること
を特徴としており、入出力データからデータテーブルを
作成し、データ組をシーケンスプログラムに適用して論
理矛盾の有無を検出するから、シーケンスプログラムを
実行することなくデータテーブルにおけるデータ組をシ
ーケンスプログラムに適用するだけの簡単な処理でシー
ケンスプログラムにおける誤り箇所を比較的容易に発見
することができる。
て、前記入出力データを制御対象の動作タイミングの要
求仕様を表す入出力データとし、この入出力データから
入出力動作解読手段を用いて時刻毎の組合せをデータ組
として抽出することによりデータ組の時系列であるデー
タテーブルを作成し、前記次動作判定手段ではデータテ
ーブルの各データ組とシーケンスプログラムとの整合性
から論理矛盾の有無を判定することにより、シーケンス
プログラムの中での論理矛盾の原因箇所を推論すること
を特徴としており、入出力データからデータテーブルを
作成し、データ組をシーケンスプログラムに適用して論
理矛盾の有無を検出するから、シーケンスプログラムを
実行することなくデータテーブルにおけるデータ組をシ
ーケンスプログラムに適用するだけの簡単な処理でシー
ケンスプログラムにおける誤り箇所を比較的容易に発見
することができる。
【００６２】請求項３の発明は、請求項２の発明におい
て、前記結果出力手段では前記要求仕様のうち論理矛盾
を生じたデータ組を含む部分のタイムチャートを可視化
して出力するとともに前記タイムチャートの中に論理矛
盾を生じたタイミングを示し、前記次動作判定手段によ
り推論された矛盾の原因箇所および内容を表すメッセー
ジをタイムチャートとともに可視化して出力することを
特徴としており、原因箇所および内容を表すメッセージ
をタイムチャートとともに可視化して出力するから、タ
イムチャートによって論理矛盾の箇所を容易に特定する
ことができるとともに、メッセージによって論理矛盾の
原因箇所を特定するのが容易である。
て、前記結果出力手段では前記要求仕様のうち論理矛盾
を生じたデータ組を含む部分のタイムチャートを可視化
して出力するとともに前記タイムチャートの中に論理矛
盾を生じたタイミングを示し、前記次動作判定手段によ
り推論された矛盾の原因箇所および内容を表すメッセー
ジをタイムチャートとともに可視化して出力することを
特徴としており、原因箇所および内容を表すメッセージ
をタイムチャートとともに可視化して出力するから、タ
イムチャートによって論理矛盾の箇所を容易に特定する
ことができるとともに、メッセージによって論理矛盾の
原因箇所を特定するのが容易である。
【００６３】請求項４の発明は、請求項２または請求項
３の発明において、前記次動作判定手段により推論され
た前記シーケンスプログラム中での論理矛盾の原因箇所
について修正案を作成し、作成した修正案のうち論理矛
盾を解消する修正案を結果出力手段により可視化して出
力することを特徴としており、論理矛盾を解消する修正
案が示されるから、論理矛盾を生じた原因に対する対処
が容易になる。
３の発明において、前記次動作判定手段により推論され
た前記シーケンスプログラム中での論理矛盾の原因箇所
について修正案を作成し、作成した修正案のうち論理矛
盾を解消する修正案を結果出力手段により可視化して出
力することを特徴としており、論理矛盾を解消する修正
案が示されるから、論理矛盾を生じた原因に対する対処
が容易になる。
【００６４】請求項５の発明は、請求項１の発明におい
て、前記入出力データを実動作時の制御対象の異常発生
の時刻における入出力データとし、前記次動作判定手段
ではこの入出力データのデータ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するこ
とを特徴としており、論理矛盾の有無によって制御対象
における異常の有無を簡単な処理で容易に抽出すること
ができる。
て、前記入出力データを実動作時の制御対象の異常発生
の時刻における入出力データとし、前記次動作判定手段
ではこの入出力データのデータ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するこ
とを特徴としており、論理矛盾の有無によって制御対象
における異常の有無を簡単な処理で容易に抽出すること
ができる。
【００６５】請求項６の発明は、請求項１の発明におい
て、前記入出力データを制御対象の異常発生の時刻を含
む所定の時間範囲の入出力データとし、この入出力デー
タから入出力動作解読手段を用いて時刻毎の組合せをデ
ータ組として抽出することによりデータ組の時系列であ
るデータテーブルを作成し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、制御
対象について論理矛盾の原因箇所を推論することを特徴
としており、論理矛盾の有無によって制御対象における
異常の有無を簡単な処理で容易に抽出することができ
る。
て、前記入出力データを制御対象の異常発生の時刻を含
む所定の時間範囲の入出力データとし、この入出力デー
タから入出力動作解読手段を用いて時刻毎の組合せをデ
ータ組として抽出することによりデータ組の時系列であ
るデータテーブルを作成し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、制御
対象について論理矛盾の原因箇所を推論することを特徴
としており、論理矛盾の有無によって制御対象における
異常の有無を簡単な処理で容易に抽出することができ
る。
【００６６】請求項７の発明は、請求項５または請求項
６の発明において、前記次動作判定手段により推論され
た矛盾の原因箇所および内容を表すメッセージを結果出
力手段により可視化して出力することを特徴としてお
り、メッセージによって論理矛盾の原因箇所および内容
の特定が容易になる。
６の発明において、前記次動作判定手段により推論され
た矛盾の原因箇所および内容を表すメッセージを結果出
力手段により可視化して出力することを特徴としてお
り、メッセージによって論理矛盾の原因箇所および内容
の特定が容易になる。
【００６７】請求項８の発明は、請求項５ないし請求項
７の発明において、前記シーケンスプログラムが制御対
象を実動作させるプログラマブルコントローラにすでに
実装されているシーケンスプログラムであって、通信手
段を介してプログラマブルコントローラから転送され、
さらに前記入出力データが通信手段を介してプログラマ
ブルコントローラから転送されることを特徴としてお
り、通信手段を備えることによって、プログラマブルコ
ントローラおよび制御対象が遠方に設置されている場合
でも故障診断を容易に行うことができる。
７の発明において、前記シーケンスプログラムが制御対
象を実動作させるプログラマブルコントローラにすでに
実装されているシーケンスプログラムであって、通信手
段を介してプログラマブルコントローラから転送され、
さらに前記入出力データが通信手段を介してプログラマ
ブルコントローラから転送されることを特徴としてお
り、通信手段を備えることによって、プログラマブルコ
ントローラおよび制御対象が遠方に設置されている場合
でも故障診断を容易に行うことができる。
【００６８】請求項９の発明は、プログラマブルコント
ローラを動作させるシーケンスプログラムおよび前記シ
ーケンスプログラムに関連付けたプログラマブルコント
ローラの入力データが読込手段を通して入力され、プロ
グラマブルコントローラと等価な模擬制御手段に前記入
力データを与えてシーケンスプログラムを実行するとと
もに、制御対象を模擬して結果出力手段がディスプレイ
装置に表示したシミュレーションモデルを、模擬制御手
段でのシーケンスプログラムの実行に伴って動作させる
ことを特徴としており、模擬制御手段を用いてシーケン
スプログラムによりシミュレーションモデルを動作させ
ることによって、シーケンスプログラムにより制御対象
を実際に動作させることなく制御対象に対するシーケン
スプログラムの整合性を事前に検証することができる。
ローラを動作させるシーケンスプログラムおよび前記シ
ーケンスプログラムに関連付けたプログラマブルコント
ローラの入力データが読込手段を通して入力され、プロ
グラマブルコントローラと等価な模擬制御手段に前記入
力データを与えてシーケンスプログラムを実行するとと
もに、制御対象を模擬して結果出力手段がディスプレイ
装置に表示したシミュレーションモデルを、模擬制御手
段でのシーケンスプログラムの実行に伴って動作させる
ことを特徴としており、模擬制御手段を用いてシーケン
スプログラムによりシミュレーションモデルを動作させ
ることによって、シーケンスプログラムにより制御対象
を実際に動作させることなく制御対象に対するシーケン
スプログラムの整合性を事前に検証することができる。
【００６９】請求項１０の発明は、請求項９の発明にお
いて、前記模擬制御手段に与える入力データのオンオフ
の時間間隔の最小単位をタイミング生成手段により生成
した基準タイミングの周期とするようにタイミング規制
手段で規制し、タイミング生成手段では基準タイミング
の周期を可変としていることを特徴としており、基準タ
イミングを調節することによって模擬制御手段を動作さ
せる際の入力データの時間間隔を調節することができる
から、制御対象のタクトタイムを種々変更してシーケン
スプログラムとの整合性を検証することができる。
いて、前記模擬制御手段に与える入力データのオンオフ
の時間間隔の最小単位をタイミング生成手段により生成
した基準タイミングの周期とするようにタイミング規制
手段で規制し、タイミング生成手段では基準タイミング
の周期を可変としていることを特徴としており、基準タ
イミングを調節することによって模擬制御手段を動作さ
せる際の入力データの時間間隔を調節することができる
から、制御対象のタクトタイムを種々変更してシーケン
スプログラムとの整合性を検証することができる。
【００７０】請求項１１の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが読込手段を通して入力され、入
力データのオンオフの時間間隔の最小単位をタイミング
生成手段により生成した基準タイミングの周期とするよ
うにタイミング規制手段で規制するとともに、タイミン
グ生成手段では基準タイミングの周期を可変としてあ
り、さらにプログラマブルコントローラと等価な模擬制
御手段に前記入力データを与えてシーケンスプログラム
を実行するとともに、模擬制御手段でのシーケンスプロ
グラムの実行に伴う出力データと模擬制御手段に与えら
れた入力データとから結果出力手段によりタイムチャー
トを生成することを特徴としており、基準タイミングを
調節することによって模擬制御手段を動作させる際の入
力データの時間間隔を調節することができるから、制御
対象のタクトタイムを種々変更してシーケンスプログラ
ムとの整合性を検証することができる。しかも、タイム
チャートを生成することにより視覚的に異常の有無を抽
出することが可能になる。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが読込手段を通して入力され、入
力データのオンオフの時間間隔の最小単位をタイミング
生成手段により生成した基準タイミングの周期とするよ
うにタイミング規制手段で規制するとともに、タイミン
グ生成手段では基準タイミングの周期を可変としてあ
り、さらにプログラマブルコントローラと等価な模擬制
御手段に前記入力データを与えてシーケンスプログラム
を実行するとともに、模擬制御手段でのシーケンスプロ
グラムの実行に伴う出力データと模擬制御手段に与えら
れた入力データとから結果出力手段によりタイムチャー
トを生成することを特徴としており、基準タイミングを
調節することによって模擬制御手段を動作させる際の入
力データの時間間隔を調節することができるから、制御
対象のタクトタイムを種々変更してシーケンスプログラ
ムとの整合性を検証することができる。しかも、タイム
チャートを生成することにより視覚的に異常の有無を抽
出することが可能になる。
【００７１】請求項１２の発明は、請求項１１の発明に
おいて、前記結果出力手段では、制御対象を模擬してデ
ィスプレイ装置に表示したシミュレーションモデルを、
前記タイムチャートにより表される入出力データのタイ
ミングで動作させることを特徴としており、シミュレー
ションモデルとタイムチャートとを併用してシーケンス
プログラムと制御対象との整合性を容易に検証すること
ができる。
おいて、前記結果出力手段では、制御対象を模擬してデ
ィスプレイ装置に表示したシミュレーションモデルを、
前記タイムチャートにより表される入出力データのタイ
ミングで動作させることを特徴としており、シミュレー
ションモデルとタイムチャートとを併用してシーケンス
プログラムと制御対象との整合性を容易に検証すること
ができる。
【００７２】請求項１３の発明は、請求項１１の発明に
おいて、前記結果出力手段では、制御対象の動作タイミ
ングの要求仕様として与えられる入出力データのタイム
チャートと、前記タイムチャートとを比較することによ
り相違点を抽出し、抽出結果のメッセージを可視化して
出力することを特徴としており、要求仕様によるタイム
チャートと模擬制御手段により生成したタイムチャート
との比較によってシーケンスプログラムと制御対象との
整合性を容易に検証することができる。
おいて、前記結果出力手段では、制御対象の動作タイミ
ングの要求仕様として与えられる入出力データのタイム
チャートと、前記タイムチャートとを比較することによ
り相違点を抽出し、抽出結果のメッセージを可視化して
出力することを特徴としており、要求仕様によるタイム
チャートと模擬制御手段により生成したタイムチャート
との比較によってシーケンスプログラムと制御対象との
整合性を容易に検証することができる。
【００７３】請求項１４の発明は、請求項９ないし請求
項１３の発明において、前記制御対象がそれぞれ１つの
処理を完結させる複数個のブロックの集合であって、前
記シミュレーションモデルが各ブロックに対応するサブ
モデルの組合せとして構成されていることを特徴として
おり、シーケンスプログラムと制御対象との整合性の検
証をサブモデル単位で行うことができ、制御対象の全体
について整合性を検証する場合に比較して短時間で処理
することができる。
項１３の発明において、前記制御対象がそれぞれ１つの
処理を完結させる複数個のブロックの集合であって、前
記シミュレーションモデルが各ブロックに対応するサブ
モデルの組合せとして構成されていることを特徴として
おり、シーケンスプログラムと制御対象との整合性の検
証をサブモデル単位で行うことができ、制御対象の全体
について整合性を検証する場合に比較して短時間で処理
することができる。
【００７４】請求項１５の発明は、請求項９ないし請求
項１４の発明において、前記シーケンスプログラムが制
御対象を実動作させるプログラマブルコントローラにす
でに実装されているシーケンスプログラムであって、通
信手段を介してプログラマブルコントローラから転送さ
れることを特徴としており、通信手段によってシーケン
スプログラムを取り込むことができるから、プログラマ
ブルコントローラが遠方に設置されている場合でもシー
ケンスプログラムと制御対象との整合性を容易に検証す
ることができる。
項１４の発明において、前記シーケンスプログラムが制
御対象を実動作させるプログラマブルコントローラにす
でに実装されているシーケンスプログラムであって、通
信手段を介してプログラマブルコントローラから転送さ
れることを特徴としており、通信手段によってシーケン
スプログラムを取り込むことができるから、プログラマ
ブルコントローラが遠方に設置されている場合でもシー
ケンスプログラムと制御対象との整合性を容易に検証す
ることができる。
【００７５】請求項１６の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入出力データが入力される読込手段と、所定
時刻における入出力データの組合せをシーケンスプログ
ラムに適用したときのシーケンスプログラムと入出力デ
ータの組合せとの整合性から論理矛盾の有無を判定する
とともに、論理矛盾が生じているときにはシーケンスプ
ログラムのうち論理矛盾を生じた入出力の組合せから遡
って関連する入出力を追跡することにより論理矛盾の原
因を推論する次動作判定手段と、推論結果を出力する結
果出力手段とを備えるものであり、シーケンスプログラ
ムと入出力データの組合せとの整合性によって論理矛盾
の有無を判断するから、論理演算のみの簡単な処理でシ
ーケンスプログラムと入出力データとの整合性を検証す
ることができる。しかも、論理矛盾があるときには入出
力を遡って追跡することにより論理矛盾の原因を推論す
ることができるから、論理矛盾の原因箇所を修正するよ
うに対処することで異常に対して容易に対処することが
できる。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入出力データが入力される読込手段と、所定
時刻における入出力データの組合せをシーケンスプログ
ラムに適用したときのシーケンスプログラムと入出力デ
ータの組合せとの整合性から論理矛盾の有無を判定する
とともに、論理矛盾が生じているときにはシーケンスプ
ログラムのうち論理矛盾を生じた入出力の組合せから遡
って関連する入出力を追跡することにより論理矛盾の原
因を推論する次動作判定手段と、推論結果を出力する結
果出力手段とを備えるものであり、シーケンスプログラ
ムと入出力データの組合せとの整合性によって論理矛盾
の有無を判断するから、論理演算のみの簡単な処理でシ
ーケンスプログラムと入出力データとの整合性を検証す
ることができる。しかも、論理矛盾があるときには入出
力を遡って追跡することにより論理矛盾の原因を推論す
ることができるから、論理矛盾の原因箇所を修正するよ
うに対処することで異常に対して容易に対処することが
できる。
【００７６】請求項１７の発明は、請求項１６の発明に
おいて、前記入出力データを制御対象の動作タイミング
の要求仕様を表す入出力データとし、この入出力データ
から時刻毎の組合せをデータ組として抽出することによ
りデータ組の時系列であるデータテーブルを作成する入
出力動作解読手段を付加し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、シー
ケンスプログラムの中での論理矛盾の原因箇所を推論す
るものであり、入出力データからデータテーブルを作成
し、データ組をシーケンスプログラムに適用して論理矛
盾の有無を検出するから、シーケンスプログラムを実行
することなくデータテーブルにおけるデータ組をシーケ
ンスプログラムに適用するだけの簡単な処理でシーケン
スプログラムにおける誤り箇所を比較的容易に発見する
ことができる。
おいて、前記入出力データを制御対象の動作タイミング
の要求仕様を表す入出力データとし、この入出力データ
から時刻毎の組合せをデータ組として抽出することによ
りデータ組の時系列であるデータテーブルを作成する入
出力動作解読手段を付加し、前記次動作判定手段ではデ
ータテーブルの各データ組とシーケンスプログラムとの
整合性から論理矛盾の有無を判定することにより、シー
ケンスプログラムの中での論理矛盾の原因箇所を推論す
るものであり、入出力データからデータテーブルを作成
し、データ組をシーケンスプログラムに適用して論理矛
盾の有無を検出するから、シーケンスプログラムを実行
することなくデータテーブルにおけるデータ組をシーケ
ンスプログラムに適用するだけの簡単な処理でシーケン
スプログラムにおける誤り箇所を比較的容易に発見する
ことができる。
【００７７】請求項１８の発明は、請求項１６の発明に
おいて、前記入出力データを実動作時の制御対象の異常
発生の時刻における入出力データとし、前記次動作判定
手段ではこの入出力データのデータ組とシーケンスプロ
グラムとの整合性から論理矛盾の有無を判定することに
より、制御対象について論理矛盾の原因箇所を推論する
ものであり、論理矛盾の有無によって制御対象における
異常の有無を簡単な処理で容易に抽出することができ
る。
おいて、前記入出力データを実動作時の制御対象の異常
発生の時刻における入出力データとし、前記次動作判定
手段ではこの入出力データのデータ組とシーケンスプロ
グラムとの整合性から論理矛盾の有無を判定することに
より、制御対象について論理矛盾の原因箇所を推論する
ものであり、論理矛盾の有無によって制御対象における
異常の有無を簡単な処理で容易に抽出することができ
る。
【００７８】請求項１９の発明は、請求項１６の発明に
おいて、前記入出力データを制御対象の異常発生の時刻
を含む所定の時間範囲の入出力データとし、この入出力
データから時刻毎の組合せをデータ組として抽出するこ
とによりデータ組の時系列であるデータテーブルを作成
する入出力動作解読手段を付加し、前記次動作判定手段
ではデータテーブルの各データ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するも
のであり、論理矛盾の有無によって制御対象における異
常の有無を簡単な処理で容易に抽出することができる。
おいて、前記入出力データを制御対象の異常発生の時刻
を含む所定の時間範囲の入出力データとし、この入出力
データから時刻毎の組合せをデータ組として抽出するこ
とによりデータ組の時系列であるデータテーブルを作成
する入出力動作解読手段を付加し、前記次動作判定手段
ではデータテーブルの各データ組とシーケンスプログラ
ムとの整合性から論理矛盾の有無を判定することによ
り、制御対象について論理矛盾の原因箇所を推論するも
のであり、論理矛盾の有無によって制御対象における異
常の有無を簡単な処理で容易に抽出することができる。
【００７９】請求項２０の発明は、請求項１８または請
求項１９の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
および前記入出力データを転送する通信手段が付加され
ているものであり、通信手段を備えることによって、プ
ログラマブルコントローラおよび制御対象が遠方に設置
されている場合でも故障診断を容易に行うことができ
る。
求項１９の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
および前記入出力データを転送する通信手段が付加され
ているものであり、通信手段を備えることによって、プ
ログラマブルコントローラおよび制御対象が遠方に設置
されている場合でも故障診断を容易に行うことができ
る。
【００８０】請求項２１の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、プログ
ラマブルコントローラと等価であって前記入力データが
与えられてシーケンスプログラムを実行する模擬制御手
段と、制御対象を模擬したシミュレーションモデルをデ
ィスプレイ装置に表示する結果出力手段とを備え、結果
出力手段が模擬制御手段でのシーケンスプログラムの実
行に伴ってシミュレーションモデルを動作させるもので
あり、模擬制御手段を用いてシーケンスプログラムによ
りシミュレーションモデルを動作させることによって、
シーケンスプログラムにより制御対象を実際に動作させ
ることなく制御対象に対するシーケンスプログラムの整
合性を事前に検証することができる。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、プログ
ラマブルコントローラと等価であって前記入力データが
与えられてシーケンスプログラムを実行する模擬制御手
段と、制御対象を模擬したシミュレーションモデルをデ
ィスプレイ装置に表示する結果出力手段とを備え、結果
出力手段が模擬制御手段でのシーケンスプログラムの実
行に伴ってシミュレーションモデルを動作させるもので
あり、模擬制御手段を用いてシーケンスプログラムによ
りシミュレーションモデルを動作させることによって、
シーケンスプログラムにより制御対象を実際に動作させ
ることなく制御対象に対するシーケンスプログラムの整
合性を事前に検証することができる。
【００８１】請求項２２の発明は、請求項２１の発明に
おいて、所定の周期で基準タイミングを生成するタイミ
ング生成手段と、前記模擬制御手段に与える入力データ
のオンオフの時間間隔の最小単位を前記基準タイミング
の周期とするように規制するタイミング規制手段とを付
加し、タイミング生成手段では基準タイミングの周期を
可変としているものであり、基準タイミングを調節する
ことによって模擬制御手段を動作させる際の入力データ
の時間間隔を調節することができるから、制御対象のタ
クトタイムを種々変更してシーケンスプログラムとの整
合性を検証することができる。
おいて、所定の周期で基準タイミングを生成するタイミ
ング生成手段と、前記模擬制御手段に与える入力データ
のオンオフの時間間隔の最小単位を前記基準タイミング
の周期とするように規制するタイミング規制手段とを付
加し、タイミング生成手段では基準タイミングの周期を
可変としているものであり、基準タイミングを調節する
ことによって模擬制御手段を動作させる際の入力データ
の時間間隔を調節することができるから、制御対象のタ
クトタイムを種々変更してシーケンスプログラムとの整
合性を検証することができる。
【００８２】請求項２３の発明は、プログラマブルコン
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、所定の
周期で基準タイミングを生成するタイミング生成手段
と、前記模擬制御手段に与える入力データのオンオフの
時間間隔の最小単位を前記基準タイミングの周期とする
ように規制するタイミング規制手段と、プログラマブル
コントローラと等価であって前記入力データが与えられ
てシーケンスプログラムを実行する模擬制御手段と、制
御対象を模擬したシミュレーションモデルをディスプレ
イ装置に表示する結果出力手段とを備え、タイミング生
成手段では基準タイミングの周期を可変としてあり、模
擬制御手段でのシーケンスプログラムの実行に伴う出力
データと模擬制御手段に与えられた入力データとから結
果出力手段によりタイムチャートを生成するものであ
り、基準タイミングを調節することによって模擬制御手
段を動作させる際の入力データの時間間隔を調節するこ
とができるから、制御対象のタクトタイムを種々変更し
てシーケンスプログラムとの整合性を検証することがで
きる。しかも、タイムチャートを生成することにより視
覚的に異常の有無を抽出することが可能になる。
トローラを動作させるシーケンスプログラムおよび前記
シーケンスプログラムに関連付けたプログラマブルコン
トローラの入力データが入力される読込手段と、所定の
周期で基準タイミングを生成するタイミング生成手段
と、前記模擬制御手段に与える入力データのオンオフの
時間間隔の最小単位を前記基準タイミングの周期とする
ように規制するタイミング規制手段と、プログラマブル
コントローラと等価であって前記入力データが与えられ
てシーケンスプログラムを実行する模擬制御手段と、制
御対象を模擬したシミュレーションモデルをディスプレ
イ装置に表示する結果出力手段とを備え、タイミング生
成手段では基準タイミングの周期を可変としてあり、模
擬制御手段でのシーケンスプログラムの実行に伴う出力
データと模擬制御手段に与えられた入力データとから結
果出力手段によりタイムチャートを生成するものであ
り、基準タイミングを調節することによって模擬制御手
段を動作させる際の入力データの時間間隔を調節するこ
とができるから、制御対象のタクトタイムを種々変更し
てシーケンスプログラムとの整合性を検証することがで
きる。しかも、タイムチャートを生成することにより視
覚的に異常の有無を抽出することが可能になる。
【００８３】請求項２４の発明は、請求項２１ないし請
求項２３の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
を転送する通信手段が付加されているものであり、通信
手段によってシーケンスプログラムを取り込むことがで
きるから、プログラマブルコントローラが遠方に設置さ
れている場合でもシーケンスプログラムと制御対象との
整合性を容易に検証することができる。
求項２３の発明において、前記シーケンスプログラムが
制御対象を実動作させるプログラマブルコントローラに
すでに実装されているシーケンスプログラムであって、
プログラマブルコントローラからシーケンスプログラム
を転送する通信手段が付加されているものであり、通信
手段によってシーケンスプログラムを取り込むことがで
きるから、プログラマブルコントローラが遠方に設置さ
れている場合でもシーケンスプログラムと制御対象との
整合性を容易に検証することができる。
【図１】本発明の第１の実施の形態を示すブロック図で
ある。
ある。
【図２】同上の動作説明図である。
【図３】同上におけるシーケンスプログラムの例を示す
説明図である。
説明図である。
【図４】同上の動作説明図である。
【図５】本発明の第２の実施の形態を示す動作説明図で
ある。
ある。
【図６】同上におけるシーケンスプログラムの例を示す
説明図である。
説明図である。
【図７】同上の動作説明図である。
【図８】同上に用いるルールの例を示す図である。
【図９】本発明の第３の実施の形態を示す要部のブロッ
ク図である。
ク図である。
【図１０】同上の動作説明図である。
【図１１】同上の動作説明図である。
【図１２】同上の動作説明図である。
【図１３】同上の動作説明図である。
【図１４】同上における制御対象の構成例を示す図であ
る。
る。
【図１５】同上におけるシーケンスプログラムの例を示
す説明図である。
す説明図である。
【図１６】同上におけるシーケンスプログラムの例を示
す説明図である。
す説明図である。
【図１７】同上におけるシミュレーションモデルの階層
化の例を示す図である。
化の例を示す図である。
１１ プログラム読込手段 １２ 入出力データ読込手段 １３ 入出力動作解読手段 １３ａ タイミング決定手段 １４ データテーブル １５ 次動作判定手段 １６ 結果出力手段 ２１ タイミング規制手段 ２１ａ タイミング生成手段 ２２ 模擬制御手段 ２３ シミュレーションモデル ＰＲ１，ＰＲ２ シーケンスプログラム ＩＯ１，ＩＯ２ 入出力データ
───────────────────────────────────────────────────── フロントページの続き Ｆターム(参考） 5H220 BB10 BB12 CC07 CX01 DD04 JJ28 JJ42 JJ48 KK01 KK08 LL03 LL04 LL06 LL07 5H223 CC03 EE19 FF05 FF06
Claims (24)
- 【請求項１】 プログラマブルコントローラを動作させ
るシーケンスプログラムおよび前記シーケンスプログラ
ムに関連付けたプログラマブルコントローラの入出力デ
ータが読込手段を通して入力され、次動作判定手段によ
り所定時刻における入出力データの組合せをシーケンス
プログラムに適用したときのシーケンスプログラムと入
出力データの組合せとの整合性から論理矛盾の有無を判
定するとともに、論理矛盾が生じているときにはシーケ
ンスプログラムのうち論理矛盾を生じた入出力の組合せ
から遡って関連する入出力を追跡することにより論理矛
盾の原因を推論し、推論結果を結果出力手段から出力す
ることを特徴とするプログラマブルコントローラにおけ
る異常検出方法。 - 【請求項２】 前記入出力データを制御対象の動作タイ
ミングの要求仕様を表す入出力データとし、この入出力
データから入出力動作解読手段を用いて時刻毎の組合せ
をデータ組として抽出することによりデータ組の時系列
であるデータテーブルを作成し、前記次動作判定手段で
はデータテーブルの各データ組とシーケンスプログラム
との整合性から論理矛盾の有無を判定することにより、
シーケンスプログラムの中での論理矛盾の原因箇所を推
論することを特徴とする請求項１記載のプログラマブル
コントローラにおける異常検出方法。 - 【請求項３】 前記結果出力手段では前記要求仕様のう
ち論理矛盾を生じたデータ組を含む部分のタイムチャー
トを可視化して出力するとともに前記タイムチャートの
中に論理矛盾を生じたタイミングを示し、前記次動作判
定手段により推論された矛盾の原因箇所および内容を表
すメッセージをタイムチャートとともに可視化して出力
することを特徴とする請求項２記載のプログラマブルコ
ントローラにおける異常検出方法。 - 【請求項４】 前記次動作判定手段により推論された前
記シーケンスプログラム中での論理矛盾の原因箇所につ
いて修正案を作成し、作成した修正案のうち論理矛盾を
解消する修正案を結果出力手段により可視化して出力す
ることを特徴とする請求項２または請求項３記載のプロ
グラマブルコントローラにおける異常検出方法。 - 【請求項５】 前記入出力データを実動作時の制御対象
の異常発生の時刻における入出力データとし、前記次動
作判定手段ではこの入出力データのデータ組とシーケン
スプログラムとの整合性から論理矛盾の有無を判定する
ことにより、制御対象について論理矛盾の原因箇所を推
論することを特徴とする請求項１記載のプログラマブル
コントローラにおける異常検出方法。 - 【請求項６】 前記入出力データを制御対象の異常発生
の時刻を含む所定の時間範囲の入出力データとし、この
入出力データから入出力動作解読手段を用いて時刻毎の
組合せをデータ組として抽出することによりデータ組の
時系列であるデータテーブルを作成し、前記次動作判定
手段ではデータテーブルの各データ組とシーケンスプロ
グラムとの整合性から論理矛盾の有無を判定することに
より、制御対象について論理矛盾の原因箇所を推論する
ことを特徴とする請求項１記載のプログラマブルコント
ローラにおける異常検出方法。 - 【請求項７】 前記次動作判定手段により推論された矛
盾の原因箇所および内容を表すメッセージを結果出力手
段により可視化して出力することを特徴とする請求項５
または請求項６記載のプログラマブルコントローラにお
ける異常検出方法。 - 【請求項８】 前記シーケンスプログラムが制御対象を
実動作させるプログラマブルコントローラにすでに実装
されているシーケンスプログラムであって、通信手段を
介してプログラマブルコントローラから転送され、さら
に前記入出力データが通信手段を介してプログラマブル
コントローラから転送されることを特徴とする請求項５
ないし請求項７のいずれか１項に記載のプログラマブル
コントローラにおける異常検出方法。 - 【請求項９】 プログラマブルコントローラを動作させ
るシーケンスプログラムおよび前記シーケンスプログラ
ムに関連付けたプログラマブルコントローラの入力デー
タが読込手段を通して入力され、プログラマブルコント
ローラと等価な模擬制御手段に前記入力データを与えて
シーケンスプログラムを実行するとともに、制御対象を
模擬して結果出力手段がディスプレイ装置に表示したシ
ミュレーションモデルを、模擬制御手段でのシーケンス
プログラムの実行に伴って動作させることを特徴とする
プログラマブルコントローラにおける異常検出方法。 - 【請求項１０】 前記模擬制御手段に与える入力データ
のオンオフの時間間隔の最小単位をタイミング生成手段
により生成した基準タイミングの周期とするようにタイ
ミング規制手段で規制し、タイミング生成手段では基準
タイミングの周期を可変としていることを特徴とする請
求項９記載のプログラマブルコントローラにおける異常
検出方法。 - 【請求項１１】 プログラマブルコントローラを動作さ
せるシーケンスプログラムおよび前記シーケンスプログ
ラムに関連付けたプログラマブルコントローラの入力デ
ータが読込手段を通して入力され、入力データのオンオ
フの時間間隔の最小単位をタイミング生成手段により生
成した基準タイミングの周期とするようにタイミング規
制手段で規制するとともに、タイミング生成手段では基
準タイミングの周期を可変としてあり、さらにプログラ
マブルコントローラと等価な模擬制御手段に前記入力デ
ータを与えてシーケンスプログラムを実行するととも
に、模擬制御手段でのシーケンスプログラムの実行に伴
う出力データと模擬制御手段に与えられた入力データと
から結果出力手段によりタイムチャートを生成すること
を特徴とするプログラマブルコントローラにおける異常
検出方法。 - 【請求項１２】 前記結果出力手段では、制御対象を模
擬してディスプレイ装置に表示したシミュレーションモ
デルを、前記タイムチャートにより表される入出力デー
タのタイミングで動作させることを特徴とする請求項１
１記載のプログラマブルコントローラにおける異常検出
方法。 - 【請求項１３】 前記結果出力手段では、制御対象の動
作タイミングの要求仕様として与えられる入出力データ
のタイムチャートと、前記タイムチャートとを比較する
ことにより相違点を抽出し、抽出結果のメッセージを可
視化して出力することを特徴とする請求項１１記載のプ
ログラマブルコントローラにおける異常検出方法。 - 【請求項１４】 前記制御対象がそれぞれ１つの処理を
完結させる複数個のブロックの集合であって、前記シミ
ュレーションモデルが各ブロックに対応するサブモデル
の組合せとして構成されていることを特徴とする請求項
９ないし請求項１３のいずれか１項に記載のプログラマ
ブルコントローラにおける異常検出方法。 - 【請求項１５】 前記シーケンスプログラムが制御対象
を実動作させるプログラマブルコントローラにすでに実
装されているシーケンスプログラムであって、通信手段
を介してプログラマブルコントローラから転送されるこ
とを特徴とする請求項９ないし請求項１４のいずれか１
項に記載のプログラマブルコントローラにおける異常検
出方法。 - 【請求項１６】 プログラマブルコントローラを動作さ
せるシーケンスプログラムおよび前記シーケンスプログ
ラムに関連付けたプログラマブルコントローラの入出力
データが入力される読込手段と、所定時刻における入出
力データの組合せをシーケンスプログラムに適用したと
きのシーケンスプログラムと入出力データの組合せとの
整合性から論理矛盾の有無を判定するとともに、論理矛
盾が生じているときにはシーケンスプログラムのうち論
理矛盾を生じた入出力の組合せから遡って関連する入出
力を追跡することにより論理矛盾の原因を推論する次動
作判定手段と、推論結果を出力する結果出力手段とを備
えることを特徴とするプログラマブルコントローラにお
ける異常検出装置。 - 【請求項１７】 前記入出力データを制御対象の動作タ
イミングの要求仕様を表す入出力データとし、この入出
力データから時刻毎の組合せをデータ組として抽出する
ことによりデータ組の時系列であるデータテーブルを作
成する入出力動作解読手段を付加し、前記次動作判定手
段ではデータテーブルの各データ組とシーケンスプログ
ラムとの整合性から論理矛盾の有無を判定することによ
り、シーケンスプログラムの中での論理矛盾の原因箇所
を推論することを特徴とする請求項１６記載のプログラ
マブルコントローラにおける異常検出装置。 - 【請求項１８】 前記入出力データを実動作時の制御対
象の異常発生の時刻における入出力データとし、前記次
動作判定手段ではこの入出力データのデータ組とシーケ
ンスプログラムとの整合性から論理矛盾の有無を判定す
ることにより、制御対象について論理矛盾の原因箇所を
推論することを特徴とする請求項１６記載のプログラマ
ブルコントローラにおける異常検出装置。 - 【請求項１９】 前記入出力データを制御対象の異常発
生の時刻を含む所定の時間範囲の入出力データとし、こ
の入出力データから時刻毎の組合せをデータ組として抽
出することによりデータ組の時系列であるデータテーブ
ルを作成する入出力動作解読手段を付加し、前記次動作
判定手段ではデータテーブルの各データ組とシーケンス
プログラムとの整合性から論理矛盾の有無を判定するこ
とにより、制御対象について論理矛盾の原因箇所を推論
することを特徴とする請求項１６記載のプログラマブル
コントローラにおける異常検出装置。 - 【請求項２０】 前記シーケンスプログラムが制御対象
を実動作させるプログラマブルコントローラにすでに実
装されているシーケンスプログラムであって、プログラ
マブルコントローラからシーケンスプログラムおよび前
記入出力データを転送する通信手段が付加されているこ
とを特徴とする請求項１８または請求項１９記載のプロ
グラマブルコントローラにおける異常検出装置。 - 【請求項２１】 プログラマブルコントローラを動作さ
せるシーケンスプログラムおよび前記シーケンスプログ
ラムに関連付けたプログラマブルコントローラの入力デ
ータが入力される読込手段と、プログラマブルコントロ
ーラと等価であって前記入力データが与えられてシーケ
ンスプログラムを実行する模擬制御手段と、制御対象を
模擬したシミュレーションモデルをディスプレイ装置に
表示する結果出力手段とを備え、結果出力手段が模擬制
御手段でのシーケンスプログラムの実行に伴ってシミュ
レーションモデルを動作させることを特徴とするプログ
ラマブルコントローラにおける異常検出装置。 - 【請求項２２】 所定の周期で基準タイミングを生成す
るタイミング生成手段と、前記模擬制御手段に与える入
力データのオンオフの時間間隔の最小単位を前記基準タ
イミングの周期とするように規制するタイミング規制手
段とを付加し、タイミング生成手段では基準タイミング
の周期を可変としていることを特徴とする請求項２１記
載のプログラマブルコントローラにおける異常検出装
置。 - 【請求項２３】 プログラマブルコントローラを動作さ
せるシーケンスプログラムおよび前記シーケンスプログ
ラムに関連付けたプログラマブルコントローラの入力デ
ータが入力される読込手段と、所定の周期で基準タイミ
ングを生成するタイミング生成手段と、前記模擬制御手
段に与える入力データのオンオフの時間間隔の最小単位
を前記基準タイミングの周期とするように規制するタイ
ミング規制手段と、プログラマブルコントローラと等価
であって前記入力データが与えられてシーケンスプログ
ラムを実行する模擬制御手段と、制御対象を模擬したシ
ミュレーションモデルをディスプレイ装置に表示する結
果出力手段とを備え、タイミング生成手段では基準タイ
ミングの周期を可変としてあり、模擬制御手段でのシー
ケンスプログラムの実行に伴う出力データと模擬制御手
段に与えられた入力データとから結果出力手段によりタ
イムチャートを生成することを特徴とするプログラマブ
ルコントローラにおける異常検出装置。 - 【請求項２４】 前記シーケンスプログラムが制御対象
を実動作させるプログラマブルコントローラにすでに実
装されているシーケンスプログラムであって、プログラ
マブルコントローラからシーケンスプログラムを転送す
る通信手段が付加されていることを特徴とする請求項２
１ないし請求項２３のいずれか１項に記載のプログラマ
ブルコントローラにおける異常検出装置。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2000359254A JP2002163020A (ja) | 2000-11-27 | 2000-11-27 | プログラマブルコントローラにおける異常検出方法およびその装置 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP2000359254A JP2002163020A (ja) | 2000-11-27 | 2000-11-27 | プログラマブルコントローラにおける異常検出方法およびその装置 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JP2002163020A true JP2002163020A (ja) | 2002-06-07 |
Family
ID=18831039
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2000359254A Pending JP2002163020A (ja) | 2000-11-27 | 2000-11-27 | プログラマブルコントローラにおける異常検出方法およびその装置 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2002163020A (ja) |
Cited By (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007306758A (ja) * | 2006-05-15 | 2007-11-22 | Toshiba Mitsubishi-Electric Industrial System Corp | 電力変換装置 |
| US8060221B2 (en) | 2006-06-13 | 2011-11-15 | Mitsubishi Electric Corporation | Peripheral device of programmable logic controller |
| JP2011237874A (ja) * | 2010-05-06 | 2011-11-24 | Nippon Steel Corp | プロセス制御用計算機のテスト支援装置、方法及びプログラム |
| JP2016004527A (ja) * | 2014-06-19 | 2016-01-12 | 三菱電機株式会社 | ラダー関数シミュレータ、ラダー回路図編集装置及びラダー関数シミュレータプログラム |
| US20160033953A1 (en) * | 2013-04-12 | 2016-02-04 | Mitsubishi Electric Corporation | Peripheral device for programmable controller and debug support program |
| JP2018088178A (ja) * | 2016-11-29 | 2018-06-07 | ファナック株式会社 | ラダープログラム管理装置 |
| JP2019125208A (ja) * | 2018-01-17 | 2019-07-25 | 三菱重工エンジニアリング株式会社 | 検証処理装置、ロジック生成装置及び検証処理方法 |
| JP2020135498A (ja) * | 2019-02-21 | 2020-08-31 | 三菱電機株式会社 | 計装制御システム |
| CN112654937A (zh) * | 2018-09-13 | 2021-04-13 | 三菱电机株式会社 | 设定辅助装置、设定辅助方法及程序 |
| CN113640026A (zh) * | 2021-08-12 | 2021-11-12 | 三一汽车制造有限公司 | 一种工业设备测试方法和装置、测试*** |
| JP7113988B1 (ja) * | 2021-02-17 | 2022-08-05 | 三菱電機株式会社 | データ照合装置、データ照合システム、及びデータ照合方法 |
| JP7258246B1 (ja) * | 2022-04-18 | 2023-04-14 | 三菱電機株式会社 | シミュレーション用プログラム、シミュレーション装置及び制御方法 |
Citations (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS58182711A (ja) * | 1982-04-21 | 1983-10-25 | Hitachi Ltd | プラント異常原因推定装置 |
| JPS643748A (en) * | 1987-06-26 | 1989-01-09 | Hitachi Ltd | Test device for software logical device |
| JPH0391005A (ja) * | 1989-09-04 | 1991-04-16 | Omron Corp | プログラマブル・コントローラ用モニタ装置 |
| JPH06103047A (ja) * | 1991-12-12 | 1994-04-15 | Fujitsu Ltd | プログラム作成支援装置及びプログラム実行支援装置 |
| JPH06289928A (ja) * | 1993-04-02 | 1994-10-18 | Mitsubishi Electric Corp | プログラマブルコントローラ及びそのプログラマブルコントローラを用いたｓｆｃプログラムの実行方法 |
| JPH06331507A (ja) * | 1993-05-21 | 1994-12-02 | Hitachi Ltd | プラントの監視診断方法及び監視診断システム並びにこれを備えたプラント |
| JPH06332507A (ja) * | 1993-05-24 | 1994-12-02 | Toshiba Corp | プログラマブルコントローラのプレイバックシステム |
| JPH0854907A (ja) * | 1994-08-12 | 1996-02-27 | Yokogawa Electric Corp | 検証支援システム |
| JPH09305219A (ja) * | 1996-05-15 | 1997-11-28 | Mitsubishi Heavy Ind Ltd | デジタル式制御装置やプロセス制御装置の正常動作検証方法 |
| JPH10143221A (ja) * | 1996-11-11 | 1998-05-29 | Mitsubishi Electric Corp | 機器制御プログラムの開発支援システムおよび開発支援方法 |
| JP2000222030A (ja) * | 1999-02-02 | 2000-08-11 | Mitsubishi Electric Corp | 入出力点リスト編集処理装置及びプラント情報監視装置 |
| JP2001005504A (ja) * | 1999-06-18 | 2001-01-12 | Mitsubishi Electric Corp | モーションコントローラおよびモーションコントローラ用周辺装置 |
-
2000
- 2000-11-27 JP JP2000359254A patent/JP2002163020A/ja active Pending
Patent Citations (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPS58182711A (ja) * | 1982-04-21 | 1983-10-25 | Hitachi Ltd | プラント異常原因推定装置 |
| JPS643748A (en) * | 1987-06-26 | 1989-01-09 | Hitachi Ltd | Test device for software logical device |
| JPH0391005A (ja) * | 1989-09-04 | 1991-04-16 | Omron Corp | プログラマブル・コントローラ用モニタ装置 |
| JPH06103047A (ja) * | 1991-12-12 | 1994-04-15 | Fujitsu Ltd | プログラム作成支援装置及びプログラム実行支援装置 |
| JPH06289928A (ja) * | 1993-04-02 | 1994-10-18 | Mitsubishi Electric Corp | プログラマブルコントローラ及びそのプログラマブルコントローラを用いたｓｆｃプログラムの実行方法 |
| JPH06331507A (ja) * | 1993-05-21 | 1994-12-02 | Hitachi Ltd | プラントの監視診断方法及び監視診断システム並びにこれを備えたプラント |
| JPH06332507A (ja) * | 1993-05-24 | 1994-12-02 | Toshiba Corp | プログラマブルコントローラのプレイバックシステム |
| JPH0854907A (ja) * | 1994-08-12 | 1996-02-27 | Yokogawa Electric Corp | 検証支援システム |
| JPH09305219A (ja) * | 1996-05-15 | 1997-11-28 | Mitsubishi Heavy Ind Ltd | デジタル式制御装置やプロセス制御装置の正常動作検証方法 |
| JPH10143221A (ja) * | 1996-11-11 | 1998-05-29 | Mitsubishi Electric Corp | 機器制御プログラムの開発支援システムおよび開発支援方法 |
| JP2000222030A (ja) * | 1999-02-02 | 2000-08-11 | Mitsubishi Electric Corp | 入出力点リスト編集処理装置及びプラント情報監視装置 |
| JP2001005504A (ja) * | 1999-06-18 | 2001-01-12 | Mitsubishi Electric Corp | モーションコントローラおよびモーションコントローラ用周辺装置 |
Cited By (23)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2007306758A (ja) * | 2006-05-15 | 2007-11-22 | Toshiba Mitsubishi-Electric Industrial System Corp | 電力変換装置 |
| US8060221B2 (en) | 2006-06-13 | 2011-11-15 | Mitsubishi Electric Corporation | Peripheral device of programmable logic controller |
| JP4890545B2 (ja) * | 2006-06-13 | 2012-03-07 | 三菱電機株式会社 | プログラマブルロジックコントローラの周辺装置 |
| JP2011237874A (ja) * | 2010-05-06 | 2011-11-24 | Nippon Steel Corp | プロセス制御用計算機のテスト支援装置、方法及びプログラム |
| US20160033953A1 (en) * | 2013-04-12 | 2016-02-04 | Mitsubishi Electric Corporation | Peripheral device for programmable controller and debug support program |
| US9740185B2 (en) | 2013-04-12 | 2017-08-22 | Mitsubishi Electric Corporation | Peripheral device for programmable controller and debug support program |
| KR101775808B1 (ko) * | 2013-04-12 | 2017-09-06 | 미쓰비시덴키 가부시키가이샤 | 프로그래머블 컨트롤러의 주변장치 및 디버그 지원 프로그램 |
| JP2016004527A (ja) * | 2014-06-19 | 2016-01-12 | 三菱電機株式会社 | ラダー関数シミュレータ、ラダー回路図編集装置及びラダー関数シミュレータプログラム |
| JP2018088178A (ja) * | 2016-11-29 | 2018-06-07 | ファナック株式会社 | ラダープログラム管理装置 |
| US10599119B2 (en) | 2016-11-29 | 2020-03-24 | Fanuc Corporation | Ladder-program managing device |
| WO2019142858A1 (ja) * | 2018-01-17 | 2019-07-25 | 三菱重工エンジニアリング株式会社 | 検証処理装置、ロジック生成装置及び検証処理方法 |
| JP2019125208A (ja) * | 2018-01-17 | 2019-07-25 | 三菱重工エンジニアリング株式会社 | 検証処理装置、ロジック生成装置及び検証処理方法 |
| JP7038554B2 (ja) | 2018-01-17 | 2022-03-18 | 三菱重工エンジニアリング株式会社 | 検証処理装置、ロジック生成装置及び検証処理方法 |
| CN112654937A (zh) * | 2018-09-13 | 2021-04-13 | 三菱电机株式会社 | 设定辅助装置、设定辅助方法及程序 |
| CN112654937B (zh) * | 2018-09-13 | 2022-10-28 | 三菱电机株式会社 | 设定辅助装置、设定辅助方法及记录介质 |
| JP2020135498A (ja) * | 2019-02-21 | 2020-08-31 | 三菱電機株式会社 | 計装制御システム |
| JP7113988B1 (ja) * | 2021-02-17 | 2022-08-05 | 三菱電機株式会社 | データ照合装置、データ照合システム、及びデータ照合方法 |
| WO2022176054A1 (ja) * | 2021-02-17 | 2022-08-25 | 三菱電機株式会社 | データ照合装置、データ照合システム、及びデータ照合方法 |
| CN116710858A (zh) * | 2021-02-17 | 2023-09-05 | 三菱电机株式会社 | 数据核对装置、数据核对***以及数据核对方法 |
| CN116710858B (zh) * | 2021-02-17 | 2024-05-03 | 三菱电机株式会社 | 数据核对装置、数据核对***以及数据核对方法 |
| CN113640026A (zh) * | 2021-08-12 | 2021-11-12 | 三一汽车制造有限公司 | 一种工业设备测试方法和装置、测试*** |
| CN113640026B (zh) * | 2021-08-12 | 2023-12-08 | 三一汽车制造有限公司 | 一种工业设备测试方法和装置、测试*** |
| JP7258246B1 (ja) * | 2022-04-18 | 2023-04-14 | 三菱電機株式会社 | シミュレーション用プログラム、シミュレーション装置及び制御方法 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP5874891B2 (ja) | プログラムテスト装置、プログラムテスト方法、およびプログラム | |
| US7308327B2 (en) | Method of application protocol monitoring for programmable logic controllers | |
| JP2009265668A (ja) | 工学プロジェクトの訓練シミュレータ | |
| JP6476594B2 (ja) | シミュレーションシステム | |
| JP2002163020A (ja) | プログラマブルコントローラにおける異常検出方法およびその装置 | |
| EP2500791A1 (en) | System and method of simulating input/output modules in a control system | |
| KR101110241B1 (ko) | 프로그램 테스트 장치 및 프로그램 | |
| US20180203973A1 (en) | System and simulator for the disengageable simulation of installations or machines within programmable logic controllers | |
| US10579761B1 (en) | Method and system for reconstructing a graph presentation of a previously executed verification test | |
| Hazott et al. | Verifying embedded graphics libraries leveraging virtual prototypes and metamorphic testing | |
| CN111078444A (zh) | 用于故障行为的安全分析的***和方法 | |
| Erkkinen et al. | Verification, validation, and test with model-based design | |
| Cousineau et al. | Automated deductive verification for ladder programming | |
| EP3889703B1 (en) | Method and apparatus for expressing and verifying functional specifications of a programmable logic controller program | |
| Dahll et al. | An investigation of methods for production and verification of highly reliable software | |
| Yang et al. | An effective model-based development process using simulink/stateflow for automotive body control electronics | |
| JP2019174874A (ja) | シミュレーション装置及び方法並びにプログラム | |
| JP2006163657A (ja) | プレイバックシミュレータ装置 | |
| EP4254200A1 (en) | Method and system for eradicating programmatical errors from engineering programs in a technical installation | |
| de Assis Barbosa et al. | On the automatic generation of timed automata models from isa 5.2 diagrams | |
| Graeser et al. | Automationml as a shared model for offline-and realtime-simulation of production plants and for anomaly detection | |
| JP6620653B2 (ja) | プラント監視制御システム用エミュレータ | |
| JP7226121B2 (ja) | 制御用ソフトウェアのテストシナリオ自動生成方法及び装置ならびにコンピュータプログラム | |
| EP4270121A1 (en) | Method and system for seamless transition of runtime system from controller device to digitalization platform | |
| US20220365864A1 (en) | Program development device, and program for providing program development device |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20060711 |
|
| A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20061107 |