JP5153465B2 - シミュレーション方法、システム及びプログラム - Google Patents
シミュレーション方法、システム及びプログラム Download PDFInfo
- Publication number
- JP5153465B2 JP5153465B2 JP2008151047A JP2008151047A JP5153465B2 JP 5153465 B2 JP5153465 B2 JP 5153465B2 JP 2008151047 A JP2008151047 A JP 2008151047A JP 2008151047 A JP2008151047 A JP 2008151047A JP 5153465 B2 JP5153465 B2 JP 5153465B2
- Authority
- JP
- Japan
- Prior art keywords
- output
- physical device
- control unit
- electronic control
- time
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2117/00—Details relating to the type or aim of the circuit design
- G06F2117/08—HW-SW co-design, e.g. HW-SW partitioning
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Description
Function Integer_X(Sum, X)
{
Sum = Sum + X;
Return(Sum);
}
Function Integer_X_N(Sum, X,N)
{
DO i = 1, N
Sum = Sum + X;
END
Return(Sum);
}
Function Integer_100_speculative(Sum, X)
{
DO i = 1, 100
Sum = Sum + X;
END
Return(Sum);
}
Function Integer_X(Sum, X)
{
Sum = Sum + X;
Return(Sum);
}
これを、下記で置き換えることにより、上記関数を100回呼び出したのと同じ効果を実現し、且つ、関数個別呼び出しのオーバーヘッドを削減することができる。ただ、本発明は、投機失敗の場合に、ロールバックする手段を提供する。
Function Integer_100_speculative(Sum, X)
{
DO i = 1, 100
Sum = Sum + X;
END
Return(Sum);
}
Function Integer_100_speculative(Sum, X)
{
DO i = 1, 100
Sum = Sum + X;
END
Return(Sum);
}
これは、コンパイラの最適化機能で、下記のようなコードとして実行可能コードに変換されることがあり、以ってさらに処理が高速化される。
Function Integer_100_speculative(Sum, X)
{
Sum = Sum + 100 * X;
Return(Sum);
}
Claims (11)
- 電子制御ユニットによって制御される物理装置システムをシミュレートするためのシステムであって、
前記物理装置をソフトウェア的にシミュレートする物理装置シミュレータと、
前記物理装置シミュレータに、時刻付きの出力を与えるための、前記電子制御ユニットをソフトウェア的にエミュレートする、電子制御ユニット・エミュレータとを有し、
前記物理装置シミュレータは、前記物理装置シミュレータを固定の複数ステップ連続動作させる固定ステップ実行モジュールと、前記物理装置シミュレータを可変数のステップ動作させる可変ステップ実行モジュールと、前記固定ステップ実行モジュールまたは前記可変ステップ実行モジュールの実行完了時に、その時刻と入力と内部状態変数を、読み出し可能にロールバック表に記録するローカル・スケジューラと、前記電子制御ユニット・エミュレータからの出力を保持するためのキューをもち、
前記ローカル・スケジューラは、前記キューにある、相対的に古い前記電子制御ユニット・エミュレータからの出力の時刻に対応して、前記ロールバック表に記録されている入力と比較し、前記電子制御ユニット・エミュレータからの該出力が前記ロールバック表に記録されている該出力と不一致であることに応答して、前記電子制御ユニット・エミュレータからの該出力の時刻より前まで戻し、前記電子制御ユニット・エミュレータからの該出力の時刻まで、前記可変ステップ実行モジュールにより前記物理装置シミュレータを動作させ、その後は前記固定ステップ実行モジュールにより、前記物理装置シミュレータを動作させる、
シミュレーション・システム。 - 前記物理装置シミュレータは、時刻付の出力を与えるものであり、
前記電子制御ユニット・エミュレータからの出力と、前記物理装置シミュレータからの出力を保持は、そのうちの最も古い出力の時刻を、確定時刻として、前記電子制御ユニット・エミュレータと、前記物理装置シミュレータに通知する、グローバル・スケジューラをさらに有する、
請求項1に記載のシミュレーション・システム。 - 前記出力の一致の比較は、桁切り上げの数値での概数比較である、請求項1に記載のシミュレーション・システム。
- 電子制御ユニットによって制御される物理装置システムをシミュレートするための方法であって、
コンピュータの処理により、前記物理装置システムをソフトウェア的にシミュレートする物理装置シミュレータと、前記物理装置シミュレータに、時刻付きの出力を与えるための、前記電子制御ユニットをソフトウェア的にエミュレートする、電子制御ユニット・エミュレータを実行させるステップと、
前記コンピュータの処理により、前記物理装置シミュレータを、固定の複数ステップ連続動作させる固定ステップ実行モードで動作させるステップと、
前記コンピュータの処理により、前記可変ステップ実行モジュールの実行完了時に、その時刻と入力と内部状態変数を、読み出し可能にロールバック表に記録するステップと、
前記コンピュータの処理により、前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取るステップと、
前記コンピュータの処理により、前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取ったことに応答して、該出力の時刻に対応して、前記ロールバック表に記録されている出力と比較し、前記電子制御ユニット・エミュレータからの該出力が前記ロールバック表に記録されている該出力と不一致であることに応答して、前記電子制御ユニット・エミュレータからの該出力の時刻より前まで戻し、前記電子制御ユニット・エミュレータからの該出力の時刻まで、可変ステップ実行モードにより前記物理装置シミュレータを動作させ、その後は前記固定ステップ実行モードで、前記物理装置シミュレータを動作させるステップを有する、
シミュレーション方法。 - 前記出力の一致の比較は、桁切り上げの数値での概数比較である、請求項4に記載のシミュレーション方法。
- 電子制御ユニットによって制御される物理装置システムを、コンピュータによってシミュレートするためのプログラムであって、
前記物理装置システムをソフトウェア的にシミュレートする物理装置シミュレータと、前記物理装置シミュレータと、
時刻付きの出力を与えるための、前記電子制御ユニットをソフトウェア的にエミュレートする、電子制御ユニット・エミュレータとをもち、
前記コンピュータに、
前記物理装置シミュレータを、固定の複数ステップ連続動作させる固定ステップ実行モードで動作させるステップと、
前記可変ステップ実行モジュールの実行完了時に、その時刻と入力と内部状態変数を、読み出し可能にロールバック表に記録するステップと、
前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取るステップと、
前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取ったことに応答して、該出力の時刻に対応して、前記ロールバック表に記録されている出力と比較し、前記電子制御ユニット・エミュレータからの該出力が前記ロールバック表に記録されている該出力と不一致であることに応答して、前記電子制御ユニット・エミュレータからの該出力の時刻より前まで戻し、前記電子制御ユニット・エミュレータからの該出力の時刻まで、可変ステップ実行モードにより前記物理装置シミュレータを動作させ、その後は前記固定ステップ実行モードで、前記物理装置シミュレータを動作させるステップを実行させる、
シミュレーション・プログラム。 - 前記出力の一致の比較は、桁切り上げの数値での概数比較である、請求項6に記載のシミュレーション・プログラム。
- 電子制御ユニットによって制御される物理装置システムをシミュレートするためのシステムにおいて、コンピュータの制御によって、前記物理装置をソフトウェア的にシミュレートする物理装置シミュレータの制御方法であって、
前記物理装置シミュレータを、固定の複数ステップ連続動作させる固定ステップ実行モードで動作させるステップと、
前記コンピュータの処理により、前記可変ステップ実行モジュールの実行完了時に、その時刻と入力と内部状態変数を、読み出し可能にロールバック表に記録するステップと、
前記コンピュータの処理により、前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取るステップと、
前記コンピュータの処理により、前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取ったことに応答して、該出力の時刻に対応して、前記ロールバック表に記録されている出力と比較し、前記電子制御ユニット・エミュレータからの該出力が前記ロールバック表に記録されている該出力と不一致であることに応答して、前記電子制御ユニット・エミュレータからの該出力の時刻より前まで戻し、前記電子制御ユニット・エミュレータからの該出力の時刻まで、可変ステップ実行モードにより前記物理装置シミュレータを動作させ、その後は前記固定ステップ実行モードで、前記物理装置シミュレータを動作させるステップを有する、
制御方法。 - 前記出力の一致の比較は、桁切り上げの数値での概数比較である、請求項8に記載の制御方法。
- 電子制御ユニットによって制御される物理装置システムをシミュレートするためのシステムにおいて、コンピュータの制御によって、前記物理装置をソフトウェア的にシミュレートする物理装置シミュレータの制御プログラムであって、
前記コンピュータをして、
前記物理装置シミュレータを、固定の複数ステップ連続動作させる固定ステップ実行モードで動作させるステップと、
前記コンピュータの処理により、前記可変ステップ実行モジュールの実行完了時に、その時刻と入力と内部状態変数を、読み出し可能にロールバック表に記録するステップと、
前記コンピュータの処理により、前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取るステップと、
前記コンピュータの処理により、前記物理装置シミュレータが、前記電子制御ユニット・エミュレータから出力を受け取ったことに応答して、該出力の時刻に対応して、前記ロールバック表に記録されている出力と比較し、前記電子制御ユニット・エミュレータからの該出力が前記ロールバック表に記録されている該出力と不一致であることに応答して、前記電子制御ユニット・エミュレータからの該出力の時刻より前まで戻し、前記電子制御ユニット・エミュレータからの該出力の時刻まで、可変ステップ実行モードにより前記物理装置シミュレータを動作させ、その後は前記固定ステップ実行モードで、前記物理装置シミュレータを動作させるステップを実行させる、
制御プログラム。 - 前記出力の一致の比較は、桁切り上げの数値での概数比較である、請求項10に記載の制御プログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008151047A JP5153465B2 (ja) | 2008-06-09 | 2008-06-09 | シミュレーション方法、システム及びプログラム |
US12/481,105 US8676560B2 (en) | 2008-06-09 | 2009-06-09 | Simulation method, system and program for simulating physical unit controlled by electronic control unit |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008151047A JP5153465B2 (ja) | 2008-06-09 | 2008-06-09 | シミュレーション方法、システム及びプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009295126A JP2009295126A (ja) | 2009-12-17 |
JP5153465B2 true JP5153465B2 (ja) | 2013-02-27 |
Family
ID=41401074
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2008151047A Expired - Fee Related JP5153465B2 (ja) | 2008-06-09 | 2008-06-09 | シミュレーション方法、システム及びプログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US8676560B2 (ja) |
JP (1) | JP5153465B2 (ja) |
Families Citing this family (26)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2011134275A (ja) * | 2009-12-25 | 2011-07-07 | Fujitsu Ltd | スケジューラプログラム、分散シミュレーションシステム及びスケジューラ装置 |
US8739049B2 (en) | 2010-05-24 | 2014-05-27 | GM Global Technology Operations LLC | Vehicle system modeling systems and methods |
US8612192B2 (en) * | 2010-05-24 | 2013-12-17 | GM Global Technology Operations LLC | Vehicle simulation system with software-in-the-loop bypass control |
KR101522477B1 (ko) * | 2010-08-20 | 2015-05-21 | 인터내셔널 비지네스 머신즈 코포레이션 | 시뮬레이션 방법, 시스템 및 프로그램 |
US20130124174A1 (en) * | 2011-06-03 | 2013-05-16 | David R. Jefferson | Internal parallelism in a parallel discrete event simulation for space situational awareness |
WO2013016244A1 (en) | 2011-07-22 | 2013-01-31 | Sergey Eidelman | Systems and methods for network monitoring and testing using self-adaptive triggers based on kpi values |
GB2508769B (en) * | 2011-12-05 | 2014-10-22 | Ibm | Simulation execution method, program and system |
EP2653850B1 (de) * | 2012-04-18 | 2015-01-14 | Siemens Aktiengesellschaft | Verfahren und IT-System zum Durchführen von Gesamtfahrzeugtests |
US9251308B2 (en) * | 2012-07-23 | 2016-02-02 | International Business Machines Corporation | Simulation method, system, and program |
JP6132538B2 (ja) * | 2012-12-13 | 2017-05-24 | 三菱電機株式会社 | 予測シミュレーション装置 |
AT514854A2 (de) * | 2013-04-15 | 2015-04-15 | Kompetenzzentrum Das Virtuelle Fahrzeug Forschungsgmbh | Verfahren und Vorrichtung zur Co-Simulation von zwei Teilsystemen |
EP2851815A1 (de) * | 2013-09-18 | 2015-03-25 | dSPACE digital signal processing and control engineering GmbH | Testeinrichtung zum Echtzeittest eines virtuellen Steuergeräts |
US20150106660A1 (en) * | 2013-10-16 | 2015-04-16 | Lenovo (Singapore) Pte. Ltd. | Controller access to host memory |
US9864864B2 (en) * | 2014-09-23 | 2018-01-09 | Accenture Global Services Limited | Industrial security agent platform |
DE102014219709A1 (de) * | 2014-09-29 | 2016-03-31 | Siemens Aktiengesellschaft | Verfahren zur Kraftwerkssimulation für Test- und Schulungszwecke mittels einer verteilten Simulationshardware |
JP6405966B2 (ja) * | 2014-12-09 | 2018-10-17 | 株式会社デンソー | 電子制御装置 |
US9928127B2 (en) | 2016-01-29 | 2018-03-27 | International Business Machines Corporation | Testing a data coherency algorithm |
US11314907B2 (en) * | 2016-08-26 | 2022-04-26 | Hitachi, Ltd. | Simulation including multiple simulators |
JP6692278B2 (ja) * | 2016-11-15 | 2020-05-13 | ルネサスエレクトロニクス株式会社 | 演算装置及び仮想開発環境装置 |
DE102016124623A1 (de) * | 2016-12-16 | 2018-06-21 | Dspace Digital Signal Processing And Control Engineering Gmbh | Verfahren zum Erstellen eines mit einem Simulationsgerät kompatiblen Modells |
US11042673B1 (en) * | 2017-02-27 | 2021-06-22 | Rockwell Collins, Inc. | Systems and methods for autonomous vehicle systems testing |
US10652256B2 (en) * | 2017-06-20 | 2020-05-12 | International Business Machines Corporation | Real-time active threat validation mechanism for vehicle computer systems |
EP3454234A1 (de) * | 2017-09-06 | 2019-03-13 | dSPACE digital signal processing and control engineering GmbH | Verfahren zum bereitstellen einer echtzeitfähigen simulation für die steuergerätentwicklung und simulationsvorrichtung für die steuergerätentwicklung |
JP7087316B2 (ja) * | 2017-09-27 | 2022-06-21 | オムロン株式会社 | 情報処理装置、情報処理方法およびプログラム |
TWI670721B (zh) * | 2019-02-13 | 2019-09-01 | 睿寬智能科技有限公司 | 用於儲存裝置之不正常斷電測試方法及設備 |
EP4036780A1 (en) * | 2021-01-28 | 2022-08-03 | Robert Bosch GmbH | Electronic control unit timing emulation |
Family Cites Families (14)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH06161987A (ja) | 1992-11-17 | 1994-06-10 | Nippondenso Co Ltd | 制御装置のシミュレータ |
US6243629B1 (en) * | 1996-04-19 | 2001-06-05 | Honda Giken Kogyo Kabushiki Kaisha | Electronic control unit for automotive vehicles |
JP3492105B2 (ja) * | 1996-08-30 | 2004-02-03 | 株式会社東芝 | ハードウェア/ソフトウェア協調シミュレーション装置及びシミュレーション方法 |
JPH1114507A (ja) | 1997-06-19 | 1999-01-22 | Denso Corp | 車両シミュレーション装置 |
US6574734B1 (en) * | 1998-12-28 | 2003-06-03 | International Business Machines Corporation | Method and apparatus for securing access to automotive devices and software services |
JP2001331346A (ja) | 2000-03-13 | 2001-11-30 | Toshiba Corp | シミュレータ及びシミュレーション方法 |
JP2002312712A (ja) * | 2001-04-17 | 2002-10-25 | Mitsubishi Electric Corp | 分散シミュレーション制御方法 |
JP4171240B2 (ja) | 2002-04-24 | 2008-10-22 | 松下電器産業株式会社 | プログラム検証システム |
WO2005066602A1 (ja) * | 2004-01-09 | 2005-07-21 | Hino Motors, Ltd. | エンジンの過渡試験装置および方法 |
WO2005091177A2 (en) * | 2004-03-10 | 2005-09-29 | Renault S.A.S. | A validation method for embedded systems |
US7563196B2 (en) * | 2004-04-27 | 2009-07-21 | Denso Corporation | Controller for automatic transmission |
JP4906286B2 (ja) * | 2005-08-17 | 2012-03-28 | 富士通テン株式会社 | ソフトウェア開発環境システム |
JP4895701B2 (ja) | 2006-06-23 | 2012-03-14 | ダイハツ工業株式会社 | データ処理装置およびデータ処理方法 |
JP2008084121A (ja) | 2006-09-28 | 2008-04-10 | Fujitsu Ten Ltd | シミュレーションシステム及びシミュレーション方法 |
-
2008
- 2008-06-09 JP JP2008151047A patent/JP5153465B2/ja not_active Expired - Fee Related
-
2009
- 2009-06-09 US US12/481,105 patent/US8676560B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US8676560B2 (en) | 2014-03-18 |
US20090306952A1 (en) | 2009-12-10 |
JP2009295126A (ja) | 2009-12-17 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5153465B2 (ja) | シミュレーション方法、システム及びプログラム | |
JP5179249B2 (ja) | 制御装置シミュレーション方法、システム及びプログラム | |
JP5065344B2 (ja) | シミュレーション方法、システム及びプログラム | |
JP5295355B2 (ja) | シミュレーション方法、システム及びプログラム | |
US8612192B2 (en) | Vehicle simulation system with software-in-the-loop bypass control | |
JP5224957B2 (ja) | シミュレーション方法、システム及びプログラム | |
CN102124448B (zh) | 控制嵌入式***开发期间的实时性 | |
WO2013099438A1 (ja) | 協調シミュレーション用計算機システム、組込みシステムの検証方法及びプログラム | |
JP5186290B2 (ja) | シミュレーション方法、システム及びプログラム | |
Lee et al. | Towards a seamless development process for automotive engine-control system | |
US8412496B2 (en) | Simulation system, method, and program | |
JP5460010B2 (ja) | シミュレーション方法、システム及びプログラム | |
Peraldi-Frati et al. | Timing modeling with autosar-current state and future directions | |
EP4036780A1 (en) | Electronic control unit timing emulation | |
JP5186307B2 (ja) | シミュレーション方法、システム及びプログラム | |
Resmerita et al. | Verification of embedded control systems by simulation and program execution control | |
JP5500820B2 (ja) | シミュレーション方法、システム及びプログラム | |
Lauber et al. | Virtual test method for complex and variant-rich automotive systems | |
Ishikawa et al. | CPU model-based hardware/software co-design for real-time embedded control systems | |
Gaglio | Design and realization of an open-loop simulator for ICE control unit, developing the crankshaft and camshaft sensors simulation | |
Singh et al. | Design of a brake by wire system using OOA | |
Ishikawa et al. | CPU model-based mechatronics/hardware/software co-design technology for real-time embedded control systems |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110214 |
|
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: 20121113 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20121204 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151214 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5153465 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |