(57)【特許請求の範囲】
【請求項１】
制御対象の状態を表すステータス情報を取込み、前記制御対象を制御する制御命令を生成して前記制御対象に出力する制御部を備えた制御装置において、
前記制御命令を実行するための条件である他の制御命令と前記ステータス情報の前提条件を記述した制御情報が記憶された制御情報記憶部と、
前記制御情報に基づいて、あらかじめ指定された特定の制御命令と該特定の制御命令に対応した前記前提条件とを対応付けてなるチェック情報を生成するチェック情報生成手段と、該生成されたチェック情報を記憶するチェック情報記憶部と、
前記制御部から前記特定の制御命令を含む複数の制御命令群が発行されたとき、該特定の制御命令に対応する前記チェック情報を前記チェック情報記憶部から読出して該チェック情報の成立をチェックし、成立した場合は前記制御命令群を前記制御対象へ出力し、成立しなかった場合は前記制御命令群の制御対象への出力を抑止する制御命令チェック手段とを設けてなることを特徴とする制御装置。
【請求項２】
前記制御命令群は、ビット列であり、一つの制御命令が一つのビットに対応し、ビット”１”が該制御命令の発行を意味し、ビット”０”が該制御命令を発行しないことを意味することを特徴とする請求項１に記載の制御装置。
【請求項３】
前記前提条件を構成する前記ステータス情報が複数の場合、該ステータス情報群は、ビット配列であり、一つのステータス情報が一つのビットに対応することを特徴とする請求項１または２に記載の制御装置。
【請求項４】
前記チェック情報は、前記特定の制御命令と前記前提条件を構成する前記他の制御命令および前記ステータス情報をビット配列してなるチェックパターンであり、  
該チェックパターンは、前記制御命令群から前記特定の制御命令を抽出する制御命令マスクと、前記制御命令群と前記ステータス情報群から前記前提条件の対象となる制御命令とステータス情報を抽出する条件マスクと、前記前提条件の対象となる制御命令とステータス情報が前提条件を満たすか否かをチェックする条件判定パターンとからなり、制御命令マスク、条件マスク及び条件判定パターンは、それぞれビット列からなることを特徴とする請求項３に記載の制御装置。
【請求項５】
前記制御命令チェック手段は、前記制御命令群と、前記ステータス情報群と、前記チェックパターンとの論理演算により前記特定の制御命令と該特定の制御命令の発行の前提条件との同時成立のチェックを行なうことを特徴とする請求項４に記載の制御装置。
【発明の詳細な説明】
【０００１】
【産業上の利用分野】
本発明は、計算機を用いた制御装置に係り、特に制御装置の安全性向上技術に関する。
【０００２】
【従来の技術】
計算機を用いた制御システムによっては、計算機の故障やノイズ、ソフトウェアのバグ等による誤動作が、人命にかかわる大事故となる恐れがある。このため、誤動作を起こさないように、あるいは仮りに誤動作が起きても安全側に制御されるように、制御システムを設計しなければならない。
【０００３】
このような制御システムの安全確保技術の公知例として、特開昭６１−１６６４８９号公報に記載された技術がある。上記公知例では、前提条件が満たされないときに発行されると人命にかかわる大事故となる恐れがある信号に対し、正常時に満たすべき前提条件を論理的に設定し、この論理条件を満たさない時に上記信号がオンとなった場合、上記信号が異常信号であると判定して制御対象の通常動作を阻止するものである。
【０００４】
【発明が解決しようとする課題】
上記公知例では、前提条件がシステムに固有のものであるため、前提条件のチェック機構はシステムに組み込まれている。しかし、前提条件を含む制御情報をデータとして取り込むことにより、前提条件の異なる様々なヴァリエーションに対応可能な汎用性のある制御装置に対しては、公知例に示されるようなシステム組み込み型のチェック機構では、個々のヴァリエーション毎にシステムそのものを作り替えなければならず、対応できない。
【０００５】
本発明はこのような事情に鑑みてなされたものであり、前提条件の異なる様々なヴァリエーションに対応可能な汎用性があり、簡単なチェック機能により、前提条件が満たされないときに発行されると事故となるおそれがある制御命令の誤った発行を確実に抑止し得る制御装置を提供することを目的とする。
【０００６】
【課題を解決するための手段】
本発明の制御装置は、制御対象の状態を表すステータス情報を取込み、前記制御対象を制御する制御命令を生成して前記制御対象に出力する制御部を備えた制御装置において、
前記制御命令を実行するための条件である他の制御命令と前記ステータス情報の前提条件を記述した制御情報が記憶された制御情報記憶部と、前記制御情報に基づいて、あらかじめ指定された特定の制御命令と該特定の制御命令に対応した前記前提条件とを対応付けてなるチェック情報を生成するチェック情報生成手段と、該生成されたチェック情報を記憶するチェック情報記憶部と、前記制御部から前記特定の制御命令を含む複数の制御命令群が発行されたとき、該特定の制御命令に対応する前記チェック情報を前記チェック情報記憶部から読出して該チェック情報の成立をチェックし、成立した場合は前記制御命令群を前記制御対象へ出力し、成立しなかった場合は前記制御命令群の制御対象への出力を抑止する制御命令チェック手段とを設けたことを特徴とする。
【０００７】
【作用】
チェック情報生成手段は、制御情報から、あらかじめ指定された特定の制御命令に対して、該特定の制御命令と該特定の制御命令を実行するための前提条件を抽出し、特定の制御命令と該特定の制御命令に対応した前記前提条件とを対応付けてなるチェック情報を生成する。
【０００８】
前提条件となるのは制御対象から得られるステータス情報と該特定の制御命令以外の制御命令である。これにより、制御情報を変更することにより発生する様々なヴァリエーションに対して、確実にチェック情報を生成できる。
【０００９】
一方、制御命令チェック手段は、上記特定の制御命令が発行されたとき、上記制御命令に対応するチェック情報に基づいて、上記特定の制御命令と上記前提条件の同時成立をチェックする。同時成立しなかった場合、制御命令群の制御対象への転送を抑止する。これにより、上記チェックパターンを用いて前提条件が満たされないときに発行されると人命にかかわる事故となるおそれがある制御命令の誤った発行を確実に抑止できる。
【００１０】
【実施例】
本発明の実施例を図面を参照して説明する。図１には本発明に係る制御装置の一実施例の構成が示されている。同図において、制御装置１は、制御対象２を制御する。制御装置１は、制御対象２に一定周期で制御命令群を転送し、制御対象２は、制御装置１から制御命令群を受け取って動作する。
【００１１】
また、制御対象２は、制御装置１にステータス情報群を一定周期で転送し、制御装置１は、制御対象２からステータス情報群を受け取り、次の制御を決定するために使う。
【００１２】
制御装置１は、制御命令を実行するための前提条件を記述した制御情報を記憶する制御情報記憶部１０と、制御情報記憶部１０に記憶された制御情報に基づいて制御対象２を制御する制御部１１と、制御部１１の出力する制御命令群と制御対象２の出力するステータス情報群を入力とし、チェックパターンを用いて制御命令発行の正当性をチェックする制御命令チェック部１２と、制御命令チェック部１２においてチェックのために使用するチェックパターンを、制御情報記憶部１０に記憶された制御情報に基づいて生成するチェックパターン生成部１３と、チェックパターン生成部１３が生成するチェックパターンを記憶するチェックパターン記憶部１４とからなる。
【００１３】
制御装置１及び制御対象２は以下のように動作する。まずオフライン処理によって、チェックパターン生成部１３は、制御情報記憶部１０から制御情報を読み込み、チェックパターンを生成し、生成したチェックパターンをチェックパターン記憶部１４に出力する。
【００１４】
次に、オンラインシステム起動時に、制御部１１は制御情報記憶部１０から制御情報を読み込み、制御命令チェック部１２はチェックパターン記憶部１４からチェックパターンを読み込む。
【００１５】
以上の処理の後、制御部１１、制御命令チェック部１２、制御対象２がオンラインで動作する。すなわち、制御部１１は、一定周期で制御命令チェック部１２に制御命令群を出力する。制御対象２は、制御部１１及び制御命令チェック部１２にステータス情報群を出力する。
【００１６】
制御命令チェック部１２は、制御部１１から供給される制御命令群と、制御対象２から供給されるステータス情報群を取り込み、チェックパターン記憶部１４から読み込んだチェックパターンに基づいて上記制御命令群の中に含まれる特定の制御命令の発行の正当性をチェックする。チェックの結果、上記特定の制御命令の発行が正当であれば、制御命令チェック部１２は、上記制御命令群を制御対象２に転送し、制御対象２は、上記制御命令群に従って動作する。逆に上記特定の制御命令の発行の条件が満たされていなければ、異常と判定し、制御命令チェック部１２は、上記制御命令群の制御対象２への転送を抑止する。
【００１７】
また、制御命令チェック部１２は、制御命令の発行が正常か異常かを示すチェックフラグと、制御命令群の中のどの制御命令の発行が異常であったかを示すロゴを、制御部１１に出力する。
【００１８】
次に図２に制御命令チェック部１２の具体的構成を示す。同図においてチェックパターン入力部１２１は、オンラインシステム起動時にチェックパターン記憶部１４よりチェックパターンを読み込む。
【００１９】
チェックパターン一時記憶部１２２は、チェックパターン入力部１２１が読み込んだチェックパターンを電源オンの間記憶する。
【００２０】
制御命令入力部１２３は制御部１１より制御命令群を読み込み、ステータス情報入力部１２６は制御対象２からステータス情報群を読み込む。
【００２１】
制御命令判定部１２０は、ステータス情報入力部１２６から転送されるステータス情報群と、チェックパターン一時記憶部１２２から転送されるチェックパターンを用いて、制御命令入力部１２３から転送される制御命令群の中の特定制御命令の発行の正当性をチェックする。
【００２２】
制御命令出力部１２５は、制御命令判定部１２０から、制御命令群と、チェックの結果を示すチェックフラグを受け取り、チェックフラグがＯＫを示す場合には制御対象２に制御命令群を出力し、上記チェックフラグがＮＧを示す場合には制御対象２への制御命令群の出力を抑止する。
【００２３】
チェックフラグロゴ出力部１２４は、制御命令判定部１２０からチェックの結果を示すチェックフラグと、制御命令群の中のどの制御命令の発行が異常であったかを示すロゴを受け取り、制御部１１に出力する。
【００２４】
次に図３に制御命令判定部１２０の具体的構成を示す。同図においてレジスタ２００は、制御命令入力部１２３から供給される制御命令群を取り込む。ここで制御命令群とは、各ビットが個別の制御命令のオン／オフを示すデータになっているビット例である。
【００２５】
制御命令マスクレジスタ２０１は、制御命令レジスタ２００の中の特定の制御命令ビットを取り出すための制御命令マスクを、チェックパターン一時記憶部１２２から取り込む。
【００２６】
ビット選別回路２０２は、制御命令レジスタ２００が供給する制御命令群を、制御命令マスクレジスタ２０１が供給する制御命令マスクでマスクする。
【００２７】
ビットオン判定回路２０３は、ビット選別回路２０２がマスクしたパターンを取り込み、ビットが立っているかどうかを判定する。ビットが立っていれば論理“１”を出力し、立っていなければ論理“０”を出力する。ここで論理“１”出力はチェックすべき特定制御命令が発行されていることを示す。
【００２８】
一方、条件レジスタ２０９は、制御命令入力部１２３から制御命令群を、ステータス情報入力部１２６からステータス情報群を取り込む。ここでステータス情報群とは、各ビットが個別の制御対象のステータス情報を示すデータになっているビット列である。
【００２９】
条件マスクレジスタ２１０は、チェックパターン一時記憶部１２２から、条件レジスタ２０９に取り込んだ条件データから必要な条件を取り出すための条件マスクを取り込む。
【００３０】
ビットマスク回路２１１は、条件レジスタ２０９内の条件データを、条件マスクレジスタ２１０内の条件マスクでマスクする。
【００３１】
条件判定パターンレジスタ２１２は、チェックパターン一時記憶部１２２から、マスクされた条件データが、上記制御命令と整合性が取れているかどうかを判定するための条件判定パターンを取り込む。
【００３２】
ビット一致判定回路２０４は、条件判定パターンレジスタ２１２内の条件判定パターンと、ビットマスク回路２１１が出力するマスクされた条件データが一致しているかどうかを判定する。一致していれば論理“０”を出力し、一致していなければ論理“１”を出力する。
【００３３】
ＡＮＤ回路２０５は、ビットオン判定回路２０３の出力とビット一致判定回路２０４の出力のＡＮＤ論理を取る。ＡＮＤ回路２０５の出力が論理“１”となるのは、上記特定制御命令が発行され、かつ上記特定制御命令発行の前提条件を満たさなかった場合である。このＡＮＤ回路２０５の出力は、チェックフラグとしてチェックフラグロゴ出力部１２４に転送され、チェックフラグロゴ出力部１２４は検出結果を制御部１１に通知する。
【００３４】
また、ＡＮＤ回路２０５の出力（チェックフラグ）は、制御命令出力部１２５に転送され、制御命令を制御対象２に出力するかどうかの判定に使われる。
【００３５】
更に、ＡＮＤ回路２０５の出力は、マルチプレクサ２０６の制御線に使われる。マルチプレクサ２０６は、チェックフラグが“０”の場合“０”を、チェックフラグが“１”の場合ビット選択回路２０２の出力をＯＲ回路２０７に供給する。
【００３６】
ＯＲ回路２０７は、ロゴレジスタ２０８の出力とマルチプレクサ２０６の出力をビット毎にＯＲ論理をとり、その出力を再びロゴレジスタ２０８に書き込む。これにより、特定制御命令において条件との整合性がとれなかった場合、上記特定制御命令ビットがロゴレジスタに登録される。
【００３７】
次に図４にチェックパターン生成部１３の具体的構成を、図５にチェックパターン生成部で扱われるデータの詳細を示す。これらの図において制御情報入力部１３０は、制御情報記憶部１０から制御情報３００を読み込む。ここで制御情報３００は、制御命令とステータス情報の関係を示すもので、図５では表形式に表現しているが、適用分野によって、様々な記述方法があり得る。
【００３８】
チェック情報抽出部１３１は、制御情報入力部１３０が取り込んだ制御情報３００から、チェックパターンを作成するために必要なチェック情報３１０を抽出する。即ち、まず、制御情報３００に記述されている制御命令の中から、誤って発行すると重大事故を引き起こす可能性のある特定制御命令を抽出する。
【００３９】
次に、上記特定制御命令を発行する際に、前提条件となる他の制御命令、及びステータス情報を抽出し、上記特定命令と対応させる。
【００４０】
チェックパターン作成部１３２は、チェック情報抽出部１３１が抽出したチェック情報３１０に基づいて、制御命令マスク３２０、条件マスク３３０、条件パターン３４０を作成する。
【００４１】
制御命令マスク３２０は、特定制御命令のビット位置を示すパターンで、制御命令群のビット列から特定制御命令を抽出するのに使用する。
【００４２】
条件マスク３３０は、上記特定制御命令が発行される際に、前提条件としてチェックすべき他の制御命令及びステータス情報のビット位置を示すパターンで、上記条件ビットを抽出するのに使う。
【００４３】
条件判定パターン３４０は、上記特定制御命令が発行されるときの前提条件となる他の制御命令及びステータス情報のビットパターンを示し、上記条件ビットと上記特定制御命令との間に整合性があるかどうかの判定に使う。
【００４４】
チェックパターン出力部１３３は、チェックパターン作成部１３２が作成した制御命令マスク３２０、条件マスク３３０、条件判定パターン３４０を、チェックパターン記憶部１４に出力する。
【００４５】
以上の実施例によれば、誤って発行されると重大事故につながる危険性のある特定制御命令に対して、上記特定制御命令が発行されたときに、上記特定制御命令が制御対象に転送される前に、上記特定制御命令の発行が許される前提条件をチェックし、チェックの結果、上記前提条件が満たされていないと判定された場合には、上記特定制御命令の発行を抑止することができるので、簡単なチェック手段の追加によって、重大事故を確実に防ぐことができる効果がある。
【００４６】
また、本実施例によれば、オフライン処理によって、制御命令とその発行の前提条件を示す制御情報から、重大事故につながる危険性のある特定制御命令に対する前提条件を抽出し、チェックパターンを生成することができるので、制御情報を入れ替えることによって様々な制御を可能とする汎用性のある制御装置に対しても、簡単なチェック手段の追加によって、重大事故を確実に防ぐことができる効果がある。
【００４７】
更に、本実施例によれば、チェック処理は単純な論理演算によって実現しているので、高速にチェック処理を実行できる効果がある。
【００４８】
次に、第１の実施例で示した制御装置を実際の制御に適用した実施例を図６に示す。図６に示す制御対象２は、建物の搬入口である。この建物の室内は空気圧が高いため、搬入口２は、外部ドア２０と内部ドア２１の２重ドア構造になっているものとする。搬入口２には、外部ドア２０、内部ドア２１、屋外照明２２、中室照明２３、室内照明２４、及び空調機２５があり、制御装置１（図１）によって制御されるものとする。
【００４９】
また搬入口２においては、外部ドア２０と内部ドア２１が同時に開くと、室内の空気圧が高いために室内から屋外に向けて強い風が吹き、様々なものが飛ばされて重大事故を引き起こす可能性があるものとする。
【００５０】
図７に搬入口２の制御における制御命令ビット（３０〜４１）と、ステータス情報ビット５０〜５７を示す。同図において制御命令ビット３０は、外部ドア２０をあける命令、制御命令ビット３１は、外部ドア２０を閉める命令、制御命令ビット３２は、内部ドア２１を開ける命令、制御命令ビット３３は、内部ドア２１を閉める命令、制御命令ビット３４は、屋外照明２２のスイッチオン命令、制御命令ビット３５は、屋外照明２２のスイッチオフ命令、制御命令ビット３６は、中室照明２３のスイッチオン命令、制御命令ビット３７は、中室照明２３のスイッチオフ命令、制御命令ビット３８は、室内照明２４のスイッチオン命令、制御命令ビット３９は、室内照明２４のスイッチオフ命令、制御命令ビット４０は、空調機２５のスイッチオン命令、制御命令ビット４１は、空調機２５のスイッチオフ命令である。
【００５１】
一方、ステータス情報ビット５０は、外部ドア２０が完全に開いている状態を示し、ステータス情報ビット５１は、外部ドア２０が完全に閉まっている状態を示す。ステータス情報ビット５２は、内部ドア２１が完全に開いている状態を示し、ステータス情報ビット５３は、内部ドア２１が完全に閉まっている状態を示す。ステータス情報ビット５４、５５、５６は、それぞれ屋外照明２２、中室照明２３、室内照明２４が点灯していることを示し、ステータス情報ビット５７は、空調機のスイッチが入っていることを示す。
【００５２】
図８に本実施例で使用される制御情報３００の内容を示す。制御情報３００は、次の内容を示している。（１）外部ドア２０を開けるときは、外部ドア２０と内部ドア２１が閉まっていなければならない。（２）外部ドア２０を閉めるときは、外部ドア２０が開いており、内部ドアが閉まっていなければならない。（３）内部ドア２１を開けるときは、外部ドア２０と内部ドア２１が閉まっていなければならない。（４）内部ドア２１を閉めるときは、外部ドア２０が閉まっており、内部ドアが開いていなければならない。（５）屋外照明２２を点灯するときは、屋外照明２２が消えていなければならない。（６）屋外照明２２を消灯するときは、屋外照明２２が点灯していなければならない。（７）中室照明２３を点灯するときは中室照明２３が消えていなければならない。（８）中室照明２３を消灯するときは、中室照明２３が点灯していなければならない。（９）室内照明２４を点灯するときは、室内照明２４が消えていなければならない。（１０）室内照明２４を消灯するときは、室内照明２４が点灯していなければならない。（１１）空調２５を起動するときには、空調２５が停止していなければならない。（１２）空調２５を停止するときには、空調２５が稼働していなければならない。なお、ここでは、前提条件はすべてＡＮＤ条件になっているが、ＯＲ条件が含まれていてもよい。
【００５３】
上記制御情報３００から、チェック情報３１０が作成される。チェック情報３１０では、誤って発行されると重大事故につながる特定の制御命令と、該特定の制御命令発行に対する前提条件がリストアップされる。
【００５４】
本実施例では、重大事故につながる可能性のあるのは、外部ドア２０と内部ドア２１が同時に開いたときである。そこで、特定制御命令として、外部ドア２０を開ける命令３０と、内部ドア２１を開ける命令３２を指定する。
【００５５】
外部ドア２０を開ける命令３０の発行条件は、内部ドア２１を開ける命令３２が発行されていないこと、及び、内部ドア２１が完全に閉まっていることである。  内部ドア２１が完全に閉まっている条件とは、ステータス情報群の内部ドア２１が完全に開いている状態を示すステータス情報ビット５２が“０”でかつ内部ドア２１が完全に閉まっている状態を示すステータス情報ビット５３が“１”であることである。
【００５６】
内部ドア２１を開ける命令３２の発行条件は、外部ドア２０を開ける命令３０が発行されていないこと、及び、外部ドア２０が完全に閉まっていることである。外部ドア２０が完全に閉まっている条件とは、ステータス情報群の外部ドア２０が完全に開いている状態を示すステータス情報ビット５０が“０”でかつ外部ドア２０が完全に閉まっている状態を示すステータス情報ビット５１が“１”であることである。
【００５７】
次に図９に、チェック情報３１０より生成される制御命令マスク３２０、条件マスク３３０、条件判定パターン３４０を示す。制御命令マスク３２０では、パターン１で外部ドア２０の開放命令３０の発行を、パターン２で内部ドア２１の開放命令３２の発行を抽出する。
【００５８】
条件マスク３３０では、パターン１で内部ドア２１の開放命令３２、及びステータス情報５２、５３を抽出し、パターン２では外部ドア２０の開放命令３０、及びステータス情報５０、５１を抽出する。
【００５９】
条件判定パターン３４０においては、条件マスク３３０によってマスクされた条件データに対して、パターン１ではステータス情報ビット５３のみが、パターン２では、ステータス情報ビット５１のみが“１”であることをチェックする。なお、前提条件にＯＲ条件が含まれる場合には、ひとつの制御命令マスク３２０に対して、複数の条件マスク３３０と条件判定パターン３４０を用いることでチェックが可能となる。
【００６０】
図１０は、搬入口２の外部ドア２０が、閉まりきらない途中で止まっている状態にある場合を示す。この時に内部ドア２１を開ける制御命令３２が発行された場合の制御命令判定部１２０の動作を、図１１及び図１２を参照して説明する。
【００６１】
図１１において、制御命令は、内部ドアを開ける命令３２、中室照明を点灯する命令３６、空調機を停止する命令４１が、同時に発行されているものとする。制御命令マスク３２０は、図９に示すようにパターン１とパターン２の２種類があるので、チェック処理も２回にわけて実施する。
【００６２】
まず、制御命令マスク３２０のパターン１が制御命令マスクレジスタ２０１にセットされる。制御命令マスク３２０のパターン１は、外部ドア２０を開ける命令３０を抽出するマスクである。ビット選別回路２０２が、制御命令レジスタ２００にセットされた制御命令と、制御命令マスクレジスタ２０１にセットされた制御命令マスク３２０のビット毎のＡＮＤ論理を取ると、出力として“００００００００００００”が得られる。これにより外部ドア２０を開ける命令３０が発行されていないことが検出されたことになる。ビット選別回路２０２以下の全ての回路出力は“０”となり、制御命令マスク３２０のパターン１に対する処理が終了する。
【００６３】
次に図１１に示した制御命令判定部１２０の動作において制御命令マスク３２０のパターン２を用いた場合の動作を図１２に示す。制御命令マスクレジスタ２０１には、図１１と同様の制御命令群がセットされている。制御命令レジスタ２０１には、制御命令マスク３２０のパターン２がセットされる。制御命令マスク３２０のパターン２は、内部ドア２１を開ける命令３２を抽出するマスクである。
【００６４】
ビット選別回路２０２は、制御命令レジスタ２００にセットされた制御命令群と、制御命令マスクレジスタ２０１にセットされた制御命令マスク３２０のビット毎のＡＮＤ論理を取り、出力として“００１０００００００００”を得る。
【００６５】
ビットオン判定回路２０３は、上記ビット選別回路２０２の出力のビット列の中に“１”があるので“１”を出力する。
【００６６】
一方、条件レジスタ２０９には、制御命令群とステータス情報群がセットされ、条件マスクレジスタ２１０には、条件マスク３３０のパターン２がセットされている。
【００６７】
また条件判定パターンレジスタ２１２には、条件判定パターン３４０のパターン２がセットされている。ビットマスク回路２１１は、条件レジスタ２０９にセットされた制御命令群及びステータス情報群と、条件マスクレジスタ２１０にセットされた条件マスク３３０のパターン２とのビット毎のＡＮＤ論理をとる。ビットマスク回路２１１の出力は、“００００００００００００”となる。
【００６８】
ビット一致判定回路２０４は、上記ビットマスク回路２１１の出力と、条件判定パターンレジスタ２１２にセットされた条件判定パターン３４０のパターン２との一致をチェックする。図１２の動作ではビット一致判定回路２０４は、不一致と判定し、“１”を出力する。
【００６９】
この結果ＡＮＤ回路２０５は、ビットオン判定回路２０３の出力“１”と、ビット一定判定回路２０４の出力“１”のＡＮＤ論理を取って論理“１”を出力する。ＡＮＤ回路２０５の出力が論理“１”であるため、制御命令ビット３２（内ドア開放命令）の発行が不当であると判定され、制御命令群の制御対象２への出力が抑止される。
【００７０】
更にマルチプレクサ２０６がビット選別回路２０２の出力“００１０００００００００”を選択してＯＲ回路２０７に供給し、ロゴレジスタ２０８に登録される。
【００７１】
本実施例によれば、室内の気圧が高く、２重のドアが設けられ、該２重ドアの開閉が計算機によって制御される搬入口において、簡単なチェック手段を設けることによって、２つのドアが同時に開くという重大事故につながる誤制御を確実に抑止できる。
【００７２】
また、本実施例によれば、オフライン処理によって、制御命令とその発行の前提となる条件を示す制御情報から、重大事故につながる危険性のある外部ドアを開ける命令及び内部ドアを開ける命令に対する前提条件を抽出し、チェックパターンを生成することができるので、搬入口の設備変更や、制御命令群、ステータス情報群のビット配置に変更が生じても、制御情報を変更するだけで安全度の高い制御を実現できる。
【００７３】
また、本実施例によれば、他の制御対象に対しても、制御情報を入れ替えるだけで安全度の高い制御を実現できる。
【００７４】
更に、本実施例によれば、チェック処理は単純な論理演算によって実現しているので、高速にチェック処理を実行できる。
【００７５】
【発明の効果】
本発明によれば、誤って発行されると重大事故につながる危険性のある特定制御命令に対して、上記特定制御命令が発行されたときに、上記特定制御命令が制御対象に転送される前に、上記特定制御命令の発行が許される前提条件をチェックし、チェックの結果、上記前提条件が満たされていないと判定された場合には、上記特定制御命令の発行を抑止することができるので、簡単なチェック手段の追加によって、重大事故を確実に防ぐことができる。
【００７６】
また、本発明によれば、オフライン処理によって、制御命令とその発行の前提となる条件を示す制御情報から、重大事故につながる危険性のある特定制御命令に対する前提条件を抽出し、チェックパターンを生成することができるので、制御情報を入れ替えることによって様々な制御を可能とする汎用性のある制御装置に対しても、簡単なチェック手段の追加によって、重大事故を確実に防ぐことができる。
【００７７】
更に、本発明によれば、チェック処理は単純な論理演算によって実現しているので、高速にチェック処理を実行できる。
【図面の簡単な説明】
【図１】本発明に係る制御装置の一実施例の構成を示すブロック図である。
【図２】図１に示した制御装置における制御命令チェック部の具体的構成を示すブロック図である。
【図３】図２に示した制御命令チェック部における制御命令判定部の具体的構成を示すブロック図である。
【図４】図１に示した制御装置におけるチェックパターン生成部の具体的構成を示すブロック図である。
【図５】チェックパターン生成部で扱われる各種データの生成過程を概念的に示す説明図である。
【図６】本発明に係る制御装置が適用される制御対象としての搬入口の構成を示す説明図である。
【図７】図６に示す搬入口の制御に使用される制御命令とステータス情報のデータ構造を示す説明図である。
【図８】図６に示す搬入口の制御に使用される制御情報とチェック情報の具体的内容を示す説明図である。
【図９】図６に示す搬入口の制御に使用される制御命令マスク、条件マスク及び条件判定パターンの具体的内容を示す説明図である。
【図１０】図６に示す搬入口の外部ドアが閉まりきらないで途中で止まっている状態を示す説明図である。
【図１１】制御命令判定部の動作の一例を示す説明図である。
【図１２】制御命令判定部の動作の他の例を示す説明図である。
【符号の説明】
１  制御装置
２  制御対象
１０  制御情報記憶部
１１  制御部
１２  制御命令チェック部部
１３  チェックパターン生成部
１４  チェックパターン記憶部
１２０  制御命令判定部
１３１  チェック情報抽出部
１３２  チェックパターン作成部
【図１】
0003600938.tif 000002
【図２】
0003600938.tif 000003
【図３】
0003600938.tif 000004
【図４】
0003600938.tif 000005
【図５】
0003600938.tif 000006
【図６】
0003600938.tif 000007
【図７】
0003600938.tif 000008
【図８】
0003600938.tif 000009
【図９】
0003600938.tif 000010
【図１０】
0003600938.tif 000011
【図１１】
0003600938.tif 000012
【図１２】
0003600938.tif 000013