JPS6125252A

JPS6125252A - 論理システムの故障あるいは正常機能のシユミレーシヨン装置

Info

Publication number: JPS6125252A
Application number: JP14644085A
Authority: JP
Inventors: アンドレ・ラヴイロン
Original assignee: Commissariat a lEnergie Atomique CEA
Current assignee: Commissariat a lEnergie Atomique et aux Energies Alternatives CEA
Priority date: 1984-07-03
Filing date: 1985-07-03
Publication date: 1986-02-04
Also published as: FR2567273A1; US4669083A; DE3580540D1; EP0171308A1; EP0171308B1; FR2567273B1

Abstract

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

Description

【発明の詳細な説明】発明の背景本発明は、論理システムの故障あるいは正常な機能をシ
ミュレートする装置に係わる。この装置は相育接続され
た複数個の論理構成要素を含むシステムを、前記構成要
素の故障あるいは修復といった事象のシミュレーション
によってシミュレートし得、その際前記事象はレベ、ル
０及びレベル１の論理信号の組合せによって逐次シミュ
レートされる。上記２１ｍのシミュレーション信号の組
食せを決定することによって、システムの１個以上の構
成要素の故障あるいは正常機能状態の、システム自体の
故障または正常機能を導く組合せがもたらされ得る。

機械的、液圧式等のシステムの故障あるいは正常機能を
シミュレートするには普通当該システムを、システムの
構成要素と等価である複数個の論理手段を含むシミュレ
ーション装置に置換えなければならないことは公知であ
る。上記論理手段は各々シミュレーション入力を含み、
これらの入力にシステム構成要素の、シミコーレーショ
ンが企図される故障かまたは正常機能を表わす論理状態
をそれぞれ有するシミュレーション信号が与えられる。

複数個の論理手段は、複数個の構成要素の故障あるいは
正常機能をシミュレートすることによって得られる信号
が１個の、前記手段共通の出力において、シミュレート
されるシステムの故障状態あるいは正常機能状態を表わ
す論理状態を有するように相互接続される。

即ち、本発明による装置社機能可能なあらゆるシステム
を、レベル０あるい伏１０組合された論理信号を逐次受
信することによってシミュレートし得る。

システム構成要素の故障あるいは正常機能が同時に発生
する信号によっても、また個別に発生する信号によって
もシミュレートされ得ることは公知である。システムの
故障ｔｉ、シミュレーション装置の複数個の入力にレベ
ル０あるいはレベルｌの信号を与えて当該システムの、
前記入力に関連する構成要素の故障（破損）あるいは正
常機能（修復）をシミュレートすることによって調査さ
れる。シミュレーション装置の入力に与えられる論理シ
ミュレーション信号の各組合せについてシミュレーショ
ン装置の応答（該装置の出力信号の論理レベルが０であ
るか１であるか）が解析され、論理信号の当該組合せが
シス；ムの故障を示唆するものであるかどうかが判定さ
れる。レベルＯあるいは１の論理信号の一連の組合せと
それらに対するシミュレーション装置の応答とによって
、シミュレートされるシステムの信頼性が解析され得る
。

上述のようなシミュレーション装置は特に原子力発電所
、航空機、油田調査システム等において、即ち高度に信
頼性の、従ってそのために冗長チャネルを具備した保安
システムあるいは制御システムが用いられなければなら
ない場合に有用である。

上記冗長チャネルは、一つのチャネルの構成要素のいず
れかが故障してもシステムが望ましい保安動作あるいは
制御動作を起こす妨げとならないことを保証し得る。ま
た、冗長チャネルによって一つ以上のチャネルが、望ま
しい保安動作あるいは制御動作を妨げることなく修理あ
るいは検査され得る。

安全あるいは制御システムの信頼性の解析には様々な方
法が用いられてきた。残念ながら、それらの方法は通常
いわゆる”故障の木”の原理を用い、この原理によれば
検査されるべきシステムが複雑である場合には火星のコ
ンピュータが必要となる。このような難点は％　１９８
０年４月に発行された信頼性についてのＩ　ＥＥＥ会報
（ＩＥＩｔｒａｎｓａｃｔｉｏｎｓ　ｏｎ　Ｒｅ１ｉａ
ｂｌｌｉｔｙ　）第Ｒ２９号の第２ページ〜第９ページ
に発表されたビー・ケイ・アンドウ（Ｐ、に、ＡＮＤＯ
Ｗ）による論文［加ニブラントの故障の木解析の問題点
（Ｄｉｆｆｉｃｕｌｔｉｅｓ　ｉｎ　ｆａｕｌｔｔｒｅ
ｅ　ａｎａｌｙｓｉｓ　ｆｏｒ　ｐｒｏｃｅｓｓ　ｐｌ
ａｎｔ）Ｊに述べられている。

システムの故障の木に基づいて実施される該システムの
信頼性解析に生起する問題点は、解析されるべきシステ
ムと等価であるワイヤ接続された複数個のシミュレーシ
ョン装置乃至回路を用いることによって克服され得る。

上記のような回路は例えば、１９８１年５月に電力研究
所（ｔｈｅ　ＥｌｅｃｔｒｉｃＰｏｗｅｒ　Ｒｅ５ｅａ
ｒｃｈ　Ｉｎ５ｔｉｔｕｔｅ）によって発行された雑誌
ＥＰＲＩ−ＮＰ−Ｔ１５７０の第１号及び第２号に発表
された論文［故障の木解析法の証明（Ｖｅｒｉｆｉｃａ
ｔｉｏｎｏｆ　ｆａｕｌｔ　ｔｒｅｅ　ａｎａｌｙｓｉ
ｓ）　Ｊに記載されている。

この論文に記載されたシミ・ニレ−ジョン装置乃至回路
によって、システムの故障の木の設計は回避され得る。

しかし、上記装置乃至回路はせいぜい２０個の構成要素
を有するシステムの信頼性しか調と得す、その性能は非
常に限られている。

最近、システムの信頼性をシミュレーション回路乃至装
置に基づいて調査するうえで有用な、論理信号を組合せ
て発信する信号発生器が開発された。この信号発生器は
、１９７９年３月にイングランド（Ｅｎｇｌａｎｄ　）
のバーミンガム（Ｂ　ｉ　ｒｍｉ　ｎｇｈａｍ　）にお
いて発行された「第２口金国信頼性会議（２ｎｄＮａｔ
ｌｏｎａｌ　Ｒｅ１ｆａｂｉ１１ｔｙ　Ｃｏｎｆｅｒｅ
ｎｃｅ）　Ｊ　ＦＩ＋　２巻の第６Ｃ／４／１ページ〜
第６Ｃ／４／１０ページにエイ・レイヴイラン（Ａ、Ｌ
ＡＶＩＲＯＮ）によって発表された論文ｒＥＳＣＡＦ−
故障シミュレーション及び信頼性計算デバイス（ＥＳＣ
ＡＦ　−Ｆａｉｌｕｒｅｓｉｍｕｌａｔｉｏｎ　ａｎｄ
　ｒｅｌｉａｂ１１１ｔ７　ａａｌｃｕｌａｔｌｏｎ　
ｄｅｖｉｃｅ）Ｊに記載されている。論理信号を組合せ
て発信する上記信号発生器は、複雑なシステムの信頼性
を論理シミュレーション回路乃至装置を介して調査する
仁とを可能にする。この信号発生器はその出力のうちの
Ｎ個において、Ｐ個のレベル１の論理信号とＮ−Ｐ個の
レベル０の論理信号このあらゆる可能な組合せを発信す
る。発生された論理信号はシミュレーション装置の構成
要素の入力に所望の信頼性テストに応じて与えられ、シ
ステムの各構成要素の正常機能（装置構成要素の入力に
与えられる該信号の論理レベルがＯの場合）か、または
故障（該信号の論理レベルが１の場合）をシミュレート
する。シミュレートされるシステムの１個以上の構成要
素の故障あるいは正常機能をシミュレートするこれらの
論理信号によって、シミュレートされた１個以上のシス
テム構成要素の故障あるいは正常機能がシステム自体の
故障（破損）をもたらすものであるか、それとも正常機
能（修復）をもたらすものであるかがシミュレーション
装置の出力において観察され得る。上述した信号発生器
は、同時に生起する事象（システム構成要素の故障ある
いは正常機能）のシミュレーションしか可能にせず、事
象の生起順序が重要視されない調査に用いるのに適して
いる。この信号発生器は、大型コンピュータ（例えば　
ＣＲＡＹ　　Ｉ型）を使用する方法より明らかに優れた
シミュレーション方法を提供するが、連続的に、即ち逐
次生起する事象（システム構成要素の故障あるいは正常
機能）をシミュレートすることはなお実現し得ない。し
かし、システムの信頼性を調べる際には、逐次生じる故
障状態あるいは正常機能状態をシミュレートすることが
しばしば必要でありＪその際事象の生起順序が信頼性調
査にとって非常に重要となる。

この場合、上述の信号発生器を用いて実施されるシミュ
レーション技術（故障の木）は採用され得ない。

更に、上述した公知諸技術においてはマルコフ・ダイヤ
グラムを作成しなければならず、このダイヤグラムは通
常非常に複雑で、構成要素の多いシステムについては作
成し得ない。

最近、組合された論理信号を逐次発信する信号発生器が
開発され゛、この信号発生器は本願出願人によって本願
と同日付で出願されたフランス特許出願第８４　１０５
１５号に記載されている。この信号発生器によって１組
合されたシミュレーション信号が逐次発信され得る。

（以下余白）発明の概要上記のような信号逐次発生器この結合により、　一本発
明によるシミュレーション装置は、複数個のシステム構
成要素の故障状態あるいは正常機能状態が逐次生起する
システムの故障おるいは正常機能をシミュレートし得る
。本発明装置は公知シミュレーション装置の限界（せい
ぜい２０個の構成要素を有するシステムしかシミュレー
トし得ない）を凌ぎ、８０個までの構成要素を有するシ
ステムをシミュレートし得る。後段に規定する一定の条
件下に、本発明装置は警報を発し得、また該装置自体の
入力に与えられたシミュレーション信号の組合せが所期
の組合せに相当しない場合、そのシミュレーション信号
の組合せがキャンセルされるべきであることを指示する
こともできる。

従って本発明線、相互接続された複数個の構成要素Ｃ１
′ｔｌ−含むシステムの故障あるいは正常な機能を前記
構成要素Ｃ１の、ある一定の組食せで逐次生起する故障
あるいは修復といった事象のシミュレーションによって
シミュレートする装置に係わり、この装置り各々少なく
とも１個のシミュレート“ヨン出力８１ｊ並びに少なく
とも１個のシミュレーション人力Ｅｌｋを有する複数個
のシミュレーション手段Ｍｉと、シミュレートされる論
理システムの構成要素Ｃｉの相互接続を表わす論理に従
って前記シミュレーション手段Ｍ１を相互接続する手段
工とを含み、各シミュレーション手段Ｍ、はシミュレー
トされるべきシステム構成要素Ｃ１を有する論理アセン
ブリでＩＤ、構成要素Ｃｉの正常機能あるいは故障状態
はシミュレーション手段Ｍ１の少なくとも１個のシミュ
レーション出力Ｓｇにおいて得られる信号によって表わ
され、この信号性当該構成要素Ｃ１の正常機能または故
障にそれぞれ対応する第一あるいは第二の論理状態を有
し、各シミュレーション人力Ｅｉｋの受信する、シミュ
レートされる事象に対応する状態を有する論理シミュレ
ーション信号は当該シミュレーション人力Ｅｉｋに対応
するシミュレーション出力Ｓｌｊの信号の状態をあるい
は変更し得、また前記相互接続手段■はシミュレートさ
れるシステムの正常機能あるいは故障を表わす論理状態
を有する信号を送出する出力Ｓを有することを特徴とす
る。

別の特徴によれば、本発明装置は複数個のシミュレーシ
ョン手段Ｍｌと接続されたキャンセル手段■をも含み、
このキャンセル手段ｖはシミュレーション人力Ｅｉｋに
与えられる論理信号の組合せのうち所望の組合せに相当
しないものを総てキャンセルする信号ＩＮＶＡＬＣＯＭ
Ｂを発生する。

別の特徴によれば、上記キャンセル手段■は相互接続手
段■とも接続されている。

別の特徴によれば、各場合における各シミュレーション
手段Ｍ１は２個の入力を有するシミュレーションＡＮＤ
ゲートと、２個の入力を有するシミュレーションＯＲゲ
ートと、マルチプレクサと、Ｄフリップ７０ツブとを含
み、前記ＡＮＤゲートの一方の入力はシミュレーション
インバータの出力と接続されており、このインバータの
入力は関連構成要素Ｃ，の故障を表わす論理状態のシミ
ュレーション信号を受信し得、前記ＯＲゲートの一方の
入力は関連構成要素Ｃ８の正常機能を表わす論理状態の
シミュレーション信号を受信し得、また該ＯＲゲートの
他方の入力はシミュレーションＡＮＤゲートの出力と接
続されており、マルチプレクサの入力の一つはシミュレ
ーションＯＲゲートの出力と接続されており、また該マ
ルチプレクサの別の一つの入力は初期化信号を受信し、
Ｄフリップフロップの入力りは前記マルチプレクサの出
力と接続されており、またそのクロック入力ＣＫはクロ
ックツｑルスを受信し、更に該フリップフロップの出力
ＱはシミュレーションＡＮＤゲートの他方の入力に接続
されており、前記出力Ｑは当該シミュレーション手段Ｍ
１のシミュレーション出力Ｓｌｊを構成している。

別の特徴によれば、キャンセル手段Ｖは各シミュレーシ
ョン手段Ｍｉについて１個のキャンセル回路を含み、こ
の回路は２個の入力を有する第一のＡＮＤゲートと、イ
ンバータと、第二のＡＮＤゲートと、出力ＯＲゲートと
を有し、菖−のＡＮＤゲートの一方の入力Ｅｌｋは関連
構成要素Ｃｉの故障を表わす状態を有するシミュレーシ
ョン信号を受信し得、インバータの入力は関連シミュレ
ーショ：４一段ＭｉのＤフリップ７０ツゾの出力Ｑと接
続されており、また該インバータの出力は第一のＡＮＤ
ゲートの他方の入力に接続されており、第二のＡＮＤゲ
ートの一方の入力は関連構成要素Ｃ１の正常機能を表わ
す状態を有するシミュレーション信号を受信し得、また
その他方の入力は前記Ｄフリップ７０ツゾの出力Ｑと接
続されており、出力ＯＲゲートの２個の入力の一方は第
一のＡＮＤゲートの出力と、他方は第二のＡＮＤゲート
の出力とそれぞれ接続されており、前記キャンセル手段
Ｖは更にキャンセル０ＲＩｆ−）をも含み、このＯＲゲ
ートの複数個の入力は各キャンセル回路の出力ＯＲゲー
トの出力とそれぞれ接続されており、またキャンセルＯ
Ｒゲートの出力は場合によってキャンセル信号ＩＮＶＡ
ＬＣＯＭＢを送出する。

本発明を、非一定的な具体例並びに添付図面に基づき以
下に詳述する。

好ましい具体例の詳細な説明第１図は、本発明装置によってシミュレートされ得る、
３個の構成要素ＣいＣ２、Ｃ３を有するシステムを図式
的に示す。このシステムにおいて、構成要素Ｃ２は専ら
、構成要素Ｃ１の機能を監視するアセンブリから成るも
のとする。この監視装置は、構成要素Ｃ１が故障状態の
時論理レベル１の警報信号を、例えけ出力Ａにおいて発
信する。

図示したシステムにおいて更に、構成要素Ｃ１とＣ８と
はＯＲゲート４を介して相互接続され、６Ｒゲ−ト４は
構成要素Ｃ１あるいは構成要素Ｃ３が正常機能状態にあ
る時論理レベル１の信号を該ゲート４自体の出力におい
て発信するものとする。

この具体例において警報信号は、構成要素Ｃ１が故障状
態となシ（出力信号が論理状態０を有する）、かつ監視
装置Ｃ３が故障していない場合に監視装置Ｃ３の出力Ａ
において発信される。しかし、構成要素Ｃ１ヲ監視する
構成要素Ｃ１が構成要素Ｃ８よシも先に故障状態となり
、かつ構成要素Ｃ８が故障していない場合には警報は発
せられず、その際構成要素Ｃ０が故障している恐れがあ
るが、実際上の監視装置Ｃ３が故障状態にあるためその
点は判然としない。警報信号の発生を確実にするには、
構成要素Ｃ１、Ｃ，、Ｃ３ｆ：相互接続する手段を用い
さえすればよく、該相互接続手段はインバータ５、ＡＮ
Ｄゲート６及びＯＲゲート７を含む。

