JPH09319777A - 電気回路の故障解析方法 - Google Patents

Abstract

(57)【要約】 【課題】 情報演算処理装置上でシミュレーションを行
って電気回路の安全設計の向上を図るための電気回路の
故障解析方法を提供すること。 【解決手段】 検査者が、回路図エディタ１のエディタ
画面に、予め設定される電気回路の構成を示す回路情報
を入力すると、回路図エディタ１では、その回路情報で
あるネットリストが自動的に生成され、そのネットリス
トはシミュレーション用ネットリスト作成部２に出力さ
れる。シミュレーション用ネットリスト作成部２では、
ネットリストの構成要素である接続ネットがショート状
態または開放された複数種類の検証用ネットリスト群が
自動的に作成される。作成された検証用ネットリスト群
はシミュレータ３に与えられる。結果比較部４では、シ
ミュレータ３の解析結果とネットリストとが比較され、
接続ネットのショート状態またはオープン状態に対し
て、電気回路の構成要素に異常が発生するか否かが自動
的に解析される。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、情報演算処理装置
でシミュレーションを行って、電源回路ユニットなどの
電気回路の検査を行う電気回路の故障解析方法に関す
る。

【０００２】

【従来の技術】電源ユニットなどの電気回路が設計さ
れ、作成されると、作成された電気回路の安全性を確保
するための試験が行われる。この試験は、実際に作成さ
れた電気回路を構成する回路部品に対して意図的に発
煙、発火などを引起こすことによって、事前に電気回路
の安全確認を行う試験である。この試験は、電源ユニッ
トなどの実際に作成された電気回路配線基板の回路部品
を故障状態、たとえば端子間を短絡（以下、ショート状
態と称する場合がある）し、端子を開放（以下、オープ
ン状態と称する場合がある）することによって、他の回
路部品の状態、たとえば発煙、発火などが調べられて、
電気回路の安全性が調べられる。

【０００３】またこれとは別に、実際に作成された電気
回路の配線などの不具合箇所を調べる検査も存在する。
この検査に対しては、情報演算処理装置でシミュレーシ
ョンを行って、電気回路の検査を行う技術が特開平５−
４０１４３に開示されている。

【０００４】

【発明が解決しようとする課題】上述の従来技術に示さ
れる試験では、実際に作成された電気回路を構成する全
ての回路部品の端子に対して、試験者によって故障状
態、たとえば端子間の短絡および端子の開放を設定する
ので、多数の発煙、発火を起こす回路部品が生じ、コス
トが増大している。また実際に作成された電気回路を構
成する全ての回路部品に対して、試験を行う場合に故障
状態の設定の手間がかかり、さらに設定忘れ、設定ミス
などによって、試験結果が間違われることがある。さら
にまた複数の回路部品における故障状態の全ての組合わ
せに基づいて、試験者が故障状態を設定するには困難で
あり、事実上不可能である。

【０００５】本発明の目的は、情報演算処理装置でシミ
ュレーションを行って電気回路の安全設計を図るための
電気回路の故障解析方法を提供することである。

【０００６】

【課題を解決するための手段】本発明は、予め設定され
る電気回路の構成を示す回路情報に基づいて、電気回路
の構成要素の故障状態を含む複数種類の電気回路を作成
し、作成された電気回路の動作状態を予め作成されるシ
ミュレーションプログラムを用いて解析し、解析結果に
従って電気回路の構成要素に異常が発生するか否かを解
析することを特徴とする電気回路の故障解析方法であ
る。本発明に従えば、利用者によってシミュレーション
プログラムを実行することができる情報演算処理装置に
入力されると、情報演算処理装置は、入力された電気回
路の構成要素が故障状態に設定されることによって複数
種類の電気回路を自動的かつ仮想的に作成する。作成さ
れた複数種類の電気回路の動作状態は、シミュレーショ
ンプログラムを実行することによって１種類ずつ自動的
に解析される。この解析では、構成要素の故障状態に対
する他の構成要素の動作状態が調べられる。その解析結
果に従って、電気回路の構成要素の故障状態に対して他
の構成要素に異常が発生するか否かが自動的に検査され
る。したがって利用者は、予め設定される電気回路、す
なわち検査されるべき電気回路の構成などを示す回路情
報を情報演算処理装置に入力するだけで、故意に構成要
素に故障状態を発生させた電気回路の検査を情報演算処
理装置で自動的かつ仮想的に行うことができるので、検
査されるべき電気回路の故障状態の設定などの手間をか
けずに容易に検査を行うことができる。また電気回路の
故障状態の設定ミスによる検査ミスを減少させることが
できる。さらにまた情報演算処理装置で仮想的に検査が
行われるので、検査を行う場合に実際に電気回路を構成
する必要がなく、電気回路部品の消耗を抑えることがで
き、コストを低減することができる。

【０００７】また本発明の電気回路の構成要素の故障状
態は単一部品の故障であり、複数の単一部品についての
故障状態を含む複数種類の電気回路を作成することを特
徴とする。本発明に従えば、検査されるべき電気回路の
構成を示す回路情報が、情報演算処理装置に入力される
と、その電気回路を構成する複数の電気回路部品のう
ち、単一の電気回路部品だけに故障状態を発生させた複
数種類の電気回路が自動的かつ仮想的に生成される。生
成された複数種類の電気回路は、シミュレーションプロ
グラムによって自動的に解析され、故障状態ではない構
成要素に異常が発生するが否かの検査が自動的に行われ
る。したがって、予め設定された電気回路の構成など
を、情報演算処理装置に入力するだけで、単一の電気回
路部品だけに故障状態を発生させた複数種類の電気回路
の全てに対して、自動的かつ仮想的に検査を行うことが
できるので、検査されるべき電気回路の故障状態の設定
などの手間をかけずに容易に検査を行うことができ、高
速で正確な検査結果を求めることができる。また電気回
路の故障状態の設定ミスによる検査ミスを減少させるこ
とができる。さらにまた情報演算処理装置で仮想的に検
査が行われるので、検査を行う場合に実際に電気回路を
構成する必要がなく、電気回路部品の消耗を抑えること
ができ、コストを低減することができる。

【０００８】また本発明の電気回路の構成要素の故障状
態は複数部品の故障であり、複数部品の故障の組合わせ
の状態を含む複数種類の電気回路を作成することを特徴
とする。本発明に従えば、検査されるべき電気回路の構
成を示す回路情報が情報演算処理装置に入力されると、
その電気回路を構成する複数の電気回路部品の組合わせ
に基づいて故障状態が設定された複数種類の電気回路
が、自動的かつ仮想的に生成される。生成された複数種
類の電気回路は、シミュレーションプログラムによって
自動的に解析され、故障状態の設定されない構成要素に
異常が発生するか否かの検査が自動的に行われる。した
がって、電気回路を構成する複数の電気回路部品の故障
状態の組合わせは多数であり、実際に検査者が電気回路
を構成して検査を行う従来技術では、全て組合わせにつ
いて検査することは時間的かつ経済的に問題が生じ実質
的には不可能である。しかし本発明では、検査されるべ
き電気回路の構成を情報演算処理装置に入力するだけ
で、電気回路の構成部品の全ての組合わせについて自動
的に検査することができるので、容易かつ高速に正確な
検査結果を求めることができる。また実際に電気回路を
構成する必要がないので、電気回路部品の消耗を抑える
ことができ、コストを低減することができる。

