JPH0259935A - 論理装置の故障診断辞書作成方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は論理装置の故障診断辞書作成方式に関し、特に
ＥＩＦ　（エラーインディケータフリソプフロノプ）の
情報をもとに被疑故障部品の指摘が可能な故障診断辞書
の作成方式に関するものである。

〔従来の技術〕

情報処理装置を構成する各種の論理装置において間欠故
障等の故障が発生したとき、その原因究明を容易にする
と共に速やかな修理を可能とするために、従来より、故
障診断辞書を用いた故障診断が行われている。この故障
診断は、論理装置を互いに独立して交換可能な部品で構
成し、各部品内に所定個数のチエツク回路たとえばパリ
ティチエツク回路やコンベアチエツク回路等と、このチ
エツク回路のエラー検出に応してセットされるＥＩＦと
を設けて、故障が発生したときにその部位のＩＩＦがセ
ントされるようにしておき、故障発生時にＥＩＦの状態
をエラーログとしてログアウトし、このエラーログから
故障診断辞書を索引して被疑故障部品を指摘するもので
ある。

上述のような故障診断を可能ならしめる故障診断辞書に
は、成るＥＩＦがセットされたとき、どの部品に故障が
発生したものと予想されるかについての情報つまり被疑
故障部品に関する情報が格納されるものであり、このよ
うな故障診断辞書は、従来、論理装置の構成を記述した
情報（回路モデル）に従い、ＥＩＦから入力信号線を順
次にバックトレースし、トレースされた範囲に含まれる
部品を当該Ｅ　Ｉ　Ｆに対応する被疑故障部品に決定す
るといった方式で作成されていた。

〔発明が解決しようとする課題〕

ところで、論理装置の設計においては、同一種類の部品
の効率的な使用と論理装置を構成する部品の種類の低減
を狙って、部品の成る内部信号線の論理値を成る値に固
定することで一部信号線以降の回路構成を無効にし、同
一種類の部品を多目的に使用するといった設計方法を採
る場合がある。

このような設計方法による論理装置に対して上述した従
来の故障診断辞書作成方式を適用した場合、以下に述べ
るような問題点が生じる。

今、論理装置の回路モデルとして、第６図に示すような
３つのチップ１，２．３を含む回路モデルを想定し、チ
ップｌは、ＥＩＦＩＩ、パリティチエツク回路（ＰＣ）
１２．ナンド回路１３〜１６を含み、図示した信号線１
００〜１０６により各ゲート間およびチップ間が接続さ
れているものとする。ここで、チップｌは上述した設計
方法を適用したものであり、信号線１０６に接続された
端子１７が論理値”０パに固定されている。従来の故障
診断辞書作成方式では、信号線が成る論理値に固定され
ているか否かに関係無く、ＥＩＦから入力信号線を全て
バンクトレースしていくので、ＥＩＦＩＩから信号線１
００までバックトレースされてきた場合、以下、信号線
１０１，１０３１０４．１０６，１０２，１０５，１０
６の順でバンクトレースされていき、図示の範囲ではチ
ップ１．２．３全てが被疑故障範囲に含まれ、例えば第
７図に示すようにＥＩＦＩＩに対応して、チップ１．チ
ップ２．チップ３が被疑故障部品として設定された故障
診断辞書が作成される。しかしながら、実際には信号線
１０６が論理値°“０°“に固定されているため、信号
線１０５がどのような値をとっても信号線１０２の論理
値は１゛に固定されてしまい、チップ３で仮に故障が発
生しても、この故障による影響はＥＩＦＩ　１まで到達
し得ない。すなわち、従来方式では、ＥＩＦをセ。

トする可能性のない部品までそのＥＩＦに対応する被疑
故障範囲に含めてしまい、故障診断辞書の精度を低下さ
せるという問題点がある。

本発明の目的は、そのような部品を被疑故障部品から取
り除くことができる論理装置の故障診断辞書作成方式を
提供することにある。

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

本発明は上記の目的を達成するために、論理装置の構成
記述情報に従い、ＥＩＦから入力信号線を順次にバック
トレースしてい（ことによりＥＩＦに対応する被疑故障
部品を示す故障診断辞書を作成する論理装置の故障診断
辞書作成方式において、前記構成記述情報に従い、論理
値が固定されている信号線からシミュレーションを行い
、論理値が固定されることになる全ての信号線を検出す
るシミュレーション手段と、論理値が固定されているこ
とが上記のシミュレーション手段によって検出された信
号線の出力光以前の範囲を除いて、前記構成記述情報に
従い、ＰＩＦから入力信号線ヲ順次にバンクトレースす
るバンクトレース手段と、このバックトレース手段でＥ
ＩＦからトレースされた範囲に含まれる部品を、そのＥ
ＴＦに対応する被疑故障部品として指摘する故障診断辞
書を作成する辞書作成手段とを有している。

〔作用〕

本発明の論理装置の故障診断辞書作成方式においては、
シミュレーション手段が、論理装置の構成記述情報に従
い、論理値が固定されている信号線からシミュレーショ
ンを行って論理値が固定されることになる全ての信号線
を検出し、バンクトレース手段が、上記のシミュレーシ
ョン手段によって論理値が固定されていることが検出さ
れた信号線の出力元以前の範囲を除いて、前記構成記述
情報に従ってＥＩＦから入力信号線を順次にバックトレ
ースし、辞書作成手段が、上記のバックトレース手段で
ＥＩＦからトレースされた範囲に含まれる部品を、その
ＥＩＦに対応する被疑故障範囲として指摘する故障診断
辞書を作成する。

〔実施例］ 次に、本発明の実施例について図面を参照して詳細に説
明する。

第１図を参照すると、本発明の論理装置の故障診断辞書
作成方式を適用した故障診断辞書作成装置６０は、論理
シミュレーノヨン手段１０．バンクトレース手段２０お
よび辞書作成手段３０を含み、記憶装置４０に格納され
た論理装置の回路モデル７０を人力して、記憶装置５０
に故障診断辞書８０を出力する機能を存する。

一般に、組み合わせ回路および順序回路から構成される
装置 ０は、装置の設定および機能ｆ１１認のための論理シミ
ュレーション実行用として使用されるものであり、本実
施例においてはそのような回路モデル７０を使って、そ
の論理装置用の故障診断辞書を作成するものである。通
常、回路モデル７０は、各素子（回路単位）毎にその素
子の機能および接続される信号線の情報を持っている。

従って、或る素子の人力信号線の値とその素子の機能に
より出力信号線の値を計算することができる。また、或
る素子が接続される出力信号線を、入力信号線として持
つ素子を探索することにより、フォワード方向へのトレ
ースが可能であり、或る素子が接続される入力信号線を
、出力信号線として持つ素子を探索することにより、バ
ック方向へのトレースが可能である。

論理シミュレーション手段１０は、論理装置の回路モデ
ル７０を記憶装置４０から人力し、それに従って論理値
が固定されている信号線からシミュレーションを行い、
論理値が固定されることになる全ての信号線に対して、
その固定値を付与した回路モデルを生成する手段である
。

また、バンクトレース手段２０は、論理シミュレーショ
ン手段１０による処理が施された回路モデル、即ち論理
値が固定されている箇所の信号線にその固定値が設定さ
れた回路モデルに従い、固定値となる信号線の出力元以
前の範囲を除く他の部分についてＰＩＦから入力信号線
を順次にバックトレースする手段である。

更に辞書作成手段３０は、バックトレース手段２０でＥ
ＩＦからトレースされた範囲に含まれる部品を、そのＥ
ＩＦに対応する被疑故障部品として指摘する故障診断辞
書８０を作成し、これを記憶装置５０に記憶する手段で
ある。

次に、本実施例の動作を、従来方式の説明で用いた第６
図と同一構成の論理装置の回路モデルを例にして以下説
明する。

故障診断辞書作成装置６０は、論理装置の回路モデル７
０に基づく故障診断辞書の作成が指示されると、先ず、
論理シミュレーション手段１０を起動する。

第５図を参照すると、論理シミュレーション手段ｌＯは
、先ず記憶装置４０から論理装置の．回路モデル７０を
入力して内部メモリ上に展開し（Ｓｌ）、この回路モデ
ル７０に含まれる全ての信号線の論理値を“′Ｘ″゛値
（０“、“１”゜の何れであるか不定な状態）に設定す
る（Ｓ２）。即ち、第２図に示すように、全ての信号線
１００〜１０６の論理値をｘ”とする。

次に、回路モデル７０中から一つの論理値固定端子を取
り出し（３３，Ｓ４）、この論理値固定端子に接続され
る信号線の論理値を“゜Ｘ゛から、その論理値固定端子
に与えられる固定値（′゜０“か“１′の何れか）に設
定する（Ｓ５）。そして、この固定値が設定された信号
線を入力信号線とする素子を探索して内部スタックへ登
録し（Ｓ６）、この内部スタックから一つ素子を取り出
し（Ｓ７Ｓ８）、当該素子の機能と入力値とに基づいて
出力値を計算する（Ｓ９）。そして、この出力値が“Ｘ
″から“０゛または“１゛に変化したか否かを判定しく
５１０）、変化した出力値がなければ処１ｓ’７に戻っ
て内部スタックに残っている素子について上述した処理
を繰り返し、変化した出力値があればその出力値を該当
する信号線に設定しく５ｌｌ）、処理Ｓ６に戻って今回
出力値が変化した信号線を入力信号線とする素子を探索
して内部スタックへ登録し、上述した処理を繰り返す。

一つの論理値固定端子にかかる論理シミュレーションは
、処理８で内部スタックに残存する素子が無くなったこ
とを判別したとき終了し、処理Ｓ３に戻って回路モデル
７０に存在する次の論理値固定端子にかかる論理シミニ
レ−ジョンを上述と同様に実行する。そして、処理Ｓ４
で全ての論理値固定端子についての処理が終了したと判
定されたとき、論理シミュレーション手段１０の処理が
終了し、制御がバックトレース手段２０に渡される。

以上のような処理が第２図に示す状態の回路モデルに対
し実行されることにより、第３図に示す状態の回路モデ
ルが生成される。すなわち、論理値゛０“固定の端子１
７の存在により、信号線１０６は“°０″°固定、信号
線１０２，１０４は°ｌ”固定にされる。

次に、バックトレース手段２０では、論理シミュレーシ
ョン手段１０で生成された第３図の如き状態の回路モデ
ルに従って、ＥＩＦから入力信号線を順次にバンクトレ
ースしていく。即ち、従来と同様に、各ＥＩＦの人力信
号線を始点として順次接続先素子を探索し、さらに当該
接続先素子から入力信号線を取り出し、次の接続先素子
を探索するといった処理を順次に繰り返していく。そし
て、トレースした範囲を示す情報を逐次記憶しておく。

但し、従来と異なり、このバンクトレース時において論
理値が“０゛或いは“１”°に固定されている人力信号
線に遭遇したときには、その出力元素子以降のハックト
レースは実行しない。このバンクトレース手段２０の動
作を第３図を参照して説明すると、ＥＩＦＩＩから信号
線１００までトレースされていた場合、以下信号線１０
１１０３はトレースされていくが、信号線１０４゜１０
２は論理値が“１　”固定であるので、各信号線１０４
．１０２については各々ナンド回路１５１Ｇでトレース
は中止される。従って、チップ２はトレース範囲に含ま
れるが、チップ３はトレース範囲外となる。

次に、バンクトレース手段２０のバンクトレースが終了
すると、制御が辞書作成手段３０に渡され、辞書作成手
段３０では、バンクトレース手段２０で得られた各ＥＩ
Ｆ対応のトレース範囲情報をチップ（部品）単位に再場
集し、各ＥＩＦに対応する被疑故障部品を指摘する故障
診断辞書８０を生成して記憶装置５０に記憶する。即ち
、第３図の場合、第４図に示すようにＥＩＦＩＩに対応
する被疑故障部品としてチップ１．チップ２が設定され
、バックトレース手段２０でトレースされなかったチッ
プ３は被疑故障部品から除外される。

〔発明の効果］ 以上説明したように、本発明の論理装置の故障診断辞書
作成方式においては、論理値が固定されることになる全
ての信号線を検出し、それら論理値の固定された信号線
の出力元以前の範囲を除く部分をバックトレースしたと
きのトレース範囲に含まれる部品を被疑故障部品とする
ものであり、論理値が固定されている為にＥＩＦをセン
トする可能性のない部品は被疑故障部品から除外するこ
とが可能となる。このため、精度の高い故障診断辞書の
作成が可能となり、現場における交換すべき部品数や交
換回数の削減が可能となり、故障修理時間を短くするこ
とができる効果がある。

【図面の簡単な説明】

第１図は本発明の一実施例の構成図、 第２図は論理シミュレーションに先立って全ての信号線
に“Ｘ°゛値を与えた回路モデルの状態を示す回、 第３図は論理シミュレーション実行後の回路モデルの状
態を示す図、 第４図は本発明の方式で作成される故障診断辞書の一例
を示す図、 第５図は論理シミュレーション手段１０の処理例を示す
流れ図、 第６図は従来方式の説明に用いる回路モデルの状態を示
す図および、 第７図は従来方式で作成される故障診断辞書の一例を示
す図である。 図において、 １０・・・論理シミュレーション手段 ２０・・・バックトレース手段 ３０・・・辞書作成手段 ４０．５０・・・記憶装置 ６０・・・故障診断辞書作成装置 ７０・・・論理装置の回路モデル ８０・・・故障診断辞書

Claims (1)

1. 【特許請求の範囲】 論理装置の構成記述情報に従い、ＥＩＦから入力信号線
   を順次にバックトレースしていくことによりＥＩＦに対
   応する被疑故障部品を示す故障診断辞書を作成する論理
   装置の故障診断辞書作成方式において、 前記構成記述情報に従い、論理値が固定されている信号
   線からシミュレーションを行い、論理値が固定されるこ
   とになる全ての信号線を検出するシミュレーション手段
   と、 論理値が固定されていることが前記シミュレーション手
   段によって検出された信号線の出力元以前の範囲を除い
   て、前記構成記述情報に従い、ＥＩＦから入力信号線を
   順次にバックトレースするバックトレース手段と、 該バックトレース手段でＥＩＦからトレースされた範囲
   に含まれる部品を、そのＥＩＦに対応する被疑故障部品
   として指摘する故障診断辞書を作成する辞書作成手段と
   を含むことを特徴とする論理装置の故障診断辞書作成方
   式。