インバータ５の入力は構成要素Ｃ３の出力と接続されて
いる。インバータ５の出力は、ＡＮＤゲート６の一方の
入力に接続されている。ゲート６の他方の入力は監視装
置Ｃ！の出力と接続されている。ＡＮＤゲート６の出力
は〜構成要素Ｃ１が故障の時警報信号を送出し、また該
出力はＯＲゲート７の一方の入力に接続されている。ゲ
ート７の他方の入力はＯＲゲート４の出力と接続されて
いる。ＯＲゲート７の出力Ｓは、先に述べた出力Ｓを構
成する。この出力Ｓは、構成要素Ｃ７とＣ３とが同時に
故障状態となシ、かつ后のゲート６の出力にシミュレー
トされた警報が存在しない場合論理レベルＯの信号を°
送出し、構成要素Ｃ１あるいはＣ３が正常に機能してい
る場合には論理レベル１の信号を送出する。インバータ
５及びＡＮＤゲート６によって、構成要素ＣＩがこの構
成要素Ｃ１を監視する監視装置である構成要素Ｃ８より
先に故障状態となった場合、論理レベル１の警報信号が
出力Ａに発信される。

第２図は、例えば第１図に示したようなシステムの構成
要素ＣＩ　　＋　０２　　＋　ＣＢをシミュレートし得
る、本発明によるシミュレーション装置を図式的に示す
。後段に詳述するが、本発明装置は、シミュレートされ
るシステムの正常機能状態あるいは故障状態を表わす論
理状態を有する信号を出力Ｓにおいて発信するＯＲゲー
ト７と、システムの構成要素を相互接続し得る回路と、
シミュレーション装置自体の入力に与えられた論理信号
の組合せをキャンセルし得る手段とを含み、前記手段に
ついては後段に詳述する。

図示したシミュレーション装置は相互接続された複数個
の構成要素Ｃｉを有するシステムの故障あるいは正常機
能をシミュレートし得、その際前Ｎｔ　４’ｊ’を成要
素Ｃｉの、一定の組合せで逐次生起する故障あるいは修
復（即ち正常機能）といった事象かシミュレートされる
。本発明装置は、各々少なくとも１イ固のシミュレーシ
ョン出力Ｓｉｊ　並びに少なくとも１個のシミュレーシ
ョン入力Ｋｉｋ　を有する複数個のシミュレーション手
段Ｍｌを含む。

各手段Ｍｉは、シミュレートされるべきシステムの構成
要素Ｃ１１Ｃ［応する論理アセンブリである。

即ち本発明装置は、第１図のシステムへの適用において
シミュレーション手段Ｍ１　　＊　Ｍ２’　＋　ＭＳを
含む。前記手段の出力Ｓｉｉそれぞれを、Ｓ１１　。

Ｓ２１　ｅ　Ｓ５１　　によって示す。また、各システ
ム構成要素に関連するシミュレーション人力Ｅｉｋ　　
それぞれを、シミュレーション手段Ｍ１　　＋　Ｍ２　
　＋　Ｍ５についてＥｊｌ　及びＥ１２＋Ｅ２１　及び
Ｅ２２　　、並びにＥ５１−及びＥ５２によって示す。

各構成要素Ｃｉ　の故障あるいは正常機能状態はミ対応
する手段Ｍｉ　の出力Ｓ目において発信される信号によ
って表わされる。前記信号は、当該構成要素Ｃｉ　の正
常機能（修復）または故障（破損）にそれぞれ対応する
第一あるいは第二の論理状態を有する。

即ち、例えば構成要素Ｃ１の故障は出力８１１　　にお
いて、第二の論理状態（例えば論理状態０）を有する信
号によって表わされる。構成要糸Ｃ１の正常機能乃至修
復は出力Ｓ＋＋・において、第一の論理状態（例えば硼
珪状態１）を有する信号によ１つて表わされる。各手段
Ｍｉ　のシミュレーション人力Ｅｉｋはシミュレートさ
れる事象を表わす論理状態の論理シミュレーション信号
を受信して、該人力Ｅｉｋに対応する回路Ｍｉの出力Ｓ
ｉｊの信号の状態を変更せずあるいは変更する。即ち、
例えば１（構成要素Ｃ１の正常機能は、シミュレーショ
ン手１ＭＭ１の入力Ｅ１２に論理レベル１のシミュレー
ション信号を与えることによってシミュレートされる（
その際人力１ｉ１ｔ１　　の論理レベルは０である）。

同様に、構成要素Ｃ１の故障は、シミュレーション手段
Ｍ１の入力Ｅ１１　　に論理レベル１の信号を与えるこ
とによってシミュレートされる（その際入力Ｅ１２　　
の論理レベルは０）。これらのことは、構成要素Ｃ２に
対応するシミル−ジョン手段Ｍ２の入力Ｅ２１及びＥ２
２　並びに構成要素Ｃ３に対応するシミュレーション手
段Ｍ３の入力Ｅ５１及ヒＥ５２に与えられる信号による
シミュレーションにも該当する。

入力Ｅｉｋに与えられるシミュレーション信号は例えば
、本願出願人によって１９８４年７月３日付で出願され
たフランス特許出願第８４１０５１５号に記載された信
号逐次発生器によって発信される。