【０００９】また本発明の回路情報は、回路を構成する
構成部品の情報と、構成部品に接続される信号線を示す
ネットとが表形式で構成されるネットリストで表され、
ネットリストの構成部品に接続されるネットについてシ
ョート状態またはオープン状態を表す形式に書換えるこ
とによって、故障状態を含む複数種類の電気回路を作成
することを特徴とする。本発明に従えば、検査されるべ
き電気回路の構成が、情報演算処理装置に入力される
と、入力された電気回路の回路情報を示すネットリスト
が自動的に生成される。このネットリストは、電気回路
の構成要素である構成部品と、各構成部品の接続状態を
示すネットとで構成される。このネットリストが生成さ
れると、構成部品の接続状態を示すネットをショート状
態またはオープン状態に自動的に書換えることによっ
て、故障状態を有する複数種類の電気回路が自動的かつ
仮想的に作成される。作成された複数種類の電気回路
は、シミュレーションプログラムによって１種類ずつ自
動的に解析され、ショート状態またはオープン状態に設
定されない構成要素に異常が発生するか否かの検査が自
動的に行われる。したがって、実際に検査者が電気回路
を構成して検査を行う従来技術では、各電気回路部品を
ショート状態またはオープン状態に設定して電気回路を
構成することに手間を要する。しかし本発明では、検査
されるべき電気回路の構成を情報演算処理装置に入力す
るだけで、入力された電気回路の回路情報を示すネット
リストが自動的に生成され、そのネットリストの各ネッ
トがショート状態およびオープン状態に自動的に書換え
られるので、ショート状態およびオープン状態に設定さ
れた電気回路の検査を手間をかけずに効率的に行うこと
ができ、さらに正確な検査結果を求めることができる。

【００１０】また本発明のネットリストの構成部品に接
続されるネットのショート状態またはオープン状態を表
す形式の書換えは、複数の構成部品間の組合わせについ
て行うことを特徴とする。本発明に従えば、予め設定さ
れる電気回路の構成などが、情報演算処理装置に入力さ
れると、入力された電気回路の回路情報を示すネットリ
ストが自動的に生成される。このネットリストが生成さ
れると、ネットリストの各ネットは、複数の構成部品間
の組合わせに基づいて、ショート状態またはオープン状
態に自動的に書換えられる。これによって、故障状態の
有する複数種類の電気回路が自動的かつ仮想的に作成さ
れる。作成された複数種類の電気回路は、シミュレーシ
ョンプログラムによって１種類ずつ自動的に解析され、
ショート状態またはオープン状態に設定されない構成要
素に異常が発生するか否かの検査が自動的に行われる。
したがって、複数の電気回路部品で構成される電気回路
の各構成部品間の組合わせは多数であり、実際に検査者
が電気回路を構成して検査を行う従来技術では、全ての
組合わせについて検査することは実質的に不可能である
が、本発明では、予め設定される電気回路を情報演算処
理装置に入力するだけで、各構成部品間の組合わせに応
じて、自動的に各ネットがショート状態またはオープン
状態に書換えられるので、ショート状態およびオープン
状態に設定された電気回路の検査を手間をかけずに効率
的に行うことができ、正確な検査結果を高速に求めるこ
とができる。

【００１１】また本発明では、電気回路の構成要素に異
常が発生するとき、故障状態と異常が発生する構成要素
とを組にして記憶しておき、記憶された組について故障
状態と異常発生構成要素とを電気回路として画像表示す
る際に、電気回路の画像表示部分とは異なる態様となる
ように表示することを特徴とする。本発明に従えば、予
め設定される電気回路の構成などが、情報演算処理装置
に入力されると、入力された電気回路に基づいて生成さ
れた故障状態を備える複数種類の電気回路の検査が１種
類ずつ自動的に行われる。その検査において電気回路の
構成要素である電気回路部品に異常が発生するときに、
その故障状態と異常が発生する構成要素とが１組とされ
て、たとえば情報演算処理装置に設けられるメモリに記
憶される。記憶された故障状態と異常発生構成要素と
は、情報演算処理装置の表示画面に画像表示される電気
回路において、他の構成部品と異なる態様の表示、たと
えば点滅表示がされる。したがって、検査が行われた後
に、故障状態と異常発生構成要素とを他の電気回路の構
成要素とは異なる態様の表示を行うので、検査者は容易
に検査結果を把握することができる。また実際に検査者
が回路設計図をもとに電気回路を構成して検査を行う従
来技術の場合には、故障状態と異常発生構成要素の対応
関係は回路設計図に書込まれていたので、複数の書込み
が行われると他の構成部品と区別しにくかったが、本発
明では故障状態と異常発生構成要素とを、他の電気回路
の構成要素とは異なる態様となるように表示が行なわれ
るので、検査者は故障状態と異常発生構成要素との対応
関係を容易に把握することができる。

【００１２】また本発明では、電気回路の構成要素に異
常が発生するときの故障状態と異常発生との関係を論理
式に表し、複数の論理式間で簡単化を行い、簡単化され
た論理式に基づいて、フォルトツリー図を作成すること
を特徴とする。本発明に従えば、検査されるべき電気回
路の構成などが、情報演算処理装置に入力されると、入
力された電気回路に基づいて生成された故障状態を備え
る複数種類の電気回路の検査が１種類ずつ自動的に行わ
れる。その検査において電気回路部品に異常が発生する
ときに、その故障状態と異常が発生する構成要素との関
係が論理式に表される。この論理式は、１つの異常発生
構成要素について、複数個構成される。たとえば、この
論理式は、論理積で表された論理式である。１つの異常
発生構成要素に対して、複数の論理式間で簡単化が行わ
れ、簡単化された１つの論理式が構成される。たとえ
ば、右辺が１つの異常発生構成要素を示し、左辺が論理
積で示される論理式の論理和で示され、この左辺の論理
式が簡単化される。簡単化された論理式に基づいて、異
常発生構成要素に対する故障状態の関係を示すフォルト
ツリー図が作成される。したがって、異常発生構成要素
に対する故障状態の関係を示すフォルトツリー図が、た
とえば情報演算処理装置の表示画面に表示されるため、
異常発生構成要素と故障状態との関係を容易に把握する
ことができる。またフォルトツリー図を実際に検査者に
構成された電気回路での実験結果および机上の計算で作
成する従来技術では、フォルトツリー図の作成に手間を
要し、さらに故障状態の漏れがあり信頼性が低いが、予
め設定される電気回路が情報演算処理装置に入力される
と、自動的にフォルトツリー図を生成するので、手間を
かけずに正確なフォルトツリー図を生成することができ
る。

【００１３】

