JP4700301B2

JP4700301B2 - リアルタイムシステムのためのソフトウェアオブジェクト検証方法

Info

Publication number: JP4700301B2
Application number: JP2004209056A
Authority: JP
Inventors: 博司大山
Original assignee: Okuma Corp
Current assignee: Okuma Corp
Priority date: 2004-07-15
Filing date: 2004-07-15
Publication date: 2011-06-15
Anticipated expiration: 2024-07-15
Also published as: US7673298B2; JP2006031389A; US20060015592A1; DE102005032984A1

Description

本発明は、コンピュータにより実現されリアルタイム制御を行う制御装置等のリアルタイムシステムのためのソフトウェアオブジェクト検証方法に関するもので、コンピュータウィルス検出ソフトウェア、検出パターンファイルおよび基本ソフトウェアに対する更新ソフトウェアなどのソフトウェアオブジェクトを適用するにあたって、これらのソフトウェアオブジェクトによるリアルタイム制御に対する影響を評価し、安全にソフトウェアの更新を実現する方法に関するものである。

今日パーソナルコンピュータ(ＰＣ)の普及とともにＰＣベースの制御装置が普及し始めている。ＰＣは生産管理、設計、自動プログラミングなどのアプリケーションが豊富にそろい、加工現場におけるＩＴ化を推し進める上で有効である。ところがネットワークが普及した今日、ＰＣを攻撃対象とするコンピュータウィルスは社会的問題となるほど日常化しており、その対象は加工現場に配置されるＰＣにおいても例外ではなく、コンピュータウィルスに対する対策を行わないわけにはいかない状況にある。

しかし、リアルタイム制御を行う制御装置においては、ウィルス対策を行うといっても、安定動作しているシステムのソフトウェアあるいは動作に影響のあるデータを更新するのであるから、リアルタイム性能に対し何らかの影響があるかどうかを検査し、動作に支障のないことを確認した上で適用しなければ、制御の信頼性を損なうことになりかねない。

例えば企業における基幹システムにおいては、システムに障害が発生すれば企業活動に影響を及ぼすものであり、わずかなソフトウェア更新であっても事前に精査した上で適用するのが当然である。リアルタイム制御装置は、その影響においては基幹システムとは異なるが、ソフトウェアの異常動作が事故の発生につながる可能性があり、基幹システムと同様に、たとえわずかなソフトウェア更新であっても事前に精査しなくてはならない。

今日では、コンピュータウィルス検出ソフトウェア、検出パターンファイルおよび基本ソフトウェアに対する更新ソフトウェアなどのソフトウェアオブジェクトは頻繁に発行されており、これらがリアルタイム制御において支障なく動作することを遅滞なく検査し、顧客のリアルタイム制御装置に適用可能としなくてはならない。遅滞があれば、その間にコンピュータウィルスがリアルタイム制御装置に感染し、リアルタイム制御に悪い影響を及ぼす可能性がある。一方、支障のある不適切なソフトウェアオブジェクトをリアルタイム制御装置に適用する事態が生じた場合、多数の顧客のリアルタイム制御装置が正常に動作しなくなり、それらの復旧のために多大なコストを生じることになる。

しかるに、このような検査を十分に行った上でソフトウェアオブジェクトを適用するには、手間がかかるために検査コストがかさみ、また動作に対する客観的かつ十分な評価基準が明瞭でなく、必要かつ十分な検証ができないという問題が生じていた。

本発明は上述の問題に鑑みなされたもので、ウィルス検出ソフトウェア、検出パターンファイルや基本ソフトウェアの更新ソフトウェアなどのソフトウェアオブジェクトについて、リアルタイム制御に対する影響を、それらを顧客のリアルタイム制御装置に適用する前に検証するものである。

本発明の目的は、ソフトウェアオブジェクトの検証をより迅速に行うことのできる、リアルタイムシステムのためのソフトウェアオブジェクト検証方法を提供することである。

本発明に係るソフトウェアオブジェクト検証方法は、コンピュータシステムにより実現されるリアルタイム制御装置と同じリアルタイム制御を行う検証用リアルタイム制御装置と、第１のＷＥＢサイトと、第２のＷＥＢサイトと、がインターネットを介して接続されるリアルタイムシステムにおいて、ソフトウェアオブジェクトのリアルタイム制御に対する影響を、前記ソフトウェアオブジェクトをリアルタイム制御装置に適用する前に検証するソフトウェアオブジェクト検証方法であって、前記検証用リアルタイム制御装置は、前記ソフトウェアオブジェクトを第１のＷＥＢサイトよりダウンロードし、前記ソフトウェアオブジェクトを適用したコンピュータシステムによりリアルタイム制御に用いられる所定のリアルタイムタスクを一定時間ごとに動作させ、前記所定のリアルタイムタスクの動作のタイミングマージンが所定の値を下回らない場合に、前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定し、前記ソフトウェアオブジェクトは良好であると判定した場合、前記顧客が利用しているリアルタイム制御装置が前記ソフトウェアオブジェクトをダウンロードして前記顧客が利用しているリアルタイム制御装置のコンピュータシステムに適用することができるように前記ソフトウェアオブジェクトを第２のＷＥＢサイトにアップロードし、前記ソフトウェアオブジェクトがウィルス検出ソフトウェアまたは検出パターンファイルまたはウィルス駆除ソフトウェアまたは前記ソフトウェアオブジェクトがコンピュータシステムの基本ソフトウェアを更新するための更新用ソフトウェアの中の少なくとも１つを含むこと、を特徴とする。

また、本発明に係るソフトウェアオブジェクト検証方法は、コンピュータシステムにより実現されるリアルタイム制御装置と同じリアルタイム制御を行う検証用リアルタイム制御装置と、第１のＷＥＢサイトと、第２のＷＥＢサイトと、がインターネットを介して接続されるリアルタイムシステムにおいて、ソフトウェアオブジェクトのリアルタイム制御に対する影響を、前記ソフトウェアオブジェクトをリアルタイム制御装置に適用する前に検証するソフトウェアオブジェクト検証方法であって、前記検証用リアルタイム制御装置は、前記ソフトウェアオブジェクトを第１のＷＥＢサイトよりダウンロードし、前記ソフトウェアオブジェクトを適用したコンピュータシステムによりリアルタイム制御に用いられる所定のリアルタイムタスクを一定時間ごとに動作させ、前記所定のリアルタイムタスクの動作のタイミングマージンが所定の値を下回らない場合に、前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定し、前記ソフトウェアオブジェクトは良好であると判定した場合、前記顧客が利用しているリアルタイム制御装置が第２のＷＥＢサイトにアップロードされた前記判定結果に基づいて前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードして前記顧客が利用しているリアルタイム制御装置のコンピュータシステムに適用することができるように前記判定結果を前記第２のＷＥＢサイトにアップロードし、前記ソフトウェアオブジェクトがウィルス検出ソフトウェアまたは検出パターンファイルまたはウィルス駆除ソフトウェアまたは前記ソフトウェアオブジェクトがコンピュータシステムの基本ソフトウェアを更新するための更新用ソフトウェアの中の少なくとも１つを含むこと、を特徴とする。

また、本発明に係るソフトウェアオブジェクト検証方法において、前記リアルタイムシステムは、さらに、前記検証用リアルタイム制御装置に接続され、前記検証用リアルタイム制御装置の検証動作を監視する監視コンピュータと、インターネットを介して接続される管理者のコンピュータとを備え、前記監視コンピュータは、前記第１のＷＥＢサイトに前記ソフトウェアオブジェクトがアップロードされた後、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードするまでの第１の時間、または、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードしてから前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定して前記ソフトウェアオブジェクトを前記第２のＷＥＢサイトにアップロードするまでの第２の時間の少なくともいずれか一方の時間が所定のタイムアウト時間を経過した場合には、前記ソフトウェアオブジェクトは不適合ソフトウェアである旨のメールを管理者のコンピュータに対して発信すること、としても好適である。

また、本発明に係るソフトウェアオブジェクト検証方法において、前記リアルタイムシステムは、さらに、前記検証用リアルタイム制御装置に接続され、前記検証用リアルタイム制御装置の検証動作を監視する監視コンピュータと、インターネットを介して接続される管理者のコンピュータとを備え、前記監視コンピュータは、前記第１のＷＥＢサイトに前記ソフトウェアオブジェクトがアップロードされた後、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードするまでの第１の時間、または、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードしてから前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定して前記判定結果を前記第２のＷＥＢサイトにアップロードするまでの第３の時間の少なくともいずれか一方の時間が所定のタイムアウト時間を経過した場合には、前記ソフトウェアオブジェクトは不適合ソフトウェアである旨のメールを管理者のコンピュータに対して発信すること、
としても好適である。

本発明に係るソフトウェアオブジェクト検証方法において、前記リアルタイム制御装置は数値制御装置であり、前記リアルタイム制御に用いられる前記所定のリアルタイムタスクが前記数値制御装置において実行される関数発生タスクであること、としても好適である。

さらに、本発明に係るソフトウェアオブジェクト検証方法において、前記検証用リアルタイム制御装置は、さらに、前記ソフトウェアオブジェクトを適用したコンピュータシステムにより所定の加工プログラムを解釈するプログラム解釈タスクを非リアルタイムタスクとして動作させ、プログラム解釈が関数発生に対して間に合っており、かつ、前記関数発生タスクの動作のタイミングマージンが所定の値を下回らない場合に、前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定すること、としても好適である。

また、本発明に係るソフトウェアオブジェクト検証方法において、前記検証用リアルタイム制御装置を実現するコンピュータシステムは、ＣＰＵを含み、前記所定の加工プログラムは、前記ＣＰＵの負荷が最大となるプログラムであること、としても好適である。

上記構成によれば、ソフトウェアオブジェクト、例えばウィルスの検出ソフトウェア、検出パターンファイル、あるいはウィルス対策を含む基本ソフトウェアに対する更新ファイルを、それらの供給者、例えばウィルス対策ソフトウェア供給業者、基本ソフトウェア供給業者などの設置する第１のＷＥＢサイトから例えば自動ダウンロードし、リアルタイム制御を行う検証用リアルタイム制御装置上で所定の時間動作させて客観的な評価判断基準に基づき、前記のソフトウェア、パターンファイルの適用の可否を判断するから、それらのソフトウェア、パターンファイルを検証用リアルタイム制御装置に適用した結果、リアルタイム制御が安定持続することを短時間で検証可能とする効果がある。

また、それらのソフトウェア、パターンファイルが適用可能と判断されると、それらのソフトウェアパターンファイル、または判定結果を、例えば本発明の方法を主体的に実施しようとするものが設置する第２のＷＥＢサイトにアップロードし、顧客の制御装置に適用可能とするから、ウィルスが発見されてからウィルス対策を実行するまで、短時間で完了することができるという効果を有する。

また監視コンピュータにより前記検証用リアルタイム制御装置を補助・監視し、上記の検証が正常に行われていることを監視し、正常な検証が行われていないことを検出すると、管理者に例えばメール送信するなどして報告するから、検証が正常に行われなくなった場合には、問題の発生を直ちに管理者に通知するから、遅滞なく問題に対応できるという効果を発揮する。

またリアルタイム制御に対する影響を、タイミングマージンとして客観的に判断するから、厳格な判断を短時間に下すことができ、またリアルタイム制御に影響のないことを明瞭に示すことができ、リアルタイム制御装置の利用者（顧客）は安心してそれらのソフトウェア、パターンファイルを適用できるという効果を有する。

さらにリアルタイムの制御装置が数値制御装置である場合、所定の加工プログラムを前記数値制御装置で解釈実行させ、プログラム解釈が関数発生に対して、例えば常に間に合って行われることを評価するので、数値制御装置の利用者（顧客）はそれらのソフトウェア、パターンファイルを適用した結果、数値制御装置の能力が変動し、加工面の面粗度が悪くなるなどの心配がなくなるという効果を有する。

以下に図面を用いて、本発明に係る実施の形態におけるリアルタイムシステムのためのソフトウェアオブジェクト検証方法について説明する。図１は、リアルタイムシステムのためのコンピュータウィルス防御方法およびソフトウェア更新方法を適用することのできるシステムの全体概要を示す図である。第１のＷＥＢサイト１は、ウィルス検出ソフトウェアや基本ソフトウェアの供給者が設置するＷＥＢサイトで、ウィルス検出ソフト供給者であればウィルス検出ソフトウェアやウィルス検出パターンファイルをアップロードし、基本ソフトウェア供給者であれば更新ソフトウェアをアップロードし、利用者がインターネットからただちにダウンロード可能にして、迅速なウィルス対策や不具合対策を可能とするものである。なお、今後単にソフトウェアオブジェクトと言う場合、ウィルス検出ソフトウェア、ウィルス検出パターンファイルおよび更新ソフトウェアをさすものとする。

検証システム２は本発明の中心的役割を果たすもので、リアルタイム制御装置に対してソフトウェアオブジェクトを適用することの可否を判定するサービスを行うものが設置するものであり、多くの場合リアルタイム制御装置の供給者が設置すべきものである。検証用リアルタイム制御装置３は、第１のＷＥＢサイト１よりソフトウェアオブジェクトをダウンロードし（流れＡ）、リアルタイム制御を行う上で支障がなく、安定にリアルタイム制御を持続できることを所定の時間かけて自動検証し、問題がないことを確認できれば、第２のＷＥＢサイト５へアップロードする（流れＢ）。顧客のリアルタイム制御装置６は、第２のＷＥＢサイト５よりソフトウェアオブジェクトをダウンロードし適用する（流れＣ）。これにより、顧客のリアルタイム制御装置６のウィルス検出ソフトウェア、ウィルス検出パターンファイル、更新ソフトウェアの更新が、安定動作が保証された上で、迅速に行われる。

また、検証用リアルタイム制御装置３がソフトウェアオブジェクトを適用したことにより、まったく機能しなくなり検証を行えない状態に陥ってしまう可能性がある。この場合、検証用リアルタイム制御装置３は動作不能になっているために、そのような状況に陥っていることを他に伝えることさえできない状態となりうる。そこで検証用リアルタイム制御装置３は監視コンピュータ４に対し、検証を開始すること、検証が完了したことを報告する（流れＤ）。監視コンピュータ４は、検証用リアルタイム制御装置３により検証が開始され終了されたことを監視し、もし所定の時間内に検証が開始され完了しなければ、管理者コンピュータ７に対し、タイムアウトエラーを検出した旨メールを送信し、管理者に異常の発生したことを伝える。

次に検証用リアルタイム制御装置３について説明する。ここではリアルタイム制御装置の一種である数値制御装置を例にとって説明する。

図６は数値制御装置の構成図である。図６のプログラム解釈部２０３で加工プログラムの解釈が逐次行われ、関数発生部２０４によりプログラム解釈された結果に基づいて一定周期ごとに関数発生が行われ、関数発生結果によってサーボ駆動部２０５が駆動され、位置検出器２０７からのフィードバックを受けながらサーボモータ２０６が駆動されて位置制御がなされる。なお、ソフトウェアオブジェクト検証制御部２１１、タイミングマージン検出部２１２、プログラム解釈監視部２１３は、検証用リアルタイム制御装置３に固有の要素で、顧客のリアルタイム制御装置６には必要のない要素であり、通常これら以外の要素については検証用リアルタイム制御装置３と顧客のリアルタイム制御装置６とは同じものである。検証用リアルタイム制御装置３に固有の要素については、後ほど詳細に説明する。

図６に示すような数値制御装置は、実際には図５に示すようなコンピュータシステムによって実現される。図５に示すコンピュータシステムはＣＰＵ１０１を中心にＲＯＭ１０２, ＲＡＭ１０３のメモリ、補助記憶装置としてハードディスク１０４を備え、そして通信インターフェース部１１０により他のコンピュータやインターネット上のＷＥＢサイトと通信することができる。そのほかにＰＬＣ制御部１０５, 表示装置１０９を制御するグラフィック表示制御部１０７、操作パネル１１２とのインターフェース回路である操作パネルＩ／Ｆ部１１１、サーボ駆動部２０５, サーボモータ２０６, 位置検出器２０７などから構成される。なお、図６と同じ要素については同じ符号を付与した。図５には図示しないがこのコンピュータシステムはリアルタイムＯＳによりマルチタスク制御されていて、図６の数値制御装置のプログラム解釈部２０３、関数発生部２０４はそれぞれ異なるタスクとして実現される。

ここでリアルタイム制御のあるいは数値制御の中心であるプログラム解釈部２０３および関数発生部２０４の動作について、図７、図８のフローチャートを用いて動作を説明する。

図７はプログラム解釈部２０３の動作を示すフローチャートであり、数値制御装置の加工プログラムが起動されるとともにプログラム解釈動作を開始し（ステップＳ７１）、加工プログラムを１ブロック受取る（ステップＳ７２）。１ブロックを解釈して（ステップＳ７３）、ＭＯ２による終了であるかどうかを判定し（ステップＳ７４）、終了指令であれば終了する（ステップＳ７６）。そうでなければ、解釈を行った結果を関数発生部に送出する（ステップＳ７５）。以下ステップＳ７２に戻ってこれを繰返す。

図８は関数発生部２０４の動作を示すフローチャートである。関数発生部２０４は、一定時間Ｔcycごとに起動されて、所定の時間内に処理が終わるようにされており、まず一定時間Ｔcycごとに起動され（ステップＳ８１）、関数発生フラグがＯＮでなければ（ステップＳ８２）、解釈結果があるかどうか、すなわちプログラム解釈部のステップＳ７５より送出された解釈結果があるかどうかを判定し（ステップＳ８３）、なければ解釈結果空フラグをＯＮして（ステップＳ８９）、動作を終了する（ステップＳ８０）。ステップＳ８３において解釈結果があれば解釈結果を受取り（ステップＳ８４）、1ブロック関数発生初期化を行う（ステップＳ８５）。1ブロック関数発生初期化では、加工プログラムの1ブロックを開始するにあたって、例えばＧ００指令（早送り）やＧ０１指令（切削送り）であれば、目標位置までの距離と目標位置に至るまでの各軸の一定時間Ｔcycごとの移動距離を算出して記憶する（ステップＳ８５）。そして関数発生フラグをＯＮにする（ステップＳ８６）。次いで最初の一定時間Ｔcycの移動指令をサーボ駆動部２０５に送出し（ステップＳ８７）、解釈結果空フラグをＯＦＦして（ステップＳ８８）、一定時間Ｔcycごとの処理を終わる（ステップＳ８０）。

またステップＳ８２で、関数発生フラグがＯＮであれば、1ブロック関数発生を実行する（ステップＳ９０）。1ブロック関数発生は、Ｇ００指令やＧ０１指令であれば、各軸の一定時間Ｔcycごとの移動距離を現在位置に加算して記憶する。そして一定時間Ｔcycの移動指令をサーボ駆動部２０５に送出して（ステップＳ８７）一定時間Ｔcycごとの処理を終わる（ステップＳ８０）。

プログラム解釈部２０３、関数発生部２０４は、前述のように図５のようなコンピュータシステム上のリアルタイムＯＳにより制御されるタスクとして実現される。関数発生部２０４は一定時間Ｔcycごとに起動されるリアルタイムタスクとして、プログラム解釈部２０３は非リアルタイムタスクとして処理される。図４は、これらのタスク実行の様子を説明するタイミング図で、横軸は時間であり、それぞれのタスクがＣＰＵ１０１を使用している状態を長方形で表している。リアルタイムタスクは一定時間Ｔcycごとに起動されて処理が行われる。非リアルタイムタスクは、リアルタイムタスクに比べ優先度が低く、リアルタイムタスクがＣＰＵ１０１を使用しない時間を利用して処理が行われる。

ここでリアルタイムタスクは一定時間Ｔcycごとに起動され、タイミングｔ０〜ｔ１では、動作時間Ｔrunで、非動作時間Ｔslp(=Ｔcyc-Ｔrun)である。リアルタイムタスクの動作時間Ｔrunは、一定時間Ｔcycを越えてはならず、非動作時間ＴslpがタイミングマージンＴmgnとなる。タイミングマージンが十分でなければリアルタイムタスクの動作時間Ｔrunが一定時間Ｔcycを越える可能性が高まって、すなわち正常な関数発生を継続できなくなる可能性が高まって、安全とは言えない。それで、所定の時間リアルタイムタスクを繰返し動作させて、タイミングマージンＴmgnを測定し、すべてのリアルタイムタスク起動においてタイミングマージンＴmgnが所定の値すなわちタイミングマージンしきい値Ｔmgnthを下回ることがないかどうかを判定する。これが、後述するソフトウェアオブジェクトの検証におけるステップＳ７の判定の１つとなる。この動作を説明するのが図９のフローチャートである。タイミングマージン検出部は関数発生部と同様に一定時間Ｔcycごとに起動され（ステップＳ９１）、タイミングｔにおけるタイミングマージンＴmgnを算出する（ステップＳ９２）。タイミングマージンしきい値Ｔmgnthよりも下回れば、判定フラグ１をＯＮし、タイミングマージンがしきい値を下回ることがあったことを記録する。

一方、プログラム解釈部２０３は非リアルタイムタスクで処理されるが、先に説明したようにリアルタイムタスクで処理される関数発生部２０４がＣＰＵ１０１を使用しない時間に行われるため、これに手間取ると、プログラム解釈のステップＳ７５にて行われる解釈結果の送出が、関数発生部の解釈結果の有無判定のタイミング（ステップＳ８３）に間に合わなくなり、サーボ駆動部への移動指令の送出（ステップＳ８７）が行われず、サーボモータ２０６の動作がなめらかでなくなり、結果として工作機械の加工対象物の品位が低下してしまう。このようなことは、プログラム解釈部２０３を実現する優先度の低い非リアルタイムタスクのためにＣＰＵ１０１の使用が十分割付けられないことにより発生するものであり、ステップＳ８９にてＯＮされる解釈結果空フラグがＯＮされたかどうかを判定することで判断できる。これも、後述するソフトウェアオブジェクトの検証におけるステップＳ７の判定の１つとなる。この動作を説明するのが図１０のフローチャートである。プログラム解釈監視部２１３は関数発生部と同様に一定時間Ｔcycごとに起動され（ステップＳ１０１）、解釈結果空フラグがＯＮされていれば（ステップＳ１０３）、判定フラグ２をＯＮし、関数発生部の解釈結果の有無判定のタイミングに対しプログラム解釈部の解釈結果の送出が間に合わないことがあったことを記録する。

