特許

J-GLOBAL ID：200903014792911664

検証支援システム

発明者： 佐野 直樹 ,  滝鼻 容子
出願人/特許権者： 横河電機株式会社
代理人 (1件)： 渡辺 正康 (外1名)
公報種別：公開公報
出願番号（国際出願番号）：特願平6-190344
公開番号（公開出願番号）：特開平8-054907
出願日： 1994年08月12日
公開日（公表日）： 1996年02月27日
要約：

【要約】 (修正有)【目的】 シーケンスプログラムの修正と変更を効率良く行うことができ、しかもハードウェアによる制御とソフトウェアによる制御の役割分担を定量的に見積もることができる検証支援システムを実現する。【構成】 汎用シミュレータは、検証開始時に、ディスクから実行モデル、制御対象モデル、PLCシーケンスプログラム用ファイル及びテストプログラム用ファイルを入力ファイルとして取り込む。そして、実行モデル、制御対象モデル及びPLCシーケンスプログラム用ファイルから構成された仮想的なシーケンス制御システムをテストプログラムにより検証するシミュレーションを実行する。シミュレーションの結果はCRT表示装置の所定の表示領域に表示される。この表示領域上でデバックが行われる。

請求項（抜粋）：

CPUを有する処理制御部、この処理制御部に接続するキーボード及びマウス、表示を行うCRT表示装置及び各種データを格納するディスクより構成され、シーケンス制御システムのPLCを動作させるシーケンスプログラムを検証対象とし、前記シーケンスプログラムをハードウェア記述言語で記述されたPLCシーケンスプログラムに変換する変換手段と、前記ディスクに格納され、前記変換手段で変換したPLCシーケンスプログラムが書き込まれたPLCシーケンスプログラム用ファイルと、前記ディスクに格納され、シーケンスプログラムに従ってハードウェア記述言語で記述されたファイルになっていて、前記PLCの機能を模擬的に実行する実行モデルと、前記ディスクに格納され、ハードウェア記述言語で記述されたファイルになっていて、前記シーケンス制御システムの制御対象の機能を模擬的に実行する制御対象モデルと、前記ディスクに格納され、ハードウェア記述言語で記述され、前記PLCシーケンスプログラムの検証を行うテストプログラムが書き込まれたテストプログラム用ファイルと、検証開始時に、前記ディスクから実行モデル、制御対象モデル、PLCシーケンスプログラム用ファイル及びテストプログラム用ファイルを入力ファイルとして取り込み、前記実行モデル、制御対象モデル及びPLCシーケンスプログラム用ファイルから構成された仮想的なシーケンス制御システムを前記テストプログラムにより検証するシミュレーションを実行する汎用シミュレータと、シミュレーションの結果を前記CRT表示装置の所定の表示領域に表示させる表示制御手段と、前記所定の表示領域上でデバックを行うデバック手段と、を具備したことを特徴とする検証支援システム。

IPC (2件)：

G05B 19/048 ,  G05B 23/02

引用特許：

審査官引用 (3件)

• 特開昭59-174912
  
• 特開昭58-172713
  
• 特開平4-007705