【発明の実施の形態】図１は、本発明の実施の一形態で
ある故障解析を行う解析システムを構成するブロック図
である。解析システムは、情報演算処理装置、たとえば
汎用コンピュータで実現される。解析システムは、回路
図エディタ１、シミュレーション用ネットリスト作成部
２、シミュレータ３、結果比較部４、フォルトツリー
（以下、ＦＴと略称する場合もある）図出力部５、電気
回路部品ライブラリ６によって構成される。

【００１４】解析システムには、２つの処理モード、検
証モードとＦＴ図生成モードとを備える。検証モード
は、回路図エディタ１、ネットリスト作成部２、シミュ
レータ３、シミュレーション結果比較部４、電気回路部
品ライブラリ６によって実現される。ＦＴ生成モード
は、回路図エディタ１、ネットリスト作成部２、シミュ
レータ３、シミュレーション結果比較部４、ＦＴ図出力
部５、電気回路部品ライブラリ６によって実現される。
各モードの指定は、回路図エディタ１で、各モードをそ
れぞれ指定するコマンドが入力されることによって行わ
れる。

【００１５】図２は解析システムの検証モードの動作を
説明するためのフローチャートである。回路図エディタ
１で、検証モードをそれぞれ指定するコマンドが入力さ
れ、検証モードが設定される。ステップｓ１では、回路
図エディタ１が利用されて、検査されるべき電気回路の
回路図が回路図エディタ１で生成される。回路図エディ
タ１は、検査されるべき電気回路の構成と電気回路を構
成する電気回路部品の情報とを入力できるエディタ画面
を備える。また回路図エディタ１は、電気回路の構成お
よび電気回路部品の情報の入力が行われると、電気回路
の構成とその電気回路の構成部品のパラメータとの関係
を示すネットリストを自動的に構成する。

【００１６】回路図エディタ１の表示画面であるエディ
タ画面が、情報演算処理装置の表示画面に表示される。
表示されたエディタ画面では、電気回路部品ライブラリ
６に備えられる電気回路部品に関するデータ（以下、回
路部品データと称する場合がある）が、たとえばアイコ
ンとして表示される。利用者は、情報演算処理装置に備
えられるポインティングデバイスであるマウス等を用い
て、その表示された回路部品データを選択でき、選択さ
れた回路部品データはエディタ画面上に配置される。エ
ディタ画面に配置された各回路部品データの間を、利用
者はマウスで信号線（以下、ネットと称するときもあ
る）を結ぶように配線することによって、回路図エディ
タ１に、検査されるべき電気回路の回路図が入力され
る。検査されるべき電気回路の回路図が入力されると、
回路図エディタ１は、各ネットに自動的にネット番号
（以下、接続ネットと称する場合がある）を付する。

【００１７】図３は、回路図エディタ１上に生成された
検査されるべき回路を示す図である。利用者によって、
エディタ画面に表示された電気回路部品ライブラリ６に
備えられる回路部品データのうち、電力を供給する電源
Ａ１と、抵抗Ｒ１，Ｒ２と、定電圧を作るツェナーダイ
オードＺＤ１と、電力を消費する負荷Ｘ１とが選択さ
れ、エディタ画面に配置される。利用者によって、各回
路部品間がネットで接続され、検査されるべき電気回路
の回路構成図が入力されると、回路図エディタ１は、電
源Ａ１と抵抗Ｒ１との間には接続ネットＮ１、抵抗Ｒ１
と抵抗Ｒ２とツェナーダイオードＺＤ１との間には接続
ネットＮ２、電源Ａ１とツェナーダイオードＺＤ１と負
荷Ｘ１との間には接続ネットＮ３、抵抗Ｒ２と負荷Ｘ１
との間には接続ネットＮ４を自動的に付する。

【００１８】また回路図エディタ１では、電気回路部品
ライブラリ６から回路部品データが選択されるときに、
利用者によって、選択された回路部品データの示す電気
回路部品の定格値および電気回路部品固有のパラメータ
が登録される。この定格値およびパラメータは回路図エ
ディタ１のエディタ画面によって入力され、入力された
定格値およびパラメータは電気回路部品ライブラリ６に
登録されている回路部品データに関連付けて登録され
る。たとえば、図３で示される電気回路部品の定格値お
よび選択された電気回路部品固有のパラメータについ
て、ツェナーダイオードＺＤ１の消費電力５Ｗ、抵抗Ｒ
２の抵抗１２Ωおよび消費電力４Ｗ、抵抗Ｒ１の抵抗８
Ωおよび消費電力３Ｗ、負荷Ｘ１の抵抗１００Ωおよび
耐圧６Ｖが、利用者によって登録される。なお、電気回
路部品ライブラリ６は、定格値、パラメータなどの情報
を含んだ回路部品データのデータベースであり、回路部
品データによっては、パラメータおよび定格値などが予
め設定されている場合もある。

【００１９】ステップｓ２では、入力された電気回路の
回路構成図と電気回路部品固有のパラメータなどとに基
づいて、ネットリストが自動的に生成される。図４は、
本実施の一形態であるネットリストを説明するための図
表である。ネットリストは、複数のデータ群で構成され
る。ネットリストを構成する１つのデータ群は、電気回
路部品の配置番号と、各電気回路部品の一端子および他
端子に接続される接続ネットと、その電気回路部品固有
のパラメータなどとに関するデータによって構成され
る。すなわち、１つのデータ群は、１つの電気回路部品
に対して、配置番号，接続ネット，抵抗（Ω），耐圧
（Ｖ），電流（Ａ），電力（Ｗ）の各データで構成され
る。なお、配置番号は、説明の便宜上、各電気回路部品
の参照符を用いる。

【００２０】たとえばネットリストは、図４に示される
ように、ツェナーダイオードＺＤ１に対するデータ群１
１は、ＺＤ１，Ｎ２ Ｎ３，，，，５Ｗで構成され、抵
抗Ｒ２に対するデータ群１２は、Ｒ２，Ｎ２，Ｎ４，１
２Ω，，，４Ｗで構成され、残りの部品である抵抗Ｒ
１、電源Ａ１、負荷Ｘ１の各データ群１３，１４，１５
についても図４に示されるように構成される。

【００２１】図３に示される検査されるべき電気回路の
ネットリストは、５つのデータ群によって構成される。
またデータ群を構成する各データ、たとえば“ＺＤ１”
を示す配置番号データ１７と“Ｎ２ Ｎ３”を示すネッ
トデータ１８とは、図４に示されるように「，」で区切
られる。上述のように回路図エディタ１で自動的に生成
されたネットリストは、シミュレーション用ネットリス
ト生成部２に出力される。

【００２２】ステップｓ３では、回路図エディタ１から
与えられたネットリストに基づいて、自動的に検証用ネ
ットリスト群が作成される。検証用ネットリスト群は、
複数の検証用ネットリストによって構成される。この検
証用ネットリストは、検査されるべき電気回路の電気回
路部品を構成する端子が故障状態、たとえばショート状
態またはオープン状態にされたときの電気回路に基づい
て構成されるネットリストを示す。この検証用ネットリ
ストは、ネットリストを構成する接続ネットを示すデー
タを自動的に変更することで実現される。

