(57)【要約】   本発明は、複数の分散アプリケーションシステムが同時に実行される分散リアルタイムシステムにおいてソフトウェアエラーの影響を制限するための方法に関し、各アプリケーションシステムが、カプセル化されたソフトウェア故障封じ込めユニット（ＳＷＦＣＵ）を形成し、ＳＷＦＣＵは、分散アプリケーションシステムのソフトウェアを備え、このソフトウェアは、１つ以上の仮想コンピュータノードおよび１つ以上の専用コンピュータノード上で実行され、１つ以上のカプセル化された仮想通信システムを介してメッセージを交換し、通信システムが、通信コントローラ、切り替えユニット、および物理接続からなり、ＳＷＦＣＵのソフトウェアエラーの直接的な影響は、そのＳＷＦＣＵに制限されたままである。
2015517140.tif 000002
【特許請求の範囲】
【請求項１】
複数の分散アプリケーションシステムが同時に実行される分散リアルタイムシステムにおけるソフトウェアエラーの影響を制限するための方法であって、 
各アプリケーションシステムが、カプセル化されたソフトウェア故障封じ込めユニット（ＳＷＦＣＵ）を形成し、そのＳＷＦＣＵは、分散アプリケーションシステムのソフトウェアを備え、前記ソフトウェアは、一以上の仮想コンピュータノードおよび一以上の専用コンピュータノード上で実行され、一以上のカプセル化された仮想通信システムを介してメッセージを交換し、かつ 
通信システムは、複数通信コントローラ、複数切り替えユニット及び複数の物理的接続から構成され、ＳＷＦＣＵのソフトウェアエラーの直接的な影響が前記ＳＷＦＣＵに限定されたままであることを特徴とした方法。 
【請求項２】
仮想コンピュータノードが、ハイパーバイザーによってコンピュータ上で管理された仮想マシン（ＶＭ）と、前記ＶＭに排他的に割当てられた通信コントローラのカプセル化されたパーティションと、から構成されることを特徴とする、請求項１に記載の方法。 
【請求項３】
通信コントローラ（１２０）が、メモリ領域（１１１）内の空間的にカプセル化された元データを、時間的にカプセル化された割当てメッセージに変換し、時間的にカプセル化された入メッセージのコンテンツを、前記メッセージに割り当てられた空間的にカプセル化されたメモリ領域内に入れることを特徴とする請求項１または２に記載の方法。 
【請求項４】
仮想リンク識別子が、時間的にカプセル化されたメッセージと通信コントローラの割り当てられたカプセル化されたパーティションとの間の割り当てを生成するために使用されることを特徴とする、請求項１〜３の何れか１項に記載の方法。 
【請求項５】
混合型のパーティションのすべてのメッセージ（時間トリガ型、レート制約型、ベストエフォート）の和のための時間スロットが、時間制御型の通信システムにおいて提供されることを特徴とする、請求項１〜４の何れか１項に記載の方法。 
【請求項６】
異なるＳＷＦＣＵが、メッセージを介して排他的に通信することを特徴とする請求項１〜５の何れか１項に記載の方法。 
【請求項７】
切り替えユニット（２５０）が、マルチキャスト通信をサポートするので、前記ＳＷＦＣＵ間で交換される前記メッセージが、独立したモニタコンポーネントによって監視され得ることを特徴とする、請求項６に記載の方法。 
【請求項８】
請求項１〜７に記載された方法のステップの一以上を実行する物理コンピュータノードのための通信コントローラであって、前記通信コントローラが、仮想マシンのメモリ領域内の空間的にカプセル化された元データを、時間的にカプセル化された割当てメッセージに変換し、時間制御型のメッセージにおいて到着する前記データを、仮想マシンの空間的にカプセル化された割当てメモリ領域内に記憶することを特徴とする、通信コントローラ。 
【請求項９】
請求項１〜７に記載された方法のステップの一以上を実行するパーソナルコンピュータ用の通信コントローラであって、前記通信コントローラが、ＰＣＩインターフェース規格を観察し、時間制御型のメッセージにおいて到着するデータが、仮想マシンの空間的にカプセル化された割当てメモリ領域内に記憶されることを特徴とする通信コントローラ。 
【請求項１０】
請求項１〜７に記載された方法のステップの一以上を実行するパーソナルコンピュータ用の通信コントローラであって、前記通信コントローラがＴＴＥｔｈｅｒｎｅｔ規格を観察することを特徴とする通信コントローラ。 
【請求項１１】
請求項８〜１０の何れか１項に記載された通信コントローラを備えるリアルタイムシステム。 
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、複数の分散アプリケーションシステムが同時に実行される分散リアルタイムシステムにおけるソフトウェアエラーの影響を制限するための方法に関する。 
【０００２】
本発明はまた、そのような方法を実行する物理コンピュータノード用の通信コントローラに関する。 
【０００３】
加えて本発明は、そのような方法を実行するパーソナルコンピュータ用の通信コントローラに関する。 
【０００４】
本発明は、コンピュータエンジニアリングの分野に属する。つまり本発明は、明確に限界を定められていないエリアに発生する任意のソフトウェアエラーの結果を制限するために、分散リアルタイムコンピュータシステムのソフトウェア故障封じ込めユニット（ＳＷＦＣＵｓ）において形成可能な革新的な方法および支援ハードウェアを記載するものである。 
【背景技術】
【０００５】
多くのリアルタイムアプリケーションにおいては、異なるクリティカリティクリティカリティないし危険度の複数タスクを実行しなくてはならない。連合化されたコンピュータアーキテクチャにおいては、これらの複数タスクの各々は、より低いクリティカリティクラスのシステムのエラーが、より高いクリティカリティクラスのシステムに影響を与えることができないようにするために、複数の専用コンピュータノードと専用通信システムとを有した分散ハードウェアシステム上で実行される。この解決法は、多数のコンピュータ、通信のための高額なケーブル配線の支出をまねき、したがって、高いコストにつながる。 
【先行技術文献】
【特許文献】
【０００６】
【特許文献１】［１］米国特許第４，９４９，２５４号（特許日1990年8月14日）、Ｓｈｏｒｔｅｒ(ショーター)、発明の名称：Ｍｅｔｈｏｄ  ｔｏ  ｍａｎａｇｅ  ｃｏｎｃｕｒｒｅｎｔ  ｅｘｅｃｕｔｉｏｎ  ｏｆ  ａ  ｄｉｓｔｒｉｂｕｔｅｄ  ａｐｐｌｉｃａｔｉｏｎ  ｐｒｏｇｒａｍ  ｂｙ  ａ  ｈｏｓｔ  ｃｏｍｐｕｔｅｒ  ａｎｄ  ａ  ｌａｒｇｅ  ｐｌｕｒａｌｉｔｙ  ｏｆ  ｉｎｔｅｌｌｉｇｅｎｔ  ｗｏｒｋ  ｓｔａｔｉｏｎｓ  ｏｎ  ａｎ  ＳＮＡ  ｎｅｔｗｏｒｋ．
【非特許文献】
【０００７】
【非特許文献１】［２］Ｋｌｅｉｎ，Ｇ．ｅｔ  ａｌ． (２００９年)．Ｆｏｒｍａｌ  Ｖｅｒｉｆｉｃａｔｉｏｎ  ｏｆ  ａｎ  ＯＳ  Ｋｅｒｎｅｌ．Ｐｒｏｃ．Ｏｆ  ｔｈｅ  ＡＣＭ  ＳＩＧＯＰＳ  ２２ｎｄ  Ｓｙｍｐｏｓｉｕｍ  ｏｎ  Ｏｐｅｒａｔｉｎｇ  Ｓｙｓｔｅｍ  Ｐｒｉｎｃｉｐｌｅｓ．（オペレーティング  システム  プリンシプルスに関する第２２回シンポジウム）ＡＣＭ  Ｐｒｅｓｓ．
【非特許文献２】［３］Ｐｅｒｉｐｈｅｒａｌ  Ｃｏｍｐｏｎｅｎｔ  Ｉｎｔｅｒｃｏｎｎｅｃｔ(ＰＣＩ)Ｓｔａｎｄａｒｄ，Ｗｉｋｉｐｅｄｉａ．Ａｃｃｅｓｓｅｄ  （ウィキーペディアアクセス日：２０１２年３月３日）
【非特許文献３】［４］Ｋｏｐｅｔｚ，Ｈ．Ｒｅａｌ−Ｔｉｍｅ  Ｓｙｓｔｅｍｓ，Ｄｅｓｉｇｎ  Ｐｒｉｎｃｉｐｌｅｓ  ｆｏｒ  Ｄｉｓｔｒｉｂｕｔｅｄ  Ｅｍｂｅｄｄｅｄ  Ａｐｐｌｉｃａｔｉｏｎｓ．Ｓｐｒｉｎｇｅｒ  ｐｕｂｌｉｓｈｉｎｇ  ｈｏｕｓｅ．２０１１年．
【非特許文献４】［５］ＳＡＥ  Ｓｔａｎｄａｒｄ  ｏｆ  ＴＴＥｔｈｅｒｎｅｔ．ＵＲＬ:ｈｔｔｐ:／／ｓｔａｎｄａｒｄｓ．ｓａｅ．ｏｒｇ／ａｓ６８０２
【非特許文献５】［６］ＡＲＩＮＣ  ６５３Ｐ１−３  Ａｖｉｏｎｉｃｓ  Ａｐｐｌｉｃａｔｉｏｎ  Ｓｏｆｔｗａｒｅ  Ｓｔａｎｄａｒｄ  Ｉｎｔｅｒｆａｃｅ，Ｐａｒｔ  １，Ｒｅｑｕｉｒｅｄ  Ｓｅｒｖｉｃｅｓ:ｈｔｔｐｓ:／／ｗｗｗ．ａｒｉｎｃ．ｃｏｍ／ｃｆ／ｓｔｏｒｅ／ｃａｔａｌｏｇ＿ｄｅｔａｉｌ．ｃｆｍ？ｉｔｅｍ＿ｉｄ＝１４８７，６５３Ｐ２−１  Ａｖｉｏｎｉｃｓ  Ａｐｐｌｉｃａｔｉｏｎ  Ｓｏｆｔｗａｒｅ  Ｓｔａｎｄａｒｄ  Ｉｎｔｅｒｆａｃｅ，Ｐａｒｔ  ２−Ｅｘｔｅｎｄｅｄ  Ｓｅｒｖｉｃｅｓ:ｈｔｔｐｓ:／／ｗｗｗ．ａｒｉｎｃ．ｃｏｍ／ｃｆ／ｓｔｏｒｅ／ｃａｔａｌｏｇ＿ｄｅｔａｉｌ．ｃｆｍ？ｉｔｅｍ＿ｉｄ＝１０７２
【発明の概要】
【発明が解決しようとする課題】
【０００８】
より高い集積密度によってもたらされるコンピュータハードウェアの効率の増大化は、パフォーマンスの観点からは、異なるクリティカリティを有し多数のアプリケーションシステムを単一の効率的な分散コンピュータシステム上に集積することを可能にする。然しながら、これは、あるアプリケーションシステムにおける何らかのソフトウェアエラーが別のアプリケーションシステムの機能に対し時間または価値の観点のいずれにおいても影響を与え得ないことが保証されるように、分散アプリケーションシステムのアプリケーションソフトウェアがシステムアーキテクチャおよび認証されたシステムのソフトウェアによってカプセル化できる場合に実行可能であるにすぎない。 
【課題を解決するための手段】
【０００９】
本発明の目的は、異なるクリティカリティを有する多数の分散アプリケーションシステムが単一の分散コンピュータシステム上に集積され得るように、分散コンピュータシステム内で分散アプリケーションシステムの空間的および時間的なカプセル化を提供するための新たな方法を開示することである。 
【００１０】
この目的は、冒頭で述べたタイプの方法によって達成され、本発明によると、各アプリケーションシステムが、カプセル化されたソフトウェア故障封じ込めユニット（ＳＷＦＣＵ）を形成し、ＳＷＦＣＵは、分散アプリケーションシステムのソフトウェアを備え、このソフトウェアは、１つ以上の仮想コンピュータノードおよび１つ以上の専用コンピュータノード上で実行され、１つ以上のカプセル化された仮想通信システムを介してメッセージを交換し、通信システムが、通信コントローラ、切り替えユニット、および物理接続からなり、ＳＷＦＣＵのソフトウェアエラーの直接的な影響は、そのＳＷＦＣＵに制限されたままである。 
【００１１】
分散コンピュータアーキテクチャ上に多数のアプリケーションシステムが提供される場合には、次のようなタイプのコンピュータノード間を識別することが適切である。物理コンピュータノードは、ＣＰＵ、メモリ、および通信インターフェースを有するコンピュータであり、例えば、パーソナルコンピュータである。共有コンピュータノードは、多数のアプリケーションシステムを具備した物理コンピュータノードであり、例えば、標準ＡＲＩＮＣ  ６５３［６］によって定義されているように、例えば、ハイパーバイザーまたは対応の区分オペレーティングシステムによって多数の仮想マシンが、インストールされているパーソナルコンピュータである。ハイパーバイザーは、仮想マシン相互間を空間的および時間的にカプセル化する。仮想コンピュータノードは、共有コンピュータノードの複数仮想マシンの１つで、該複数仮想マシンのメッセージをカプセル化する所の関連通信コントローラを含んだ仮想マシンであり。専用コンピュータノードは、（通信コントローラを含む）物理コンピュータノードで、同物理コンピュータノードに単一のアプリケーションシステムのみが設けられている。 
【００１２】
物理通信システムは、複数の物理コンピュータノードの通信コントローラ間でのメッセージの輸送を可能にするものである。物理通信システムは、幾つものコンピュータにインストールされた通信コントローラ、物理回線、および切替えユニット又はスウィチングユニットからなる。多数のパーティション、いわゆる仮想通信システムが、時間制御によって物理通信システム上に配設されることが可能である。パーティションは、それがメッセージを送信するとき、アクティブである。所定の時間間隔内に多数のパーティションがアクティブであるような場合には、該物理通信システムは、時間内のどの瞬間にどのメッセージがどのパーティションへ物理回線を介して送られるかを制御する。
【００１３】
ある一つのパーティションの通信状況に付いて時間が保証するときには、同時にアクティブである他の複数パーティションの状況による影響を受け得ない場合、ある一つのパーティションがカプセル化される。  カプセル化されたパーティションは、物理通信システムが時間制御型の通信システムとして提供される場合に存在する。データ送信のための定期的な時間スロット、したがって帯域幅が、時間制御型の通信システムにおける個々の参加者に対しアプリオリないし演繹的に割り当てられるので、物理通信システム上に配列されたパーティションの相互の時間的な影響が排除される。 
【００１４】
メッセージは、仮想リンクとして知られているものに対し予め定義された手法で割り当てられ、仮想リンク＜識別子＞は、仮想リンクの名前を指定する。仮想リンクは、厳密には、予め定義された１つの送信機と予め定義された受信機のグループとを有する。メッセージは、時間トリガ型もしくはレート制約型のいずれかの手法で、またはベストエフォート原理にしたがって送信され得る。時間トリガ型とは、メッセージが、同期した時間に基づいて、時間内の予め定義された瞬間に送られることを意味する。レート制約型とは、予め定義された最小の間隔が仮想リンクの２つのメッセージ間で観察されることを意味する。ベストエフォートとは、メッセージの送信が保証されないことを意味する（文献の［４］）。 
【００１５】
或るパーティションにおいて、メッセージは１つ以上の仮想リンクから送出できる。メッセージの通信タイプに応じて、時間トリガ型のパーティション、レート制約型のパーティション、またはベストエフォートパーティション等と呼ばれる。加えて、複数のパーティションが異なる原理に応じてメッセージを送信することが可能であり、このようなパーティションは、混合型のパーティションと呼ばれる。以下において、通信システムにおける識別された通信チャネルは、以下のように、すなわち、仮想リンク＜識別子＞と命名され、その場合に、＜識別子＞は、仮想リンクの名前を指定する。多数の仮想リンクがパーティションにおいて同時にアクティブに成り得るのである。 
【００１６】
時間制御型の通信システムとして提供される物理通信システムにおいては、一以上のレート制約型のパーティションおよび／またはベストエフォートパーティションおよび／または混合型のパーティションがアクティブであり、レート制約型／ベストエフォート／混合型のパーティションの各個々のメッセージに時間スロットを割り当てるのではなく、単に、対応するパーティションのすべてのメッセージの和に時間スロットを割り当てる。従って、異なるパーティションのメッセージが時間的に影響され得ないことが保証される。 
【００１７】
コンピュータの信頼性の分野において、故障封じ込めユニット（ＦＣＵ）という用語は、重要な意味のものである（文献［４]、１３６ページ）。ＦＣＵは、サブシステムのカプセル化された一纏めを意味するものと理解され、その際、一纏めのうちの１つのサブシステムにおけるエラーの原因の直接的な影響は、特定された一纏めに限定される。アプリケーションシステムは、そのような一纏めを形成し、それは、以下のサブシステム、すなわち、（ｉ）一以上の仮想コンピュータノード上で実行するソフトウェア、（ｉｉ）一以上の専用コンピュータノード上で実行するソフトウェア、および（ｉｉｉ）アプリケーションシステムの仮想および専用コンピュータノード間でのメッセージのトランスポート、つまり輸送を実行する一以上のカプセル化された仮想通信システムから成ることができる。ここで、ソフトウェア故障封じ込めユニット（ＳＷＦＣＵ）という用語は、一以上の仮想コンピュータノードおよび一以上の専用コンピュータノード上で実行される分散アプリケーションシステムのソフトウェアのカプセル化された一纏めを表し、この用語は、この一纏めのソフトウェアエラーの直接的な影響がカプセル化される場合に使用される。したがって、ＳＷＦＣＵのエラーの直接的な結果は、このＳＷＦＣＵに限定され、価値の観点からにせよ時間の観点からにせよ、分散リアルタイムシステムに設けられる別のＳＷＦＣＵに影響を与えることはあり得ない。集積された分散リアルタイムシステムにおける各アプリケーションシステムが専用の分散ＳＷＦＣＵを形成する場合には、アプリケーションシステムにおけるソフトウェアエラーによるアプリケーションシステムの相互の影響が排除できるのである。 
【００１８】
本発明は、分散リアルタイムシステムにおいて分散されるソフトウェア故障封じ込めユニット（ＳＷＦＣＵ）を形成するための斬新な方法を開示するものである。分散リアルタイムシステム上に設けられるアプリケーションシステムの各々がそれ独自のＳＷＦＣＵを形成することを提案するものである。従って、或るＳＷＦＣＵにおけるソフトウェアエラーが他のＳＷＦＣＵの是正機能に影響を与えることはないと言うことが保証される。
【００１９】
本発明に係る方法の更なる有利な実施形態が従属請求項において記載、説明される。一例として、それは、仮想コンピュータノードが、ハイパーバイザーによってコンピュータ上で管理された仮想マシン（ＶＭ）と、同ＶＭに排他的に割り当てられた通信コントローラのカプセル化されたパーティションとから成る場合に有利である。
【００２０】
それはまた、通信コントローラが、メモリ領域内の空間的にカプセル化された元データを、割り当てられた時間的にカプセル化されたメッセージに変換し、時間的にカプセル化された入メッセージのコンテンツを、同メッセージに割り当てられた空間的にカプセル化されたメモリ領域内に入れる場合、有利である。 
【００２１】
加えて、仮想リンク識別子が、時間的にカプセル化されたメッセージと通信コントローラの割当てがなされかつカプセル化された複数パーティションとの間の割当てを作成するために使用され得る。 
【００２２】
また、時間制御型の通信システムにおいて、混合型のパーティションのすべてのメッセージ（時間トリガ型、レート制約型、ベストエフォート）の和に対して時間スロットが設けられることが利点である。
【００２３】
更にまた、異なるＳＷＦＣＵがメッセージを介して排他的に通信する場合も有利である。 
【００２４】
ここで、ＳＷＦＣＵ間で交換されるメッセージが、独立したモニタコンポーネントによって監視できるように切り替えユニットが、マルチキャスト通信を支援すると役立つことになる。
【００２５】
上述した目的はまた、上述した方法を実行する物理コンピュータノードのための通信コントローラによって達成され、その際には通信コントローラは、仮想マシンのメモリ領域内の空間的にカプセル化された元データを、時間的にカプセル化された割当てメッセージに変換し、時間制御型のメッセージにおいて到着するデータを、仮想マシンの空間的にカプセル化された割当てメモリ領域内に記憶、格納するのである。 
【００２６】
上記目的はまた、上述された方法を実行するパーソナルコンピュータのための通信コントローラによって達成され、通信コントローラは、ＰＣＩインターフェース規格を観察し、時間制御型のメッセージにおいて到着するデータは、仮想マシンの空間的にカプセル化された割当てメモリ領域内に記憶、格納される。 
【００２７】
上記目的はまた、上述された方法を実行するパーソナルコンピュータのための通信コントローラによって達成され、または、上述された通信コントローラの発展として、通信コントローラは、ＴＴＥｔｈｅｒｎｅｔ規格を観察する。 
【００２８】
本発明は、一例である以下の図面に基づいて説明される。 
【図面の簡単な説明】
【００２９】
【図１】３つの仮想コンピュータノードが設けられた物理コンピュータノードを示す図である。
【図２】２つの仮想コンピュータノード、仮想通信システム、および２つの専用コンピュータノードから成るＳＷＦＣＵを示す図である。
【発明を実施するための形態】
【００３０】
以下の具体例は、本発明に係る方法の多くの可能な実現の１つに関する。 
【００３１】
図１は、３つの仮想マシン１０１、１０２、１０３が設けられた物理コンピュータノードを示している。仮想マシン１０１の専用メモリ領域１１１は、仮想マシン１０１と通信コントローラ１２０との両方によってアドレスされ得る。この専用メモリ領域１１１は、物理通信チャネル１３０上で提供される仮想通信チャネルの終点である。多数の時間的にカプセル化された仮想通信チャネルが、時間制御によって物理通信チャネル１３０上に配列され得る。通信コントローラ１２０は、メモリ領域１１１内で提供された空間的にカプセル化されたデータをコピーして時間的に割り当てられたカプセル化されたメッセージに（およびその逆に）する。通信コントローラ１２０は、３つのカプセル化されたパーティション１１１、１１２、１１３を提供し、ハイパーバイザーによって管理された３つの仮想マシン（ＶＭ）１０１、１０２、１０３の各々が、それぞれのパーティションに排他的に割り当てられる。
【００３２】
メモリ領域１１１、１１２、１１３は、仮想マシン１０１、１０２、１０３に割り当てられ、これらの仮想通信システムの終点を形成する。システムの開始に先立って、仮想マシンのソフトウェアが、他の仮想マシンのメモリ領域へのアクセス権を受け取らず、物理通信チャネル１３０にわたってトランスポートされる時間制御型のメッセージが、仮想マシン１０１、１０２、１０３の対応するメモリ領域１１１、１１２、１１３に割り当てられるように、仮想マシン１０１、１０２、１０３および物理通信コントローラ１２０のパラメータが、認証されたシステムのソフトウェア（ＺＳＷ）によって設定される。ハイパーバイザーによる仮想マシンの構築方法はすでに［１］に開示されている。一方、ハイパーバイザーのソフトウェアの訂正を形式的に確認することを可能にする方法が提供されている［２］。物理コンピュータノードのＣＰＵおよび／またはメモリへの通信コントローラ１２０のインターフェースは、ＰＣＩ規格［３］にしたがって設計され得る。時間制御型の通信システム１３０への通信コントローラ１２０のインターフェースは、ＴＴＥｔｈｅｒｎｅｔ規格［文献５］にしたがって設計され得る。
【００３３】
図２は、２つの物理ノードコンピュータ２１０、２２０、切り替えユニット２５０、および４つの専用ノードコンピュータ２３０、２３１、２３２、２３３からなる、分散リアルタイムシステムを示す。このリアルタイムシステムには、多数のソフトウェア故障封じ込めユニット（ＳＷＦＣＵ）が存在する。図１の太枠で囲んだ部分が、これらのＳＷＦＣＵの１つを形成する。この選択されたＳＷＦＣＵは、仮想マシン２１１と、通信コントローラ２１３と、介在共通メモリ２１２と、切り替えユニット２５０への通信チャネル２５１と、仮想マシン２２１と、通信コントローラ２２３と、介在共通メモリ２２２と、切り替えユニットへ２５０への通信チャネル２５２と、切り替えユニット２５０への対応する接続２５６および２５３を含む、センサ２１５を有する専用コンピュータノード２３０と、アクチュエータ２１６を有する専用コンピュータノード２３３と、を備える。物理コンピュータノード２１０および２２０における２つのハイパーバイザー、通信コントローラ２１３および２２３、およびまた切り替えユニット２５０における通信プロトコルが、このＳＷＦＣＵの外部のソフトウェアエラーがこのＳＷＦＣＵの機能に影響を与えることができないようにする。ＴＴＥｔｈｅｒｎｅｔプロトコル［５］が、このＳＷＦＣＵの通信のカプセル化のために切り替えユニット２５０において使用され得る。このプロトコルは、決定性のある時間制御型の通信、ならびにレート制約型の通信およびベストエフォートによるイベント制御型の通信をも支援する。あるいは、通信チャネルを時間的にカプセル化する別のプロトコルが、切り替えユニット２５０において使用されることもできる。 
【００３４】
分散リアルタイムシステム上に設けられる異なるＳＷＦＣＵ間の通信は、メッセージを介して実行されるものであり、それは、これらのメッセージが独立したモニタによって監視できると有利である。それは、切り替えユニット２５０がマルチキャスト通信をサポートすると達成することができる。 
【図１】
2015517140.tif 000003
【図２】
2015517140.tif 000004
【国際調査報告】
2015517140.tif 000005
2015517140.tif 000006
2015517140.tif 000007
2015517140.tif 000008
2015517140.tif 000009
2015517140.tif 000010
2015517140.tif 000011
2015517140.tif 000012