【誤訳訂正書】
【提出日】平成22年3月15日(2010.3.15)
【誤訳訂正１】
【訂正対象書類名】明細書
【訂正対象項目名】発明の名称
【訂正方法】変更
【訂正の内容】
【発明の名称】過渡エラー制約を受ける電子システムのための処理手順
【誤訳訂正２】
【訂正対象書類名】明細書
【訂正対象項目名】特許請求の範囲
【訂正方法】変更
【訂正の内容】
【特許請求の範囲】
【請求項１】  制御装置とメモリと制御エレクトロニクスとを具備し過渡エラー制約を受ける電子システムのための処理手順であって、所定のリアルタイムサイクルで、換言すると周期的および連続的に実行されるソフトウェアタスクの所定の動作サイクルで単一物理チャネルにある２つの仮想チャネルが、１つの所定のリアルタイムサイクルでタイミングよく多重化され、仮想チャネルの各実行から生じるデータが使用前に票決できるように記憶され、かつエラーが検出される場合、進行中のリアルタイムサイクルが禁止され、異常のないコンテキストが再ロードされ、その結果、再ロードされたコンテキストから始まる次のサイクルの仮実行からなる再開始が行われることを特徴とする処理手順。
【請求項２】  ハードウェア領域によるエラーの制約と、リアルタイムサイクルによるエラーの時間制約と、ソフトウェアタスクによるエラーの制約との３つのレベルのエラー制約が存在する請求項１に記載の方法。
【請求項３】  エラー検出および修正コードによって特異イベントから保護される前記制御装置のメモリプレーンが使用される請求項１に記載の方法。
【請求項４】  使用される前記検出／修正粒度がコンピュータ動作サイクルである請求項１に記載の方法。
【請求項５】  定期的に作動される「バックアップコンテキスト」機能がインデックス変更によって得られる請求項１に記載の方法。
【請求項６】 通常スワップされる、換言するとエラーが全く検出されないとしても、前の動作サイクルの後、異常がない、換言するとエラーなし、とみなされるコンテキストを指示するインデックスが変化しない事実により、エラー修正中に作動される「復元コンテキスト」機能が実行され、この「非スワップ」は、エラーが検出される前記リアルタイムサイクルの禁止に固有である請求項１に記載の方法。
【請求項７】  前記メモリのセグメンテーションが、アクセス権を検査するハードウェア装置に関連する請求項１に記載の方法。
【請求項８】  アクセス権を検査する前記ハードウェア装置がいくつかのアクセス構成を可能にし、各構成が１つあるいはいくつかの隣接しないメモリセグメントへのアクセスを可能にする請求項７に記載の方法。
【請求項９】  アクセス権を検査する前記ハードウェア装置が、１つあるいはいくつかのキーの論理組み合わせを有するいくつかのアクセス構成を選択するために使用される請求項７に記載の方法。
【請求項１０】  票決される変数／データがテーブルに入れられる請求項１に記載の方法。
【請求項１１】  特にソフトウェアおよびハードウェア監視プロセッサを含む、一貫性がソフトウェア検査によって得られるソフトウェア票決が使用される請求項１に記載の方法。
【請求項１２】  前記制御エレクトロニクスへの転送が、アクセス権を検査し、かつタイミングよくこの転送のバリディティを制限するハードウェア装置によって制御され、したがってハードウェアエラー制約領域の限界を定める請求項１に記載の方法。
【請求項１３】  宇宙用途で使用される請求項１〜１２のいずれかに記載の方法。
【誤訳訂正３】
【訂正対象書類名】明細書
【訂正対象項目名】０００４
【訂正方法】変更
【訂正の内容】
【０００４】
衛星用のコンピュータ構造の設計者は、宇宙に存在するが、大気によって濾過される放射線の問題に直面している。この放射線には、マイクロプロセッサの内部レジスタ内で、または他の集積部品において、メモリ部品のビットの一時的な状態変化を起こす「特異イベント」効果がある。例えば、これらの特異イベントによって発生するエラーは、データを不正確にする場合がある。その例としては、衛星アクチュエータの制御不良、またはソフトウェアチャネルへの重大な外乱などがあり、これらは例えばマイクロプロセッサのクラッシュによって発生する。
【誤訳訂正４】
【訂正対象書類名】明細書
【訂正対象項目名】００３７
【訂正方法】変更
【訂正の内容】
【００３７】
特異事象の割合の推定は、宇宙で使用される一般的なコンピュータ用に行なわれた。明らかに、この割合は、メモリーセルの数や使用されるユニットセルの感度の値などの仮定に依存している。限界のシミュレーション。
参考文献〔９〕は、トランジットエラーに依存する電子或いはデジタルシステムに対する処理手順の一般的概要を示し，且つ処理手段として，空間的冗長度と時間的冗長度を記述している。
参考文献〔１０〕は、エラーに依存する電子システムに対する処理手順を公表している。このシステムは，冗長シーケンスの使用を回避するために単一の物理的チャネルの使用を支援する。
参考文献〔１１〕は、メモリ管理及び仮想メモリをイネーブルにするためいに最近のマイクロプロセッサに適用されるプロセスを記述している。情報に対して制限されるアクセス原則が考察される。頁或いはその一部へのあるアクセス権は、各処理毎に与えられ、これらのアクセス権は，リアルタイムで制御される。衛星の挙動に管理に関するエラーについても、例えば，リアクションホイールのような、挙動及びオービット制御システムにおける媒体臨界アクチュエータで発生された悪いコマンドが考えられた。次に、単一事象が低いが，十分には低くないことが判ると，この現象は，二つのタイプの制御に関して無視され得る。
−最大限界制御：火器推進ユニット、バッテリー管理など。一年に数回衛星を失う危険は認められない。
−中間限界制御：リアクションホイール、電磁カプラーなど。飛行、特に商業衛星飛行（観測、電気通信）は、これらのエラー、エラーが限界に近いものであっても、によって発生する姿勢の乱れは認められない。
【誤訳訂正５】
【訂正対象書類名】明細書
【訂正対象項目名】００４０
【訂正方法】変更
【訂正の内容】
【００４０】
【課題を解決するための手段】
本発明は、例えば、宇宙産業において、単一の物理的チャネルにインストールされる２つの仮想チャネルが１つの所定のリアルタイムサイクルで多重化され（仮想チャネルの各実行から生じるデータが使用前に票決できるように記憶される）、かつエラーが検出される場合、進行中のリアルタイムサイクルが禁止され、異常のないコンテキストが再ロードされるコンテキストから始まる次のサイクルの仮実行からなる再開始を行うように再ロードされることを特徴とする、過渡エラー閉じ込みを受ける電子システムのための処理手順に関するものである。
【誤訳訂正６】
【訂正対象書類名】明細書
【訂正対象項目名】００４３
【訂正方法】変更
【訂正の内容】
【００４３】
３つのエラー制約領域（時間、ソフトウェアおよびハードウェア）がある。すなわち、エラーの時間制約は、一方のリアルタイムサイクルから他方のリアルタイムサイクルに伝達できない。エラーのソフトウェア制約は、一方のソフトウェアタスクから他方のソフトウェアタスクにあるいは一方の仮想チャネルから他方のチャネルに伝達できない。エラーのハードウェア制約は、捕捉エレクトロニクスあるいは制御装置で生じるエラーが制御エレクトロニクスに伝達されることを防止する（誤ったコマンドの生成が全くない）。
【誤訳訂正７】
【訂正対象書類名】明細書
【訂正対象項目名】００８８
【訂正方法】変更
【訂正の内容】
【００８８】
構造的冗長性を削除すると同時に、タイプに関係なく、例外なく、すべてのエラー（データエラー、アドレスエラー、順序付けエラー、構成エラーなど）を検出する手段であるデュプレックス（出力と比較すれば同一のソフトウェアを実行する並列の２つの同一システム）の効率から利益を得るために、本発明による方法は、単一の物理的チャネルに基づきデュプレックスオペレーションを設置することから成る。所定のリアルタイムサイクルにおいて、同一の物理的チャネルに位置される２つの仮想チャネルは、タイミングよく多重化され、仮想チャネルの各実行から生成されるデータは、「時間多重化されたデュプレックステーブル」（たとえば、コマンド、コンテキスト）に格納され、そのため、それらは使用前に票決されることが可能である。
【誤訳訂正８】
【訂正対象書類名】明細書
【訂正対象項目名】００９０
【訂正方法】変更
【訂正の内容】
【００９０】
本発明による方法は、特異イベントによって生成されるエラーが一時的のものであるという事実に基づいている；第１の仮想チャネルの実行中に生ずるこのタイプのエラーは、第２のシステム実行中再生成されない（逆もまた同じである）。これに対し、本発明による方法は、静的エラー、たとえば、部品の故障（故障したビットなど）、あるいは特異イベントによるいくつかのエラーでさえを検出することができず、それは、永久エラー（たとえば、シーケンサのブロッキング）を生ずる。
【誤訳訂正９】
【訂正対象書類名】明細書
【訂正対象項目名】００９３
【訂正方法】変更
【訂正の内容】
【００９３】
この図は、データフロー（太い線）を示し、それによると、仮想チャネル♯１ ４７は、捕捉♯１を受信し、仮想チャネル♯２ ４８は、捕捉♯２を受信し、確実な票決者４９は、これら２つのチャネル４７、４８から出力を受信して、コマンドを発行する。修正のための再開始を初期化するべく、再ロードされたコンテキストリクエストをするために、確実な票決モジュール４９を２つの仮想チャネル４７、４８に連結するエラー信号（細い線）もある。
【誤訳訂正１０】
【訂正対象書類名】明細書
【訂正対象項目名】００９７
【訂正方法】変更
【訂正の内容】
【００９７】
図５Ｂは、各リアルタイムサイクルが構成される本発明による方法を示している：
−仮想チャネル♯１（ＣｈＶ ♯１）の捕捉、
−仮想チャネル♯１の処理；結果は、テーブルＴＡＢ ♯１に格納される、
−仮想チャネル♯２（ＣｈＶ ♯２）の捕捉、
−仮想チャネル♯２の処理；結果は、テーブルＴＡＢ ♯２に格納される、
−テーブルＴＡＢ ♯１およびＴＡＢ ♯２の票決、
−コマンドの生成、
−タスクの取り消しおよび待機。
【誤訳訂正１１】
【訂正対象書類名】明細書
【訂正対象項目名】０１０７
【訂正方法】変更
【訂正の内容】
【０１０７】
さらに、他の制約領域は、本発明による方法において画定される：
−修正がリアルタイムサイクルの粒度に基づいているので、リアルタイムサイクルによるエラーの時間制約、
−メモリアクセス監視装置により、ソフトウェアタスクによる、そしてメモリアクセスの監視により、仮想チャネルによるエラー制約。
【誤訳訂正１２】
【訂正対象書類名】明細書
【訂正対象項目名】０１１２
【訂正方法】変更
【訂正の内容】
【０１１２】
順序付け−時間複写
上記に定義される参照ソフトウェアアーキテクチャと比較すれば、本発明による方法は、コマンドが、図３に示されるように、計算されるとき生成されないことを強要するが、むしろどちらかと言えば、それらは、票決を待つテーブルに格納される（図５Ｂを参照）。処理が２つの仮想チャネルのために終了されるとき、テーブルは票決されて、そして不一致が検出されない場合だけ、票決モジュールがコマンドを生成する；この場合、２つのコマンドテーブルの１つは、バス４５を介して制御エレクトロニクス４３を通って、制御装置４０に送信される。
【誤訳訂正１３】
【訂正対象書類名】明細書
【訂正対象項目名】０１１７
【訂正方法】変更
【訂正の内容】
【０１１７】
タスクＡ、タスクＢおよびタスクＣは、図５Ｂに示されるように下記のことから構成されている：
−仮想チャネルＮｏ．１ 捕捉、
−仮想チャネルＮｏ．１ 処理、
−仮想チャネルＮｏ．２ 捕捉、
−仮想チャネルＮｏ．２ 処理、
−票決およびコマンドの生成。
【誤訳訂正１４】
【訂正対象書類名】明細書
【訂正対象項目名】０１１８
【訂正方法】変更
【訂正の内容】
【０１１８】
下記のステップがある：
・仮想チャネル Ｎｏ．１（ＣｈＶ♯１）のための「処理」モジュールの間：
−ＣｈＶ♯１のデータの捕捉およびＴＡＢ−Ａｃｑ♯１１への格納、
−ＴＡＢ−Ａｃｑ♯１およびＴＡＢ−Ｃｔｘｔ−Ｏｌｄ♯１から開始するＣｈＶ♯１と関連する処理の実行；この処理の結果は、ＴＡＢ−Ｃｄｅ♯１テーブルおよびＴＡＢ−Ｃｔｘｔ−Ｎｅｗ♯１テーブルに格納される；コマンドは、アクチュエータに送信される制御装置によって生成されない。
【誤訳訂正１５】
【訂正対象書類名】明細書
【訂正対象項目名】０１１９
【訂正方法】変更
【訂正の内容】
【０１１９】
・仮想チャネルＮｏ．２（ＣｈＶ♯２）のための「処理」モジュールの間：
−ＣｈＶ♯２のデータの捕捉およびＴＡＢ−Ａｃｑ♯２への格納、
−ＴＡＢ−Ａｃｑ♯２およびＴＡＢ−Ｃｔｘｔ−Ｏｌｄ♯２から開始するＣｈＶ♯２に関連する処理の実行；この処理の結果は、ＴＡＢ−Ｃｄｅ♯２テーブルおよびＴＡＢ−Ｃｔｘｔ−Ｎｅｗ♯２テーブルに格納される；コンピュータは、なんら出力を生成しない。
【誤訳訂正１６】
【訂正対象書類名】明細書
【訂正対象項目名】０１４５
【訂正方法】変更
【訂正の内容】
【０１４５】
下述のことは、メモリアクセス監視装置に一体化されるキーのリストである：
−コードエラーは、２つの仮想チャネルに共通のエラーモードであり、そして票決によって検出されないので、コードを記憶する領域への書き込みアクセスを防止するキーであって、このキーは、メモリだけを読み取るコードがＲＡＭに転送されるとき、コンピュータの初期化の間だけメモリへの書き込みを認可する、
−仮想シーケンスが現在の ＣｈＶ♯１、あるいはＣｈＶ♯２であることを表示し、そして、ＣｈＶ♯１が実行されるとき、マイクロプロセッサが、ＣｈＶ♯２テーブルを含むメモリ領域にアクセスすることを防止するキー（逆もまた同じ）であって、このキーは、１つの仮想シーケンスが別のものに生ずるエラーに不浸透性になることを可能にする、
【誤訳訂正１７】
【訂正対象書類名】明細書
【訂正対象項目名】０１５６
【訂正方法】変更
【訂正の内容】
【０１５６】
これに反して、総実行時間と比べてこれらのタスクに専用の実行時間は極めて少ない。その結果として、タスクスケジューリングエラーは、２つの仮想チャネルに共通のモードであり、検出不可能であるが、適用範囲比率で極めて小さな影響を有している。
【誤訳訂正１８】
【訂正対象書類名】明細書
【訂正対象項目名】符号の説明
【訂正方法】変更
【訂正の内容】
【符号の説明】
Ａ１ Ａ３ Ａｍ アクチュエータ
Ｃ１ Ｃ２ Ｃｎ センサ
Ｐｈ１ Ｐｈ２ Ｐｈ３ メイン位相
１ 仮想チャネル
１０ 搭載管理ユニット
１１ 制御装置
１２ マスメモリ
１３ パワーインターフェイス
１４ リモートコントロール−リモート測定インターフェイス
１５ ペイロードインターフェイス
１６ パイロテクニクスインターフェイス
１７ サーマルインターフェイス
１８ 姿勢および軌道制御システムインターフェイス
１９ データバス
２０ 監視および再構成エレクトロニクス
２１ ＤＣ−ＤＣコンバータ
２５ 太陽熱発電機
２６ バッテリ
２７ デュプレクサ
２８ ２９ アンテナ
３１ ペイロード
３２ アビオニクスバス
３３ 高速シリアルリンク
３５ 展開可能なシステム
３６ ヒータおよびサーミスタンス
３７ リザーバ圧力センサ
４０ 制御装置
４１ 捕捉エレクトロニクス
４２ センサ
４３ 制御エレクトロニクス
４４ アクチュエータ
４５ データバス
４７ 仮想チャネル
４８ 仮想チャネル
４９ 確実な票決モジュール
５０ 第１のマイクロプロセッサモジュール
５１ メモリアクセス監視および時間バリデーションウインドウモジュール
５２ バス
５３ エラー検出および修正メモリ
５４ バスカプラー
５５ データバス
６０ 最大エラー制約領域
６５ データ
６６ データ