なお、これらの評価を行うにあたっては、数値制御装置にはなるべく重い負荷をかけた方がよく、例えば金型加工を行う加工プログラムのように、毎秒数百ブロックをプログラム解釈して関数発生させるような、つまりプログラム解釈部２０３、関数発生部２０４ともにＣＰＵ１０１の使用量、すなわち負荷が最大となる加工プログラムを用いて評価を行う。

以上リアルタイム制御装置あるいは数値制御装置における、制御を評価する手段について説明した。

次にソフトウェアオブジェクトの検証手順について図２のフローチャートを用いて説明する。

検証用リアルタイム制御装置３、すなわち図６の構成図の数値制御装置において、ソフトウェアオブジェクト検証制御部２１１はソフトウェアオブジェクトの検証を司り、ソフトウェアオブジェクトの検証を開始すると（ステップＳ１）、第1のＷＥＢサイト１に新しいソフトウェアオブジェクトがアップロードされたかどうかを判定する（ステップＳ２）。

次に、もしアップロードされたものがあれば第1のＷＥＢサイト１より新しいソフトウェアオブジェクトをダウンロードし（ステップＳ３）、監視コンピュータ４に評価の開始を報告し（ステップＳ４）、適用し評価を開始する（ステップＳ５）。ここで適用し評価を開始するとは、ダウンロードされたソフトウェアオブジェクトをハードディスク１０４に格納し、ＲＡＭ１０３上にロードされて実行されているプログラムを再起動するなどして、ダウンロードされたソフトウェアオブジェクトを元にＣＰＵ１０１がプログラム実行を行うようにすることである。次に所定時間が経過するのを待ち（ステップＳ６）、その間、先ほど説明した２つの評価を行い、そして所定時間が経過すると評価を終了し判定する（ステップＳ７）。評価結果が良好かどうかを判定し、すなわち判定フラグ１、判定フラグ２がともにＯＮされていないことを判定し（ステップＳ８）、良好と判定されれば第２のＷＥＢサイト５にソフトウェアオブジェクトをアップロードし（ステップＳ９）、顧客のリアルタイム制御装置６においてアップロードされたソフトウェアオブジェクトをダウンロードできるようにする。そして監視コンピュータ４に評価が正常に終了したことを報告する（ステップＳ１０）。ステップＳ８において判定結果が良好でなければ、監視コンピュータ４に評価の異常終了を報告する（ステップＳ１１）。

以上、ソフトウェアオブジェクト検証制御部２１１により、ソフトウェアオブジェクトの検証が行われることを説明した。

次に、監視コンピュータ４において、検証用リアルタイム制御装置３が正しく検証を行っているかどうかを監視する手順を図３のフローチャートをもとに説明する。

監視コンピュータ４は監視を開始すると（ステップＳ２１）、第1のＷＥＢサイト１に新しいソフトウェアオブジェクトがアップロードされるのを待ち（ステップＳ２２、図１において、この流れは省略）、アップロードされていれば検証用リアルタイム制御装置３から評価が開始されたという報告が入るのを待ち（ステップＳ２３）、報告がなければタイムアウト時間経過したかどうかを判定する（ステップＳ２４）。ステップＳ２３にて評価の開始が報告されたら、次には検証用リアルタイム制御装置３から評価の終了が報告されるのを待ち（ステップＳ２５）、報告がなければタイムアウト時間経過したかどうかを判定する（ステップＳ２６）。

正常に終了したとの報告があれば（ステップＳ２７）、ステップＳ２２へ戻って第1のＷＥＢサイト１に新しいソフトウェアオブジェクトがアップロードされるのを待つ。ステップＳ２７において正常ではないと判断されれば、不適合ソフトウェアオブジェクトを検出した旨、管理者のコンピュータ７にメール送信する（ステップＳ２８）。

検証用リアルタイム制御装置３から評価の開始、終了の報告がなく、ステップＳ２４、Ｓ２６においてタイムアウト時間を経過した場合、タイムアウトエラーが発生したことを管理者のコンピュータ７に対しメール送信する（ステップＳ２９）。

以上、監視コンピュータ４が、検証用リアルタイム制御装置３が正しく検証を行っていることを監視する手順を説明した。なお、本実施例では検証用リアルタイム制御装置３が第２のＷＥＢサイトにソフトウェアオブジェクトをアップロードするものとして説明したが、監視コンピュータ４がソフトウェアオブジェクトをアップロードしてもよい。

また、以上の説明では図２のステップＳ９において、第２のＷＥＢサイトにソフトウェアオブジェクトをアップロードするとして説明したが、判定結果を第２のＷＥＢサイトにアップロードしておいて、顧客のリアルタイム制御装置６は第２のＷＥＢサイトにアップロードされた判定結果に基づいて、第１のＷＥＢサイトからソフトウェアオブジェクトをダウンロードしてもよい。あるいは、第１のＷＥＢサイトから第２のＷＥＢサイトへソフトウェアオブジェクトをコピー可能にし、顧客のリアルタイム制御装置６は、第２のＷＥＢサイトにアップロードされた判定結果に基づいて、第２のＷＥＢサイトからソフトウェアオブジェクトをダウンロード可能としてもよい。

