(57)【特許請求の範囲】
【請求項１】
車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出装置であって、
ユーザによって選択された情報であって、前記既存のシステムを特定するためのシステム特定情報を受け付ける受付手段と、
前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記システム特定情報に関連付けて格納する動作情報格納手段と、
前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を、前記システム特定情報に関連付けて格納する条件格納手段と、
受け付けられた前記システム特定情報に基づいて、前記システム特定情報に対応する前記動作情報及び前記条件を、前記動作情報格納手段及び前記条件格納手段からそれぞれ取得する取得手段と、
取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断する判断手段と、
前記判断手段により正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力する出力手段とを、
備えるシステム創出装置。
【請求項２】
車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出装置であって、
前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記既存のシステムを特定するためのシステム特定情報に関連付けて格納する動作情報格納手段と、
前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を、前記システム特定情報に関連付けて格納する条件格納手段と、
前記システム特定情報を格納する所定の記憶領域から前記システム特定情報を取得し、取得された前記システム特定情報に基づいて、前記システム特定情報に対応する前記動作情報及び前記条件を、前記動作情報格納手段及び前記条件格納手段からそれぞれ取得する取得手段と、
取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断する判断手段と、
前記判断手段により正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力する出力手段とを、
備えるシステム創出装置。
【請求項３】
取得された前記動作情報が所定のコード情報で記述されている場合、
取得された前記条件を前記所定のコード情報に変換する変換手段を更に備え、
前記判断手段は、前記所定のコード情報で記述された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと前記所定のコード情報に変換された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断する請求項１又は２に記載のシステム創出装置。
【請求項４】
正常に機能する前記組み合わせ及び／又は正常に機能しない前記組み合わせの情報に基づいて、前記組み合わせにおける前記所定のパーツの各動作ステップを映像化し、映像化された前記各動作ステップを連続的につなげた動画像を生成する画像生成手段と、
前記各動作ステップを前記映像化するための映像化情報を格納する映像情報格納手段とを更に備え、
前記出力手段は、前記画像生成手段によって生成された前記動画像であって、前記映像情報格納手段から取得された前記映像化情報に基づいて映像化された前記各動作ステップを連続的につなげた前記動画像を出力する請求項１から３のいずれか１つに記載のシステム創出装置。
【請求項５】
車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出方法であって、
ユーザによって選択された情報であって、前記既存のシステムを特定するためのシステム特定情報を受け付けるステップと、
受け付けられた前記システム特定情報に基づいて、前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記システム特定情報に関連付けて格納する動作情報格納手段と、前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を前記システム特定情報に関連付けて格納する条件格納手段とから、前記システム特定情報に対応する前記動作情報及び前記条件を取得するステップと、
取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断するステップと、
前記判断するステップにより正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力するステップとを、
有するシステム創出方法。
【請求項６】
車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出方法であって、
前記既存のシステムを特定するためのシステム特定情報を格納する所定の記憶領域から前記システム特定情報を取得し、取得された前記システム特定情報に基づいて、前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記システム特定情報に関連付けて格納する動作情報格納手段と、前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を前記システム特定情報に関連付けて格納する条件格納手段とから、前記システム特定情報に対応する前記動作情報及び前記条件を取得するステップと、
取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断するステップと、
前記判断するステップにより正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力するステップとを、
有するシステム創出方法。
【請求項７】
取得された前記動作情報が所定のコード情報で記述されている場合、
取得された前記条件を前記所定のコード情報に変換するステップを更に備え、
前記判断するステップにおいて、前記所定のコード情報で記述された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと前記所定のコード情報に変換された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断する請求項５又は６に記載のシステム創出方法。
【請求項８】
正常に機能する前記組み合わせ及び／又は正常に機能しない前記組み合わせの情報に基づいて、前記組み合わせにおける前記所定のパーツの各動作ステップを映像化し、映像化された前記各動作ステップを連続的につなげた動画像を生成するステップを更に備え、
前記出力するステップにおいて、生成された前記動画像であって、前記各動作ステップを前記映像化するための映像化情報を格納する映像情報格納手段から取得された前記映像化情報に基づいて映像化された前記各動作ステップを連続的につなげた前記動画像を出力する請求項５から７のいずれか１つに記載のシステム創出方法。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、車両に関する既存のシステムを用いて車両に関する新たなシステムを創出するシステム創出装置及びシステム創出方法に関する。
【背景技術】
【０００２】
従来、新たにシステム（製品）を開発する際、開発者や設計者などは、当該システムに必要な既存のシステム（例えば、自動ドア開閉システム、自動ウインドウ開閉システムなど）や必要な既存の部品（例えば、ドア、ウインドウなど）を出し合い、それらに基づいて考えられる新たなシステムの組み合わせを考え、それらがシステムとして機能するか否かを判断し、新たなシステムの仕様書の作成などをしていた。なお、作成された仕様をコンピュータなどの機械を用いて検証するための技術が下記の特許文献１から３に開示されている。ここでは上記システムや部品を総称してサービスとも言う。
【特許文献１】特開平１１−１０２２９１号公報（要約）
【特許文献２】特開２００６−５３８１３号公報（要約）
【特許文献３】特開２００４−２１７３０号公報（要約）
【発明の開示】
【発明が解決しようとする課題】
【０００３】
しかしながら、従来のような新たなシステム開発では、システム開発に必要と考えられるサービスを出し合う段階で膨大な時間と労力が必要となる。特に、検証の範囲を決めない場合にはさらに膨大な時間と労力が必要となる。また、時間と労力を投入して新規に創出されたアイデアであっても既存のサービスの組み合わせの一部拡張であったりすることが多く、無駄に資源を消費してしまう。
【０００４】
本発明は、上記の問題点に鑑み、新たなシステム（サービス）を開発する際に、既存のシステム（サービス）を組み合わせ、組み合わされた新たなシステム（サービス）が機能するかを事前に判断することができ、新たなシステム（サービス）の品質の向上及び開発コストの削減をすることができるシステム創出装置及びシステム創出方法を提供することを目的とする。
【課題を解決するための手段】
【０００５】
上記目的を達成するために、本発明によれば、車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出装置であって、ユーザによって選択された情報であって、前記既存のシステムを特定するためのシステム特定情報を受け付ける受付手段と、前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記システム特定情報に関連付けて格納する動作情報格納手段と、前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を、前記システム特定情報に関連付けて格納する条件格納手段と、受け付けられた前記システム特定情報に基づいて、前記システム特定情報に対応する前記動作情報及び前記条件を、前記動作情報格納手段及び前記条件格納手段からそれぞれ取得する取得手段と、取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断する判断手段と、前記判断手段により正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力する出力手段とを、備えるシステム創出装置が提供される。この構成により、新たなシステム（サービス）を開発する際に、既存のシステム（サービス）を組み合わせ、組み合わされた新たなシステム（サービス）が機能するかを事前に判断することができ、新たなシステム（サービス）の品質の向上及び開発コストの削減をすることができる。ここで、システムとは、後述するような自動ドア開閉システムなどのシステムやドア（所定のパーツ）などの部品を含む。
【０００６】
また、本発明によれば、車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出装置であって、前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記既存のシステムを特定するためのシステム特定情報に関連付けて格納する動作情報格納手段と、前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を、前記システム特定情報に関連付けて格納する条件格納手段と、前記システム特定情報を格納する所定の記憶領域から前記システム特定情報を取得し、取得された前記システム特定情報に基づいて、前記システム特定情報に対応する前記動作情報及び前記条件を、前記動作情報格納手段及び前記条件格納手段からそれぞれ取得する取得手段と、取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断する判断手段と、前記判断手段により正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力する出力手段とを、備えるシステム創出装置が提供される。この構成により、新たなシステム（サービス）を開発する際に、既存のシステム（サービス）を組み合わせ、組み合わされた新たなシステム（サービス）が機能するかを事前に判断することができ、新たなシステム（サービス）の品質の向上及び開発コストの削減をすることができる。
【０００７】
また、本発明のシステム創出装置において、取得された前記動作情報が所定のコード情報で記述されている場合、取得された前記条件を前記所定のコード情報に変換する変換手段を更に備え、前記判断手段が、前記所定のコード情報で記述された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと前記所定のコード情報に変換された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断することは、本発明の好ましい態様である。この構成により、所定のコードによる判断をすることができる。
【０００８】
また、本発明のシステム創出装置において、正常に機能する前記組み合わせ及び／又は正常に機能しない前記組み合わせの情報に基づいて、前記組み合わせにおける前記所定のパーツの各動作ステップを映像化し、映像化された前記各動作ステップを連続的につなげた動画像を生成する画像生成手段と、前記各動作ステップを前記映像化するための映像化情報を格納する映像情報格納手段とを更に備え、前記出力手段が、前記画像生成手段によって生成された前記動画像であって、前記映像情報格納手段から取得された前記映像化情報に基づいて映像化された前記各動作ステップを連続的につなげた前記動画像を出力することは、本発明の好ましい態様である。この構成により、組み合わせを視覚的に把握することができる。
【０００９】
また、本発明によれば、車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出方法であって、ユーザによって選択された情報であって、前記既存のシステムを特定するためのシステム特定情報を受け付けるステップと、受け付けられた前記システム特定情報に基づいて、前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記システム特定情報に関連付けて格納する動作情報格納手段と、前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を前記システム特定情報に関連付けて格納する条件格納手段とから、前記システム特定情報に対応する前記動作情報及び前記条件を取得するステップと、取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断するステップと、前記判断するステップにより正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力するステップとを、有するシステム創出方法が提供される。この構成により、新たなシステム（サービス）を開発する際に、既存のシステム（サービス）を組み合わせ、組み合わされた新たなシステム（サービス）が機能するかを事前に判断することができ、新たなシステム（サービス）の品質の向上及び開発コストの削減をすることができる。
【００１０】
また、本発明によれば、車両に搭載されて用いられる既存のシステムを用いて、前記車両に新しく搭載して用いるための新たなシステムを創出し、創出された前記新たなシステムが正常に機能するか否かを判断するシステム創出方法であって、前記既存のシステムを特定するためのシステム特定情報を格納する所定の記憶領域から前記システム特定情報を取得し、取得された前記システム特定情報に基づいて、前記既存のシステムに用いられる所定のパーツの前記既存のシステム上での動作内容を示す動作情報を、前記システム特定情報に関連付けて格納する動作情報格納手段と、前記既存のシステムに用いられる所定のパーツが前記既存のシステムにおいて不具合なく所定の動作をするための条件を前記システム特定情報に関連付けて格納する条件格納手段とから、前記システム特定情報に対応する前記動作情報及び前記条件を取得するステップと、取得された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと取得された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断するステップと、前記判断するステップにより正常に機能すると判断された前記組み合わせ及び／又は正常に機能しないと判断された前記組み合わせの情報を出力するステップとを、有するシステム創出方法が提供される。この構成により、新たなシステム（サービス）を開発する際に、既存のシステム（サービス）を組み合わせ、組み合わされた新たなシステム（サービス）が機能するかを事前に判断することができ、新たなシステム（サービス）の品質の向上及び開発コストの削減をすることができる。
【００１１】
また、本発明のシステム創出方法において、取得された前記動作情報が所定のコード情報で記述されている場合、取得された前記条件を前記所定のコード情報に変換するステップを更に備え、前記判断するステップにおいて、前記所定のコード情報で記述された前記動作情報に基づいて、前記新たなシステムとなり得る組み合わせを生成し、生成された前記組み合わせと前記所定のコード情報に変換された前記条件とに基づいて、生成された前記組み合わせが前記新たなシステムとして正常に機能するか否かを判断することは、本発明の好ましい態様である。この構成により、所定のコードによる判断をすることができる。
【００１２】
また、本発明のシステム創出方法において、正常に機能する前記組み合わせ及び／又は正常に機能しない前記組み合わせの情報に基づいて、前記組み合わせにおける前記所定のパーツの各動作ステップを映像化し、映像化された前記各動作ステップを連続的につなげた動画像を生成するステップを更に備え、前記出力するステップにおいて、生成された前記動画像であって、前記各動作ステップを前記映像化するための映像化情報を格納する映像情報格納手段から取得された前記映像化情報に基づいて映像化された前記各動作ステップを連続的につなげた前記動画像を出力することは、本発明の好ましい態様である。この構成により、組み合わせを視覚的に把握することができる。
【発明の効果】
【００１３】
本発明のシステム創出装置及びシステム創出方法は、上記構成を有し、新たなシステム（サービス）を開発する際に、既存のシステム（サービス）を組み合わせ、組み合わされた新たなシステム（サービス）が機能するかを事前に判断することができ、新たなシステム（サービス）の品質の向上及び開発コストの削減をすることができる。
【発明を実施するための最良の形態】
【００１４】
以下、本発明の実施の形態について説明する。まず、本発明の実施の形態に係るシステム創出装置の構成の一例について図１を用いて説明する。このシステム創出装置は、新たなシステムや製品を開発する前に、既存のシステム（車両の運行を快適にするためのシステムであって、例えば、自動ドア開閉システムやシート自動昇降システムなど）や既存の部品（例えば、車両のパーツであって、ドア、シート、ウインドウなど）を組み合わせて新しいシステムが成り立つか（機能するか）を事前に判断（検査）するために用いられるものである。なお、以下では上述のシステムや部品を総称してサービスとも言う。
【００１５】
図１に示すように、システム創出装置は、受付手段１０１、取得手段１０２、変換手段１０３、検査手段１０４（上述の判断手段に相当）、出力手段１０５、検査コード格納手段１０６（上述の動作情報格納手段に相当）、検査条件格納手段１０７（上述の条件格納手段に相当）、画像生成手段１０８、部品情報格納手段１０９（上述の映像情報格納手段に相当）から構成されている。
【００１６】
受付手段１０１は、ユーザ（システム創出装置を使用して新たなサービスを創出しようとする者）が新たなサービスを創出しようとする際に、ユーザによって選択された既存のサービスの情報を受け付けるものである。例えば、ユーザが、既存のサービスである自動ドア開閉サービス（自動ドア開閉システム）とシート自動昇降サービス（シート自動昇降システム）とを用いて新たなサービスが提供できないかと考えた場合に、受付手段１０１は、ユーザによって選択される情報であって、自動ドア開閉サービスとシート自動昇降サービスをそれぞれ示す情報であるサービス情報（選択されたサービスがどのようなサービスであるかを示す情報であって、例えば、選択されたサービスが自動ドア開閉サービスである旨の情報、シート自動昇降サービスである旨の情報）を受け付ける。このサービス情報は上述するシステム特定情報に相当する。
【００１７】
取得手段１０２は、受付手段１０１を介して受け付けられたサービス情報に基づいて、サービス情報に対応して関連付けられた検査コード（上述する動作情報に相当）を検査コード格納手段１０６から取得するものである。具体的には、取得手段１０２は、受付手段１０１を介して受け付けられた自動ドア開閉サービスとシート自動昇降サービスをそれぞれ示すサービス情報に基づいて、それぞれのサービス情報に関連付けられて格納された検査コードを検査格納手段１０６から取得する。
【００１８】
また、取得手段１０２は、受付手段１０１を介して受け付けられたサービス情報に基づいて、サービス情報に対応して関連付けられた検査条件の情報を検査条件格納手段１０７から取得する。具体的には、取得手段１０２は、受付手段１０１を介して受け付けられた自動ドア開閉サービスとシート自動昇降サービスに必要なアイテム（例えば、ドア、シートなどの所定のパーツ）が、自動ドア開閉サービスやシート自動昇降サービスにおいて不具合なく所定の動作をする（正常に機能する）ための条件である検査条件の情報を検査条件格納手段１０７から取得する。以下に、検査コード及び検査条件について説明する。
【００１９】
まず、検査コードについて説明する。検査コードとは、ユーザによって選択される既存のサービスを示すサービス情報ごとに関連付けられた情報であって、既存のサービスに用いられるアイテム（所定のパーツ）の既存のサービス上での動作内容を示す動作情報である。図２に示すように、例えば、ユーザによって選択された既存のサービスが自動ドア開閉サービスの場合、検査コードは自動ドア開閉サービスに関連するアイテムのドアに関する制御情報（動作情報）であって、ドアのオープンを示すドアオープン、ドアのクローズを示すドアクローズなどである。
【００２０】
この検査コード（上述する所定のコード情報に相当）は、所定の論理式（例えば、ＬＴＬ（Linear Temporal Logic）：線形時相論理の論理式や、ＣＴＬ（Computation Tree Logic）：計算木時相論理の論理式などや、プロメラ（Promela）などの記述言語など）によって記述され、サービス情報に関連付けられて検査コード格納手段１０６に格納されている。例えば、ユーザによって自動ドア開閉サービスが選択された場合には、取得手段１０２は、自動ドア開閉サービスを示すサービス情報に関連付けられて格納された検査コードであるドアオープン、ドアクローズを取得する。
【００２１】
次に、検査条件について説明する。検査条件とは、ユーザによって選択される既存のサービス（例えば、自動ドア開閉サービス）に必要なアイテム（所定のパーツ、例えばドア）が既存のサービスにおいて不具合なく所定の動作をする（正常に機能する）ための条件を言う。例えば、ユーザが自動ドア開閉サービスを選択した場合、自動ドア開閉サービスを示すサービス情報に対応するドアに関する検査条件の情報が取得される。図３に示すように、取得されるドアに関する検査条件の情報としては「ドアは閉まっているときに、いつかオープンする」、「ドアが閉じていてシートが車外にあってはならない」という条件などがある。なお、ドアに関する検査条件はこれに限られるものではなく、他の検査条件であってもよい。
【００２２】
変換手段１０３は、取得手段１０２によって取得された検査条件の情報を、検査手段１０４において検査（新たなシステムが機能するか否かの検査）するために検査条件コード（例えば、上述したＬＴＬやＣＴＬなどによる記述）に変換するものである。
【００２３】
ここで、ＬＴＬについて図４を用いて説明する。ＬＴＬは時間に関する様相を持つ様相時相論理であって、未来の出来事を表現するものである。図４に示すように、時刻がｔ、ｔ＋１、ｔ＋２と移り変わる場合に、例えば「Ｘｐ」と記述されれば、次の時刻ｔ＋１で状態「ｐ」が成立すること意味する。また、「［ ］ｐ」と記述されれば、常に状態「ｐ」が成立することを意味する。このようなＬＴＬの記述例を踏まえて、自然言語（検査条件の情報）をＬＴＬによって記述する例について図５を用いて説明する。
【００２４】
例えば「ドアが閉まっているときに、いつかオープンする」という検査条件の言語をＬＴＬ記述に変換すると図５に示すようなＬＴＬ式になる。「［ ］（ｐ−＞＜＞ｑ）」の（ｐ−＞＜＞ｑ）は、ドアが閉まっているときに、いつかドアがオープンすることを意味する。そのため、「［ ］（ｐ−＞＜＞ｑ）」は、常にドアが閉まっているときに、いつかドアがオープンすることを意味する。なお、図５に示す他の検査条件の情報の変換についても同様に考えられる。
【００２５】
このようにして、変換手段１０３は検査条件の情報を検査条件コードに変換する。なお、検査条件はこれに限られるものではなく、他の検査条件を含むものであってもよい。また、ここではＬＴＬの場合を例に挙げて説明したが、ＣＴＬの場合であってもＬＴＬの場合と同様にＣＴＬ記述に変換することが可能である。
【００２６】
検査手段１０４は、取得手段１０２によって取得された検査コードに基づいて、選択された既存のサービスから考えられる新たなサービスの組み合わせ（新たなサービスとなり得る組み合わせ）を生成し、変換手段１０３によって変換された検査条件コードに基づいて、生成された新たなサービスの組み合わせが正常に機能するか否かを検査するものである。
【００２７】
ここで、生成される組み合わせの一例について図６、図７を用いて説明する。図７に示すように、例えば、ユーザによって選択された既存のサービスが「自動ドア開閉サービス」と「シート自動昇降サービス」である場合を考える。なお、シート自動昇降サービスとは、搭乗者が車内に乗り込みやすいようにするために、シートが車内から車外へ飛び出し（シートダウン）、搭乗者がシートに座ったらシートが元の位置に戻る（シートアップ）サービスを言う。
【００２８】
図７に示す場合における処理シーケンスの一例を図８に示す。図８に示すように、乗車支援が開始されると、まずドアをオープンし、その後シートをダウンさせ、シートに搭乗者が座ったことを確認した後にシートをアップさせる。シートが車内に収まった後にドアをクローズする。このシーケンスはこれらのサービスを組み合わせた場合に正常に機能するシーケンスである。
【００２９】
自動ドア開閉サービスの検査コードは、上述したように、（運転席）ドアオープン及び（運転席）ドアクローズであり、シート自動昇降サービスの検査コードは、（運転席）シートアップ及び（運転席）シートダウンである。ここでは、運転席のドアとシートに限定して説明する。この場合、図６に示すように、生成される組み合わせとしては、例えば組み合わせサービスモデル（上述する組み合わせに相当）１、２など多数ある。
【００３０】
組み合わせサービスモデル１では、まず運転席のドアが開く運転席ドアオープンが最初のステップ（動作ステップ）となっている。次に、運転席のドアが閉まる運転席ドアクローズのステップとなっている。ここまでのステップは、運転席のドアが開き、その後ドアが閉まるという動作であるため、上述した検査条件「ドアが閉まっているときに、いつかオープンする」を満たす。その後、運転席のドアが閉まった状態で、運転席のシートがシートダウンする運転席シートダウンが次のステップとなっている。この場合、シートに関する検査条件が、例えば図５に示す「ドアが開いていて、シートが動作する」という検査条件であれば、この検査条件を満たさず、これ以降のステップの検証をすることなく、この組み合わせサービスモデル１は正常に機能しない組み合わせと判断される。
【００３１】
また、組み合わせサービスモデル２では、まず運転席のドアが開く運転席ドアオープンが最初のステップ（動作ステップ）となっている。次に、運転席のシートがシートダウンする運転席シートダウンのステップとなっている。ここまでのステップは、運転席のドアが開き、その後シートがシートダウンするという動作であるため、上述した検査条件の「ドアが開いていて、シートが動作する」を満たす。その後、運転席のシートがシートダウンした状態で、運転席のドアが閉まる運転席ドアクローズが次のステップとなっている。この場合、ドアに関する他の検査条件「ドアが閉じていてシートが車外にあってはいけない」という検査条件を満たさず、これ以降のステップの検証をすることなく、この組み合わせサービスモデル２は正常に機能しない組み合わせと判断される。
【００３２】
このように、検査手段１０４は、考えられるすべての組み合わせ（組み合わせサービスモデル）を生成し、生成された組み合わせのそれぞれについて検査条件を満たしているか否かを判断する。なお、生成された組み合わせサービスモデルの検査ツールとして、例えばスピン（SPIN）などを用いる。このようなモデル検査ツールは、取り得る状態を網羅的に生成して、不正な状態などが発生しないかどうかを検証する。
【００３３】
出力手段１０５は、検査手段１０４によって検査された結果を出力するものである。例えば、出力手段１０５は、検査手段１０４による検査をクリアした組み合わせとクリアしなかった組み合わせをそれぞれ出力する。これにより、ユーザは新たなサービスを開発する際に、既存のサービスを組み合わせ、組み合わされた新たなサービスが機能するかを事前に判断することができ、新たなサービスの品質の向上及び開発コストの削減をすることができる。また、ユーザは新たなサービスの仕様書を作成する際に参考とすることができ、仕様書の作成を容易に行うことができる。
【００３４】
なお、ここではＬＴＬなどの記述を用いて組み合わせサービスモデルが正常に機能するか否かを判断しているが、検査コード格納手段１０６に格納された情報がプロメラなどの記述による検査コードではない場合には、変換手段１０３は検査条件をＬＴＬなどに変換せずに、検査手段１０４が、検査コード格納手段１０６に格納されたプロメラなどで記述されていない情報と、検査条件とに基づいて、組み合わせサービスモデルが正常に機能するか否かを判断するようにしてもよい。
【００３５】
次に、本発明の実施の形態に係るシステム創出装置における処理フローの一例について図９を用いて説明する。図９に示すように、まず、既存のサービスのサービス情報をユーザから受け付ける（ステップＳ９０１）。受け付けたサービス情報に基づいて、検査コードと検査条件の情報をそれぞれ取得する（ステップＳ９０２）。取得された検査条件の情報を検査条件コードに変換する（ステップＳ９０３）。取得された検査コードに基づいて新たなサービスの組み合わせを生成し、変換された検査条件コードに基づいて、生成された組み合わせが正常に機能するかを検査する（ステップＳ９０４）。検査された検査結果（機能する組み合わせと機能しない組み合わせの情報など）を出力する（ステップＳ９０５）。
【００３６】
なお、以上説明したシステム創出装置では、サービス情報をユーザから受け付けているが、サービス情報をユーザから受け付けずに、システム創出装置の所定の記憶領域（例えば、検査コード格納手段１０６、検査条件格納手段１０７、部品情報格納手段１０９などの一部の記憶領域や、不図示の格納手段など）にあらかじめ記憶されたサービス情報を取得し、取得されたサービス情報に基づいて検査コードや検査条件の情報を取得するようにしてもよい。
【００３７】
また、本発明では、機能する組み合わせや機能しない組み合わせの情報を文字などで単に出力する（表示する）だけではなく、組み合わせにおける所定のパーツ（ドアやシートなど）の各動作ステップを映像化（動画化）し、映像化された各動作ステップを連続的につなげた動画像を生成することによって、生成された組み合わせが機能するか否かを視覚的に把握できるようにしてもよい。
【００３８】
この場合、上述した画像生成手段１０８が、検査をクリアした組み合わせ（正常に機能する組み合わせ）及び／又は検査をクリアしなかった組み合わせ（正常に機能しない組み合わせ）の情報に基づいて、部品情報格納手段１０９に格納された映像化情報を利用して、組み合わせにおける所定のパーツ（ドアやシートなど）の各動作ステップを映像化（動画化）し、映像化された各動作ステップを連続的につなげた動画像を生成する。そして、出力手段１０５が、生成された動画像を出力する。なお、部品情報格納手段１０９は、各動作ステップを映像化するための映像化情報（例えば、車両自体、ドア、シートなどの映像を生成するために必要な情報など）を格納するものである。
【００３９】
ここで、上述した組み合わせサービスモデル１を例にとって説明する。組み合わせサービスモデル１は、まず運転席ドアオープンのステップ（動作ステップ）がなされるため、これに対応して映像化された車両（例えば、図１０に示すような映像化された車両）の運転席のドアが開く。その後、運転席ドアクローズのステップがなされるため、これに対応して映像化された車両の運転席のドアが閉まる。
【００４０】
その後、運転席シートダウンのステップがなされるが、上述したようにこの状態でのシートダウンは検査条件を満たさないため、例えば映像化された車両とともに、組み合わせサービスモデル１は正常に機能しない旨の表示がなされる。これにより、ユーザは視覚的に新たなサービスの組み合わせが機能するか否かを確認することができ、仕様書作成をより容易にすることができる。なお、映像化の実行処理は、既存の映像化の処理技術を用いることで実施することが可能である。
【産業上の利用可能性】
【００４１】
本発明に係るシステム創出装置及びシステム創出方法は、新たなシステム（サービス）を開発する際に、既存のシステム（サービス）を組み合わせ、組み合わされた新たなシステム（サービス）が機能するかを事前に判断することができ、新たなシステム（サービス）の品質の向上及び開発コストの削減をすることができるため、車両に関する既存のシステムを用いて車両に関する新たなシステムを創出するシステム創出装置及びシステム創出方法などに有用である。
【図面の簡単な説明】
【００４２】
【図１】本発明の実施の形態に係る仕様支援装置の構成の一例を示す構成図である。
【図２】本発明の実施の形態における検査コードの一例を説明するための図である。
【図３】本発明の実施の形態における検査条件の一例について説明するための図である。
【図４】本発明の実施の形態におけるＬＴＬの一例を説明するための図である。
【図５】本発明の実施の形態における検査条件のＬＴＬ記述への変換の一例について説明するための図である。
【図６】本発明の実施の形態における生成される組み合わせモデルの一例について説明するための図である。
【図７】本発明の実施の形態における生成される組み合わせの一例を説明するための図である。
【図８】本発明の実施の形態における生成される組み合わせの処理シーケンスの一例を示すシーケンスチャートである。
【図９】本発明の実施の形態におけるシステム創出装置における処理フローの一例について説明するためのフローチャートである。
【図１０】本発明の実施の形態における生成された組み合わせが機能するか否かを視覚的に判断するためのアニメーション化について説明するための図である。
【符号の説明】
【００４３】
１０１  受付手段
１０２  取得手段
１０３  変換手段
１０４  検査手段
１０５  出力手段
１０６  検査コード格納手段
１０７  検査条件格納手段
１０８  画像生成手段
１０９  部品情報格納手段
【図１】
0004934623.tif 000002
【図２】
0004934623.tif 000003
【図３】
0004934623.tif 000004
【図４】
0004934623.tif 000005
【図５】
0004934623.tif 000006
【図６】
0004934623.tif 000007
【図７】
0004934623.tif 000008
【図８】
0004934623.tif 000009
【図９】
0004934623.tif 000010
【図１０】
0004934623.tif 000011