JP7336775B2 - 検証システム、検証方法及びプログラム - Google Patents
検証システム、検証方法及びプログラム Download PDFInfo
- Publication number
- JP7336775B2 JP7336775B2 JP2021045994A JP2021045994A JP7336775B2 JP 7336775 B2 JP7336775 B2 JP 7336775B2 JP 2021045994 A JP2021045994 A JP 2021045994A JP 2021045994 A JP2021045994 A JP 2021045994A JP 7336775 B2 JP7336775 B2 JP 7336775B2
- Authority
- JP
- Japan
- Prior art keywords
- responsiveness
- virtual
- verification
- unit
- environment
- 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.)
- Active
Links
- 238000012795 verification Methods 0.000 title claims description 175
- 238000000034 method Methods 0.000 title claims description 20
- 230000004043 responsiveness Effects 0.000 claims description 209
- 230000008859 change Effects 0.000 claims description 26
- 238000013459 approach Methods 0.000 claims description 9
- 230000004044 response Effects 0.000 description 111
- 238000012545 processing Methods 0.000 description 44
- 230000009471 action Effects 0.000 description 24
- 238000010586 diagram Methods 0.000 description 8
- 230000008569 process Effects 0.000 description 5
- 230000006870 function Effects 0.000 description 4
- 238000013468 resource allocation Methods 0.000 description 4
- 238000004364 calculation method Methods 0.000 description 3
- 238000012360 testing method Methods 0.000 description 3
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000004088 simulation Methods 0.000 description 2
- 238000007792 addition Methods 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45533—Hypervisors; Virtual machine monitors
- G06F9/45558—Hypervisor-specific management and integration aspects
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
- G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
- G06F9/45533—Hypervisors; Virtual machine monitors
- G06F9/45558—Hypervisor-specific management and integration aspects
- G06F2009/45591—Monitoring or debugging support
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Description
制御対象を制御する制御装置のソフトウェア開発において、制御装置の検証が行われる。以下、検証が行われる制御装置を検証対象とも呼ぶ。検証対象の検証は、制御対象がハードウェアで構成されている実環境、及び、制御対象が仮想的に構成されている仮想環境(例えば、制御対象のエミュレーションが行われている環境)において行われる。実施の形態における検証システムは、制御対象の制御を行う制御装置を検証対象として検証を行うシステムである。検証システムでは、実環境において検証対象の検証を行ったときの応答性である実応答性と、仮想環境において検証対象の検証を行ったときの応答性である仮想応答性とが用いられる。まず、実環境について図1を用いて説明する。
検証システム(例えばPC10)は、制御対象の制御を行う制御装置を検証対象として検証を行う検証システムであって、制御対象がハードウェアで構成されている実環境において、検証対象の検証を行ったときの応答性である実応答性を取得する実応答性取得部11と、制御対象が仮想的に構成されている仮想環境において、検証対象の検証を行ったときの応答性である仮想応答性を取得する仮想応答性取得部12と、仮想応答性が実応答性に近づくように、仮想環境の設定を変更する変更部14と、を備える。
以上のように、本開示に係る技術の例示として実施の形態を説明した。しかしながら、本開示に係る技術は、これに限定されず、適宜、変更、置き換え、付加、省略等を行った実施の形態にも適用可能である。例えば、以下のような変形例も本開示の一実施の形態に含まれる。
11 実応答性取得部
12 仮想応答性取得部
13 設定変更要否判定部
14 変更部
15 動作シナリオ再実行指示部
100 クラウドPF
110、110a HV
111、111a 要求情報取得部
112、112a 応答情報取得部
113 HV設定部
120 仮想デバイスVM
120a 実デバイスVM
121、121a 動作シナリオ実行部
122、122a、132 入出力部
123 内部処理部
124 仮想応答性作成部
124a 実応答性作成部
125 内部処理設定部
130 検証対象VM
131 検証対象アプリ
140 計算リソース割当設定部
200 実デバイス
Claims (6)
- 制御対象の制御を行う制御装置を検証対象として検証を行う検証システムであって、
前記制御対象がハードウェアで構成されている実環境において、前記検証対象の検証を行ったときの応答性である実応答性を取得する実応答性取得部と、
前記制御対象が仮想的に構成されている仮想環境において、前記検証対象の検証を行ったときの応答性である仮想応答性を取得する仮想応答性取得部と、
前記仮想応答性が前記実応答性に近づくように、前記仮想環境の設定を変更する変更部と、を備え、
前記仮想環境の設定は、前記仮想環境が設けられるプラットフォームにおける計算リソースの割当の設定、前記仮想環境を構成するハイパーバイザの設定、及び、前記制御対象のエミュレーションを実行するデバイスの設定のうちの少なくとも1つを含む、
検証システム。 - 前記検証システムは、前記仮想応答性取得部による前記仮想応答性の取得と、前記変更部による前記仮想環境の設定の変更とを繰り返し行う、
請求項1に記載の検証システム。 - 前記実環境及び前記仮想環境は、それぞれハイパーバイザを含む、
請求項1又は2に記載の検証システム。 - 前記実環境において検証が行われる前記検証対象と、前記仮想環境において検証が行われる前記検証対象とは、同じ制御装置である、
請求項1~3のいずれか1項に記載の検証システム。 - 制御対象の制御を行う制御装置を検証対象として検証を行う検証方法であって、
前記制御対象がハードウェアで構成されている実環境において、前記検証対象の検証を行ったときの応答性である実応答性を取得する実応答性取得ステップと、
前記制御対象が仮想的に構成されている仮想環境において、前記検証対象の検証を行ったときの応答性である仮想応答性を取得する仮想応答性取得ステップと、
前記仮想応答性が前記実応答性に近づくように、前記仮想環境の設定を変更する変更ステップと、を含み、
前記仮想環境の設定は、前記仮想環境が設けられるプラットフォームにおける計算リソースの割当の設定、前記仮想環境を構成するハイパーバイザの設定、及び、前記制御対象のエミュレーションを実行するデバイスの設定のうちの少なくとも1つを含む、
検証方法。 - 請求項5に記載の検証方法をコンピュータに実行させるためのプログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2021045994A JP7336775B2 (ja) | 2021-03-19 | 2021-03-19 | 検証システム、検証方法及びプログラム |
US17/582,698 US20220300316A1 (en) | 2021-03-19 | 2022-01-24 | Verification system, verification method, and recording medium |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2021045994A JP7336775B2 (ja) | 2021-03-19 | 2021-03-19 | 検証システム、検証方法及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2022144820A JP2022144820A (ja) | 2022-10-03 |
JP7336775B2 true JP7336775B2 (ja) | 2023-09-01 |
Family
ID=83284790
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2021045994A Active JP7336775B2 (ja) | 2021-03-19 | 2021-03-19 | 検証システム、検証方法及びプログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US20220300316A1 (ja) |
JP (1) | JP7336775B2 (ja) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2023012395A (ja) * | 2021-07-13 | 2023-01-25 | ルネサスエレクトロニクス株式会社 | 仮想開発環境装置、方法および記録媒体 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2003022296A (ja) | 2001-07-06 | 2003-01-24 | Matsushita Electric Ind Co Ltd | 協調シミュレーション方法および協調シミュレーション装置 |
US20090292514A1 (en) | 2008-02-15 | 2009-11-26 | Invensys Systems, Inc. | System And Method For Autogenerating Simulations For Process Control System Checkout And Operator Training |
JP2018081400A (ja) | 2016-11-15 | 2018-05-24 | ルネサスエレクトロニクス株式会社 | 演算装置及び仮想開発環境装置 |
WO2018142612A1 (ja) | 2017-02-06 | 2018-08-09 | 三菱電機株式会社 | 仮想検証システムおよび駆動制御器 |
WO2020017264A1 (ja) | 2018-07-19 | 2020-01-23 | 日立オートモティブシステムズ株式会社 | シミュレーション装置、及びその方法、並びにecu装置 |
WO2021038636A1 (ja) | 2019-08-23 | 2021-03-04 | 三菱電機株式会社 | 検証装置、検証方法、及び、検証プログラム |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007122396A (ja) * | 2005-10-27 | 2007-05-17 | Hitachi Ltd | ディスクアレイ装置及びその障害対応検証方法 |
US8150674B2 (en) * | 2009-06-02 | 2012-04-03 | At&T Intellectual Property I, Lp | Automated testing platform for event driven systems |
EP3125114A4 (en) * | 2014-03-27 | 2017-12-27 | Nec Corporation | Virtual machine system, control method therfor, and control program recording medium therefor |
GB2529204A (en) * | 2014-08-13 | 2016-02-17 | Ibm | Suspending and resuming virtual machines |
US11860768B1 (en) * | 2018-05-02 | 2024-01-02 | Blue Yonder Group, Inc. | System and method of automated quality assurance and performance testing framework |
US11012566B1 (en) * | 2019-11-14 | 2021-05-18 | T-Mobile Usa, Inc. | Simulated customer application experiences for customer support via emulators |
-
2021
- 2021-03-19 JP JP2021045994A patent/JP7336775B2/ja active Active
-
2022
- 2022-01-24 US US17/582,698 patent/US20220300316A1/en active Pending
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2003022296A (ja) | 2001-07-06 | 2003-01-24 | Matsushita Electric Ind Co Ltd | 協調シミュレーション方法および協調シミュレーション装置 |
US20090292514A1 (en) | 2008-02-15 | 2009-11-26 | Invensys Systems, Inc. | System And Method For Autogenerating Simulations For Process Control System Checkout And Operator Training |
JP2018081400A (ja) | 2016-11-15 | 2018-05-24 | ルネサスエレクトロニクス株式会社 | 演算装置及び仮想開発環境装置 |
WO2018142612A1 (ja) | 2017-02-06 | 2018-08-09 | 三菱電機株式会社 | 仮想検証システムおよび駆動制御器 |
WO2020017264A1 (ja) | 2018-07-19 | 2020-01-23 | 日立オートモティブシステムズ株式会社 | シミュレーション装置、及びその方法、並びにecu装置 |
WO2021038636A1 (ja) | 2019-08-23 | 2021-03-04 | 三菱電機株式会社 | 検証装置、検証方法、及び、検証プログラム |
Also Published As
Publication number | Publication date |
---|---|
US20220300316A1 (en) | 2022-09-22 |
JP2022144820A (ja) | 2022-10-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11159392B2 (en) | Managing service deployment | |
US10031993B1 (en) | Application store model for dynamic reconfiguration of a field-programmable gate array (FPGA) | |
US9996331B1 (en) | Customized application state transition | |
US11144693B1 (en) | Method and system for generating verification tests at runtime | |
US10430222B2 (en) | Cloud based platform simulation for management controller development | |
US10042666B2 (en) | Platform simulation for management controller development on virtual machines | |
CN113495732A (zh) | 服务器部署方法、装置、设备及可读存储介质 | |
JP7336775B2 (ja) | 検証システム、検証方法及びプログラム | |
CN111353263A (zh) | 软硬件设计与验证平台系统 | |
JP6771413B2 (ja) | ソフトウェア検証装置およびソフトウェア検証プログラム | |
WO2021042597A1 (zh) | Fpga动态重配置方法、装置、设备及可读存储介质 | |
CN117330935A (zh) | 一种集成电路测试方法、装置、介质 | |
US10929584B1 (en) | Environmental modification testing for design correctness with formal verification | |
US11501046B2 (en) | Pre-silicon chip model of extracted workload inner loop instruction traces | |
JP2019179284A (ja) | シミュレーションシステム、及びシミュレーションプログラム | |
JP6934044B2 (ja) | ハイブリッド命令アーキテクチャのテスト | |
US11194624B2 (en) | Partial order procedure planning device, partial order procedure planning method and partial order procedure planning program | |
JP7554022B2 (ja) | 開発環境構築システムおよび開発環境構築方法 | |
JP2023541510A (ja) | コンテナ化されたアプリケーションの展開を最適化するためのシステム、方法、及びサーバ | |
CN116700897A (zh) | 计算环境模板的创建方法、装置、计算设备及存储介质 | |
US11151294B1 (en) | Emulated register access in hybrid emulation | |
JP7084505B2 (ja) | 検証装置および検証方法 | |
EP4131011A1 (en) | Methods and apparatus to generate a surrogate model based on traces from a computing unit | |
US20220114083A1 (en) | Methods and apparatus to generate a surrogate model based on traces from a computing unit | |
JP6664158B2 (ja) | シミュレーション装置及びシミュレーション方法及びシミュレーションプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20220126 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20230125 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20230307 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230419 |
|
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: 20230725 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20230809 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 7336775 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
SZ03 | Written request for cancellation of trust registration |
Free format text: JAPANESE INTERMEDIATE CODE: R313Z03 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |