(57)【要約】【課題】パケット内の検出不可能な誤りが、各パケット内のＣＲＣを検証し、ＣＲＣフラグを０にセットして成功を示し、ＣＲＣフラグを１にセットして失敗を示すことによって最小にされる。【解決手段】パケットのセット内の少なくとも１つのパケットが失敗した場合、パケットごとに、失敗したパケットを、ＣＲＣ検証に合格した１つのパケットと比較することによって誤りパターンＥを生成し、この誤りパターンを既知の誤りパターンのセットと比較する。次に、差が所定の閾値未満の場合、ＣＲＣフラグを０にセットして成功を示し、各パケットのペイロードおよびＣＲＣをアプリケーションに送信し、そうでない場合、ＣＲＣフラグを１にセットして失敗を示す。【選択図】図２Ａ
2012170062.tif 000002
【特許請求の範囲】
【請求項１】
アプリケーションの通信システムの受信機において受信されるパケットのセット内の検出不可能な誤りを最小にする方法であって、前記各パケットはペイロードおよび巡回冗長検査（ＣＲＣ）を含み、前記方法は、
パケットのセットを受信するステップと、
前記各パケット内の前記ＣＲＣを検証するステップと、
前記各ＣＲＣが検証された場合、ＣＲＣフラグを０にセットして成功を示し、前記各パケットの前記ペイロードおよび前記ＣＲＣフラグを前記アプリケーションに渡す、セットして渡すステップと、
すべての前記パケットが前記検証に失敗した場合、前記ＣＲＣフラグを１にセットして前記検証の失敗を示し、前記ＣＲＣフラグのみを前記アプリケーションに渡す、セットして渡すステップと、
を含み、前記パケットのセット内の少なくとも１つのパケットが前記検証に失敗した場合、
前記ＣＲＣ検証に失敗した前記パケットごとに、前記ＣＲＣ検証に失敗した前記各パケットを前記ＣＲＣ検証に合格した１つのパケットと比較することによって誤りパターン（Ｅ）を生成するステップと、
前記誤りパターンを既知の誤りパターンのセット｛Ｔｘ｝と比較するステップであって、ここで、下付きのインデックスは範囲［０，Ｋ］内にあり、Ｔ０は全ゼロパターンであり、他のＫ個のパターンは、所定の値未満の重みを有するすべての有効な符号語を含む、比較するステップと、
差が所定の閾値未満である場合、ＣＲＣフラグを０にセットして成功を示し、前記各パケットの前記ペイロードおよび前記ＣＲＣフラグを前記アプリケーションに渡し、そうでない場合、前記ＣＲＣフラグを１にセットして前記検証の失敗を示し、前記ＣＲＣフラグのみを前記アプリケーションに渡す、セットして渡すステップと、
をさらに含み、前記ステップは前記受信機において実行される、アプリケーションの通信システムの受信機において受信されるパケットのセット内の検出不可能な誤りを最小にする方法。
【請求項２】
前記生成するステップは、前記ＣＲＣ検証に失敗した前記パケットと、前記検証に合格した前記１つのパケットとの間の排他的ＯＲによって実行される、請求項１に記載の方法。
【請求項３】
前記既知の誤りパターンのセットは、全ゼロパターン、および所定の値以下の重みを有する前記ペイロードに対応するすべての有効な符号語を含む、請求項１に記載の方法。
【請求項４】
前記差は、前記失敗したパケットの前記誤りパターンと前記既知の誤りパターンのセットとの間の距離である、請求項１に記載の方法。
【請求項５】
前記差は、前記失敗したパケットの前記誤りパターンと、前記既知の誤りパターンのセットとの間の条件付き確率である、請求項１に記載の方法。
【請求項６】
前記条件付き確率は
【数１】
2012170062.tif 000007
であり、ここで、Ｔｘは前記既知の誤りパターンのセットであり、Ｅは前記検証に失敗した前記パケットの前記誤りパターンであり、ｎは前記既知の誤りパターンのセットへのインデックスであり、σ２はＥの分散である、請求項１に記載の方法。
【請求項７】
前記各パケット内の、変化することが知られている前記ペイロード内のビットを変更するステップと、
前記変更されたペイロードの前記ＣＲＣを再生成して変更されたパケットを生成する、再生成するステップと、
をさらに含む、請求項１に記載の方法。
【発明の詳細な説明】
【技術分野】
【０００１】
この発明は、包括的にはデジタル通信に関し、より詳細には、データパケット内の検出不可能な誤りを最小にすることによる、輸送システムなどのセーフティアプリケーションにおける信頼性のある通信に関する。
【背景技術】
【０００２】
セーフティアプリケーション内の通信システムは、高い信頼性を要求する。検出不可能な誤りの確率Ｐｕｅが低いことを保証するために、多くの場合に誤り検出符号が用いられる。巡回冗長検査（ＣＲＣ）は１つの一般的な誤り検出符号である。本明細書において、用語ＣＲＣは、符号並びにこの符号を生成および検証する機能の双方のために用いられる。
【０００３】
図１は、セーフティアプリケーション１０５のための従来の通信システム１０１を示している。セーフティアプリケーションは、エレベータシステム、航空機などの輸送システム、または高い信頼性を必要とする任意の他のシステムに組み込むことができる。
【０００４】
アプリケーション１０５によってペイロード１１０が生成される。送信機１０２がＣＲＣを生成し、このＣＲＣをパケット内のペイロードに付加する。パケット１１１は符号化されて、符号化パケット１１２にされる。符号化パケット１１２は変調されて、変調パケット１１３にされ、変調パケット１１３は雑音のあるチャネル１０４を通して送信される。
【０００５】
受信機１０３は変調された受信パケット１２３を受信し、この受信パケットを復調して復調パケット１２２にする。復調パケットは誤り訂正復号器によって復号され、復号パケット１２１にされる。復号パケットはＣＲＣ検証を通される。ＣＲＣが成功すると、ＣＲＣフラグ１２８は０にセットされ、ペイロードおよびＣＲＣフラグがアプリケーション１０５に渡される。誤りが検出されると、ＣＲＣフラグ１２９は１にセットされ、受信機によって、再送信要求などの適切な動作がとられる。この場合、アプリケーションは誤りを含むペイロードを受信しない。
【０００６】
ＣＲＣは、確率Ｐｕｅが０であることを保証することができない。線形誤り検出符号の場合、ペイロード内の誤りパターンが有効な符号語であるとき、検出不可能な誤りが発生する可能性がある。
【０００７】
検出不可能な誤りは稀ではあるが、セーフティアプリケーションにおいて極度に有害であり、危険なオペレーションおよび大惨事を引き起こす可能性がある。したがって、検出不可能な誤りの確率Ｐｕｅを最小にするように通信システムを設計することが極めて重要である。
【０００８】
高い信頼性および低いパケット損失率を提供する通信システムは、通常、時間領域、周波数領域、空間領域、および／または符号領域における冗長送信を用いる。
【発明の概要】
【発明が解決しようとする課題】
【０００９】
従来から、受信機は、送信のうちの少なくとも１つがＣＲＣに合格した場合、パケット配信を成功とみなす。パケット配信は、すべての送信および再送信が成功しなかった場合にのみ失敗する。
【００１０】
そのようなメカニズムは、高い確率Ｐｕｅに起因して、セーフティアプリケーションに必要とされる要件を満たしていない場合がある。
【００１１】
したがって、セーフティアプリケーションにおいて、通信システムにおける検出不可能な誤りの確率Ｐｕｅを最小にすることが所望されている。
【課題を解決するための手段】
【００１２】
この発明の実施の形態は、パケットのセットから受信した情報を組み合わせて、セーフティアプリケーションとともに用いられる通信システムにおける受信パケット内の検出不可能な誤りの確率Ｐｕｅを最小にする方法を提供する。この発明の実施の形態は、高い信頼性を必要とする他のシステムにおいても遂行可能なことが理解される。
【００１３】
受信パケットのセットがＣＲＣに合格した場合、受信機はすべてのパケットのＣＲＣを比較してＣＲＣが一致することを保証する。
【００１４】
いくつかのパケットが成功し、少なくとも１つのパケットが失敗した場合、受信機は、成功したパケットから失敗したパケットの誤りパターンを生成し、失敗したパケットのパターンを既知の誤りパターンのセットと比較して検出不可能な誤りの確率を求める。検出不可能な誤りの確率が正しい受信の確率よりも大きい場合、ペイロードはアプリケーションに渡されず、ＣＲＣが１にセットされて、アプリケーションに対し受信の失敗を示す。そうではなく、ＣＲＣが検証された場合、ＣＲＣフラグが０にセットされ、ペイロードおよびＣＲＣフラグがアプリケーションに渡される。
【発明の効果】
【００１５】
この発明によれば、セーフティアプリケーションとともに用いられる通信システムにおける受信パケット内の検出不可能な誤りの確率Ｐｕｅを最小にすることができる。
【図面の簡単な説明】
【００１６】
【図１】従来のセーフティアプリケーションにおける通信システムの概略図である。
【図２Ａ】この発明の実施の形態１による、双方の送信が成功したときの受信の概略図である。
【図２Ｂ】この発明の実施の形態１による、双方の送信が失敗したときの受信失敗の概略図である。
【図３】この発明の実施の形態１による、１つの送信が成功し、１つの送信が失敗したときの受信の概略図である。
【図４】この発明の別の実施の形態１による、１つの送信が成功し、１つの送信が失敗したときの受信の概略図である。
【発明を実施するための形態】
【００１７】
この説明を簡単にするために、セーフティアプリケーションにおける通信システム内の受信機にパケットのセットを送信するための、対応する第１の送信および対応する第２の送信を伴う２つのパケットのセットを用いる。受信機において、復号パケットのセットは、パケットｒａおよびパケットｒｂを含む。パケットの更なる送信を用いることができること、すなわち、セットは３つ以上のパケットを含むことができることが理解される。各パケットはペイロードおよび巡回冗長検査（ＣＲＣ）を含む。いくつかの用途において、パケット内のビットが送信間で変化する可能性があること、たとえば再送信フラグがセットされるか、またはシーケンス番号がインクリメントされることも理解される。
【００１８】
図２Ａに示すように、双方の復号パケットｒａおよびｒｂ内のＣＲＣを検証することができる（
【数１】
2012170062.tif 000003
）。受信機は、２つのパケットのＣＲＣを比較する（２１０）。同一である場合、受信機はフラグを０にセットし、ペイロードおよびＣＲＣフラグをアプリケーションに渡す。異なる場合、受信機はフラグを１にセットし、パケット配信は失敗し、ＣＲＣフラグのみがアプリケーションに渡される。
【００１９】
パケットの３つ以上の送信および再送信の場合、多数決に従って訂正を行うことができる。
【００２０】
図２Ｂに示すように、双方の復号パケットがＣＲＣ検証に失敗する（Ｘ）場合、受信機はＣＲＣフラグを１にセットし、パケット配信は失敗し、ＣＲＣフラグのみがアプリケーションに渡される。
【００２１】
図３に示すように、一方の送信がＣＲＣ検証に失敗し（Ｘ）、他方の送信がＣＲＣに合格する。すなわち、ＣＲＣはセット内の少なくとも１つのパケットにおいて検証することができない。受信機は最初に、ＣＲＣ検証に失敗したパケットごとに、このＣＲＣ検証に失敗したパケットと、ＣＲＣ検証に合格したパケットとを比較する（３９９）ことによって誤りパターンＥを生成する。復号メッセージが２値数列である場合、この比較は２つのパケット内のビットの排他的ＯＲ（ＸＯＲ）によって実行することができる。
【００２２】
誤りパターンＥは既知の誤りパターンのセット｛Ｔｘ｝と比較される。ここで、下付きのインデックスは範囲［０，Ｋ］内にある。Ｔ０は全ゼロパターンであり、他のＫ個のパターンは、所定の値ｊよりも小さな重みを有するすべての有効な符号語を含む。
【００２３】
比較することによって、誤りパターンと既知の誤りパターンとの間の差が本質的に求められる。差は、距離または確率として表すことができる。距離が、アプリケーションによってセットされた所定の閾値未満である場合、検証は成功し、そうでない場合、検証は失敗する。
【００２４】
距離に基づく差
１つの実施形態では、誤りパターンＥ３１０と既知の誤りパターンＴｘ３１１との間の距離Ｄｘが、すべてのｘ∈［０，Ｋ］について求められる（３２０）。ここで、Ｄｘ＝‖Ｅ−Ｔｘ‖である。ハミング距離またはレーベンシュタイン距離などの多数の距離測定が当該技術分野において既知である。
【００２５】
距離Ｄ０が最小距離である場合、受信機は成功を示し、ＣＲＣフラグを０にセットし、ペイロードおよびＣＲＣフラグをアプリケーションに渡す。Ｄ０が最小距離より大きい場合、受信機は失敗を宣言し、ＣＲＣフラグを１にセットし、ＣＲＣフラグのみをアプリケーションに渡す。
【００２６】
確率に基づく差
復号器が軟出力を生成することが可能である場合、復号シーケンスｒａおよびｒｂは、２値数列の代わりに実数列とすることができる。比較器３９９によって軟誤りパターンＥ３１０を計算することができる。次に、条件付き確率Ｐｒ（Ｔｘ｜Ｅ）を求めることができる。条件付き確率Ｐｒ（Ｔ０｜Ｅ）が最大確率である場合、受信機は成功を宣言し、フラグを０にセットし、ペイロードおよびＣＲＣフラグをアプリケーションに渡す。Ｐｒ（Ｔ０｜Ｅ）が最大確率未満である場合、受信機は失敗を宣言し、ＣＲＣフラグを１にセットし、ＣＲＣフラグのみをアプリケーションに渡す。
【００２７】
例として、軟誤りパターンＥをガウス分布としてモデリングすることができる場合、Ｐｒ（Ｔｘ｜Ｅ）は以下のように書くことができる。
【００２８】
【数２】
2012170062.tif 000004
【００２９】
ここで、Ｅ（ｎ）はＥのｎ番目の要素であり、Ｔｘ（ｎ）はＴｘのｎ番目の要素であり、σ２はＥの分散である。
【００３０】
図４は、この発明の別の実施形態を示しており、チャネルコーディングに系統的な符号が用いられている場合、復調パケット１２２は、ＣＲＣ検証に失敗したパケットの場合の比較器３９９への入力として直接用いることができる。ＣＲＣ検査に合格したパケットの場合、復号されたペイロードが比較器３９９への他方の入力である。同様に、軟誤りパターンＥを比較器によって生成することができる。
【００３１】
いくつかの用途では、パケットのペイロード内の或る特定のビット（フィールド）は送信間で変化すること、たとえば再送信フラグがセットされるか、またはシーケンス番号がインクリメントされることが知られている。そのような場合、２つの復号パケットを直接比較することは不可能である。しかし、ペイロード内の変更されたビットの数は通常非常に少なく、またそれらのビットは確定しており既知であるので、受信機は復号パケットを取得し、それに従って既知のビットを変更し、ＣＲＣを再生成して変更されたパケットを生成することができる。次に、受信機は変更されたパケットと失敗したパケットとを比較して、誤りパターンＥを生成する。
【００３２】
セット｛Ｔｘ｝内の符号語は、以下の観測に基づいて選択される。ＣＲＣは線形符号であり、したがって、２つの有効な符号語ｃの差もまた有効な符号語である。すなわち、ｃｉ，ｊ≡ｃｉ−ｃｊ∈Ｃである。したがって、検出不可能な誤りを有する復号パケットは基本的に、元の符号語に誤りを含む符号語を重ね合わせたものであり、これも有効な符号語である。
【００３３】
ρをビット誤り確率とすると、Ｐｕｅは
【数３】
2012170062.tif 000005
である。ここで、ｗｄは重みｄを有するＣＲＣ符号語の数であり、ＮはＣＲＣ符号長であり、ｄｍｉｎは符号語の最小距離である。ρが小さい場合、Ｐｕｅはｊ以下の重みを有する符号語によって決定付けられ、すなわち以下となる。
【００３４】
【数４】
2012170062.tif 000006
【００３５】
ここで、ｊの値に依拠して、δは任意に小さくすることができる。
【００３６】
ｊ以下の重みを有する符号語の総数は非常に限られている。様々なＣＲＣの重み分布は当業者に既知である。最も一般的に用いられるＣＲＣ長は、９ビット（ＣＲＣ−８）、１７ビット（ＣＲＣ−１６）、３３ビット（ＣＲＣ−３２）、および６５ビット（ＣＲＣ−６４）である。
【００３７】
したがって、ｊを超えない重みを有するすべてのＣＲＣ符号語を選択することによって、既知の誤りパターンのセット｛Ｔｘ｝を構築することができる。ｊの重み上限は、用途によって指定される確率Ｐｕｅに基づいて選択される。
【００３８】
この発明を好ましい実施の形態の例として説明してきたが、この発明の趣旨および範囲内で様々な他の適応および変更を行うことができることは理解されたい。したがって、添付の特許請求の範囲の目的は、この発明の真の趣旨および範囲内に入るすべての変形および変更を包含することである。
【図１】
2012170062.tif 000008
【図２Ａ】
2012170062.tif 000009
【図２Ｂ】
2012170062.tif 000010
【図３】
2012170062.tif 000011
【図４】
2012170062.tif 000012
【外国語明細書】
2012170062.tif 000013
2012170062.tif 000014
2012170062.tif 000015
2012170062.tif 000016
2012170062.tif 000017
2012170062.tif 000018
2012170062.tif 000019
2012170062.tif 000020
2012170062.tif 000021
2012170062.tif 000022
2012170062.tif 000023
2012170062.tif 000024
2012170062.tif 000025
2012170062.tif 000026
2012170062.tif 000027
2012170062.tif 000028
2012170062.tif 000029