本発明装置はまた、シミュレーション手段Ｍｉ（Ｍｌ　
、Ｍ２　８Ｍ５　）をシミュレートされる論理システム
の構成要素Ｃｉ　の相互接続を表わす論理に従って相互
接続し得る手段Ｉを含む。即ち、第１図のシステムのシ
ミュレーション用として図示した具体例において、相互
接続手段Ｉは２個のＯＲゲート４．７と、ＡＮＤゲート
６と、インバータ５とを含み、これらのゲートは第１図
において同じ符号を有するＰ−）Ｋ対応する。ＯＲゲー
ト４の２個の入力はそれぞれ、構成要素Ｃ１のシミュレ
ーション手段Ｍ１の出力Ｓ１１並びに構成要素ｃ５のシ
ミュレーション手段Ｍ３の出力８４１と接続されている
。ＯＲゲート４の出力はＯＲゲート７の一方の入力に接
続されている。ＯＲゲート７の他方の入力はＡＮＤゲー
ト６の出力と接続されている。ＡＮＤゲート６の一方の
入力は構成要素Ｃ２のシミュレーション手ＲＭ２の出力
８２１と、また他方の入力はインバータ５の出力とそれ
ぞれ接続されている。インバータ５の入力は構成要素ｃ
１のシミュレーション手段Ｍ１の出力ｓ１１と接続され
ている。相互接続手段■の出力Ｓは、後段に詳述するよ
うに、手段Ｍ１　　ｒ　Ｍ２　　＋　ＭＳによってシミ
ュレートされるシステムの正常機能あるいは故障を表わ
す論理状態の信号を送出する。

本発明によるシミュレーション装置は更に、複数個のシ
ミュレーション手段Ｍｉ　と接続されたキャンセル手段
■をも含む。後段において詳述するように、この手段Ｖ
は場合によって出力ＩＮＶＡＬＣＯＭＢ　において、入
力ＥｉｋＫＪえられる論理信号の組合せのうち所期の組
合せに相当しないものを総てキャンセルし得る、論理レ
ベルｌの信号を発生する。

シミュレーション手段Ｍｊ　　、Ｍ２　　、ＭＳは互い
に同等であるので、シミュレーション手段Ｍ１のみを詳
細に図示した。シミュレーション手段Ｍｉの各々は２個
の入力を有するシミュレーションＡＮＤゲート１０を含
む。ゲート１０の一方の入力はシミュレーションインバ
ータ１１の出力と接続されている。インバータ１１の入
力はシミュレーション手段Ｍ１の入力Ｅ１１を構成し、
構成要素Ｃ１の故障を表わす論理状態（この例では１）
を有するシミュレーション信号を受信し得る。シミーニ
レ−２３フ手段Ｍ１は、２個の入力を有するシミュレー
ションＯＲ／Ｆ’−ト１２も含む。ＯＲゲート１２の一
方の入力は手段Ｍ１のシミュレーション入力Ｅ１２に相
当する。この入力は、構成要素Ｃ１の正常機能を表わす
論理状態（この例では１）を有するンミュレーンヨン信
号を受信し得る。ＯＲ’／’　−１−１２の他方の入力
は、シミュレーションＡＮＤゲート１０の出力と接続さ
れ℃いる。手段Ｍ１は更にマルチプレクサ１３を含み、
このマルチプレクサ１３の一つの入力はシミュレーショ
ンＯＲゲート１２の出力と接続され℃おり、また別の一
つの入力は後述のように初期化の際、論理レベル１の信
号Ｉ　Ｎ　Ｉ　Ｔを受信する。最後に、シミュレーショ
ン手段Ｍ１はＤフリップフロップ１４を含み、このフリ
ップフロップ１４０入力りはマルチプレクサ１３の出力
と接続されており、またそのクロック入力ＣＫはクロッ
クパルスＣＫＳを受信する。フリップフロップ１４０出
力Ｑは、シミュレーションＡＮＤゲート１０の他方の人
力に限続され℃いる。前記出力Ｑは当該シミュレーショ
ン手段Ｍ１の出力Ｓ＋ｔを構成する。他のシミュレーシ
ョン手ＢＭ２　、ＭＳは、シミュレーション手段Ｍ１と
同様に構成されているので詳細に説明しない。

キャンセル手段Ｖは、各シミュレーション手段Ｍｉにつ
いて１個のキャンセル回路Ｖｌ　を含む。

即ち、図示した適用例においてキャンセル手段は、各々
シミュレーション手段ＭＳ　　＋　Ｍ２　　＋　ＭＳ　
と接続されたキャンセル回路ｖ、ｅ　Ｖ２　　＊　ｖＳ
を含む。

キャンセル回路Ｖｉ　　、ｖ２　　、ｖ５は互いに同等
であるので、回路ｖ１のみを詳細ｉｃ説明する。回路■
１は２個の入力を有する第一のＡＮＤゲート１５を含み
、このＰ−）１５の一方の入力は手段Ｍ１の入力Ｅ１１
に与えられる、構成要素Ｃ１の故障のシミュレーション
に相当する論理状態１を有するシミュレーション信号を
受信し得る。キャンセル回路ｖ１はインバータ１６も含
み、このインバータ１６０入カバ関連シミユレーシヨン
手段Ｍ１のＤフリップフロップ１４の出力Ｑと接続され
ている０インバータ１６の出力は、第一のＡＮＤゲート
１５の他方の入力に接続されている。回路ｖ１は更に第
二のＡＮＤゲート１７を含み、このゲート１７の一方の
入力はシミュレーション手段Ｍ１力人力Ｅ１２と接続さ
れて、構成要素Ｃ１の修復を表わす論理状態１を有する
シミュレーション信号を受信する。第二のＡＮＤゲート
１７の他方の入力は、Ｄフリップフロップ１４の出力Ｑ
と接続されている。キャンセル回路ｖ１はまた出力ＯＲ
’７’−１１８をも含み、このゲート１８の２個の入力
はそれぞれ、第−及び第二のＡＮＤゲート１５゜１７の
出力と接続されている。キャンセル回路に加えて、キャ
ンセル手段はキャンセルＯＲゲート１９をも含み、この
ゲート１９の複数個の入力はそれぞれ、キャンセル回路
”１　１Ｖ２　　ＴＶ５のＯＲゲート１８の出力と接続
されている。キャンセルＯＲゲート１９の出力は、後述
する一定の条件下に、シミュレーション手段Ｍ１ｅ　Ｍ
２　　ｅ　ＭＳの入力に与えられたシミュレーション信
号の組合せをキャンセルし得る論理しはル１の信号ＩＮ
ｖＡＬＣＯＭＢを送出する。ＯＲゲート１９の入力は、
相互接続手段■、のＡＮＤグー計６の出力とも接続され
ている。

