JP6260445B2 - Simulation device - Google Patents
Simulation device Download PDFInfo
- Publication number
- JP6260445B2 JP6260445B2 JP2014097813A JP2014097813A JP6260445B2 JP 6260445 B2 JP6260445 B2 JP 6260445B2 JP 2014097813 A JP2014097813 A JP 2014097813A JP 2014097813 A JP2014097813 A JP 2014097813A JP 6260445 B2 JP6260445 B2 JP 6260445B2
- Authority
- JP
- Japan
- Prior art keywords
- scenario
- simulation
- common
- scenarios
- verification
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Description
本発明は、シミュレーション装置に関する。 The present invention relates to a simulation apparatus.
従来、シミュレーション途中の任意の時点で本シナリオ(全体シナリオ)によるシミュレーションの実行を一時停止し、複数の試行シナリオ(部分シナリオ)によるシミュレーションを実行するシミュレーション装置が知られている(例えば、特許文献1)。当該シミュレーション装置では、着目する時点での複数の試行シナリオによるシミュレーション結果を事前に確認し、所望の試行シナリオで本シナリオの該当部分を差し替える。即ち、複数存在する全体シナリオのうち、共通する部分シナリオ(共通シナリオ)によるシミュレーションは、複数の全体シナリオで共用し、異なる部分シナリオ(差分シナリオ)によるシミュレーションのみを複数の全体シナリオ毎に行うので、期待する結果が得るまでの時間を短縮できる。 2. Description of the Related Art Conventionally, there is known a simulation device that temporarily stops execution of a simulation according to the present scenario (whole scenario) at an arbitrary point in the middle of the simulation and executes a simulation according to a plurality of trial scenarios (partial scenarios) (for example, Patent Document 1) ). In the simulation apparatus, the simulation result by a plurality of trial scenarios at the time of interest is confirmed in advance, and the corresponding part of the scenario is replaced with a desired trial scenario. In other words, among the multiple existing scenarios, the simulation with the common partial scenario (common scenario) is shared by the multiple entire scenarios, and only the simulation with different partial scenarios (difference scenarios) is performed for each of the multiple entire scenarios. The time required to obtain the expected result can be shortened.
しかしながら、共通シナリオと差分シナリオとの分割の仕方によっては、当該分割に付随するオーバーヘッド(例えば、分割された共通シナリオと差分シナリオのデータ保存等)に要する処理時間が増大する場合がある。すると、共通シナリオによるシミュレーションを複数の全体シナリオで共用することによる処理時間の短縮効果を上回って、かえって全体の処理時間を悪化させるおそれがある。 However, depending on how the common scenario and the difference scenario are divided, the processing time required for the overhead accompanying the division (for example, data storage of the divided common scenario and difference scenario) may increase. Then, there is a possibility that the overall processing time may be worsened by exceeding the effect of shortening the processing time by sharing the simulation based on the common scenario among a plurality of overall scenarios.
そこで、上記問題に鑑み、検証すべき複数の全体シナリオのそれぞれに共通する共通シナリオによるシミュレーションを各全体シナリオで共用し、共通シナリオの終了時点から各全体シナリオに対応する差分シナリオによるシミュレーションを実行する場合に、全体の処理時間の悪化を防止することが可能なシミュレーション装置を提供することを目的とする。 Therefore, in view of the above problems, a simulation using a common scenario that is common to each of a plurality of overall scenarios to be verified is shared by each overall scenario, and a simulation using a differential scenario corresponding to each overall scenario is executed from the end of the common scenario. In this case, an object of the present invention is to provide a simulation apparatus capable of preventing deterioration of the entire processing time.
上記の問題を解決するため、一実施形態において、シミュレーション装置は、
入力されたシナリオによるシミュレーションを実行するシミュレーション装置であって、
入力された複数のシナリオで共通する部分シナリオを共通シナリオとして共通化すると共に、前記共通化を行わず、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行する第1の場合と、前記共通シナリオによるシミュレーションを前記複数のシナリオで共用し、前記共通シナリオの終了時点から各前記複数のシナリオによるシミュレーションを実行する第2の場合のシミュレーション実行時間を含む処理時間を前もって比較し、前記第1の場合に比べて、前記第2の場合の前記処理時間が短くならない場合、前記共通化を解除し、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行することを特徴とする。
In order to solve the above problem, in one embodiment, a simulation apparatus includes:
A simulation device for executing a simulation according to an input scenario,
A first case in which a partial scenario shared by a plurality of input scenarios is shared as a common scenario, and the simulation is performed by each of the plurality of scenarios from the start point of the common scenario without performing the sharing; The simulation by the common scenario is shared by the plurality of scenarios, and the processing time including the simulation execution time in the second case of executing the simulation by the plurality of scenarios from the end point of the common scenario is compared in advance. When the processing time in the second case is not shortened compared to the case of 1, the commonization is canceled, and the simulation with each of the plurality of scenarios is executed from the start point of the common scenario. .
上記実施形態により、検証すべき複数の全体シナリオのそれぞれに共通する共通シナリオによるシミュレーションを各全体シナリオで共用し、共通シナリオの終了時点から各全体シナリオに対応する差分シナリオによるシミュレーションを実行する場合に、全体の処理時間の悪化を防止することが可能なシミュレーション装置を提供することができる。 According to the above embodiment, when a simulation by a common scenario common to each of a plurality of overall scenarios to be verified is shared by each overall scenario, and a simulation by a differential scenario corresponding to each overall scenario is executed from the end of the common scenario In addition, it is possible to provide a simulation apparatus capable of preventing deterioration of the entire processing time.
以下、図面を参照して発明を実施するための形態について説明する。 Hereinafter, embodiments for carrying out the invention will be described with reference to the drawings.
図1は、本実施形態に係るシミュレーション装置100の構成の一例を示す概略構成図である。シミュレーション装置100は、入力された検証シナリオによるシミュレーションを実行し、検証結果(シミュレーション結果)を出力する。また、シミュレーション装置100は、複数の検証シナリオが入力された場合、各検証シナリオによるシミュレーションを実行し、各検証シナリオに対応する検証結果を出力する。以下、シミュレーション装置100には、複数の検証シナリオが入力されることを前提に説明を行う。
FIG. 1 is a schematic configuration diagram illustrating an example of a configuration of a
シミュレーション装置100は、シナリオ分割部30、分割シミュレーション実行管理部40、仮想マシン50、仮想マシン格納部60等を含み、これらは、コンピュータ20に実装されている。
The
なお、コンピュータ20は、複数のコンピュータであってもよい。即ち、シミュレーション装置100に含まれる各機能は、複数のコンピュータに跨って、実装されてよい。
The
シナリオ分割部30は、入力された複数の検証シナリオを、各検証シナリオに共通する部分シナリオである共通シナリオと、各検証シナリオで異なる部分シナリオである差分シナリオとに分割する。なお、共通シナリオは、入力された全ての検証シナリオに共通した部分シナリオである必要はなく、入力された複数の検証シナリオのうち、少なくとも2つの検証シナリオに共通する部分シナリオが共通シナリオとして分割される場合がある。シナリオ分割部30は、実行計画EPとして、生成した共通シナリオ、差分シナリオ、及び共通シナリオ、差分シナリオの組み合わせを含むシミュレーション実行順序等を分割シミュレーション実行管理部40に出力する。シナリオ分割部30による検証シナリオの分割処理の詳細については、後述する。
The
分割シミュレーション実行管理部40は、シナリオ分割部30から入力される実行計画に基づいて、シミュレーションの実行を管理する。
The division simulation
ここで、シミュレーション装置100によるシミュレーションの実行手順について、簡単に説明をする。
Here, a simulation execution procedure by the
上述したとおり、各検証シナリオは、共通シナリオと差分シナリオに分割される。そのため、各検証シナリオに対応する共通シナリオによるシミュレーションの終了時点から各検証シナリオに対応する差分シナリオによるシミュレーションを実行することで、各検証シナリオによる検証結果を得ることができる。 As described above, each verification scenario is divided into a common scenario and a difference scenario. Therefore, the verification result by each verification scenario can be obtained by executing the simulation by the differential scenario corresponding to each verification scenario from the end of the simulation by the common scenario corresponding to each verification scenario.
即ち、共通シナリオによるシミュレーションは、終了時点で、一時停止され、当該共通シナリオを共用する各検証シナリオに対応する差分シナリオによるシミュレーションが一時停止された時点から再開される。そして、各差分シナリオによるシミュレーション結果が対応する各検証シナリオによるシミュレーション結果として出力される。 That is, the simulation based on the common scenario is paused at the end time, and resumed from the time when the simulation based on the differential scenario corresponding to each verification scenario sharing the common scenario is paused. And the simulation result by each difference scenario is output as the simulation result by each verification scenario corresponding.
なお、上述したとおり、共通シナリオは、入力された全ての検証シナリオに共通した部分シナリオである必要はないため、検証シナリオが複数の共通シナリオと1つの差分シナリオとの組み合わせで構成される場合もある。例えば、5つの検証シナリオが入力された場合、時系列に沿って、5つの検証シナリオに共通する共通シナリオ、4つの検証シナリオに共通する共通シナリオ、及び、差分シナリオの組み合わせで、検証シナリオが構成される可能性がある。 As described above, the common scenario does not have to be a partial scenario common to all input verification scenarios, so the verification scenario may be composed of a combination of multiple common scenarios and one differential scenario. is there. For example, when five verification scenarios are input, the verification scenario is composed of a combination of a common scenario common to the five verification scenarios, a common scenario common to the four verification scenarios, and a difference scenario in time series. There is a possibility that.
本実施形態では、後述するように、仮想マシン50内にシミュレーションを実行するシミュレータ51が実装されており、シミュレータ51を一時停止させた状態の仮想マシン50を仮想マシン格納部60に保存する。即ち、共通シナリオによるシミュレーションの終了時点でシミュレータ51を一時停止させ、シミュレータ51を一時停止させた状態の仮想マシン50を仮想マシン格納部60に保存する。そして、当該共通シナリオの終了時点から共通シナリオ又は差分シナリオによるシミュレーションを再開させる場合は、仮想マシン格納部60から対応する保存状態の仮想マシン50sを仮想マシン50にロードして、シミュレーションを再開させる。
In the present embodiment, as will be described later, a simulator 51 that executes simulation is mounted in the
分割シミュレーション実行管理部40は、上述した実行手順に沿って、シミュレーションを実行するため、仮想マシン50内のシミュレータ51によるシミュレーションの実行を管理する。具体的には、シミュレーション動作指示(シミュレーションを実行させる指示)、パラメータ変更指示(シナリオに沿って、時系列パラメータを変更する指示)、途中保存指示(シミュレータ51を一時停止させ、仮想マシン50を仮想マシン格納部60に保存させる指示)を含む実行指示EIを仮想マシン50内のシミュレータ実行管理部52に出力する。
The divided simulation
また、分割シミュレーション実行管理部40は、共通シナリオの終了時点からシミュレーションを再開させるため、仮想マシン格納部60に環境準備指令PCを出力する。即ち、シミュレータ51に実行させるシナリオ(共通シナリオ又は差分シナリオ)対応する保存状態の仮想マシン50sを仮想マシン50にロードさせるため、仮想マシン格納部60に環境準備指令PCを出力する。
Further, the divided simulation
仮想マシン50は、具体的にシミュレーションを実行するシミュレータ51、シミュレータ51によるシミュレーションの実行を直接管理するシミュレータ実行管理部52を含む。
The
シミュレータ51は、具体的にシミュレーションを実行するシミュレーション実行手段であり、検査モデル51a、外部入力モデル51b、及び、時系列パラメータ51cを含む。なお、検査モデル51aは、制御対象のプラントモデル、及び、制御対象を制御するコントローラモデルを含む。例えば、入力されたシナリオに沿って、コントローラモデルに関する(複数の)時系列パラメータ51cを変化させた場合に、外部入力モデル51bに対応する外部入力に対する制御対象の挙動がどのようになるかをシミュレーションすることができる。
The simulator 51 is a simulation execution unit that specifically executes a simulation, and includes an
なお、本実施形態における「シナリオ」とは、シミュレータにおける時系列パラメータ51cの各時刻における値と時間経過に対するその値の変化のさせ方に対応する。
The “scenario” in the present embodiment corresponds to the value of each
シミュレータ実行管理部52は、分割シミュレーション実行管理部40からの実行指示EIに基づき、シミュレータ51によるシミュレーションの実行を直接管理する。具体的には、実行指示EIに含まれるシミュレーション動作指示に基づき、シミュレータ51にシミュレーションを実行させる。また、実行指示EIに含まれるパラメータ変更指示に基づき、シミュレータ51によるシミュレーションにおける時間経過に沿って、時系列パラメータ51cを変更させる。また、実行指示EIに含まれる途中保存指示に基づき、シミュレータ51を一時停止させ、シミュレータ51が一時停止された状態の仮想マシン50を仮想マシン格納部60に保存させる。なお、仮想マシン50を仮想マシン格納部60に保存させる際は、仮想マシン50と対応する共通シナリオ(対応シナリオ)とを紐付けた状態で行う。
The simulator
なお、仮想マシン50は、複数のシミュレータを含んでもよい。即ち、シミュレータ実行管理部52は、複数のシミュレータによる連成シミュレーションを実行させて、入力された複数の検証シナリオによるシミュレーション結果を出力させてもよい。
The
仮想マシン格納部60は、シミュレータ51が一時停止された状態の仮想マシン50sがデータベース形式で保存される記憶手段である。上述したとおり、仮想マシン格納部60には、共通シナリオによるシミュレーションの終了時点で一時停止されたシミュレータ51を含む複数の仮想マシン50sが当該共通シナリオ(対応シナリオ)と紐づけられて保存される。保存状態の仮想マシン50sを仮想マシン50にロードする際に、シミュレータ51がどの共通シナリオによるシミュレーションの終了時点で一時停止になっているかを判別することができるようにするためである。
The virtual
また、仮想マシン格納部60は、分割シミュレーション実行管理部40からの環境準備指令PCに基づき、シミュレータ51に実行させるシナリオに対応する一時停止されたシミュレータ51を含む保存状態の仮想マシン50sを仮想マシン50にロードする。
In addition, the virtual
なお、仮想マシン格納部60を用いず、例えば、所定のソフトウェアにより仮想マシン50の保存と保存状態の仮想マシン50の管理が行われてもよい。
Instead of using the virtual
次に、シナリオ分割部30による検証シナリオの分割処理(共通シナリオと差分シナリオに分割する処理)について、具体的に説明をする。
Next, verification scenario splitting processing (processing for splitting into a common scenario and a differential scenario) by the
図2は、検証シナリオの分割処理(共通シナリオと差分シナリオに分割する処理)の一例を示すフローチャートである。図3は、シナリオ分割部30による検証シナリオを共通シナリオと差分シナリオに分割する手法を説明する図である。以下、図2及び図3を対応させながら、交互に参照して、検証シナリオの分割処理について説明をする。
FIG. 2 is a flowchart illustrating an example of verification scenario division processing (processing to divide into a common scenario and a difference scenario). FIG. 3 is a diagram for explaining a method of dividing the verification scenario by the
なお、図3では、第1シナリオ、第2シナリオ、第3シナリオの3つの検証シナリオがシナリオ分割部30に入力された場合の検証シナリオの分割手法の例が示されている。また、図3では、時系列パラメータ51cとして、パラメータP1〜P4の4つが各時刻毎に設定される。
FIG. 3 shows an example of a verification scenario dividing method when three verification scenarios of the first scenario, the second scenario, and the third scenario are input to the
<1.シナリオマップの作成>
図2を参照するに、シナリオ分割部30にシミュレーション装置100により検証される複数の検証シナリオが入力されると、ステップS101では、シナリオマップの作成を行う。
具体的には、図3に示すように、シミュレーションにおける時刻Tに対して、パラメータP1〜P4を対応させた表形式で、各検証シナリオ(第1〜第3シナリオ)に対応するシナリオマップM1〜M3が作成される。
なお、図3では、パラメータP1〜P4を変更可能な時刻として、時刻T=0、0.1、0.5、0.7、0.8の5つの時刻が設定されており、各検証シナリオにおける当該時刻の設定(時刻の分割の仕方)は、全ての検証シナリオ(第1〜第3シナリオ)で共通である。また、各シナリオマップM1〜M3内の数値の絶対値に特定の意味はない。
<1. Creating a scenario map>
Referring to FIG. 2, when a plurality of verification scenarios to be verified by the
Specifically, as shown in FIG. 3, scenario maps M1 to M1 corresponding to the respective verification scenarios (first to third scenarios) in a table format in which parameters P1 to P4 are associated with time T in the simulation. M3 is created.
In FIG. 3, five times of times T = 0, 0.1, 0.5, 0.7, and 0.8 are set as times when the parameters P1 to P4 can be changed. The time setting (how to divide the time) is the same for all verification scenarios (first to third scenarios). Further, the absolute values of the numerical values in the scenario maps M1 to M3 have no specific meaning.
<2.シナリオ構造木の作成>
図2を参照するに、ステップS102では、シナリオ構造木の作成を行う。
<2. Creation of scenario structure tree>
Referring to FIG. 2, in step S102, a scenario structure tree is created.
<2−1.木構造化>
具体的には、図3に示すように、まず、各時刻を個別の部分シナリオ(個別シナリオ)として、木構造化する。より具体的には、シナリオマップM1(第1シナリオ)に対応して、時刻Tが早い(小さい)方から5つの時刻T(=0、0.1、0.5、0.7、0.8)における個別シナリオ1〜5からなる構造木T1が作成される。また、シナリオマップM2(第2シナリオ)に対応して、時刻Tが早い(小さい)方から5つの時刻Tにおける個別シナリオ6〜10からなる構造木T2が作成される。また、シナリオマップM3(第3シナリオ)に対応して、時刻Tが早い(小さい)方から5つの時刻Tにおける個別シナリオ11〜15からなる構造木T3が作成される。なお、各個別シナリオ1〜15は、対応する時刻TにおけるパラメータP1〜P4の値を意味している。
<2-1. Tree structure>
Specifically, as shown in FIG. 3, first, each time is formed into a tree structure as an individual partial scenario (individual scenario). More specifically, corresponding to the scenario map M1 (first scenario), five times T (= 0, 0.1, 0.5, 0.7,. A structural tree T1 including the
<2−2.共通部分のグループ化>
次に、各検証シナリオに対応する構造木において、時刻T=0から順に同一時刻おける個別シナリオ(パラメータP1〜P4)が共通するものを探し、グループ化する。図3に示すように、時刻T=0における個別シナリオ1、6、及び、11を比較すると、パラメータP1〜P4の値が全て一致しているので、第1〜第3シナリオに共通する共通シナリオAとしてグループ化する。また、時刻T=0.1、0.5、及び、0.7における個別シナリオ7〜9と個別シナリオ12〜14とを比較すると、パラメータP1〜P4の値が全て一致しているので、第2、第3シナリオに共通する共通シナリオBとしてグループ化する。結果として、第1シナリオの構造木T1は、共通シナリオA、個別シナリオ2、3、4、5の順で構成される。また、第2シナリオの構造木T2は、共通シナリオA、共通シナリオB、個別シナリオ10の順で構成される。また、第3シナリオの構造木T3は、共通シナリオA、共通シナリオB、個別シナリオ15の順で構成される。
<2-2. Grouping common parts>
Next, in the structural tree corresponding to each verification scenario, those having the same individual scenario (parameters P1 to P4) at the same time are sequentially searched from time T = 0 and are grouped. As shown in FIG. 3, when the
<2−3.各構造木の合成>
次に、各構造木T1〜T3の合成を行い、シナリオ構造木TCを生成する。図3に示すように、共通シナリオAが第1〜第3シナリオで共通するので、共通シナリオAを基点として、第1シナリオに対応する個別シナリオ2〜5と第2、第3シナリオに対応する共通シナリオBに分枝する木構造にする。また、共通シナリオBが第2、第3シナリオで共通するので、共通シナリオBを基点として、第2シナリオに対応する個別シナリオ10と第3シナリオに対応する個別シナリオ15とに分枝する木構造にする。また、連続する個別シナリオ2〜5は、グループ化し、差分シナリオ2−5にする。
<2-3. Synthesis of each structural tree>
Next, each of the structural trees T1 to T3 is synthesized to generate a scenario structural tree TC. As shown in FIG. 3, since the common scenario A is common to the first to third scenarios, the common scenario A is used as a base point and corresponds to the
<3.シナリオ構造木の最適化>
図2を参照するに、ステップS103では、シナリオ構造木の最適化を行う。
<3. Scenario tree optimization>
Referring to FIG. 2, in step S103, the scenario structure tree is optimized.
具体的には、シナリオ構造木TCに含まれる各共通シナリオによる効果(共通シナリオを複数の検証シナリオで共用することによる処理時間の短縮効果)の有無を判定する。そして、効果がない場合、共通化を解除し、各検証シナリオに対応する差分シナリオに分解する。 Specifically, it is determined whether or not there is an effect of each common scenario included in the scenario structure tree TC (an effect of shortening the processing time by sharing the common scenario among a plurality of verification scenarios). If there is no effect, the sharing is canceled and the scenario is divided into differential scenarios corresponding to each verification scenario.
共通シナリオによる効果の有無を判定するための判定式fは、以下のように表される。 A determination formula f for determining whether or not there is an effect due to the common scenario is expressed as follows.
f=N・Tcom−Tcom−N・Tover
なお、Nは、共通シナリオを共用する検証シナリオの数、Tcomは、共通シナリオによるシミュレーション実行時間、及び、Toverは、共通シナリオと各検証シナリオに対応する差分シナリオとを分割して実行することに付随するオーバーヘッド時間を示す。
f = N · Tcom−Tcom−N · Tover
N is the number of verification scenarios sharing a common scenario, Tcom is a simulation execution time based on the common scenario, and Tober is to execute the common scenario and the differential scenario corresponding to each verification scenario separately. Indicates the accompanying overhead time.
判定式fは、共通シナリオを複数の検証シナリオで共用することにより削減されるシミュレーション実行時間から各検証シナリオに対応する差分シナリオを共通シナリオと分割して実行することに付随するオーバーヘッド時間を減じたものである。よって、判定式f>0であれば、共通シナリオによる効果があると判定され、判定式f≦0であれば、共通シナリオによる効果がないと判定される。 In the determination formula f, the overhead time associated with the execution of the differential scenario corresponding to each verification scenario divided from the common scenario is reduced from the simulation execution time that is reduced by sharing the common scenario among a plurality of verification scenarios. Is. Therefore, if the determination formula f> 0, it is determined that there is an effect due to the common scenario, and if the determination formula f ≦ 0, it is determined that there is no effect due to the common scenario.
換言すれば、共通シナリオの開始時点から各検証シナリオによるシミュレーションを実行する場合に比べて、共通シナリオによるシミュレーションを各検証シナリオで共用し、共通シナリオの終了時点から各検証シナリオによるシミュレーションを実行する場合の処理時間が短くなるか否かを前もって判定している。そして、効果がなく、処理時間が短くならない場合、共通化を解除し、共通シナリオの開始時点から各検証シナリオによるシミュレーションを実行する。 In other words, when a simulation based on each scenario is shared by each verification scenario, compared to when a simulation based on each verification scenario is executed from the beginning of the common scenario, and a simulation based on each verification scenario is executed from the end of the common scenario. It is determined in advance whether or not the processing time is shortened. If there is no effect and the processing time is not shortened, the sharing is canceled, and the simulation using each verification scenario is executed from the start point of the common scenario.
図3に示すように、本例では、共通シナリオAによる効果はあると判定されているが、共通シナリオBによる効果はないと判定されており、共通化が解除され、第2、第3シナリオそれぞれに対応する差分シナリオに分解されている。なお、図3では、第2シナリオに対応する分解された差分シナリオ(個別シナリオ7〜9)と個別シナリオ10とがグループ化され、差分シナリオ7−10として示されている。また、第3シナリオに対応する分解された差分シナリオ(個別シナリオ12〜14)と個別シナリオ15とがグループ化され、差分シナリオ12−15として示されている。
As shown in FIG. 3, in this example, it is determined that there is an effect due to the common scenario A, but it is determined that there is no effect due to the common scenario B, and the sharing is canceled and the second and third scenarios are released. It is broken down into corresponding differential scenarios. In FIG. 3, the decomposed difference scenario (individual scenarios 7 to 9) corresponding to the second scenario and the
このようにして、シナリオ構造木TCの最適化がなされ、共通シナリオAを基点に、第1シナリオに対応する差分シナリオ2−5、第2シナリオに対応する差分シナリオ7−10、及び、第3シナリオに対応する差分シナリオ12−15が繋がる最適化されたシナリオ構造木TCoptが生成される。
<4.実行計画の作成>
図2を参照するに、ステップS104では、最適化されたシナリオ構造木に基づき、実行計画を作成する。
In this way, the scenario structure tree TC is optimized, and based on the common scenario A, the difference scenario 2-5 corresponding to the first scenario, the difference scenario 7-10 corresponding to the second scenario, and the third scenario An optimized scenario structure tree TCopt in which the difference scenarios 12-15 corresponding to the scenarios are connected is generated.
<4. Creating an execution plan>
Referring to FIG. 2, in step S104, an execution plan is created based on the optimized scenario structure tree.
図3を例にすると、実行計画として、共通シナリオA、差分シナリオ2−5、7−10、12−15、及び、これらの組み合わせによるシミュレーション実行順序等を作成する。作成された実行計画は、上述したとおり、分割シミュレーション実行管理部40に出力される。
Taking FIG. 3 as an example, as an execution plan, a common scenario A, difference scenarios 2-5, 7-10, 12-15, and a simulation execution order by a combination thereof are created. The created execution plan is output to the divided simulation
次に、本実施形態に係るシミュレーション装置100によるシミュレーション実行処理について説明をする。
Next, simulation execution processing by the
図4は、本実施形態に係るシミュレーション装置100によるシミュレーション実行処理の一例を示すフローチャートである。具体的には、分割シミュレーション実行管理部40が、シナリオ分割部30から入力された実行計画に沿って、共通シナリオ又は差分シナリオによるシミュレーションをシミュレータ51に実行させる際のシミュレーション装置100全体の動作を示している。
FIG. 4 is a flowchart illustrating an example of a simulation execution process performed by the
ステップS201では、分割シミュレーション実行管理部40からの環境準備指令PCに応じて、対象となるシナリオ(共通シナリオ又は差分シナリオ)に対応する保存状態の仮想マシン50sが仮想マシン格納部60から仮想マシン50にロードされる。但し、一番最初のシナリオによるシミュレーションを実行する際には、対応する仮想マシン50sは存在しないため、本ステップはスキップされる。
In step S201, the virtual machine 50s in the saved state corresponding to the target scenario (common scenario or differential scenario) is transferred from the virtual
ステップS202では、分割シミュレーション実行管理部40が、ロードされた仮想マシン50上のシミュレータ実行管理部52へ実行指示(シミュレーション動作指示、パラメータ変更指示、途中保存指示)を送信する。
In step S202, the divided simulation
ステップS203では、分割シミュレーション実行管理部40からの実行指示に応じて、シミュレータ実行管理部52が、対象となるシナリオに沿って、時系列パラメータ51cを変更させつつ、シミュレータ51に設定時間までシミュレーションを実行させる。
In step S203, according to the execution instruction from the divided simulation
ステップS204では、対象となるシナリオが共通シナリオであるのか、差分シナリオであるのかが判定される。 In step S204, it is determined whether the target scenario is a common scenario or a differential scenario.
対象となるシナリオが共通シナリオの場合、分割シミュレーション実行管理部40からの実行指示(途中保存指示)に応じて、シミュレータ実行管理部52がシミュレータ51を一時停止状態にして、仮想マシン50を仮想マシン格納部60に保存させて、今回の処理を終了する。この際、仮想マシン50は、当該共通シナリオ(対応シナリオ)と紐づけられた状態で仮想マシン格納部60に保存される。
When the target scenario is a common scenario, the simulator
一方、対象となるシナリオが差分シナリオの場合、当該差分シナリオに対応する検証シナリオによるシミュレーションの終了を意味するので、シミュレータ実行管理部52は、シミュレータ51から検証結果を出力させて、今回の処理を終了する。
On the other hand, if the target scenario is a differential scenario, it means that the simulation by the verification scenario corresponding to the differential scenario is terminated. Therefore, the simulator
次に、本実施形態に係るシミュレーション装置100の作用について説明をする。
Next, the operation of the
本実施形態に係るシミュレーション装置100は、複数の検証シナリオで共通する部分シナリオを共通シナリオとして共通化すると共に、共通シナリオによる効果の有無を前もって判定し、効果がない場合、各検証シナリオに対応する差分シナリオに分解する。
The
具体的には、共通シナリオの開始時点から各検証シナリオによるシミュレーションを実行する場合に比べて、共通シナリオによるシミュレーションを各検証シナリオで共用し、共通シナリオの終了時点から各検証シナリオによるシミュレーションを実行する場合の処理時間が短くなるか否かを判定する。処理時間が短くならない場合、共通シナリオの共通化を解除し、各検証シナリオに対応する差分シナリオに分解し、当該共通シナリオの開始時点から各検証シナリオ(に対応する差分シナリオ)によるシミュレーションを実行する。これにより、各検証シナリオに共通シナリオが存在しても、検証シナリオの分割に付随するオーバーヘッド時間の増大等に起因して、処理時間が悪化する場合には、検証シナリオ毎にシミュレーションが実行されるので、処理時間の悪化を抑制することができる。 Specifically, compared to the case where simulations are performed using each verification scenario from the beginning of the common scenario, the simulations based on the common scenario are shared among the verification scenarios, and the simulation is performed using each verification scenario from the end of the common scenario. In this case, it is determined whether or not the processing time is shortened. If the processing time is not shortened, release the common scenario, break it down into the differential scenarios corresponding to each verification scenario, and execute the simulation with each verification scenario (corresponding differential scenario) from the start point of the common scenario . As a result, even if a common scenario exists in each verification scenario, if the processing time deteriorates due to an increase in overhead time accompanying the division of the verification scenario, a simulation is executed for each verification scenario. Therefore, it is possible to suppress the deterioration of the processing time.
また、本実施形態に係るシミュレーション装置100は、仮想マシン50上のシミュレータ51を一時停止させ、仮想マシン50を仮想マシン格納部60に保存する。また、仮想マシン格納部60に保存された仮想マシン50sを仮想マシン50にロードし、シミュレータ51が一時停止された時点からシミュレーションを再開させることができる。これにより、シミュレータ51に途中保存機能が存在するか否か、即ち、シミュレータ51の機能に依存することなく、複数の検証シナリオを共通シナリオと差分シナリオとに分割して、シミュレーションを実行することができる。そのため、シミュレータ51の機能に依存することなく、複数の検証シナリオによるシミュレーションに要する処理時間を短縮することが可能となる。
In addition, the
以上、本発明を実施するための形態について詳述したが、本発明はかかる特定の実施形態に限定されるものではなく、特許請求の範囲に記載された本発明の要旨の範囲内において、種々の変形・変更が可能である。 As mentioned above, although the form for implementing this invention was explained in full detail, this invention is not limited to this specific embodiment, In the range of the summary of this invention described in the claim, various Can be modified or changed.
1〜15 個別シナリオ
2−5、7−10、11−15 差分シナリオ
20 コンピュータ
30 シナリオ分割部
40 分割シミュレーション実行管理部
50、50s 仮想マシン
51 シミュレータ
51a 検査モデル
51b 外部入力モデル
51c 時系列パラメータ
52 シミュレータ実行管理部
60 仮想マシン格納部
100 シミュレーション装置
A、B 共通シナリオ
EI 実行指示
EP 実行計画
PC 環境準備指令
1-15 Individual scenario 2-5, 7-10, 11-15
Claims (1)
入力された複数のシナリオで共通する部分シナリオを共通シナリオとして共通化すると共に、前記共通化を行わず、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行する第1の場合と、前記共通シナリオによるシミュレーションを前記複数のシナリオで共用し、前記共通シナリオの終了時点から各前記複数のシナリオによるシミュレーションを実行する第2の場合のシミュレーション実行時間を含む処理時間を前もって比較し、前記第1の場合に比べて、前記第2の場合の前記処理時間が短くならない場合、前記共通化を解除し、前記共通シナリオの開始時点から各前記複数のシナリオによるシミュレーションを実行することを特徴とする、
シミュレーション装置。 A simulation device for executing a simulation according to an input scenario,
A first case in which a partial scenario shared by a plurality of input scenarios is shared as a common scenario, and the simulation is performed by each of the plurality of scenarios from the start point of the common scenario without performing the sharing; The simulation by the common scenario is shared by the plurality of scenarios, and the processing time including the simulation execution time in the second case of executing the simulation by the plurality of scenarios from the end point of the common scenario is compared in advance. When the processing time in the second case is not shortened compared to the case of 1, the commonization is canceled, and the simulation with each of the plurality of scenarios is executed from the start point of the common scenario. ,
Simulation device.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014097813A JP6260445B2 (en) | 2014-05-09 | 2014-05-09 | Simulation device |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2014097813A JP6260445B2 (en) | 2014-05-09 | 2014-05-09 | Simulation device |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015215736A JP2015215736A (en) | 2015-12-03 |
JP6260445B2 true JP6260445B2 (en) | 2018-01-17 |
Family
ID=54752572
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2014097813A Expired - Fee Related JP6260445B2 (en) | 2014-05-09 | 2014-05-09 | Simulation device |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP6260445B2 (en) |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06176096A (en) * | 1992-12-09 | 1994-06-24 | Hitachi Ltd | Logical simulation re-executing method and device therefor |
JPH06295295A (en) * | 1993-04-08 | 1994-10-21 | Nec Ic Microcomput Syst Ltd | Simulator |
JP2001202354A (en) * | 2000-01-20 | 2001-07-27 | Mitsubishi Electric Corp | Distributed simulation device |
JP3905885B2 (en) * | 2001-10-24 | 2007-04-18 | 株式会社ルネサステクノロジ | Simulation method, simulation program, and display processing method |
-
2014
- 2014-05-09 JP JP2014097813A patent/JP6260445B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
JP2015215736A (en) | 2015-12-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US10372422B2 (en) | Performance verification device for verifying performance of program, method, and recording medium having program recorded thereon for causing computer to perform the method | |
JP6448052B2 (en) | Fast change planning system, fast change planning method, and fast change planning program | |
CN103440167B (en) | The method for scheduling task of self study feedback under Hadoop multi-job environment | |
JP6493506B1 (en) | INDUSTRIAL CONTROL SYSTEM, ITS SUPPORT DEVICE, CONTROL SUPPORT METHOD AND PROGRAM | |
CN103914433B (en) | For the system and method for factorization square matrix again on parallel processor | |
US20160075019A1 (en) | Work planner, method for planning work, and computer-readable storage medium storing a work planning program | |
US8805555B2 (en) | Configuring a PID controller | |
US10931749B2 (en) | Efficient configuration combination selection in migration | |
CN105653261A (en) | Development integration test method and system on the basis of cloud computing environment | |
US20170060616A1 (en) | Migration controlling method and migration controller | |
JP2018022317A (en) | HIL simulation system and control method thereof | |
JP6260445B2 (en) | Simulation device | |
JP2013235512A (en) | Apparatus, program, and method for solving mathematical programming problem | |
JP2012230538A (en) | Software evaluation device, software evaluation method and system evaluation device | |
US8341577B1 (en) | Parallel circuit simulation with partitions | |
WO2017088547A1 (en) | Data upgrading method and apparatus | |
JP2019154120A (en) | Operation planning method, operation planning apparatus, and program | |
JP2015106179A (en) | Simulation device, simulation method and program | |
JP7234566B2 (en) | Operation planning method, operation planning device and program | |
US11610151B2 (en) | Distribution system, data management apparatus, data management method, and computer-readable recording medium | |
JP6573583B2 (en) | System development support apparatus and system development support method | |
CN105938431A (en) | Web page developing method and device | |
WO2018228528A1 (en) | Batch circuit simulation method and system | |
CN105808318B (en) | Information processing method and electronic equipment | |
CN109739916A (en) | Data loading or unloading method and device |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20161221 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20171114 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20171127 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 6260445 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |
|
LAPS | Cancellation because of no payment of annual fees |