(57)【要約】【課題】システムの動作検証をするために不足している制御モジュールを生成することが可能なモジュール生成装置を得ること。【解決手段】検証対象装置の代替として用いるシミュレータ装置と、当該シミュレータ装置を制御するための制御モジュールを生成する制御モジュール模擬生成装置２０と、当該制御モジュールを検証する動作検証装置と、を備えた検証システムにおける前記制御モジュール模擬生成装置２０であって、制御モジュールの入出力に関する定義情報、および前記検証対象装置のソフトウェア仕様情報を入力とし、当該ソフトウェア仕様情報に基づいてソースコードを生成し、当該定義情報および当該ソフトウェア仕様情報に基づいて当該ソースコードをコンパイルすることにより、前記動作検証装置が前記共通インターフェースを用いて検証可能な制御モジュールを生成するモジュール生成部２１を備える。【選択図】図７
2011123672.tif 000002
【特許請求の範囲】
【請求項１】
検証対象装置の代替として用いるシミュレータ装置と、当該シミュレータ装置を制御するための制御モジュールを生成するモジュール生成装置と、当該制御モジュールを検証する動作検証装置と、を備えた検証システムにおいて、当該検証システムを構成する各装置が、送受信する命令およびデータの形式を定義した共通インターフェースを用いて制御モジュールの検証を実現する場合の前記モジュール生成装置であって、
制御モジュールの入出力に関する定義情報、および前記検証対象装置のソフトウェア仕様情報を入力とし、当該ソフトウェア仕様情報に基づいてソースコードを生成し、当該定義情報および当該ソフトウェア仕様情報に基づいて当該ソースコードをコンパイルすることにより、前記動作検証装置が前記共通インターフェースを用いて検証可能な制御モジュールを生成するモジュール生成手段、
を備えることを特徴とするモジュール生成装置。
【請求項２】
前記モジュール生成手段は、前記動作検証装置から受信した命令およびデータの形式を自装置に対応した形式に変換し、また、自装置から前記動作検証装置へ送信する命令およびデータの形式を前記動作検証装置に対応した形式に変換する機能を有する制御モジュールを生成する、
ことを特徴とする請求項１に記載のモジュール生成装置。
【請求項３】
前記モジュール生成手段は、前記ソフトウェア仕様情報に含まれる情報のうち、前記制御モジュールの生成の際に使用したフレームワークの情報と異なるフレームワークの情報を用いて、異なる制御モジュール、当該異なる制御モジュールを生成可能なソースコード、のいずれか一方または両方を生成する、
ことを特徴とする請求項１または２に記載のモジュール生成装置。
【請求項４】
前記モジュール生成手段は、前記定義情報を、前記シミュレータ装置から受け取る、
ことを特徴とする請求項１、２または３に記載のモジュール生成装置。
【請求項５】
前記ソフトウェア仕様情報を、ソフトウェアの基本的な枠組みとなるフレームワークの情報、ソフトウェアの詳細な仕様の情報、およびフレームワークへ仕様を割り当てるための情報とした場合に、
前記モジュール生成手段は、前記ソフトウェアの基本的な枠組みとなるフレームワークの情報および前記フレームワークへ仕様を割り当てるための情報に基づいてソースコードを生成し、前記定義情報および前記ソフトウェアの詳細な仕様の情報に基づいて前記ソースコードをコンパイルする、
ことを特徴とする請求項１〜４のいずれか１つに記載のモジュール生成装置。
【請求項６】
さらに、
前記ソフトウェアの詳細な仕様の情報に基づいて、制御モジュールの検証に使用する検証シナリオを生成する検証シナリオ生成手段、
を備えることを特徴とする請求項５に記載のモジュール生成装置。
【請求項７】
さらに、
前記制御モジュールを検証する動作検証装置を前記検証シナリオに従って動作させた結果である動作結果ログと、当該検証シナリオに記載されている期待値とを比較し、比較した結果から、当該動作検出装置が検証シナリオの期待通りに動作したかどうかを確認する検証シナリオ動作検証手段、
を備えることを特徴とする請求項６に記載のモジュール生成装置。
【請求項８】
前記検証シナリオ動作検証手段は、前記制御モジュールを変更した変更後制御モジュールを検証する動作検証装置を前記検証シナリオに従って動作させた結果である動作結果ログと、当該検証シナリオに記載されている期待値とを比較し、比較した結果から、当該動作検出装置が検証シナリオの期待通りに動作したかどうかを確認する、
ことを特徴とする請求項７に記載のモジュール生成装置。
【請求項９】
検証対象装置の代替として用いるシミュレータ装置と、当該シミュレータ装置を制御するための制御モジュールを生成するモジュール生成装置と、当該制御モジュールを検証する動作検証装置と、を備えた検証システムにおいて、
前記検証システムを構成する各装置が、送受信する命令およびデータの形式を定義した共通インターフェースを用いて制御モジュールの検証を実現する場合に、
前記モジュール生成装置は、制御モジュールの入出力に関する定義情報、および前記検証対象装置のソフトウェア仕様情報を入力とし、当該ソフトウェア仕様情報に基づいてソースコードを生成し、当該定義情報および前記ソフトウェア仕様情報に基づいて当該ソースコードをコンパイルすることにより、前記動作検証装置が前記共通インターフェースを用いて検証可能な制御モジュールを生成し、
前記動作検証装置は、前記共通インターフェースに基づいた命令およびデータを用いて前記制御モジュールを検証する、
ことを特徴とする検証システム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、ソフトウェアの開発を支援するための検証システムにおけるモジュール生成装置に関する。
【背景技術】
【０００２】
従来、組み込みソフトウェアの開発段階では、環境シミュレータを使って制御の内容を検討したり、汎用の制御装置や試作機を用いて試験室や実環境などで動作検証を行ったり、実機に入力信号を与えて実機の動作検証を行ったり、といった、制御や設計のさまざまな検証活動が行われる。
【０００３】
しかし、開発の各段階で、常に同じ環境が使用できるわけではない。たとえばソフトウェアの動作検証を行いたい場合でも、実機を使用する場合、実機ハードが存在しないため試作機を使用する場合、または試作機すら存在しないために実機のソフトドライバだけを使用する場合など、さまざまな状況が考えられる。
【０００４】
そのように状況の異なる複数の環境でソフトウェアの動作検証を行う場合、従来の検証方法では、状況にあわせて個別にインターフェースとなる部分の開発や改造を行っている。したがって、特定の環境だけに対応するための作業や改造も必要となり、想定する環境が多いほど、作業が増大する。また、必要な環境が準備できずに製品開発期間が伸びるという問題点もあった。
【０００５】
この解決策として、たとえば、下記特許文献１では、製品のソフト・メカ・エレキ（電子回路）のシミュレータを使用し、それぞれが共通のデータにアクセスし、同期的に実行するシステムが提案されている。このシステムでは、ソフトの制御出力をエレキシミュレータがメカシミュレータ用の信号に変換して入力するなどして、システム全体の動作を実現している。
【先行技術文献】
【特許文献】
【０００６】
【特許文献１】特開２００６−３５０５４９号公報
【発明の概要】
【発明が解決しようとする課題】
【０００７】
上記従来の検証方法では、実機やシミュレータの組み合わせ（以下、検証構成という）を任意に変更可能な、汎用性の高い動作検証環境を生成することができない。各制御要素が必要とする入力や、制御要素の出力周期、制御周期などは、さまざまである。そのため、環境シミュレータなどを含む検証環境を構成する様々な対象装置に関する制御要素を単に並べただけでは、それらの対象装置を協調動作させることができない。この様な場合、何らかの手段で外部から信号をやり取りすることで協調動作させることが可能な汎用性の高い検証システムを得ることができる。
【０００８】
しかしながら、汎用性の高い検証システムであっても、ある電子制御装置を含む製品としての動作を検証する場合、製品の電子制御装置と、その電子制御装置で動作するソフトウェア（制御モジュール）が必要となる。ここで、電子制御装置がない状態では、替わりにシミュレータ等を使用することができるが、制御モジュールがない状態では、電子制御装置が動作しないため、動作の検証ができない、という問題があった。
【０００９】
本発明は、上記に鑑みてなされたものであって、汎用性の高い検証システムにおいて、システムの動作検証をするために不足している制御モジュールを生成することが可能なモジュール生成装置を得ることを目的とする。
【課題を解決するための手段】
【００１０】
上述した課題を解決し、目的を達成するために、本発明は、検証対象装置の代替として用いるシミュレータ装置と、当該シミュレータ装置を制御するための制御モジュールを生成するモジュール生成装置と、当該制御モジュールを検証する動作検証装置と、を備えた検証システムにおいて、当該検証システムを構成する各装置が、送受信する命令およびデータの形式を定義した共通インターフェースを用いて制御モジュールの検証を実現する場合の前記モジュール生成装置であって、制御モジュールの入出力に関する定義情報、および前記検証対象装置のソフトウェア仕様情報を入力とし、当該ソフトウェア仕様情報に基づいてソースコードを生成し、当該定義情報および当該ソフトウェア仕様情報に基づいて当該ソースコードをコンパイルすることにより、前記動作検証装置が前記共通インターフェースを用いて検証可能な制御モジュールを生成するモジュール生成手段、を備えることを特徴とする。
【発明の効果】
【００１１】
本発明によれば、システムの動作検証をするために不足している制御モジュールを生成することができる、という効果を奏する。
【図面の簡単な説明】
【００１２】
【図１】図１は、本発明にかかる動作検証装置の環境条件の一例を示す図である。
【図２】図２は、検証システムの構成例を示す図である。
【図３】図３は、環境シミュレータがソフトウェアとして提供される場合の検証システムの構成例を示す図である。
【図４】図４は、動作検証方法の手順の一例を示すフローチャートである。
【図５】図５は、検証システムの構成例を示す図である。
【図６】図６は、検証システムの構成例を示す図である。
【図７】図７は、制御モジュール模擬生成装置の構成例を示す図である。
【図８】図８は、動作検証方法の手順の一例を示すフローチャートである。
【発明を実施するための形態】
【００１３】
以下に、本発明にかかるモジュール生成装置の実施の形態を図面に基づいて詳細に説明する。なお、この実施の形態によりこの発明が限定されるものではない。
【００１４】
実施の形態．
まず、モジュール生成装置の接続対象となる動作検証装置を備えた汎用性の高い検証システムについて説明する。図１は、検証システムの構成例を示す図である。動作検証装置１は、開発対象の制御ソフトウェアが組み込まれる実機３等の動作を検証するための装置である。動作検証装置１は、開発段階に応じた環境（検証環境）でさまざまな装置（以下、検証環境装置という）も接続される。検証環境７を構成する検証環境装置の例として、実機３，環境シミュレータ４，実機ソフトドライバ５，汎用制御器６を示す。動作検証装置１は、これらの検証環境装置に対して初期化、パラメータの入力、動作の実行の指示などを行う。
【００１５】
環境シミュレータ４は、たとえば、検証対象の実機が複数ある場合に、一部の実機のみしか準備できない場合に、他の実機を模擬したり、実際の環境条件を模擬したりするシミュレータである。実機ソフトドライバ５は、たとえば、実機が準備できない場合に、実機ソフトウェアのドライバ部分のみを準備して動作の確認を行う場合に、検証環境７として提供されることがある。汎用制御器６は、実機で制御する各種アクチュエータ（各種センサー、バルブ等）を制御できる汎用の制御装置である。
【００１６】
本実施の形態では、共通インターフェース２を全ての検証環境装置に対して使用可能とすることで、汎用性の高い検証システムを構成する。図２は、検証システムにおける接続例を示す図である。開発対象のソフトウェアが組み込まれる実機３−１，３−２，…が検証環境として利用可能な環境を示す。検証システムは、動作検証装置１のソフトウェアが実装される計算機システムである装置１０と、実機３−１，３−２，…で構成される。動作検証処理部１１は、装置１０で動作する動作検証装置１の制御手段である。共通インターフェースライブラリ部１２−１，１２−２，…は、共通インターフェース２の機能を対応する実機３−１，３−２，…が、それぞれ共通インターフェース２の機能を備えているようにみせるためのモジュール群である。各モジュールは、共通インターフェース２の形式で指示された内容を実機３−１，３−２，…がそれぞれ同様の内容を実行可能な形式の指示に変換し、また、共通インターフェース２の入出力のデータ形式を実機３−１，３−２，…のそれぞれ同様の内容の入出力のデータ形式に変換する。なお、実機以外の環境を実際の装置として用意できない場合には、他の実機や他の装置を模擬する環境シミュレータを用いて動作を行う。
【００１７】
図３は、他の実機や装置を模擬する環境シミュレータがソフトウェアとして提供される場合の検証システムの接続例を示す図である。この例では、動作検証処理部１１が実装される装置１０に環境シミュレータ１３が実装されている。環境シミュレータ１３は、共通インターフェース２の機能をする処理部である共通インターフェース部１４を備える。ここでは、制御ソフトウェアの検証を対象としているため、検証の際には、初期化の動作と制御用の入力値の設定と出力と制御出力の取得とを行うことを前提としている。
【００１８】
つづいて、動作検証方法について説明する。図４は、本実施の形態の動作検証方法の手順の一例を示すフローチャートである。図３に示した検証環境を想定した図である。一例として、環境シミュレータ１３について説明するが、実機３−１についても同様の手順となる。まず、動作検証処理部１１は、使用する検証環境装置（ここでは環境シミュレータ１３）に関する装置情報（初期化・入出力に使用する情報の形式など）を共通インターフェース２の１つの機能であるInfo機能を使用して取得する（ステップＳ１）。動作検証処理部１１は、環境シミュレータ１３から取得した情報を表示し、動作検証装置１の操作者が、表示に基づいて、環境シミュレータ１３の実行環境の設定を行う（ステップＳ２）。
【００１９】
つぎに、動作検証処理部１１は、共通インターフェース２のInit機能を用いて環境シミュレータ１３の初期化を行い（ステップＳ３）、共通インターフェース２のGet機能を用いて環境シミュレータ１３から初期状態での出力を取得する（ステップＳ４）。
【００２０】
以上のステップＳ４までの処理で、環境シミュレータ１３の初期化が終了し、つぎに、所定の制御周期ごとに入力の設定、実行、出力取得が行われる。まず、動作検証処理部１１は、共通インターフェース２のSet機能を用いて環境シミュレータ１３の入力情報の設定を行い（ステップＳ５）、共通インターフェース２のStep機能を用いて環境シミュレータ１３に所定の時間分制御処理を実行させる（ステップＳ６）。そして、動作検証処理部１１は、ステップＳ６により所定の時間分制御処理を実行した後の出力を、共通インターフェース２のGet機能により取得する（ステップＳ７）。ステップＳ７の終了後は、ステップＳ５に戻り、以降、所定の制御検証時間が経過するまで、または、終了の指示があるまで、ステップＳ５からステップＳ７を繰り返す。
【００２１】
動作検証装置１の操作者は、共通インターフェース２の機能により、制御動作中（ステップＳ５〜ステップＳ７）に、各検証環境装置への入力情報の設定を任意に変更することができることとする。そのため、動作検証装置１は、操作者が入力を変更することが可能な入力変更用ユーザーインターフェースを提供する。
【００２２】
このように、検証システムでは、動作検証装置１は、共通インターフェース２を用いて各検証環境の検証動作を行う。各検証環境装置は、共通インターフェース２を実現するための機能を実装し、また、共通インターフェース２を実現するための機能を実装していない実機に対しては、その実機が共通インターフェース２を備えているように模擬するためのライブラリを動作検証装置が備えて、共通インターフェース２による動作検証を行う。そのため、各検証環境装置の入力および出力を用いた協調動作を検証環境が異なる場合にも変更を効率的に実施することができる。
【００２３】
つづいて、動作検証装置１がシステムの動作検証を行う場合において、不足している制御モジュールを模擬または生成する方法について説明する。
【００２４】
図５は、検証環境の例として、動作検証装置１に空調システムの空調シミュレータ８と制御モジュール９が共通インターフェース２を介して接続されている状態を示す図である。空調シミュレータ８は、弁などの装置の状態と外気温度などの関連を計算する。制御モジュール９では、空調シミュレータ８から得られる温度などの情報を元に空調機としての制御を行い、弁の状態などの出力を行う。動作検証装置１は、共通インターフェース２を使用して、空調シミュレータ８と制御モジュール９を協調動作させることで、システムの動作検証を行う。なお、システムの構成はこれに限定するものではなく、動作検証装置１等が共通インターフェース２の機能を備えることとしてもよい。
【００２５】
図５に示すシステムにおいては、空調シミュレータ８が計算に使用する弁などの装置の状態は、制御モジュール９から与えられている。ここで、何らかの理由で制御モジュール９が存在しない場合がある。このようなときに、制御モジュール９の代わりに接続し、空調システムの動作検証を可能にする制御モジュール模擬生成装置について説明する。
【００２６】
図６は、動作検証装置１に空調システムの空調シミュレータ８と制御モジュール模擬生成装置２０が共通インターフェース２を介して接続されている状態を示す図である。このように、検証システムでは、図５に示す制御モジュール９を、制御モジュール模擬生成装置２０に置き換えて使用する。
【００２７】
図７は、制御モジュール模擬生成装置２０の構成例を示す図である。制御モジュール模擬生成装置２０は、割当解決エンジン部２２とコンパイラ部２３を備えるモジュール生成部２１と、検証シナリオ生成部２４と、検証シナリオ動作検証部２５と、を備える。モジュール生成部２１は、入力情報を基にして制御モジュールを生成する。割当解決エンジン部２２は、割り当てルールに従って、フレームワークに詳細仕様を割り当て、制御モジュールのソースコードを出力する。コンパイラ部２３は、出力されたソースコードから制御モジュールを実行可能な形式に変換する。検証シナリオ生成部２４は、入力された仕様定義に従って、システムの動作を確認するための動作検証用シナリオを出力する。検証シナリオ動作検証部２５は、動作検証用シナリオに沿って動作検証装置１を動作させて得た動作結果ログを読み込み、期待値との対応関係を確認する。
【００２８】
つづいて、一例として、動作検証装置１に空調シミュレータ８と制御モジュール模擬生成装置２０が接続されたときの、制御モジュール模擬生成装置２０の動作検証方法を説明する。図８は、動作検証方法の手順の一例を示すフローチャートである。まず、制御モジュール模擬生成装置２０は、動作検証装置１から入出力についての情報を取得する（ステップＳ１１）。ここでは、動作検証装置１に接続されている空調シミュレータ８の入出力に関する情報３０を取得する。具体的には、空調シミュレータ８の入力である弁などの状態が設定でき、出力である室温などのデータが取得できることを示す情報を得る。
【００２９】
つぎに、検証を行う操作者等が、制御モジュール模擬生成装置２０へ、製品に使用するソフトウェアの仕様情報、すなわち、検証に使用する制御モジュールの生成に必要な情報を入力する。一例として、制御モジュール模擬生成装置２０は、フレームワーク定義３１を入力し（ステップＳ１２）、フレームワークへの使用の割り当てルール３２を入力し（ステップＳ１３）、制御の詳細仕様定義３３を入力する（ステップＳ１４）。このとき、割り当てルール３２は、フレームワーク定義３１に即したものである必要がある。また、詳細仕様定義３３は、使用するフレームワークで表現可能なものであり、割り当てルール３２によって割り当て可能でなければならない。
【００３０】
制御モジュール模擬生成装置２０では、必要な情報の入力が完了すると、モジュール生成部２１が、制御モジュール３５を生成する（ステップＳ１５）。まず、割当解決エンジン部２２が、割り当てルール３２に従って、制御モジュール３５のソースコード３４を生成する。そして、コンパイラ部２３が、ソースコード３４をコンパイルして計算機によって実行可能な形式に変換し、制御モジュール３５を生成する。このとき、他のモジュールから得た入出力の情報３０をどのように使用するか、および、コンパイラ部２３が必要とする情報については、詳細仕様定義３３に含まれている。
【００３１】
以上の処理によって、制御モジュール模擬生成装置２０は、検証システムに必要な制御モジュール９の模擬装置として動作することが出来る。そのため、動作検証装置１は、制御モジュール模擬生成装置２０を検証対象として動作させる手続きを行う。具体的には、他の一般モジュール（シミュレータ等）と同様に、共通インターフェース２を介して、動作検証装置１へ入出力情報を送信し（ステップＳ１６）、動作検証装置１による操作に応答する（ステップＳ１７）。以降、所定の制御時間が経過するまで、または終了の指示があるまで、ステップＳ１７の処理を繰り返す。この動作については図４の動作と同様のため、詳細な説明については省略する。
【００３２】
このとき、制御モジュール模擬生成装置２０は、インターフェース２を介して行われる要求の解決を、生成した制御モジュール３５とその入出力を組み合わせて行う。これにより、動作検証装置１は、制御モジュール模擬生成装置２０と空調シミュレータ８を協調動作させることにより、システムの動作検証を行うことができる。
【００３３】
なお、制御モジュール模擬生成装置２０を、制御モジュール９の模擬装置として動作させる方法について説明したが、制御モジュール３５を生成する際に、共通インターフェース２を備えた検証用モジュール３６を出力することも可能である。検証用モジュール３６は、制御モジュール３５に共通インターフェース２を備えたものである。この場合、動作検証装置１は、この検証用モジュール３６を使用して、他のモジュールとの協調動作を行うことができる。
【００３４】
また、制御モジュール模擬生成装置２０のモジュール生成部２１では、適切なフレームワークを選択することにより、制御モジュール３５を、例えば、空調シミュレータ８の実機（製品）に相当する電子制御装置を制御するための制御モジュール（ソフトウェア）であって、当該装置に搭載可能な形式で生成し、製品相当の装置を構築することもできる。このとき、制御モジュール（ソフトウェア）の形式ではなく、制御モジュール（ソフトウェア）を生成可能なソースコードを生成してもよいし、両方を生成してもよい。
【００３５】
また、制御モジュール模擬生成装置２０を検証システムに接続し、制御モジュール模擬生成装置２０が制御モジュール９の模擬装置として動作させる場合について説明したが、これに限定するものではなく、制御モジュール模擬生成装置２０が生成した制御モジュール３５を他の検証対象装置に搭載し、この検証対象装置を検証システムに接続して使用してもよい。例えば、複数の検証システムにおいて検証を行う場合、制御モジュール模擬生成装置２０をシステム数だけ用意する必要はない。各検証システムでは、制御モジュール模擬生成装置２０で生成された制御モジュール３５を検証対象装置に搭載して使用することで、検証を行うことができる。
【００３６】
つづいて、生成した制御モジュール３５の動作を検証する方法について説明する。制御モジュール模擬生成装置２０では、モジュール生成部２１が制御モジュール３５を出力すると同時に、検証シナリオ生成部２４が、入力された仕様定義に従って、システムの動作を確認するための動作検証用シナリオ３７を出力する。動作検証用シナリオ３７は、入力された仕様どおりにシステムが動作することを確認するために、動作検証装置１に対して行わなければならない操作（入力の設定など）を、時刻情報などとともに定義したものである。
【００３７】
つぎに、制御モジュール模擬生成装置２０では、検証シナリオ動作検証部２５が、動作検証用シナリオ３７のシナリオに沿って動作検証装置１を動作させて得た動作結果ログ３８を読み込み、検証用シナリオ３７に記載されている動作の期待値との対応関係を確認する。これにより、システムが検証シナリオ３７の期待するとおりに動作したかを確認することができる。また、検証シナリオ動作検証部２５は、確認した結果を動作検証結果レポート３９として出力する。
【００３８】
ここで、動作検証装置１が対象とする組み込み製品では、本実施の形態のように自動生成された制御モジュール（ソフトウェア）を、処理速度や安全性の面でそのまま使用できない場合がある。そのため、自動生成されたソフトウェアに手を加えるか、仕様を満たすソフトウェアを別途開発する必要がある。この場合、動作検証装置１が加工等を行った変更後のモジュールを駆動する際、検証用シナリオ３７を使用することにより、自動生成した制御モジュールと変更後のモジュールとが同じ動作（期待通りの動作）をするかどうかとを確認することができる。
【００３９】
以上説明したように、本実施の形態によれば、汎用性の高い検証システムにおいて、動作検証装置１がシミュレータと制御モジュールを用いてシステムの検証を行う際、制御モジュールが不足する場合や存在しない場合に、制御モジュール模擬生成装置２０が検証に必要なモジュールを生成して、制御モジュールの模擬装置として動作し、または、制御モジュールを出力することとした。これにより、制御モジュールが不足する場合や存在しない場合であっても、生成した制御モジュールを用いて、システムの動作検証を行うことができる。
【産業上の利用可能性】
【００４０】
以上のように、本発明にかかる検証システムは、制御ソフトウェアの開発に関する検証システムに有用であり、特に、様々な構成で検証を行う検証システムに適している。
【符号の説明】
【００４１】
１  動作検証装置
２  共通インターフェース
３，３−１，３−２  実機
４  環境シミュレータ
５  実機ソフトドライバ
６  汎用制御器
７  検証環境
８  空調シミュレータ
９  制御モジュール
１０  装置
１１  動作検証処理部
１２−１，１２−２  共通インターフェースライブラリ部
１３  環境シミュレータ
１４  共通インターフェース部
２０  制御モジュール模擬生成装置
２１  モジュール生成部
２２  割当解決エンジン部
２３  コンパイラ部
２４  検証シナリオ生成部
２５  検証シナリオ動作検証部
３０  入出力情報
３１  フレームワーク定義
３２  割り当てルール
３３  詳細仕様定義
３４  ソースコード
３５  制御モジュール
３６  検証用モジュール
３７  検証用シナリオ
３８  動作結果ログ
３９  動作検証結果レポート
【図１】
2011123672.tif 000003
【図２】
2011123672.tif 000004
【図３】
2011123672.tif 000005
【図４】
2011123672.tif 000006
【図５】
2011123672.tif 000007
【図６】
2011123672.tif 000008
【図７】
2011123672.tif 000009
【図８】
2011123672.tif 000010