(57)【特許請求の範囲】
【請求項１】
少なくとも２つの出力信号（ｙ０，ｙ１）と、少なくとも１つのデータ入力信号（Ｓｉｎ）と、前記少なくとも１つのデータ入力信号（Ｓｉｎ）に基づく少なくとも４つの入力信号（ａ０，ａ１，ｂ０，ｂ１）とを有するデジタル本質安全回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）であって、
前記デジタル本質安全回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）内部に、反転２重化された２線式のデジタル本質安全部分回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３）が少なくとも１つ設けられており、
前記デジタル本質安全部分回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３）は、第１の入力信号（ａ０）および第２の入力信号（ａ１）から成る第１のバイナリ入力信号対（ａ）におけるエラーを判定し、および／または、第３の入力信号（ｂ０）および第４の入力信号（ｂ１）から成る第２のバイナリ入力信号対（ｂ）におけるエラーを判定するために構成されており、
前記デジタル本質安全部分回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３）は、第１の出力信号（ｙ０）および第２の出力信号（ｙ１）から成るバイナリ出力信号対（ｙ）を有し、
エラーが無い状態では、前記第２の入力信号（ａ１）は、前記第１の入力信号（ａ０）を反転したものを示し、前記第４の入力信号（ｂ１）は、前記第３の入力信号（ｂ０）を反転したものを示し、前記第１の出力信号（ｙ０）は前記第１の入力信号（ａ０）に等しく、前記第２の出力信号（ｙ１）は前記第２の入力信号（ａ１）に等しく、かつ、前記第２の出力信号（ｙ１）は前記第１の出力信号（ｙ０）に等しくない、
ことを特徴とする、デジタル本質安全回路（７０，８０，９００，１０００，１１００，１２３，１２０，１３１）。
【請求項２】
前記デジタル本質安全回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）は、前記エラーの判定に使用されない１つまたは複数のデータ出力信号（Ｓｏｕｔ）を有し、
伝達される前記情報は、前記データ出力信号（Ｓｏｕｔ）のパリティ情報である、
請求項１記載のデジタル本質安全回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）。
【請求項３】
請求項１または２記載のデジタル本質安全回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）に対するデータインタフェースであって、
前記デジタル本質安全回路は、複数ビットのワード幅を有するデータ出力信号（Ｓｏｕｔ）と、第１のビット（ｙ０）および第２のビット（ｙ１）を含むエラー信号（ｙ）とを有し、
前記エラー信号の第１のビット（ｙ０）と該エラー信号の第２のビット（ｙ１）とが等しい場合、安全確保された前記デジタル本質安全回路のエラーが示される、データインタフェースにおいて、
エラーが示されない場合、前記エラー信号の第１のビット（ｙ０）または該エラー信号の第２のビット（ｙ１）が、安全確保された前記デジタル本質安全回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）から１ビット情報を伝達する
ことを特徴とする、データインタフェース。
【請求項４】
前記１ビット情報は、前記データ出力信号（Ｓｏｕｔ）のパリティ情報である、
請求項３記載のデータインタフェース。
【請求項５】
デジタル回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）、該デジタル回路のデータ入力信号（Ｓｉｎ）、または、前記データ入力信号（Ｓｉｎ）に基づく少なくとも４つの入力信号（ａ０，ａ１，ｂ０，ｂ１）におけるエラーの検出方法であって、
前記デジタル回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３，１２０，１３１）内部に、反転２重化された２線式のデジタル本質安全部分回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３）が少なくとも１つ設けられており、
前記少なくとも４つの入力信号（ａ０，ａ１，ｂ０，ｂ１）のうち、第１の入力信号（ａ０）と第２の入力信号（ａ１）とが第１のバイナリ入力信号対（ａ）を成し、第３の入力信号（ｂ０）と第４の入力信号（ｂ１）とが第２のバイナリ入力信号対（ｂ）を成し、前記デジタル本質安全部分回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３）に入力され、
前記デジタル本質安全部分回路（７０，８０，９００，１０００，１１００，１４００，１５００，１６００，１７００，１８００，１２３）から、第１の出力信号（ｙ０）および第２の出力信号（ｙ１）から成るバイナリ出力信号対（ｙ）が出力され、
エラーが無い状態では、前記第２の入力信号（ａ１）は、前記第１の入力信号（ａ０）を反転したものを示し、前記第４の入力信号（ｂ１）は、前記第３の入力信号（ｂ０）を反転したものを示し、前記第１の出力信号（ｙ０）は前記第１の入力信号（ａ０）に等しく、前記第２の出力信号（ｙ１）は前記第２の入力信号（ａ１）に等しく、かつ、前記第２の出力信号（ｙ１）は前記第１の出力信号（ｙ０）に等しくない、
方法において、
前記バイナリ出力信号対（ｙ）の両出力信号（ｙ０，ｙ１）を相互に比較し、
両出力信号（ｙ０，ｙ１）が等しい場合には、エラーが存在すると判定し、
両出力信号（ｙ０，ｙ１）が等しくない場合には、エラーが存在しないと判定し、
エラーが存在しないと判定された場合には、前記バイナリ出力信号対（ｙ）を介して情報を伝達する
ことを特徴とする、エラーの検出方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、独立請求項の上位概念に記載の回路または方法に関する。
【０００２】
本発明は、デジタル回路におけるエラーまたは障害の検出に関する。
【０００３】
セーフティが重要な用途では、持続的に存在するかまたは一時的に生じたエラーの検出を実現できる回路が必要とされる。Parag K. Lalaによる「Self-Checking and fault tolerant digital design」、Academic Press、２００１年から、この検出を実現するために、反転二重化された回路を用いることが公知となっている。エラーがある場合、この回路の出力は等しくなり、このことによって、後続の回路に対してエラーを表す信号が出力される。さらに、いわゆる本質安全２レールチェッカーが公知となっている。これは、エラーをシグナリングするために２つの出力を使用することにより、これらの独立した出力のうちいずれかの出力における故障も検出できるようにしたものである。従来の２レールチェッカーの基本的構成は、エラー検出のために、２つの入力信号対と１つの出力信号対とを有し、これらの２つの各入力信号対は、それぞれ１つの信号と該１つの信号の反転信号とから成る。通常、１つの信号対が２レール信号と称される。この２レール信号の２つの信号のブール値が等しくない場合、この２レール信号は有効であると見なされる。２つより多くの入力信号対のエラーを検査するためには、複数のこのような２レールチェッカーを１つの回路に組み合わせることができる。
【０００４】
図２に、従来の２レールチェッカー２０の等価回路図を示す。同図中の２レールチェッカー２０は、入力信号ａ１および入力信号ａ０から構成される第１の入力２レール信号ａと、入力信号ｂ１および入力信号ｂ０から構成される第２の入力２レール信号ｂと、出力信号ｙ１および出力信号ｙ０から構成される出力２レール信号ｙとを有する。
【０００５】
図１に、従来の２レールチェッカー２０の真理値表１０を示す。この真理値表１０は、入力信号ａ０，ａ１，ｂ０，ｂ１の有効な各入力組み合わせごとに、有効な出力信号ｙ０，ｙ１を示している。この真理値表に示された組み合わせは、エラーが発生していないことを意味する。すなわち、出力信号対ｙに基づいて、入力信号対ａ，ｂの有効性を推定することができる。入力信号対が無効である場合には出力信号対は無効となり、出力信号対の各出力信号ｙ０およびｙ１が等しいことにより、出力信号対が無効であると判定される。したがって、これらの出力信号が、ｙ０＝１かつｙ１＝０を示すか、またはｙ０＝０かつｙ１＝１を示す場合、エラーが存在しないということになり、出力信号がｙ０＝０かつｙ１＝０を示すか、またはｙ０＝１かつｙ１＝１を示す場合、エラーが存在するということになる。
【０００６】
図３に、２レールチェッカー２０の一実施形態を示す。この２レールチェッカー２０は、４つのＡＮＤゲート３０，３１，３２，３３と２つのＯＲゲート３４および３５とから構成される。このようにして実現される２レールチェッカーの両出力信号ｙ０，ｙ１に基づいて、入力信号ａ０，ａ１，ｂ０，ｂ１が有効であるか否かを判定し、かつ、２レールチェッカー２０の動作にエラーが無いか否かを判定することもできる。２レールチェッカー２０のエラーの有無を検出するためには、４つの有効な入力組み合わせを用いたテストを実施しなければならない。
【０００７】
図４に、４つの入力信号対ａ，ｂ，ｃ，ｄを有するエラー検査回路４０を示す。このエラー検査回路４０を構成するためには、３つの２レールチェッカー２０，２０’，２０’’ がカスケード接続され、このような接続により１つの出力信号対ｙにまとめられるように組み合わされる。
【０００８】
図５に、複数の信号処理ブロック５１，５２，５３，５４から構成された回路５０の一例を示す。入力信号Ｓｉｎがこの回路において処理されることにより、出力信号Ｓｏｕｔが形成される。これらの各信号処理ブロック５１，５２，５３，５４がそれぞれ、エラー検出回路５５，５６，５７，５８に接続されており、これらのエラー検出回路５５，５６，５７，５８はそれぞれ出力信号対ｄ，ｃ，ｂ，ａを有する。これらの出力信号対ｄ，ｃ，ｂ，ａはエラー検出回路４０の入力信号対となり、１つの出力信号対ｙにまとめられる。この出力信号対ｙは、回路５０にエラーが存在するか否かを示す。
【０００９】
本発明の開示
本発明の利点
それに対し、独立請求項である請求項１に記載の構成を備えた本発明の回路の利点は、本質安全回路がエラー検出機能の他にさらに、エラーが無い場合に出力信号対を用いて入力信号対の情報を伝達できることである。このことにより、エラー検査回路を用いて、エラー検出機能と同時にさらに付加的な機能も果たせるようになる。すなわち、情報の伝達機能も果たせるようになる。
【００１０】
従属請求項に記載された構成により、独立請求項に記載の装置を有利に発展および改善することができる。
【００１１】
特に有利なのは、情報がさらに１つまたは複数の別の出力信号のパリティを含むことである。このパリティを用いて、後続の装置はさらに付加的に、監視対象である回路より下流にて、前記出力信号を妨害したエラーが発生したか否かも検査することができる。
【００１２】
好適には、内部構成が同じである複数の部分回路を用いて、複数の入力信号および／または出力信号を有しかつエラー検出部を組み込んだ回路を構成する。このような部分回路は、少数のＣＭＯＳトランジスタを使用して低コストで製造することができる。
【００１３】
有利には、この安全確保された回路に対してデータインタフェースを使用する。その際には、出力信号は複数ビットのワード幅を有し、エラーがない場合には出力信号対はさらに別のビットを伝達する。
【００１４】
特に有利なのは、前記別の情報は１ビット情報として、ビット幅が複数ビットである前記出力信号のパリティを表すことである。というのもこのことにより、クロックが与えられる回路において、後続のレジスタのエラー検査を行えるようになるからである。
【図面の簡単な説明】
【００１５】
【図１】従来技術に相当する公知の２レールチェッカーの真理値表を示す。
【図２】従来技術に相当する公知の２レールチェッカーの等価回路図を示す。
【図３】従来技術に相当する公知の２レールチェッカーの安全確保された回路の一実施形態を示す。
【図４】従来技術に相当し４つの２レール信号を１つに削減した、安全確保された回路を示す。
【図５】従来技術に相当するエラー検出部を各段に備えた、安全確保された多段回路を示す。
【図６】本発明の２レールチェッカーの真理値表を示す。
【図７】本発明の２レールチェッカーの等価回路図を示す。
【図８】本発明の２レールチェッカーの安全確保された回路の一実施形態を示す。
【図９】本発明の２レールチェッカーの安全確保された回路の別の実施形態を示す。
【図１０】本発明の２レールチェッカーの安全確保された回路の別の実施形態を示す。
【図１１】本発明の２レールチェッカーの安全確保された回路の別の実施形態を示す。
【図１２】４つの２レール信号を本発明の１つの２レール信号にまで削減する、安全確保された回路を示す。
【図１３】出力レジスタを有する安全確保された回路を示す。
【図１４】本発明の２レールチェッカーの安全確保された回路の一実施形態を示す。
【図１５】本発明の２レールチェッカーの安全確保された回路の別の実施形態を示す。
【図１６】本発明の２レールチェッカーの安全確保された回路の別の実施形態を示す。
【図１７】本発明の２レールチェッカーの安全確保された回路の別の実施形態を示す。
【図１８】本発明の２レールチェッカーの安全確保された回路の別の実施形態を示す。
【００１６】
図７に、本発明の２レールチェッカー７０の等価回路図を示す。本発明の２レールチェッカー７０は、第１の入力信号ａ０および第２の入力信号ａ１から成る第１の入力信号対ａと、第３の入力信号ｂ０および第４の入力信号ｂ１から成る入力信号対ｂと、第１の出力信号ｙ０および第２の出力信号ｙ１から成る出力信号対ｙとを有する。
【００１７】
図６に、有効な場合、すなわちエラーがない場合の、本発明の２レールチェッカー７０の真理値表６０を示す。本発明の２レールチェッカーの真理値表は、入力信号対ａと入力信号対ｂとで有効なすべての組み合わせと、出力信号対ｙの割り当て値とを示す。この真理値表６０から、出力信号対ｙが入力信号対ａを再現していることが分かる。エラーが無い場合には、入力信号対ａないしは該入力信号対ａの両入力信号のうちいずれか１つａ０またはａ１を介して、出力信号対ｙないしは該出力信号対ｙの両出力信号のうちいずれか１つｙ０またはｙ１に関する情報を伝達することができる。この情報としてたとえば、本発明の２レールチェッカー７０によって入力信号ａ０から出力信号ｙ０へ値０を伝達したい場合、入力信号ａ０を０にセットし、入力信号ａ１を１にセットする。この場合、有効な入力信号対ａにするためには、入力信号ａ０と入力信号ａ１とが相違していなければならない。
【００１８】
エラーの場合には、伝達された情報の評価が行われることはない。というのも、この情報が有効であることが保証されないからである。出力信号対ｙが無効である場合、すなわち、該出力信号対ｙの両出力信号ｙ０およびｙ１が等しい場合、すなわちｙ０＝ｙ１＝１またはｙ０＝ｙ１＝０である場合、エラーが生じていることになる。このようにエラーが生じている場合、伝達された情報の評価は不可能である。
【００１９】
図８に、本発明の２レールチェッカー７０の本発明の回路８０の一実施形態を示す。この回路８０は、部分回路として使用することもできる。回路８０は、同一である２つの従来の２レールチェッカー８１，８２と、２つの入力信号対ａ，ｂと、１つの出力信号対ｙとから構成される。従来の２レールチェッカー８１，８２の信号入力端および信号出力端の接続構成は、エラーが無い場合には入力信号対ａ，ｂの値に真理値表６０の出力信号対ｙが対応するように、特別に構成される。２レールチェッカー７０を実現するための回路８０も、従来の２レールチェッカーと同様に本質安全である。
【００２０】
図９に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路９００の別の実施形態を示す。この回路９００は、ＡＮＤゲート９０，９１，９２，９３，９８，９９とＯＲゲート９４，９５，９６，９７とから構成される。
【００２１】
図１０に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路１０００の別の実施形態を示す。この回路は、ＡＮＤゲート１０４，１０５，１０６，１０７と、ＯＲゲート１００，１０１，１０２，１０３，１０８，１０９と、反転部１１８０，１１９０とから構成される。
【００２２】
図１１に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路１１００の別の実施形態を示す。この回路は、ＡＮＤゲート１１０，１１１，１１２，１１３，１１８，１１９と、ＯＲゲート１１４，１１５，１１６，１１７と、反転部１１８０，１１９０とから構成される。
【００２３】
図１４に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路１４００の別の実施形態を示す。この回路は、ＡＮＤゲート１４４，１４５，１４６，１４７と、ＯＲゲート１４０，１４１，１４２，１４３，１４８，１４９とから構成される。
【００２４】
図１５に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路１５００の別の実施形態を示す。この回路は、ＡＮＤゲート１５０，１５１，１５６，１５７と、ＯＲゲート１５２，１５３，１５４，１５５と、反転部１５８，１５９とから構成される。
【００２５】
図１６に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路１６００の別の実施形態を示す。この回路は、ＡＮＤゲート１６２，１６３，１６４，１６５と、ＯＲゲート１６０，１６１，１６６，１６７と、反転部１６８，１６９とから構成される。
【００２６】
図１７に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路１７００の別の実施形態を示す。この回路は、ＡＮＤゲート１７０，１７１，１７６，１７７と、ＯＲゲート１７２，１７３，１７４，１７５と、反転部１７８，１７９とから構成される。
【００２７】
図１８に、本発明の２レールチェッカー７０を実現するための本発明の本質安全回路１８００の別の実施形態を示す。この回路は、ＡＮＤゲート１８２，１８３，１８４，１８５と、ＯＲゲート１８０，１８１，１８６，１８７と、反転部１８８，１８９とから構成される。
【００２８】
図１２に、従来の２つの２レールチェッカー１２１，１２２と本発明の１つの２レールチェッカー１２３とをカスケード接続した回路１２０を示す。この回路は、４つの入力信号対ａ，ｂ，ｃ，ｄのエラー検査を行うのに使用される。ここでは、付加的な情報として入力信号対ａが伝送されるように、前記２レールチェッカーを組み合わせる。
【００２９】
図１３に、安全確保された回路１３０を示す。この回路１３０は、信号処理ブロック１３１とレジスタ１３２とを含む。この信号処理ブロック１３１に入力信号Ｓｉｎが入力され、この入力信号Ｓｉｎは複数の入力信号から構成することができる。すなわち、この入力信号Ｓｉｎは任意のワード幅を有することができる。信号処理ブロックは出力信号Ｓｏｕｔと出力信号対ｙとを有し、出力信号Ｓｏｕｔは複数の出力信号から構成することができる。すなわち、出力信号Ｓｏｕｔは任意のワード幅を有することができる。前記出力信号対ｙは２つの出力信号ｙ０およびｙ１から構成される。レジスタ１３２には出力信号Ｓｏｕｔと出力信号対ｙとが入力される。レジスタ１３２は出力信号Ｓｏｕｔ’と出力信号対ｙ’とを有する。この出力信号Ｓｏｕｔ’は複数の出力信号から構成することができる。すなわち、出力信号Ｓｏｕｔ’は任意のワード幅を有することができる。出力信号対ｙ’は２つの出力信号ｙ０’およびｙ１’から構成される。さらに、前記レジスタにはクロックＴも設けられる。この信号処理ブロック１３１は、本発明の２レールチェッカーを使用する。
【００３０】
エラーが無い場合に出力信号対ｙで伝達される情報は、出力信号Ｓｏｕｔのパリティである。後続の回路は信号Ｓｏｕｔ’および出力信号対ｙ’から、信号処理ブロック１３１およびレジスタ１３２と、これらの接続部とがエラー無しで動作しているか否かを推定することができる。こうするためには、たとえば上位の制御装置等である後続の回路はまず、エラーが無いことを出力信号対ｙ’が示しているか否かを評価する。このことにより、信号処理が適正に機能しているか否かが特定される。さらに、この後続の回路は出力信号Ｓｏｕｔ’のパリティを検出し、このパリティと、出力信号対ｙ’によって伝達されたパリティとを比較する。双方のパリティが等しくない場合、レジスタまたは伝送時にエラーが発生したことになる。
【図１】
0005638131.tif 000002
【図２】
0005638131.tif 000003
【図３】
0005638131.tif 000004
【図４】
0005638131.tif 000005
【図５】
0005638131.tif 000006
【図６】
0005638131.tif 000007
【図７】
0005638131.tif 000008
【図８】
0005638131.tif 000009
【図９】
0005638131.tif 000010
【図１０】
0005638131.tif 000011
【図１１】
0005638131.tif 000012
【図１２】
0005638131.tif 000013
【図１３】
0005638131.tif 000014
【図１４】
0005638131.tif 000015
【図１５】
0005638131.tif 000016
【図１６】
0005638131.tif 000017
【図１７】
0005638131.tif 000018
【図１８】
0005638131.tif 000019