(57)【要約】      （修正有）【課題】全体シナリオに対応する差分シナリオによるシミュレーションを実行する場合に、全体の処理時間の悪化を防止することが可能なシミュレーション装置を提供する。【解決手段】入力された複数のシナリオで共通する部分シナリオを共通シナリオとすると共に、共通化を行わず、前記共通シナリオの開始時点から複数のシナリオ夫々によるシミュレーションを実行する第１の場合と、前記共通シナリオによるシミュレーションを複数のシナリオで共用し、前記共通シナリオの終了時点から複数のシナリオ夫々によるシミュレーションを実行する第２の場合のシミュレーション実行時間を含む処理時間を前もって比較する。第１の場合に比べて、第２の場合の処理時間が短くならない場合、共通化を解除し、前記共通シナリオの開始時点から複数のシナリオ夫々によるシミュレーションを実行する。【選択図】図３
2015215736.tif 000002
【特許請求の範囲】
【請求項１】
入力されたシナリオによるシミュレーションを実行するシミュレーション装置であって、
入力された複数のシナリオで共通する部分シナリオを共通シナリオとして共通化すると共に、前記共通化を行わず、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行する第１の場合と、前記共通シナリオによるシミュレーションを前記複数のシナリオで共用し、前記共通シナリオの終了時点から各前記複数のシナリオによるシミュレーションを実行する第２の場合のシミュレーション実行時間を含む処理時間を前もって比較し、前記第１の場合に比べて、前記第２の場合の前記処理時間が短くならない場合、前記共通化を解除し、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行することを特徴とする、
シミュレーション装置。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、シミュレーション装置に関する。
【背景技術】
【０００２】
従来、シミュレーション途中の任意の時点で本シナリオ（全体シナリオ）によるシミュレーションの実行を一時停止し、複数の試行シナリオ（部分シナリオ）によるシミュレーションを実行するシミュレーション装置が知られている（例えば、特許文献１）。当該シミュレーション装置では、着目する時点での複数の試行シナリオによるシミュレーション結果を事前に確認し、所望の試行シナリオで本シナリオの該当部分を差し替える。即ち、複数存在する全体シナリオのうち、共通する部分シナリオ（共通シナリオ）によるシミュレーションは、複数の全体シナリオで共用し、異なる部分シナリオ（差分シナリオ）によるシミュレーションのみを複数の全体シナリオ毎に行うので、期待する結果が得るまでの時間を短縮できる。
【先行技術文献】
【特許文献】
【０００３】
【特許文献１】特開２００８−０２７３５９号公報
【発明の概要】
【発明が解決しようとする課題】
【０００４】
しかしながら、共通シナリオと差分シナリオとの分割の仕方によっては、当該分割に付随するオーバーヘッド（例えば、分割された共通シナリオと差分シナリオのデータ保存等）に要する処理時間が増大する場合がある。すると、共通シナリオによるシミュレーションを複数の全体シナリオで共用することによる処理時間の短縮効果を上回って、かえって全体の処理時間を悪化させるおそれがある。
【０００５】
そこで、上記問題に鑑み、検証すべき複数の全体シナリオのそれぞれに共通する共通シナリオによるシミュレーションを各全体シナリオで共用し、共通シナリオの終了時点から各全体シナリオに対応する差分シナリオによるシミュレーションを実行する場合に、全体の処理時間の悪化を防止することが可能なシミュレーション装置を提供することを目的とする。
【課題を解決するための手段】
【０００６】
上記の問題を解決するため、一実施形態において、シミュレーション装置は、
入力されたシナリオによるシミュレーションを実行するシミュレーション装置であって、
入力された複数のシナリオで共通する部分シナリオを共通シナリオとして共通化すると共に、前記共通化を行わず、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行する第１の場合と、前記共通シナリオによるシミュレーションを前記複数のシナリオで共用し、前記共通シナリオの終了時点から各前記複数のシナリオによるシミュレーションを実行する第２の場合のシミュレーション実行時間を含む処理時間を前もって比較し、前記第１の場合に比べて、前記第２の場合の前記処理時間が短くならない場合、前記共通化を解除し、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行することを特徴とする。
【発明の効果】
【０００７】
上記実施形態により、検証すべき複数の全体シナリオのそれぞれに共通する共通シナリオによるシミュレーションを各全体シナリオで共用し、共通シナリオの終了時点から各全体シナリオに対応する差分シナリオによるシミュレーションを実行する場合に、全体の処理時間の悪化を防止することが可能なシミュレーション装置を提供することができる。
【図面の簡単な説明】
【０００８】
【図１】本実施形態に係るシミュレーション装置の構成の一例を示す概略構成図である。
【図２】シナリオ分割部による検証シナリオの分割処理（共通シナリオと差分シナリオに分割する処理）の一例を示すフローチャートである。
【図３】シナリオ分割部による検証シナリオを共通シナリオと差分シナリオに分割する手法を説明する図である。
【図４】本実施形態に係るシミュレーション装置によるシミュレーション実行処理の一例を示すフローチャートである。
【発明を実施するための形態】
【０００９】
以下、図面を参照して発明を実施するための形態について説明する。
【００１０】
図１は、本実施形態に係るシミュレーション装置１００の構成の一例を示す概略構成図である。シミュレーション装置１００は、入力された検証シナリオによるシミュレーションを実行し、検証結果（シミュレーション結果）を出力する。また、シミュレーション装置１００は、複数の検証シナリオが入力された場合、各検証シナリオによるシミュレーションを実行し、各検証シナリオに対応する検証結果を出力する。以下、シミュレーション装置１００には、複数の検証シナリオが入力されることを前提に説明を行う。
【００１１】
シミュレーション装置１００は、シナリオ分割部３０、分割シミュレーション実行管理部４０、仮想マシン５０、仮想マシン格納部６０等を含み、これらは、コンピュータ２０に実装されている。
【００１２】
なお、コンピュータ２０は、複数のコンピュータであってもよい。即ち、シミュレーション装置１００に含まれる各機能は、複数のコンピュータに跨って、実装されてよい。
【００１３】
シナリオ分割部３０は、入力された複数の検証シナリオを、各検証シナリオに共通する部分シナリオである共通シナリオと、各検証シナリオで異なる部分シナリオである差分シナリオとに分割する。なお、共通シナリオは、入力された全ての検証シナリオに共通した部分シナリオである必要はなく、入力された複数の検証シナリオのうち、少なくとも２つの検証シナリオに共通する部分シナリオが共通シナリオとして分割される場合がある。シナリオ分割部３０は、実行計画ＥＰとして、生成した共通シナリオ、差分シナリオ、及び共通シナリオ、差分シナリオの組み合わせを含むシミュレーション実行順序等を分割シミュレーション実行管理部４０に出力する。シナリオ分割部３０による検証シナリオの分割処理の詳細については、後述する。
【００１４】
分割シミュレーション実行管理部４０は、シナリオ分割部３０から入力される実行計画に基づいて、シミュレーションの実行を管理する。
【００１５】
ここで、シミュレーション装置１００によるシミュレーションの実行手順について、簡単に説明をする。
【００１６】
上述したとおり、各検証シナリオは、共通シナリオと差分シナリオに分割される。そのため、各検証シナリオに対応する共通シナリオによるシミュレーションの終了時点から各検証シナリオに対応する差分シナリオによるシミュレーションを実行することで、各検証シナリオによる検証結果を得ることができる。
【００１７】
即ち、共通シナリオによるシミュレーションは、終了時点で、一時停止され、当該共通シナリオを共用する各検証シナリオに対応する差分シナリオによるシミュレーションが一時停止された時点から再開される。そして、各差分シナリオによるシミュレーション結果が対応する各検証シナリオによるシミュレーション結果として出力される。
【００１８】
なお、上述したとおり、共通シナリオは、入力された全ての検証シナリオに共通した部分シナリオである必要はないため、検証シナリオが複数の共通シナリオと１つの差分シナリオとの組み合わせで構成される場合もある。例えば、５つの検証シナリオが入力された場合、時系列に沿って、５つの検証シナリオに共通する共通シナリオ、４つの検証シナリオに共通する共通シナリオ、及び、差分シナリオの組み合わせで、検証シナリオが構成される可能性がある。
【００１９】
本実施形態では、後述するように、仮想マシン５０内にシミュレーションを実行するシミュレータ５１が実装されており、シミュレータ５１を一時停止させた状態の仮想マシン５０を仮想マシン格納部６０に保存する。即ち、共通シナリオによるシミュレーションの終了時点でシミュレータ５１を一時停止させ、シミュレータ５１を一時停止させた状態の仮想マシン５０を仮想マシン格納部６０に保存する。そして、当該共通シナリオの終了時点から共通シナリオ又は差分シナリオによるシミュレーションを再開させる場合は、仮想マシン格納部６０から対応する保存状態の仮想マシン５０ｓを仮想マシン５０にロードして、シミュレーションを再開させる。
【００２０】
分割シミュレーション実行管理部４０は、上述した実行手順に沿って、シミュレーションを実行するため、仮想マシン５０内のシミュレータ５１によるシミュレーションの実行を管理する。具体的には、シミュレーション動作指示（シミュレーションを実行させる指示）、パラメータ変更指示（シナリオに沿って、時系列パラメータを変更する指示）、途中保存指示（シミュレータ５１を一時停止させ、仮想マシン５０を仮想マシン格納部６０に保存させる指示）を含む実行指示ＥＩを仮想マシン５０内のシミュレータ実行管理部５２に出力する。
【００２１】
また、分割シミュレーション実行管理部４０は、共通シナリオの終了時点からシミュレーションを再開させるため、仮想マシン格納部６０に環境準備指令ＰＣを出力する。即ち、シミュレータ５１に実行させるシナリオ（共通シナリオ又は差分シナリオ）対応する保存状態の仮想マシン５０ｓを仮想マシン５０にロードさせるため、仮想マシン格納部６０に環境準備指令ＰＣを出力する。
【００２２】
仮想マシン５０は、具体的にシミュレーションを実行するシミュレータ５１、シミュレータ５１によるシミュレーションの実行を直接管理するシミュレータ実行管理部５２を含む。
【００２３】
シミュレータ５１は、具体的にシミュレーションを実行するシミュレーション実行手段であり、検査モデル５１ａ、外部入力モデル５１ｂ、及び、時系列パラメータ５１ｃを含む。なお、検査モデル５１ａは、制御対象のプラントモデル、及び、制御対象を制御するコントローラモデルを含む。例えば、入力されたシナリオに沿って、コントローラモデルに関する（複数の）時系列パラメータ５１ｃを変化させた場合に、外部入力モデル５１ｂに対応する外部入力に対する制御対象の挙動がどのようになるかをシミュレーションすることができる。
【００２４】
なお、本実施形態における「シナリオ」とは、シミュレータにおける時系列パラメータ５１ｃの各時刻における値と時間経過に対するその値の変化のさせ方に対応する。
【００２５】
シミュレータ実行管理部５２は、分割シミュレーション実行管理部４０からの実行指示ＥＩに基づき、シミュレータ５１によるシミュレーションの実行を直接管理する。具体的には、実行指示ＥＩに含まれるシミュレーション動作指示に基づき、シミュレータ５１にシミュレーションを実行させる。また、実行指示ＥＩに含まれるパラメータ変更指示に基づき、シミュレータ５１によるシミュレーションにおける時間経過に沿って、時系列パラメータ５１ｃを変更させる。また、実行指示ＥＩに含まれる途中保存指示に基づき、シミュレータ５１を一時停止させ、シミュレータ５１が一時停止された状態の仮想マシン５０を仮想マシン格納部６０に保存させる。なお、仮想マシン５０を仮想マシン格納部６０に保存させる際は、仮想マシン５０と対応する共通シナリオ（対応シナリオ）とを紐付けた状態で行う。
【００２６】
なお、仮想マシン５０は、複数のシミュレータを含んでもよい。即ち、シミュレータ実行管理部５２は、複数のシミュレータによる連成シミュレーションを実行させて、入力された複数の検証シナリオによるシミュレーション結果を出力させてもよい。
【００２７】
仮想マシン格納部６０は、シミュレータ５１が一時停止された状態の仮想マシン５０ｓがデータベース形式で保存される記憶手段である。上述したとおり、仮想マシン格納部６０には、共通シナリオによるシミュレーションの終了時点で一時停止されたシミュレータ５１を含む複数の仮想マシン５０ｓが当該共通シナリオ（対応シナリオ）と紐づけられて保存される。保存状態の仮想マシン５０ｓを仮想マシン５０にロードする際に、シミュレータ５１がどの共通シナリオによるシミュレーションの終了時点で一時停止になっているかを判別することができるようにするためである。
【００２８】
また、仮想マシン格納部６０は、分割シミュレーション実行管理部４０からの環境準備指令ＰＣに基づき、シミュレータ５１に実行させるシナリオに対応する一時停止されたシミュレータ５１を含む保存状態の仮想マシン５０ｓを仮想マシン５０にロードする。
【００２９】
なお、仮想マシン格納部６０を用いず、例えば、所定のソフトウェアにより仮想マシン５０の保存と保存状態の仮想マシン５０の管理が行われてもよい。
【００３０】
次に、シナリオ分割部３０による検証シナリオの分割処理（共通シナリオと差分シナリオに分割する処理）について、具体的に説明をする。
【００３１】
図２は、検証シナリオの分割処理（共通シナリオと差分シナリオに分割する処理）の一例を示すフローチャートである。図３は、シナリオ分割部３０による検証シナリオを共通シナリオと差分シナリオに分割する手法を説明する図である。以下、図２及び図３を対応させながら、交互に参照して、検証シナリオの分割処理について説明をする。
【００３２】
なお、図３では、第１シナリオ、第２シナリオ、第３シナリオの３つの検証シナリオがシナリオ分割部３０に入力された場合の検証シナリオの分割手法の例が示されている。また、図３では、時系列パラメータ５１ｃとして、パラメータＰ１〜Ｐ４の４つが各時刻毎に設定される。
【００３３】
＜１．シナリオマップの作成＞
図２を参照するに、シナリオ分割部３０にシミュレーション装置１００により検証される複数の検証シナリオが入力されると、ステップＳ１０１では、シナリオマップの作成を行う。
具体的には、図３に示すように、シミュレーションにおける時刻Ｔに対して、パラメータＰ１〜Ｐ４を対応させた表形式で、各検証シナリオ（第１〜第３シナリオ）に対応するシナリオマップＭ１〜Ｍ３が作成される。
なお、図３では、パラメータＰ１〜Ｐ４を変更可能な時刻として、時刻Ｔ＝０、０．１、０．５、０．７、０．８の５つの時刻が設定されており、各検証シナリオにおける当該時刻の設定（時刻の分割の仕方）は、全ての検証シナリオ（第１〜第３シナリオ）で共通である。また、各シナリオマップＭ１〜Ｍ３内の数値の絶対値に特定の意味はない。
【００３４】
＜２．シナリオ構造木の作成＞
図２を参照するに、ステップＳ１０２では、シナリオ構造木の作成を行う。
【００３５】
＜２−１．木構造化＞
具体的には、図３に示すように、まず、各時刻を個別の部分シナリオ（個別シナリオ）として、木構造化する。より具体的には、シナリオマップＭ１（第１シナリオ）に対応して、時刻Ｔが早い（小さい）方から５つの時刻Ｔ（＝０、０．１、０．５、０．７、０．８）における個別シナリオ１〜５からなる構造木Ｔ１が作成される。また、シナリオマップＭ２（第２シナリオ）に対応して、時刻Ｔが早い（小さい）方から５つの時刻Ｔにおける個別シナリオ６〜１０からなる構造木Ｔ２が作成される。また、シナリオマップＭ３（第３シナリオ）に対応して、時刻Ｔが早い（小さい）方から５つの時刻Ｔにおける個別シナリオ１１〜１５からなる構造木Ｔ３が作成される。なお、各個別シナリオ１〜１５は、対応する時刻ＴにおけるパラメータＰ１〜Ｐ４の値を意味している。
【００３６】
＜２−２．共通部分のグループ化＞
次に、各検証シナリオに対応する構造木において、時刻Ｔ＝０から順に同一時刻おける個別シナリオ（パラメータＰ１〜Ｐ４）が共通するものを探し、グループ化する。図３に示すように、時刻Ｔ＝０における個別シナリオ１、６、及び、１１を比較すると、パラメータＰ１〜Ｐ４の値が全て一致しているので、第１〜第３シナリオに共通する共通シナリオＡとしてグループ化する。また、時刻Ｔ＝０．１、０．５、及び、０．７における個別シナリオ７〜９と個別シナリオ１２〜１４とを比較すると、パラメータＰ１〜Ｐ４の値が全て一致しているので、第２、第３シナリオに共通する共通シナリオＢとしてグループ化する。結果として、第１シナリオの構造木Ｔ１は、共通シナリオＡ、個別シナリオ２、３、４、５の順で構成される。また、第２シナリオの構造木Ｔ２は、共通シナリオＡ、共通シナリオＢ、個別シナリオ１０の順で構成される。また、第３シナリオの構造木Ｔ３は、共通シナリオＡ、共通シナリオＢ、個別シナリオ１５の順で構成される。
【００３７】
＜２−３．各構造木の合成＞
次に、各構造木Ｔ１〜Ｔ３の合成を行い、シナリオ構造木ＴＣを生成する。図３に示すように、共通シナリオＡが第１〜第３シナリオで共通するので、共通シナリオＡを基点として、第１シナリオに対応する個別シナリオ２〜５と第２、第３シナリオに対応する共通シナリオＢに分枝する木構造にする。また、共通シナリオＢが第２、第３シナリオで共通するので、共通シナリオＢを基点として、第２シナリオに対応する個別シナリオ１０と第３シナリオに対応する個別シナリオ１５とに分枝する木構造にする。また、連続する個別シナリオ２〜５は、グループ化し、差分シナリオ２−５にする。
【００３８】
＜３．シナリオ構造木の最適化＞
図２を参照するに、ステップＳ１０３では、シナリオ構造木の最適化を行う。
【００３９】
具体的には、シナリオ構造木ＴＣに含まれる各共通シナリオによる効果（共通シナリオを複数の検証シナリオで共用することによる処理時間の短縮効果）の有無を判定する。そして、効果がない場合、共通化を解除し、各検証シナリオに対応する差分シナリオに分解する。
【００４０】
共通シナリオによる効果の有無を判定するための判定式ｆは、以下のように表される。
【００４１】
ｆ＝Ｎ・Ｔｃｏｍ−Ｔｃｏｍ−Ｎ・Ｔｏｖｅｒ
なお、Ｎは、共通シナリオを共用する検証シナリオの数、Ｔｃｏｍは、共通シナリオによるシミュレーション実行時間、及び、Ｔｏｖｅｒは、共通シナリオと各検証シナリオに対応する差分シナリオとを分割して実行することに付随するオーバーヘッド時間を示す。
【００４２】
判定式ｆは、共通シナリオを複数の検証シナリオで共用することにより削減されるシミュレーション実行時間から各検証シナリオに対応する差分シナリオを共通シナリオと分割して実行することに付随するオーバーヘッド時間を減じたものである。よって、判定式ｆ＞０であれば、共通シナリオによる効果があると判定され、判定式ｆ≦０であれば、共通シナリオによる効果がないと判定される。
【００４３】
換言すれば、共通シナリオの開始時点から各検証シナリオによるシミュレーションを実行する場合に比べて、共通シナリオによるシミュレーションを各検証シナリオで共用し、共通シナリオの終了時点から各検証シナリオによるシミュレーションを実行する場合の処理時間が短くなるか否かを前もって判定している。そして、効果がなく、処理時間が短くならない場合、共通化を解除し、共通シナリオの開始時点から各検証シナリオによるシミュレーションを実行する。
【００４４】
図３に示すように、本例では、共通シナリオＡによる効果はあると判定されているが、共通シナリオＢによる効果はないと判定されており、共通化が解除され、第２、第３シナリオそれぞれに対応する差分シナリオに分解されている。なお、図３では、第２シナリオに対応する分解された差分シナリオ（個別シナリオ７〜９）と個別シナリオ１０とがグループ化され、差分シナリオ７−１０として示されている。また、第３シナリオに対応する分解された差分シナリオ（個別シナリオ１２〜１４）と個別シナリオ１５とがグループ化され、差分シナリオ１２−１５として示されている。
【００４５】
このようにして、シナリオ構造木ＴＣの最適化がなされ、共通シナリオＡを基点に、第１シナリオに対応する差分シナリオ２−５、第２シナリオに対応する差分シナリオ７−１０、及び、第３シナリオに対応する差分シナリオ１２−１５が繋がる最適化されたシナリオ構造木ＴＣｏｐｔが生成される。
＜４．実行計画の作成＞
図２を参照するに、ステップＳ１０４では、最適化されたシナリオ構造木に基づき、実行計画を作成する。
【００４６】
図３を例にすると、実行計画として、共通シナリオＡ、差分シナリオ２−５、７−１０、１２−１５、及び、これらの組み合わせによるシミュレーション実行順序等を作成する。作成された実行計画は、上述したとおり、分割シミュレーション実行管理部４０に出力される。
【００４７】
次に、本実施形態に係るシミュレーション装置１００によるシミュレーション実行処理について説明をする。
【００４８】
図４は、本実施形態に係るシミュレーション装置１００によるシミュレーション実行処理の一例を示すフローチャートである。具体的には、分割シミュレーション実行管理部４０が、シナリオ分割部３０から入力された実行計画に沿って、共通シナリオ又は差分シナリオによるシミュレーションをシミュレータ５１に実行させる際のシミュレーション装置１００全体の動作を示している。
【００４９】
ステップＳ２０１では、分割シミュレーション実行管理部４０からの環境準備指令ＰＣに応じて、対象となるシナリオ（共通シナリオ又は差分シナリオ）に対応する保存状態の仮想マシン５０ｓが仮想マシン格納部６０から仮想マシン５０にロードされる。但し、一番最初のシナリオによるシミュレーションを実行する際には、対応する仮想マシン５０ｓは存在しないため、本ステップはスキップされる。
【００５０】
ステップＳ２０２では、分割シミュレーション実行管理部４０が、ロードされた仮想マシン５０上のシミュレータ実行管理部５２へ実行指示（シミュレーション動作指示、パラメータ変更指示、途中保存指示）を送信する。
【００５１】
ステップＳ２０３では、分割シミュレーション実行管理部４０からの実行指示に応じて、シミュレータ実行管理部５２が、対象となるシナリオに沿って、時系列パラメータ５１ｃを変更させつつ、シミュレータ５１に設定時間までシミュレーションを実行させる。
【００５２】
ステップＳ２０４では、対象となるシナリオが共通シナリオであるのか、差分シナリオであるのかが判定される。
【００５３】
対象となるシナリオが共通シナリオの場合、分割シミュレーション実行管理部４０からの実行指示（途中保存指示）に応じて、シミュレータ実行管理部５２がシミュレータ５１を一時停止状態にして、仮想マシン５０を仮想マシン格納部６０に保存させて、今回の処理を終了する。この際、仮想マシン５０は、当該共通シナリオ（対応シナリオ）と紐づけられた状態で仮想マシン格納部６０に保存される。
【００５４】
一方、対象となるシナリオが差分シナリオの場合、当該差分シナリオに対応する検証シナリオによるシミュレーションの終了を意味するので、シミュレータ実行管理部５２は、シミュレータ５１から検証結果を出力させて、今回の処理を終了する。
【００５５】
次に、本実施形態に係るシミュレーション装置１００の作用について説明をする。
【００５６】
本実施形態に係るシミュレーション装置１００は、複数の検証シナリオで共通する部分シナリオを共通シナリオとして共通化すると共に、共通シナリオによる効果の有無を前もって判定し、効果がない場合、各検証シナリオに対応する差分シナリオに分解する。
【００５７】
具体的には、共通シナリオの開始時点から各検証シナリオによるシミュレーションを実行する場合に比べて、共通シナリオによるシミュレーションを各検証シナリオで共用し、共通シナリオの終了時点から各検証シナリオによるシミュレーションを実行する場合の処理時間が短くなるか否かを判定する。処理時間が短くならない場合、共通シナリオの共通化を解除し、各検証シナリオに対応する差分シナリオに分解し、当該共通シナリオの開始時点から各検証シナリオ（に対応する差分シナリオ）によるシミュレーションを実行する。これにより、各検証シナリオに共通シナリオが存在しても、検証シナリオの分割に付随するオーバーヘッド時間の増大等に起因して、処理時間が悪化する場合には、検証シナリオ毎にシミュレーションが実行されるので、処理時間の悪化を抑制することができる。
【００５８】
また、本実施形態に係るシミュレーション装置１００は、仮想マシン５０上のシミュレータ５１を一時停止させ、仮想マシン５０を仮想マシン格納部６０に保存する。また、仮想マシン格納部６０に保存された仮想マシン５０ｓを仮想マシン５０にロードし、シミュレータ５１が一時停止された時点からシミュレーションを再開させることができる。これにより、シミュレータ５１に途中保存機能が存在するか否か、即ち、シミュレータ５１の機能に依存することなく、複数の検証シナリオを共通シナリオと差分シナリオとに分割して、シミュレーションを実行することができる。そのため、シミュレータ５１の機能に依存することなく、複数の検証シナリオによるシミュレーションに要する処理時間を短縮することが可能となる。
【００５９】
以上、本発明を実施するための形態について詳述したが、本発明はかかる特定の実施形態に限定されるものではなく、特許請求の範囲に記載された本発明の要旨の範囲内において、種々の変形・変更が可能である。
【符号の説明】
【００６０】
１〜１５  個別シナリオ
２−５、７−１０、１１−１５  差分シナリオ
２０  コンピュータ
３０  シナリオ分割部
４０  分割シミュレーション実行管理部
５０、５０ｓ  仮想マシン
５１  シミュレータ
５１ａ  検査モデル
５１ｂ  外部入力モデル
５１ｃ  時系列パラメータ
５２  シミュレータ実行管理部
６０  仮想マシン格納部
１００  シミュレーション装置
Ａ、Ｂ  共通シナリオ
ＥＩ  実行指示
ＥＰ  実行計画
ＰＣ  環境準備指令
【図１】
2015215736.tif 000003
【図２】
2015215736.tif 000004
【図３】
2015215736.tif 000005
【図４】
2015215736.tif 000006