シミュレーション手段’１　　＋　Ｍ２　　＋　ＭＳは
互いに同様に機能するが、このことはキャンセル回路Ｖ
　１−　＋　’／２　　ｅ　Ｖ５の機能にも該当する。

従って、シミュレーション手段Ｍ１及びキャンセル回路
Ｖ１の機能のみを以下に詳述する。

第１図システムのシミュレーション装置のシミュレーシ
ョン手段Ｍｊ　　、Ｍ２　　、ＭＳの入力Ｅ１１゜Ｅ１
２．・・・・・・Ｅｓ２に与えられる論理信号の組合せ
（論理ルベルｌの信号と論理レベル０の信号とを実施さ
れるべきシミュレーションに従って組合せる）の発信開
始時に、論理レベル１の初期化信号ＩＮＩＴが、例えば
先に述べた信号逐次発生器によって本発明装置の対応す
る入力−こ与えられる。

初期化信号ＩＮＩＴは、シミュレーション手段Ｍ１＋Ｍ
２．Ｍ３のマルチプレクサ（マルチプレクサ１３など）
に与えられる。論理レベル１である上記信号は当該マル
チプレクサの出力に現われ、手段Ｍｉ。

Ｍ２　’　＋　Ｍ５のフリップフロップ（フリップフロ
ップ１４など）の入力りに送られる。そこで総てのＤフ
リップフロップは、信号ＩＮＩＴの到着と同一時に該フ
リップフロップの入力ＣＫに与えられる第一（７）クロ
ックパルスＣＫＳにおいて論理しくル１を記憶する。次
いでシミュレーション手段Ｍ１゜Ｍ２．Ｍ３のフリップ
フロップ１４の出力Ｑが、各々論理しばル１の信号を送
出する。こうして初期化の際、ＯＲゲート４，７を経て
相互接続手段１の出力Ｓから論理レベル１の信号が送出
される。

各マルチプレクサ１３は初期化信号を受信する入力以外
に２個の入力、即ちＯＲゲート１２の出力と接続された
入力２０と、関連構成要素を初期化する論理しＲルに相
当する、通常１である論理しくルを有する信号を受信す
る入力２１とを有する。

関連構成要素の初期化の際に、ＯＲゲート１２から送ら
れてくるＩＮＩＴ信号が、入力２１に存在する信号の論
理しくルを選択するのに用いられる。

入力２１の信号の論理しばルは、初期化の際当該マルチ
プレクサに関連する構成要素が故障状態にあるものとさ
れる場合にゼロとなり得る。シミュレーション装置の初
期化が済むと手段Ｍ１　　＋　Ｍ２　＋Ｍ５のシミュレ
ーション入力に、しくル１及びＯの論理信号の実施され
るシミュレーション（幾つかの構成要素の故障並びにそ
の他の構成要素の正常機能の）に従った組合せが与えら
れる。時点ｔｉニオいて、論理レベル１のシミュレーシ
ョン信号が例えば構成要素Ｃ１の故障をシミュレートす
るべく一手段Ｍ１の入力Ｅ１１に、フリップフロップ１
４にクロックパルスＣＫＳが与えられるのと同時に与え
られるき、フリップフロップ１４は出力８１１において
構成要素Ｃ１の故障を表わす論理しばル０の信号を発信
する。この場合当然、上記時点にシミュレーション手段
Ｍ１の入力Ｅ１２に与えられる信号は論理しくル０の信
号であるものとする。また、時点ｔｉの上記信号の組合
せ１こ関し、論理しくル０の信号がシミュレーション手
段Ｍ２　　＋　Ｍ３の入力Ｅ２２及びＥ３２に与えられ
、かつ構成要素ｃ２．ｃ５の正常機能を維持するべく前
記手段Ｍ２　　ｒ　Ｍ５．の入力Ｅ２１及び・Ｅ３１に
も論理レベル０の信号が与えられるものとする。即ち時
点ｔｉの信号の組合せの場合、手段Ｍ１の出力ＳＮは論
理しばル０であり。−男手段Ｍ２　。

Ｍ３の出力は論理レベル１である。従って、相互接続手
段■の出力Ｓは論理しはル１となる。この論理しばルは
、構成要素Ｃ１Ｌ／か故障していない時第１図のシステ
ムは正常に機能することを示す。

例えば時点ｔｉ＋１において手段Ｍ１　　＋　Ｍ２　　
＋Ｍ６の入力に与えられるシミュレーション信号の組合
せは、出力Ｆｉｉ１及びＳ３１が論理しＲル０で（構成
要素Ｃ１及びＣ５の故障状態を表わす）、相互接続手段
ＩのＯＲゲート４の出力Ｓが論理しはル０となるように
決定され、出力Ｓの前記論理レイルはシミュレートされ
るシステムが全体として故障状態にあることを示す、構
成要素Ｃ２は、ここｌこ述べた適用例においては監視装
置である。

上述の場合監視装置Ｃ２は故障していないので、ＯＲゲ
ート７の出力Ｓは時点ｔｉ以降論理レしイ１であり（な
ぜなら５２１＝１及び５１１＝０）、論理レイル１の警
報信号が出力Ａに右いて発信される。

出力８１１が論理しはル０となって構成要素Ｃ１の故障
を指示し、他方構成要素Ｃ２（本適用例では監視装置こ
関連する出力８２１が正常機能状態を表わす（出力８２
１が論理レベル１）場合、警報がＡＮＤゲート６の出力
Ａにおいて発信される。ＡＮＤゲート６の出力に今や存
在する論理しくル１の信号は、ＯＲゲート７の入力に与
えられる。即ち、ＡＮＤゲート６の出力の論理しくル１
の信号が、ＯＲゲート７の出力Ｓから論理しくルＯの信
号が送出されるのを阻止する。ＡＮＤゲート６の出力は
ＯＲゲート１９とも接続されており、このＯＲゲート１
９の出力に論理しくル１の信号ＩＮＶＡＬＣＯＭＢが現
われる。この信号ＩＮＶＡＬＣＯ３ｉ！Ｂは、手段Ｍ１
　　。

Ｍ２．Ｍ３のシミュレーション入力に存在する論理信号
の組合せが、出力Ｓにシステムの故障を示す論理しばル
０の信号を発生させるべきであるのに、実際はシステム
の正常機能を示す論理しくル１の信号を発生させてしま
うためキャンセルされるべきであることを指示する。

出力ＯＲゲート１９の入力Ｉこ接続された出力を有する
キャンセル回路Ｖ１　　＋　Ｖ２　　＋　Ｖ３も次に示
す条件下に論理信号のあらゆる組合せを、ＯＲゲート１
９の出力に存在する論理レベル１の信号ＩＮＶＡＬＣＯ
ＭＢによってキャンセルし得る。即ち、時点ｔｉにおい
て論理しばル１の故障信号が故障入力（例えばＥｌｌ　
など）に与えられ、一方該入力に対応する出力は時点、
ｔｉ　　において既に論理しはル０である場合、あるい
はまた時点ｔｉ　　において論理レベル１の信号が修復
入力（例えばＥ１２）に与えられ、一方該入力に対応す
る出力は時点ｔｉにおいて既に論理レベル１である場合
である。上記二つの場合において、ＯＲゲート１９の出
力の信号ＩＮＶＡＬＣＯＭＢは論理しくル１に変わり、
シミュレートされた事象が構成要素に影響を及ぼさない
ため論理信号の当該組合せは問題にされるべきでないこ
とを指示する。

第３図は、本発明による装置の別の具体例を図式的に示
す。図中、第２図と同じエレメントには同じ参照符号を
付した。第３図の具体例と第２図の具体例この相違は実
質的に、各々シミュレーション手段Ｍｉと接続されたキ
ャンセル回路Ｖｉに係わり、該回路Ｖｉは第３図の例で
はキャンセル手段の出力回路とも接続されており、この
出力回路は出力ＩＮＶＡＬＣＯＭＢにおいて後段に詳述
する条件下に、論理レベル１のキャンセル信号を発信す
る。

第３図の具体例において、回路■１のようなキャンセル
回路Ｖｉは、ＡＮＤゲート１５の一方の入力側のインバ
ータはもはや含まないが、ＡＮＤゲート１７の一方の入
力とフリップフロップ１４゜の出力とを接続するインバ
ータ２２を含む。キャンセル回路ｖ１の他の接続ニレプ
ントζこ変化は無い。

この具体例では、一定の条件下に出力ＩＮＶＡＬＣＯＭ
ＢＩζおいｔキャンセル信号を発信し得るキャンセル手
段の出力回路は、もはや先に述べた具体例でのように単
一のＯＲゲートから成るのではなく、ＯＲゲート２３、
イア　／’　Ｚ−夕２４及びＯＲゲート２５によって構
成されている。ＯＲゲート２３の入力はそれぞれ、キャ
ンセル回路ｖ１　、ｖ２　、■５の出力と接続されてい
るヶＯＲゲート２３の出力はインバータ２４の入力に接
続されている。ＯＲゲート２５の２個の入力は、インバ
ータ２４の出力並びに相互接続手段■のＡＮＤゲート６
の出力とそれぞれ接続されている。

第３図のこの具体例の場合、信号逐次発生器は破損ある
いは修復を表わす信号を入力Ｅｉｋにト個ずつ、異なる
時点に与える。所与の時点において、例えば故障即ち破
損番表わす論理しはル１の信号（この時点において、当
然この信号のみ）が既に故障状態にある構成要素に関連
するシミュレーション入力に与えられた場合、ＯＲゲー
）２３吟論理しＲ）Ｌ／ｌの信号は送られない。即ち、
ＯＲグー゛ト２３の出力は論理しはル０となり、インバ
ータ２４の出力は論理しくル１となる。そこで、論理し
はル１のキャンセル信号がＯＲゲート２５の出力Ｉ　Ｎ
ＶＡＬＣＯＭＢにおいて発信される。　　　、

【図面の簡単な説明】

第１図は本発明装置によってシミュレートされ得るシス
テムの、３個の構成要素を有する−具体例の図式的説明
図、第２図は第１図のシステムに適用される本発明装置
の詳細な図式的説明図、第３図は本発明装置の別の具体
例の図式的説明図である。４．７，１２，１８，１９．’２３．２５・・・・・・
ＯＲゲート、５．１１．１’６，２２．２４・・・・・・インノＺ−
タ、６　’、　１０　、１５　、　ｌ　７・・・・・・
ＡＮＤゲート、１３・・・・・・マルチプレクサ、１４・・・Ｄフリップフロップ。

Claims

【特許請求の範囲】