また、以上の説明では第１のＷＥＢサイトと第２のＷＥＢサイトは異なるものとして説明したが、同一のＷＥＢサイトであってもよい。ここで、ＷＥＢサイトとは、インターネットを介してソフトウェアオブジェクトをダウンロード可能に構成されたサイトであればよく、したがって、ハイパーテキスト転送プロトコル（ＨｙｐｅｒＴｅｘｔＴｒａｎｓｆｅｒＰｒｏｔｏｃｏｌ：ＨＴＴＰ）を利用するサイトに限定されるものではなく、ファイル転送プロトコル（ＦｉｌｅＴｒａｎｓｆｅｒＰｒｏｔｏｃｏｌ：ＦＴＰ）などの通信プロトコルによってダウンロード可能に構成されたサイトであってもよい。

本発明に係る実施の形態において、リアルタイムシステムのためのコンピュータウィルス防御方法およびソフトウェア更新方法を適用することのできるシステムの全体概要を示す図である。本発明に係る実施の形態におけるソフトウェアオブジェクトの検証手順を示すフローチャートである。本発明に係る実施の形態における監視手順を示すフローチャートである。本発明に係る実施の形態におけるタスクの実行の様子を説明するタイミング図である。数値制御装置を実現するコンピュータシステムの構成図である。本発明に係る実施の形態における数値制御装置の構成図である。本発明に係る実施の形態においてプログラム解釈部の動作を示すフローチャートである。本発明に係る実施の形態において関数発生部の動作を示すフローチャートである。本発明に係る実施の形態においてタイミングマージン検出部の動作を示すフローチャートである。本発明に係る実施の形態においてプログラム解釈監視部の動作を示すフローチャートである。

符号の説明

１第１のＷＥＢサイト、２検証システム、３検証用リアルタイム制御装置、４監視コンピュータ、５第２のＷＥＢサイト、６顧客のリアルタイム制御装置、７管理者のコンピュータ、１０１ＣＰＵ、１０２ＲＯＭ、１０３ＲＡＭ、１０４ハードディスク、１０５ＰＬＣ制御部、１０７グラフィック表示制御部、１０９表示装置、１１０通信インターフェース部、１１１操作パネルＩ／Ｆ部、１１２操作パネル、２０３プログラム解釈部、２０４関数発生部、２０５サーボ駆動部、２０６サーボモータ、２０７位置検出器、２１１ソフトウェアオブジェクト検証制御部、２１２タイミングマージン検出部、２１３プログラム解釈監視部。

Claims