【００２３】図５は、本実施の一形態であるツェナーダ
イオードＺＤ１がショート状態にされたときの電気回路
の検証用ネットリストを示す図表である。ツェナーダイ
オードＺＤ１がショート状態にされたときの検証用ネッ
トリストは、図４に示されるネットリストの配置番号Ｚ
Ｄ１に対するネットデータ１８の“Ｎ２，Ｎ３”のうち
大きい数値のネットデータ１８を構成する“Ｎ３”を小
さい数値の接続ネットデータ１９の“Ｎ２”に自動的に
変換し、さらに他の配置番号Ａ１，Ｘ１に対する接続ネ
ットデータ２０，２１の“Ｎ３”についても、接続ネッ
トデータ“Ｎ２”に自動的に変換することによって実現
される。このように、図４に示されるネットリストの接
続ネットＮ３が接続ネットＮ２に自動的に変換されたネ
ットリストが検証用ネットリストとなる。図５の下線を
有する接続ネットデータ“Ｎ２”は、接続ネットＮ３か
ら接続ネットＮ２に変換されたことを示す。これによっ
て、解析システム内では、ツェナーダイオードＺＤ１の
２つの端子がショート状態であると認識される。

【００２４】図６は、本実施の一形態であるツェナーダ
イオードＺＤ１の一端子に接続される接続ネットＮ３が
オープン状態にされたことを示す検証用ネットリストを
説明するための図である。検証用ネットリストは、配置
番号ＺＤ１のツェナーダイオードＺＤ１を構成する一端
子または他端子をオープン状態にすることによっても生
成される。ツェナーダイオードＺＤ１の一端子に接続さ
れる接続ネットＮ３がオープン状態にされたときの検証
用ネットリストは、図４に示されるネットリストの配置
番号ＺＤ１によって示されるツェナーダイオードＺＤ１
の一端子に接続される接続ネットデータの“Ｎ３”を、
図６に示されるように、開放ネットデータ２２の示す
“−”に変換することによって実現される。これによっ
て、解析システム内では、ツェナーダイオードＺＤ１の
一端子の接続ネットＮ３が接続されていない状態として
認識される。

【００２５】他の配置番号Ｒ２，Ｒ１，Ｘ１によって示
される抵抗Ｒ２，Ｒ１および負荷Ｘ１を構成する端子が
ショート状態およびオープン状態にされたときの検証用
ネットリストも、同様に上述のように自動的に作成され
る。

【００２６】上述のように、電気回路を構成する各電気
回路部品のうち、単一回路部品の端子がショート状態ま
たはオープン状態された場合の検証用ネットリスト数
は、以下の式（１）によって求められる数の検証用ネッ
トリストによって構成される。

【００２７】

【数１】

【００２８】式（１）の右辺は、検査するべき電気回路
の各電気回路部品を構成する各端子をショート状態にし
た場合を示す式と、検査するべき電気回路の各電気回路
部品を構成する各端子をそれぞれ開放した場合を示す式
との和を示す式である。式（１）の変数ｍｉは位置ｉに
対する部品の端子数を示し、変数ｎは部品数を示す。

【００２９】たとえば、図４に示される電気回路につい
ての検証用ネットリストについて求めると、電気回路部
品数は電源Ａ１を除いて４つであり、４個全ての電気回
路部品について、端子数は２つである。これによって、
式（１）は、検証用ネットリスト数 ＝（１＋１＋１＋
１）＋（２×４）＝１２となり、図４に示される電気回
路について、単一の回路部品だけが故障状態であるとき
の検証用ネットリスト数は１２個となる。

【００３０】また電気回路を構成する各電気回路部品の
組合わせに基づいて、複数の電気回路部品を構成する端
子がショート状態およびオープン状態にされたときの検
証用ネットリスト、たとえば配置番号ＺＤ１，Ｒ２に対
するツェナーダイオードＺＤ１および抵抗Ｒ２のそれぞ
れに設けられる端子がそれぞれショート状態またはオー
プン状態にされたときの検証用ネットリストが自動的に
作成される。これによって、検証用ネットリスト群は、
以下の（２）式で求められる。この（２）式について、
このモードでのｎ端子の電気回路部品１個に対するオー
プン状態にされる場合の数はｎ個であり、ショート状態
にされる場合の数は_nＣ₂個であり、オープン状態もショ
ート状態もされない場合は１個である。ただし、２端子
の電気回路部品では、どちらをオープン状態にしても同
じであるため、場合の数は１個となる。また全部品の状
態の組合わせ分が発生し、全く故障状態の存在しない場
合の数である１を引いて、（２）式が以下に説明され
る。

【００３１】 検証用ネットリスト数 ＝ （１＋₂Ｃ₂＋１）^A ×（３＋₃Ｃ₂＋１）^B × …×（ｎ＋_nＣ₂＋１）^Y−１ …（２） Ａは２端子の電気回路部品数を示し、Ｂは３端子の電気
回路部品数を示し、Ｙはｎ端子の電気回路部品数を示
す。なお式（２）で求められる数は、式（１）で求めら
れる数を包含している。したがって、式（２）で求めら
れる検証用ネットリスト数は、単一回路部品だけがショ
ート状態およびオープン状態に設定されたときの検証用
ネットリスト数も含まれる。

【００３２】たとえば、図４に示されるネットリストに
ついて、２端子電気回路部品は抵抗Ｒ１，Ｒ２と、ツェ
ナーダイオードＺＤ１と、負荷Ｘ１との４つであるた
め、（２）式は（１＋₂Ｃ₂＋１）⁴ −１＝３⁴ −１＝８
０となり、検証用ネットリスト数は８０個と求められ
る。したがって図４に示されるネットリストに対する検
証用ネットリスト群は、８０個の検証用ネットリストで
構成される。

【００３３】ステップｓ４では、シミュレータ３によっ
て各電気回路部品の電圧値、電流値および電力値が算出
される。シミュレーション用ネットリスト作成部２で作
成された検証用ネットリスト群を構成する検証用ネット
リストが、１つずつ、シミュレータ３に与えられる。た
とえば、図５に示される検証用ネットリストが、シミュ
レータ３に与えられる。シミュレータ３は、公知技術Ｓ
ｐｉｃｅ（米国Microsim Corporatinの登録商標）のア
ナログシミュレータで構成される。Ｓｐｉｃｅは、電子
部品の定数を決定する際に用いられ、特に最適な部品を
選定する場合に使用される。シミュレータ３は、上述の
検証用ネットリストが１つずつ与えられると、シミュレ
ーション結果をシミュレーション結果比較モジュール４
に出力する。図７は、図５に示される検証用ネットリス
トに対するシミュレータ３の算出結果を示す図である。
たとえば、図５に示される検証用ネットリストがシミュ
レータ３に与えられると、図７に示されるようにツェナ
ーダイオードＺＤ１以外の抵抗Ｒ１、抵抗Ｒ２、電源Ａ
１、負荷Ｘ１の電圧値、電流値および電力値が算出され
る。

【００３４】ステップｓ５では、シミュレータ３で算出
された１つの検証用ネットリストに対する各電気回路部
品の電圧値、電流値、電力値と、それぞれの電気回路部
品の定格値およびパラメータとが比較される。シミュレ
ータ３で求められた算出結果は、結果比較部４に出力さ
れ、各電気回路部品ごとに算出された電圧値、電流値、
電力値と、定格値およびパラメータとが比較される。結
果比較部４で比較された結果、算出結果が定格値以上で
ある電気回路部品が存在する場合はステップｓ６に進
み、存在しない場合はステップｓ７に進む。

【００３５】たとえば、図７に示されるツェナーダイオ
ードＺＤ１の２つの端子がショート状態にしたときの検
証用ネットリストのシミュレータ３の算出結果と、図４
に示されるネットリストの定格値とを比較すると、配置
番号Ｒ１で示される抵抗Ｒ１の電力値１２．５Ｗが、定
格値３Ｗより大きいので、ステップｓ６に進む。

【００３６】ステップｓ６では、算出された電圧値、電
流値、電力値が定格値より大きい電気回路部品を異常発
生の予測される電気回路部品として、その電気回路部品
と、そのときのショート状態またはオープン状態にされ
た電気回路部品とが１つのグループとしてメモリに記憶
される。たとえば、図７に示される算出結果に基づい
て、ショート状態にされたツェナーダイオードＺＤ１と
異常発生の予測される抵抗Ｒ１とが、１つのグループと
してメモリに記憶される。

【００３７】ステップｓ７では、次に検証用ネットリス
トが存在するかどうか判断される。次に検証用ネットリ
ストが存在する場合はステップｓ４に戻り、存在しない
場合はステップｓ８に進む。

【００３８】ステップｓ８では、回路図エディタ１でメ
モリに記憶された異常発生の予測される電気回路部品
と、そのときのショート状態またはオープン状態された
電気回路部品とが点滅表示される。図８は、異常発生の
予測される抵抗Ｒ１とショート状態にされたツェナーダ
イオードＺＤ１とが点滅表示される例を示す図であり、
図９は異常発生の予測されツェナーダイオードＺＤ１と
ショート状態にされた抵抗Ｒ１とが点滅表示される例を
示す図である。図８、図９に示される構成は、図３に示
される構成と類似するため、同一の構成には、同一の参
照符号を付して説明を省略する。図３に示される回路図
に対する検証結果は、図８および図９のように示され
る。エディタ画面３５には、図８に示されるように、メ
モリに記憶された２つのグループのうちの１グループ目
の検証結果の表示が行われ、後候補釦３２が選択される
と、図９に示されるように、２つのグループのうちの２
グループ目の検証結果の表示が行われる。このときに、
前候補釦３１が選択されると、１グループ目の検証結果
の表示が再び行われる。表示状態欄３０に、メモリに記
憶されたグループの数およびエディタ画面３５に表示さ
れているグループの順番が表示される。

【００３９】図１０は、ＦＴ図作成モードの動作を説明
するための図である。上述したように、回路図エディタ
１のエディタ画面で、ＦＴ図作成モードを指定するコマ
ンドが入力されると、ＦＴ図作成モードが選択される。
ステップｔ１では、回路図エディタ１が利用されて、検
査されるべき電気回路の回路図が回路図エディタ１上で
生成される。回路図の生成は、図２に示されるフローチ
ャートのステップｓ１と同様であるため、説明を省略す
る。なお、このＦＴ図作成モードにおける検査されるべ
き電気回路は、図３に示される回路図を用いる。

【００４０】ステップｔ２では、登録された電気回路部
品固有のパラメータに基づいて、ネットリストが自動的
に生成される。ネットリストの生成は、図２に示される
フローチャートのステップｔ２と同様であるので、説明
を省略する。なお、このＦＴ図作成モードにおける検査
されるべき回路に対するネットリストは、図４に示され
るネットリストを用いる。回路図エディタ１で生成され
たネットリストは、シミュレーション用ネットリスト作
成部２に与えられる。

【００４１】ステップｔ３では、ＦＴ図出力用ネットリ
スト群が作成される。シミュレーション用ネットリスト
作成部２では、与えられたネットリストに基づいて、電
源を除いた各回路部品を構成する端子が、ショート状態
またはオープン状態に設定され、複数のＦＴ図出力用ネ
ットリストが生成される。

【００４２】このモードでのＦＴ図出力用ネットリスト
の数は、以下の（３）式で求められる。この（３）式に
ついて、このモードでのｎ端子の回路部品１個に対する
オープン状態となる場合の数はｎ個であり、ショート状
態にされる場合の数は_nＣ₂個であり、オープン状態もシ
ョート状態もならない場合は１個である。ただし、２端
子の電気回路部品では、どちらをオープン状態にしても
同じであるため、場合の数は１個となる。さらに、全部
品の状態の組合わせ分が発生することによって、（３）
式が以下に説明される。

【００４３】 （１＋₂Ｃ₂＋１）^A ×（３＋₃Ｃ₂＋１）^B × … ×（ｎ＋_nＣ₂＋１）^Y …（３） Ａは２端子の電気回路部品数を示し、Ｂは３端子の電気
回路部品数を示し、Ｙはｎ端子の電気回路部品数を示
す。

【００４４】たとえば、図４に示されるネットリストに
ついて、２端子電気回路部品は抵抗Ｒ１，Ｒ２と、ツェ
ナーダイオードＺＤ１と、負荷Ｘ１との４つであるた
め、（３）式は（１＋₂Ｃ₂＋１）⁴＝３⁴＝８１となり、
ＦＴ図出力用ネットリストの数は８１個と求められる。
このようにして、ＦＴ図出力用ネットリストの数が求め
られ、ＦＴ図出力用ネットリスト群が、８１個のＦＴ図
出力ネットリストで構成される。生成されたＦＴ図出力
用ネットリスト群は、シミュレータ３に与えられる。

【００４５】ステップｔ４では、シミュレータ３によっ
て、各ＦＴ図出力用ネットリストごとに、各電気回路部
品の電圧値、電流値および電力値が算出される。シミュ
レータ３は、ＦＴ図出力用ネットリスト群がシミュレー
ション用ネットリスト作成部２から与えられると、各Ｆ
Ｔ図出力ネットリストごとにシミュレーションが行わ
れ、その結果である各電気回路部品の電圧値、電流値お
よび電力値をシミュレーション結果比較モジュール４に
出力する。

【００４６】ステップｔ５では、シミュレータ３で算出
された各ＦＴ図出力用ネットリストごとの各電気回路部
品の電圧値、電流値、電力値と、それぞれの電気回路部
品の定格値とが比較される。シミュレータ３で求められ
た算出結果は、結果比較部４に出力され、各電気回路部
品ごとに算出された電圧値、電流値、電力値と、定格値
とが比較される。結果比較部４で比較された結果、算出
結果が定格値以上である電気回路部品が存在する場合に
は、その電気回路部品を異常発生の予測される電気回路
部品として、その電気回路部品と、そのときのショート
状態またはオープン状態された電気回路部品とが１つの
グループとしてメモリに記憶される。

【００４７】図１１は、メモリの記憶内容である電気回
路部品のショート状態およびオープン状態と、異常発生
の予測される電気回路部品との関係を示す図である。た
とえば、メモリには、図１１の１段目に示されるよう
に、抵抗Ｒ１がショート状態にされ、ツェナーダイオー
ドＺＤ１がオープン状態にされ、抵抗Ｒ２がショート状
態にされた場合に、負荷Ｘ１に異常発生が予測されるこ
とを示すデータが１グループとして記憶されている。な
お、図１１に示される“ショート”は、電気回路部品を
構成する２つの端子間がショート状態にされたことを示
し、“オープン”は、電気回路部品を構成する２つの端
子のうちのどちらか一方がオープン状態にされているこ
とを示す。

【００４８】ステップｔ６では、メモリの記憶内容に基
づいてＦＴ図を作成するための論理式が生成される。Ｆ
Ｔ図出力部５は、メモリの記憶内容に基づいて、各グル
ープごとに論理式を生成する。たとえば、図１１の１段
目に示される１グループについて、ＦＴ図出力部５で
は、以下の論理式（４）に示されるような論理式が生成
される。論理式では、電気回路部品を構成する２つの端
子間がショート状態にされたことを示す場合は、その電
気回路部品の配置番号の前に“↓”が付され、電気回路
部品を構成する２つの端子のうちどちらか一方がオープ
ン状態にされていることを示す場合は、その電気回路部
品の配置番号の前に“↑”が付される。

【００４９】 電源異常 ＝ ↓Ｒ１・↓ＺＤ１・↑Ｒ２・Ｘ１ …（４） またＦＴ図出力部５では、メモリに記憶される全てのグ
ループについて、論理式（４）に示されるように、論理
式化が行われる。

【００５０】ステップｔ７では、メモリの記憶内容に基
づいて作成された論理式が簡単化される。ＦＴ図出力部
５では、メモリの記憶内容の全グループに基づいて生成
された論理式のうち、同じ左辺の論理値、たとえば電源
異常を有する各論理式の右辺が、論理式（５）に示され
るように、論理和で１つの論理式にまとめられる。

【００５１】 電源異常 ＝ （↓Ｒ１・↓ＺＤ１・↑Ｒ２・Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・↓Ｒ２・Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・Ｒ２・Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・↑Ｒ２・↑Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・↓Ｒ２・↑Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・Ｒ２・↑Ｘ１） ＋（↓Ｒ１・↑ＺＤ１・↓Ｒ２・↓Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・↑Ｒ２・↓Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・↓Ｒ２・↓Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・Ｒ２・↓Ｘ１） …（５） この論理式（５）は展開され、同一項でまとめられて、
論理式（６）が生成される。

【００５２】 電源異常 ＝ （↓Ｒ１・↓ＺＤ１・↑Ｒ２）・（Ｘ１＋↑Ｘ１＋↓Ｘ１） ＋（↓Ｒ１・↓ＺＤ１・↓Ｒ２）・（Ｘ１＋↑Ｘ１＋↓Ｘ１) ＋（↓Ｒ１・↓ＺＤ１・Ｒ２）・（Ｘ１＋↑Ｘ１＋↓Ｘ１） ＋（↓Ｒ１・↑ＺＤ１・↓Ｒ２・↓Ｘ１） …（６） 論理式（６）の第１〜３項に示される（Ｘ１＋↑Ｘ１＋
↓Ｘ１）は、負荷Ｘ１の全ての状態を論理和でまとめて
いるため、第１〜３項は負荷Ｘ１の状態に影響されるこ
とがない。これによって、論理式（７）に示されるよう
に、（Ｘ１＋↑Ｘ１＋↓Ｘ１）が省略される。

【００５３】 電源異常 ＝ （↓Ｒ１・↓ＺＤ１・↑Ｒ２） ＋（↓Ｒ１・↓ＺＤ１・↑Ｒ２） ＋（↓Ｒ１・↓ＺＤ１・↑Ｒ２） ＋（↓Ｒ１・↑ＺＤ１・↓Ｒ２・↓Ｘ１） …（７） また、この論理式（７）は展開され、同一項でまとめら
れて、論理式（８）が生成される。

【００５４】 電源異常 ＝ （↓Ｒ１・↓ＺＤ１）・（↑Ｒ２＋↓Ｒ２＋Ｒ２） ＋（↓Ｒ１・↑ＺＤ１・↓Ｒ２・↓Ｘ１） …（８） この論理式（８）の第１項に示される（↑Ｒ２＋↓Ｒ２
＋Ｒ２）は（Ｘ１＋↑Ｘ１＋↓Ｘ１）の場合と同様に省
略され、さらに電源自体の不良の場合を論理和で付け加
えて、左辺の論理値、電源Ａ１の異常発生の条件が、論
理式（９）に示されるように求められる。

【００５５】 電源異常 ＝ （↓Ｒ１・↓ＺＤ１） ＋（↓Ｒ１・↑ＺＤ１・↓Ｒ２・↓Ｘ１）＋電源不良 …（９） 図１１に示されるメモリの記憶内容に基づいて、異常発
生が予測される各電気回路部品、ツェナーダイオードＺ
Ｄ１、抵抗Ｒ１，Ｒ２、負荷Ｘ１についても電源Ａ１と
同様に以下の論理式（10），（11），（12），（13）に
示される論理式に簡単化される。

【００５６】 ツェナーダイオードＺＤ１異常 ＝ Ｒ１＋ＺＤ１不良 …（10） 抵抗Ｒ１異常 ＝ ↓ＺＤ１＋（↑ＺＤ１・↓Ｒ２・↓負荷） ＋（ＺＤ１・↓Ｒ２・↓負荷）＋Ｒ１不良 …（11） 抵抗Ｒ２異常 ＝ （↓Ｒ１・↑ＺＤ１・↓負荷）＋Ｒ２不良 …（12） 負荷Ｘ１異常 ＝ （↓Ｒ１・↑ＺＤ１・↓Ｒ２） ＋（↓Ｒ１・↑ＺＤ１・Ｒ２） ＋（Ｒ１・↑ＺＤ１・↓Ｒ２） ＋（Ｒ１・↑ＺＤ１・Ｒ２）＋負荷不良 …（13） ステップｔ８では、ステップｔ７で簡単化された論理式
について、以下の処理手順（Ａ）〜（Ｃ）に基づいて、
ＦＴ図が生成されて、表示画面に表示される。手順
（Ａ）では、左辺のの事象を表示画面の左側に表示す
る。手順（Ｂ）では、右辺の論理積で構成される項数と
同じ数の入力端子を備える論理和記号を、出力端子が手
順（Ａ）で表示した事象に接続されるように表示画面に
表示する。ただし、論理積で構成される項数が１つであ
るときは、論理和記号を表示せず、論理和記号の入力端
子から出力端子までの距離と同一の距離の線を表示画面
上に表示する。手順（Ｃ）では、右辺の各論理積項の構
成要素数と同じ入力端子数を有する論理積記号が、その
論理積記号の出力端子が論理和記号の入力端子に接続さ
れるように表示され、論理積記号の各入力端子に構成要
素の内容を表示する。ただし、論理積の構成要素が１つ
であるときは、論理積記号は表示されず、論理積記号の
入力端子から出力端子までの距離と同一の距離の線を表
示画面上に表示する。

【００５７】図１２（ａ）〜（ｄ）は、論理式（９）〜
（13）について生成されたＦＴ図を説明するための図で
ある。たとえば、電源Ａ１の異常発生が予測される場合
のＦＴ図の作成について説明を行う。論理式（９）にお
いて、手順（Ａ）に基づいて、図１２に示されるよう
に、表示画面の左側に、“電源Ａ１異常”が表示され
る。手順（Ｂ）に基づいて、論理式（９）は３つの論理
積項で構成されるので、３入力端子を備える論理和記号
ＯＲが表示される。手順（Ｃ）に基づいて、３つの論理
積項は、それぞれ２つの構成要素と４つの構成要素と１
つの構成要素とによって構成されるので、２入力端子数
を有する論理積記号ＡＮ１と、４入力端子数を有する論
理積記号ＡＮ２とが構成される。論理積記号ＡＮ１，Ａ
Ｎ２の出力端子は、論理和記号ＯＲの入力端子にそれぞ
れ接続される。論理積記号ＡＮ１，ＡＮ２の構成要素の
内容である“Ｒ１ショート”、“ＺＤ１ショート”およ
び“Ｒ１ショート”、“ＺＤ１オープン”、“Ｒ２ショ
ート”、“Ｘ１ショート”が表示され、その構成要素の
内容が論理積記号ＡＮ１，ＡＮ２の各入力端子に接続さ
れる。また１つ構成要素で構成される論理積項は、その
構成要素の内容である“電源不良”が表示され、その構
成要素の内容が、論理和記号ＯＲ１の入力端子に接続さ
れる。したがって、電源Ａ１異常発生が予測される条件
が、図１２（ａ）に示されるＦＴ図によって、容易に把
握することができる。

【００５８】また、他の電気回路部品の異常発生が予測
される条件を示すＦＴ図についても、電源Ａ１の場合と
同様に手順（Ａ）〜（Ｃ）に基づいて生成される。ツェ
ナーダイオードＺＤ１異常が示されるＦＴ図について、
論理式（10）によって、図１２（ｂ）に示されるよう
に、論理和記号ＯＲ２で構成されたＦＴ図が表示画面に
表示される。抵抗Ｒ１異常が示されるＦＴ図について、
論理式（11）によって、図１２（ｃ）に示されるよう
に、論理積記号ＡＮ３１，ＡＮ３２と論理和記号ＯＲ３
とで構成されたＦＴ図が、表示画面に表示される。抵抗
Ｒ２異常が示されるＦＴ図について、論理式（12）によ
って、図１２（ｄ）に示されるように、論理積記号ＡＮ
４１と論理和記号ＯＲ４とで構成されたＦＴ図が、表示
画面に表示される。負荷Ｘ１異常が示されるＦＴ図につ
いて、論理式（13）によって、図１２（ｅ）に示される
ように、論理積記号ＡＮ５１，ＡＮ５２，ＡＮ５３，Ａ
Ｎ５４と論理和記号ＯＲ５とで構成されたＦＴ図が、表
示画面に表示される。なお、図１２（ａ）〜（ｅ）に示
されるＦＴ図は、表示画面に表示されているエディタ画
面とは異なる表示領域に表示される。これによって、表
示されたＦＴ図を参照しながら、検証モードで検出され
た検証結果を検索することもできる。

【００５９】上述の本実施の形態によれば、利用者は、
検査されるべき電気回路を回路図エディタ１に入力する
だけで、検査を自動的かつ仮想的に行うことができるの
で、検査されるべき電気回路のショート状態およびオー
プン状態の設定の手間をかけずに容易に検査を行うこと
ができる。また電気回路のショート状態およびオープン
状態の設定ミスによる検査ミスを減少させることができ
る。さらにまた情報演算処理装置で仮想的に検査が行わ
れるので、検査を行う場合に実際に電気回路を構成する
必要がなく、電気回路部品の消耗を抑えることができ、
コストを低減することができる。

【００６０】また本実施の形態によれば、検査されるべ
き電気回路の構成を回路図エディタ１で入力するだけ
で、検査されるべき電気回路の回路部品のショート状態
およびオープン状態の全ての組合わせについて自動的に
検査することができるので、容易かつ高速に正確な検査
結果を求めることができる。

【００６１】また本実施の形態によれば、ネットリスト
の各ネットがショート状態およびオープン状態に自動的
に書換えられるので、ショート状態およびオープン状態
に設定された電気回路の検査を手間をかけずに効率的に
行うことができる。また検査が行われた後に、ショート
状態およびオープン状態の回路部品と、異常発生した回
路部品とを他の回路部品とは異なる態様の表示を行うの
で、検査者は容易に検査結果を把握することができる。
さらにまた検査者はショート状態およびオープン状態
と、異常発生した回路部品との対応関係を容易に把握す
ることができ、検査ミスを削減することができる。

【００６２】また本実施の形態によれば、異常発生した
回路部品に対するショート状態およびオープン状態の関
係を示すＦＴ図が、表示画面に表示されるので、異常発
生構成要素と故障状態との関係を容易に把握することが
できる。

【００６３】

【発明の効果】以上のように本発明によれば、利用者
は、予め設定される電気回路、すなわち検査されるべき
電気回路の構成など示す回路情報を情報演算処理装置に
入力するだけで、故意に構成要素に故障状態を発生させ
た電気回路の検査を情報演算処理装置で自動的かつ仮想
的に行うことができるので、検査されるべき電気回路の
故障状態の設定などの手間をかけずに容易に検査を行う
ことができる。また電気回路の故障状態の設定ミスによ
る検査ミスを減少させることができる。さらにまた情報
演算処理装置で仮想的に検査が行われるので、検査を行
う場合に実際に電気回路を構成する必要がなく、電気回
路部品の消耗を抑えることができ、コストを低減するこ
とができる。

【００６４】また本発明によれば、予め設定された電気
回路の構成などを、情報演算処理装置に入力するだけ
で、単一の電気回路部品だけに故障状態を発生させた複
数種類の電気回路の全てに対して、自動的かつ仮想的に
検査を行うことができるので、検査されるべき電気回路
の故障状態の設定などの手間をかけずに容易に検査を行
うことができ、高速で正確な検査結果を求めることがで
きる。また電気回路の故障状態の設定ミスによる検査ミ
スを減少させることができる。

【００６５】また本発明によれば、電気回路を構成する
複数の電気回路部品の故障状態の組合わせは多数であ
り、実際に検査者が電気回路を構成して検査を行う従来
技術では、全ての組合わせについて検査することは時間
的かつ経済的に問題が生じ実質的には不可能であった
が、検査されるべき電気回路の構成を情報演算処理装置
に入力するだけで、電気回路の構成部品の全ての組合わ
せについて自動的に検査することができるので、容易か
つ高速に正確な検査結果を求めることができる。

【００６６】また本発明によれば、実際に検査者が電気
回路を構成して検査を行う従来技術では、各電気回路部
品をショート状態またはオープン状態に設定して電気回
路を構成することに手間を要するが、検査されるべき電
気回路の構成を情報演算処理装置に入力するだけで、入
力された電気回路の回路情報を示すネットリストが自動
的に生成され、そのネットリストの各ネットがショート
状態およびオープン状態に自動的に書換えられるので、
ショート状態およびオープン状態に設定された電気回路
の検査を手間をかけずに効率的に行うことができ、さら
に正確な検査結果を求めることができる。

【００６７】また本発明によれば、複数の電気回路部品
で構成される電気回路の各構成部品間の組合わせは多数
であり、実際に検査者が電気回路を構成して検査を行う
従来技術では、全ての組合わせについて検査することは
実質的に不可能であるが、予め設定される電気回路を情
報演算処理装置に入力するだけで、各構成部品間の組合
わせに応じて、自動的に各ネットがショート状態または
オープン状態に書換えられるので、ショート状態および
オープン状態に設定された電気回路の検査を手間をかけ
ずに効率的に行うことができ、正確な検査結果を高速に
求めることができる。

【００６８】また本発明によれば、検査が行われた後
に、故障状態と異常発生構成要素とを他の電気回路の構
成要素とは異なる態様の表示を行うので、検査者は容易
に検査結果を把握することができる。また実際に検査者
が回路設計図をもとに電気回路を構成して検査を行う従
来技術の場合には、故障状態と異常発生構成要素の対応
関係は回路設計図に書込まれていたので、複数の書込み
が行われると他の構成部品と区別しにくかったが、本発
明では故障状態と異常発生構成要素とを、他の電気回路
の構成要素とは異なる態様となるように表示が行なわれ
るので、検査者は故障状態と異常発生構成要素との対応
関係を容易に把握することができ、検査ミスを削減する
ことができる。

【００６９】また本発明によれば、異常発生構成要素に
対する故障状態の関係を示すフォルトツリー図が、たと
えば情報演算処理装置の表示画面に表示されるので、異
常発生構成要素と故障状態との関係を容易に把握するこ
とができる。またフォルトツリー図を実際に検査者に構
成された電気回路での実験結果および机上の計算で作成
する従来技術では、フォルトツリー図の作成に手間を要
し、さらに故障状態の漏れがあり信頼性が低いが、予め
設定される電気回路が情報演算処理装置に入力される
と、自動的にフォルトツリー図を生成するので、手間を
かけずに正確なフォルトツリー図を生成することができ
る。

【図面の簡単な説明】

【図１】本発明の実施の一形態である故障解析を行う解
析システムを構成するブロック図である。

【図２】解析システムの検証モードの動作を説明するた
めのフローチャートである。

【図３】回路図エディタ１上に生成された検査されるべ
き回路を示す図である。

【図４】本実施の一形態であるネットリストを説明する
ための図表である。

【図５】本実施の一形態であるツェナーダイオードＺＤ
１がショート状態にされたときの検証用ネットリストを
示す図表である。

【図６】本実施の一形態であるツェナーダイオードＺＤ
１の一端子に接続される接続ネットＮ３がオープン状態
にされたことを示す検証用ネットリストを説明するため
の図表である。

【図７】図５に示される検証用ネットリストに対するシ
ミュレータ３の算出結果を示す図表である。

【図８】異常発生の予測される抵抗Ｒ１とショート状態
にされたツェナーダイオードＺＤ１とが点滅表示される
例を示す図である。

【図９】異常発生の予測されツェナーダイオードＺＤ１
とショート状態にされた抵抗Ｒ１とが点滅表示される例
を示す図である。

【図１０】ＦＴ図作成モードの動作を説明するためのフ
ローチャートである。

【図１１】メモリの記憶内容である電気回路部品のショ
ート状態およびオープン状態と、異常発生の予測される
電気回路部品との関係を示す図である。

【図１２】論理式（９）〜（13）に基づいて生成された
ＦＴ図を説明するための図である。

【符号の説明】

１ 回路図エディタ ２ シミュレーション用ネットリスト作成部 ３ シミュレータ ４ 結果比較部 ５ ＦＴ図出力部 ６ 電気回路部品ライブラリ ３５ エディタ画面 Ａ１ 電源 ＡＮ１，ＡＮ２，ＡＮ３１，ＡＮ３２，ＡＮ４１，ＡＮ
５１，ＡＮ５２，ＡＮ５３，ＡＮ５４ 論理積記号 Ｎ１〜Ｎ４ ネット ＯＲ，ＯＲ２，ＯＲ３，ＯＲ４，ＯＲ５ 論理和記号 Ｒ１，Ｒ２ 抵抗 Ｘ１ 負荷 ＺＤ１ ツェナダイオード

Claims (7)

【特許請求の範囲】
1. 【請求項１】 予め設定される電気回路の構成を示す回
   路情報に基づいて、電気回路の構成要素の故障状態を含
   む複数種類の電気回路を作成し、 作成された電気回路の動作状態を予め作成されるシミュ
   レーションプログラムを用いて解析し、 解析結果に従って電気回路の構成要素に異常が発生する
   か否かを解析することを特徴とする電気回路の故障解析
   方法。
2. 【請求項２】 前記電気回路構成要素の故障状態は単一
   部品の故障であり、複数の単一部品についての故障状態
   を含む複数種類の電気回路を作成することを特徴とする
   請求項１記載の電気回路の故障解析方法。
3. 【請求項３】 前記電気回路構成要素の故障状態は複数
   部品の故障であり、複数部品の故障の組合わせの状態を
   含む複数種類の電気回路を作成することを特徴とする請
   求項１記載の電気回路の故障解析方法。
4. 【請求項４】 前記回路情報は、回路を構成する構成部
   品の情報と、構成部品に接続される信号線を示すネット
   とが表形式で構成されるネットリストで表され、 ネットリストの構成部品に接続されるネットについてシ
   ョート状態またはオープン状態を表す形式に書換えるこ
   とによって、故障状態を含む複数種類の電気回路を作成
   することを特徴とする請求項１記載の電気回路の故障解
   析方法。
5. 【請求項５】 前記ネットリストの構成部品に接続され
   るネットのショート状態またはオープン状態を表す形式
   の書換えは、複数の構成部品間の組合わせに基づいて行
   うことを特徴とする請求項４記載の電気回路の故障解析
   方法。
6. 【請求項６】 電気回路の構成要素に異常が発生すると
   き、故障状態と異常が発生する構成要素とを組にして記
   憶しておき、 記憶された組について、故障状態と異常発生構成要素と
   を電気回路として画像表示する際に、電気回路の画像表
   示部分とは異なる態様となるように表示することを特徴
   とする請求項１〜５のいずれかに記載の電気回路の故障
   解析方法。
7. 【請求項７】 電気回路の構成要素に異常が発生すると
   きの故障状態と異常発生構成要素との関係を論理式に表
   し、 複数の論理式間で簡単化を行い、 簡単化された論理式に基づいて、フォルトツリー図を作
   成することを特徴とする請求項１〜５のいずれかに記載
   の電気回路の故障解析方法。