（１）相互接続された複数個の構成要素を含むシステム
の故障あるいは正常な機能を前記構成要素の、ある一定
の組合せで逐次生起する故障あるいは修復といった事象
のシミュレーションによってシミュレートする装置であ
って、各々少なくとも１個のシミュレーション出力並び
に少なくとも１個のシミュレーション入力を有する複数
個のシミュレーション手段と、シミュレートされる論理
システムの構成要素の相互接続を表わす論理に従って前
記シミュレーション手段を相互接続する手段とを含み各
シミュレーション手段はシミュレートされるべきシステ
ム構成要素に対応する論理アセンブリであり、構成要素
の修復あるいは故障状態はシミュレーション手段の少な
くとも１個のシミュレーション出力において得られる信
号によって表わされ、この信号は当該構成要素の修復ま
たは故障にそれぞれ対応する第一あるいは第二の論理状
態を有し、各シミュレーション入力の受信する、シミュ
レートされる事象に対応して第一あるいは第二の状態を
有する論理シミュレーション信号は当該シミュレーショ
ン入力に対応するシミュレーション出力の信号の状態を
あるいは変更し得、また前記相互接続手段はシミュレー
トされるシステムの修復あるいは故障を表わす論理状態
を有する信号を送出する出力を有することを特徴とする
シミュレーション装置。
（２）複数個のシミュレーション手段と接続されたキャ
ンセル手段をも含み、このキャンセル手段は、シミュレ
ーション入力に与えられる論理信号の組合せが所望の組
合せに相当しないとき、入力に供給される信号の組合せ
を総てキャンセルする信号を供給することを特徴とする
特許請求の範囲第１項に記載の装置。
（３）キャンセル手段が相互接続手段とも接続されてい
ることを特徴とする特許請求の範囲第２項に記載の装置
。
（４）各シミュレーション手段が２個の入力を有するシ
ミュレーションＡＮＤゲートと、２個の入力を有するシ
ミュレーションＯＲゲートと、マルチプレクサと、Ｄフ
リップフロップとを含み、前記ＡＮＤゲートの一方の入
力はシミュレーションインバータの出力と接続されてお
り、このインバータの入力は関連構成要素の故障を表わ
す論理状態のシミュレーション信号を受信し得、前記Ｏ
Ｒゲートの一方の入力は関連構成要素の修復を表わす論
理状態のシミュレーション信号を受信し得、また該ＯＲ
ゲートの他方の入力はシミュレーションＡＮＤゲートの
出力と接続されており、マルチプレクサの入力の一つは
シミュレーションＯＲゲートの出力と接続されており、
また該マルチプレクサの他の２個の入力は初期化の際に
、一方が初期化信号を、他方が前記構成要素の故障ある
いは修復状態を表わす論理レベルの信号を受信し、Ｄフ
リップフロップの入力は前記マルチプレクサの出力と接
続されており、またそのクロック入力はクロックパルス
を受信し、更に該フリップフロップの出力はシミュレー
ションＡＮＤゲートの他方の入力に接続されており、前
記出力は当該シミュレーション手段のシミュレーション
出力を構成していることを特徴とする特許請求の範囲第
３項に記載の装置。
（５）キャンセル手段が各シミュレーション手段につい
て１個のキャンセル回路を含み、この回路は２個の入力
を有する第一のＡＮＤゲートと、インバータと、第二の
ＡＮＤゲートと、出力ＯＲゲートとを有し、第一のＡＮ
Ｄゲートの一方の入力は関連構成要素の故障を表わす論
理状態のシミュレーション信号を受信し得、インバータ
の入力は関連シミュレーション手段のＤフリップフロッ
プの出力と接続されており、また該インバータの出力は
第一のＡＮＤゲートの他方の入力に接続されており、第
二のＡＮＤゲートの一方の入力は関連構成要素の修復を
表わす論理状態のシミュレーション信号を受信し得、ま
たその他方の入力は前記Ｄフリップフロップの出力と接
続されており、出力ＯＲゲートの２個の入力の一方は第
一のＡＮＤゲートの出力と、他方は第二のＡＮＤゲート
の出力とそれぞれ接続されており、前記キャンセル手段
は更に少なくとも１個のキャンセルＯＲゲートをも含み
、このＯＲゲートの複数個の入力は各キャンセル回路の
出力ＯＲゲートの出力とそれぞれ接続されでおり、また
キャンセルＯＲゲートの出力は場合によってキャンセル
信号を送出することを特徴とする特許請求の範囲第４項
に記載の装置。
（６）キャンセル手段が各シミュレーション手段につい
て１個のキャンセル回路を含み、この回路は２個の入力
を有する第一のＡＮＤゲートと、第二のＡＮＤゲートと
、インバータと、出力ＯＲゲートとを有し、第一のＡＮ
Ｄゲートの一方の入力は関連構成要素の故障を表わす論
理状態のシミュレーション信号を受信し得、またその他
方の入力は関連シミュレーション手段のＤフリップフロ
ップの出力と接続されており、第二のＡＮＤゲートの一
方の入力は関連構成要素の修復を表わす論理状態のシミ
ュレーション信号を受信し得、インバータの入力は前記
Ｄフリップフロップの出力と接続されており、また該イ
ンバータの出力は第二のＡＮＤゲートの他方の入力に接
続されており、出力ＯＲゲートの２個の入力の一方は第
一のＡＮＤゲートの出力と、他方は第二のＡＮＤゲート
の出力とそれぞれ接続されており、前記キャンセル手段
は更に少なくとも１個の別のＯＲゲートと、出力インバ
ータと、キャンセルＯＲゲートとを含み、別のＯＲゲー
トの複数個の入力は各キャンセル回路の出力ＯＲゲート
の出力とそれぞれ接続されており、出力インバータの入
力は前記別のＯＲゲートの出力と接続されており、キャ
ンセルＯＲゲートの一方の入力は、出力インバータの出
力と、またその他方の入力は相互接続手段の出力とそれ
ぞれ接続されており、キャンセルＯＲゲートの出力は場
合によってキャンセル信号を送出することを特徴とする
特許請求の範囲第４項に記載の装置。