コンピュータシステムにより実現されるリアルタイム制御装置と同じリアルタイム制御を行う検証用リアルタイム制御装置と、第１のＷＥＢサイトと、第２のＷＥＢサイトと、がインターネットを介して接続されるリアルタイムシステムにおいて、ソフトウェアオブジェクトのリアルタイム制御に対する影響を、前記ソフトウェアオブジェクトをリアルタイム制御装置に適用する前に検証するソフトウェアオブジェクト検証方法であって、
前記検証用リアルタイム制御装置は、
前記ソフトウェアオブジェクトを第１のＷＥＢサイトよりダウンロードし、
前記ソフトウェアオブジェクトを適用したコンピュータシステムによりリアルタイム制御に用いられる所定のリアルタイムタスクを一定時間ごとに動作させ、前記所定のリアルタイムタスクの動作のタイミングマージンが所定の値を下回らない場合に、前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定し、
前記ソフトウェアオブジェクトは良好であると判定した場合、前記顧客が利用しているリアルタイム制御装置が前記ソフトウェアオブジェクトをダウンロードして前記顧客が利用しているリアルタイム制御装置のコンピュータシステムに適用することができるように前記ソフトウェアオブジェクトを第２のＷＥＢサイトにアップロードし、
前記ソフトウェアオブジェクトがウィルス検出ソフトウェアまたは検出パターンファイルまたはウィルス駆除ソフトウェアまたは前記ソフトウェアオブジェクトがコンピュータシステムの基本ソフトウェアを更新するための更新用ソフトウェアの中の少なくとも１つを含むこと、
を特徴とするソフトウェアオブジェクト検証方法。
コンピュータシステムにより実現されるリアルタイム制御装置と同じリアルタイム制御を行う検証用リアルタイム制御装置と、第１のＷＥＢサイトと、第２のＷＥＢサイトと、がインターネットを介して接続されるリアルタイムシステムにおいて、ソフトウェアオブジェクトのリアルタイム制御に対する影響を、前記ソフトウェアオブジェクトをリアルタイム制御装置に適用する前に検証するソフトウェアオブジェクト検証方法であって、
前記検証用リアルタイム制御装置は、
前記ソフトウェアオブジェクトを第１のＷＥＢサイトよりダウンロードし、
前記ソフトウェアオブジェクトを適用したコンピュータシステムによりリアルタイム制御に用いられる所定のリアルタイムタスクを一定時間ごとに動作させ、前記所定のリアルタイムタスクの動作のタイミングマージンが所定の値を下回らない場合に、前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定し、
前記ソフトウェアオブジェクトは良好であると判定した場合、前記顧客が利用しているリアルタイム制御装置が第２のＷＥＢサイトにアップロードされた前記判定結果に基づいて前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードして前記顧客が利用しているリアルタイム制御装置のコンピュータシステムに適用することができるように前記判定結果を前記第２のＷＥＢサイトにアップロードし、
前記ソフトウェアオブジェクトがウィルス検出ソフトウェアまたは検出パターンファイルまたはウィルス駆除ソフトウェアまたは前記ソフトウェアオブジェクトがコンピュータシステムの基本ソフトウェアを更新するための更新用ソフトウェアの中の少なくとも１つを含むこと、
を特徴とするソフトウェアオブジェクト検証方法。
請求項１に記載のソフトウェアオブジェクト検証方法において、
前記リアルタイムシステムは、さらに、前記検証用リアルタイム制御装置に接続され、前記検証用リアルタイム制御装置の検証動作を監視する監視コンピュータと、インターネットを介して接続される管理者のコンピュータとを備え、
前記監視コンピュータは、前記第１のＷＥＢサイトに前記ソフトウェアオブジェクトがアップロードされた後、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードするまでの第１の時間、または、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードしてから前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定して前記ソフトウェアオブジェクトを前記第２のＷＥＢサイトにアップロードするまでの第２の時間の少なくともいずれか一方の時間が所定のタイムアウト時間を経過した場合には、前記ソフトウェアオブジェクトは不適合ソフトウェアである旨のメールを管理者のコンピュータに対して発信すること、
を特徴とするソフトウェアオブジェクト検証方法。
請求項２に記載のソフトウェアオブジェクト検証方法において、
前記リアルタイムシステムは、さらに、前記検証用リアルタイム制御装置に接続され、前記検証用リアルタイム制御装置の検証動作を監視する監視コンピュータと、インターネットを介して接続される管理者のコンピュータとを備え、
前記監視コンピュータは、前記第１のＷＥＢサイトに前記ソフトウェアオブジェクトがアップロードされた後、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードするまでの第１の時間、または、前記検証用リアルタイム制御装置が前記ソフトウェアオブジェクトを前記第１のＷＥＢサイトよりダウンロードしてから前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定して前記判定結果を前記第２のＷＥＢサイトにアップロードするまでの第３の時間の少なくともいずれか一方の時間が所定のタイムアウト時間を経過した場合には、前記ソフトウェアオブジェクトは不適合ソフトウェアである旨のメールを管理者のコンピュータに対して発信すること、
を特徴とするソフトウェアオブジェクト検証方法。
請求項１から４のいずれか１項に記載のソフトウェアオブジェクト検証方法において、
前記リアルタイム制御装置は数値制御装置であり、前記リアルタイム制御に用いられる前記所定のリアルタイムタスクが前記数値制御装置において実行される関数発生タスクであること、
を特徴とするソフトウェアオブジェクト検証方法。
請求項５に記載のソフトウェアオブジェクト検証方法において、
前記検証用リアルタイム制御装置は、さらに、
前記ソフトウェアオブジェクトを適用したコンピュータシステムにより所定の加工プログラムを解釈するプログラム解釈タスクを非リアルタイムタスクとして動作させ、
プログラム解釈が関数発生に対して間に合っており、かつ、前記関数発生タスクの動作のタイミングマージンが所定の値を下回らない場合に、前記第１のＷＥＢサイトよりダウンロードした前記ソフトウェアオブジェクトは良好であると判定すること、
を特徴とするソフトウェアオブジェクト検証方法。
請求項６に記載のソフトウェアオブジェクト検証方法において、
前記検証用リアルタイム制御装置を実現するコンピュータシステムは、ＣＰＵを含み、
前記所定の加工プログラムは、前記ＣＰＵの負荷が最大となるプログラムであること、
を特徴とするソフトウェアオブジェクト検証方法。