JP7318485B2 - 自動コード生成方法、コードプログラム、電子制御装置、自動コード生成プログラム、及び自動コード生成装置 - Google Patents
自動コード生成方法、コードプログラム、電子制御装置、自動コード生成プログラム、及び自動コード生成装置 Download PDFInfo
- Publication number
- JP7318485B2 JP7318485B2 JP2019194402A JP2019194402A JP7318485B2 JP 7318485 B2 JP7318485 B2 JP 7318485B2 JP 2019194402 A JP2019194402 A JP 2019194402A JP 2019194402 A JP2019194402 A JP 2019194402A JP 7318485 B2 JP7318485 B2 JP 7318485B2
- Authority
- JP
- Japan
- Prior art keywords
- model
- output result
- code generation
- change
- automatic code
- 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
Images
Landscapes
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
Description
(第1実施形態)
以下、自動コード生成方法の第1実施形態について、図1~図11を参照しながら説明する。図1に示すように、ワークステーション又はパーソナルコンピュータ(以下、PC)1は、CPU2、ROM3、RAM4、データ記憶装置5、入力装置6、及び表示装置7などを接続して構成される。
図9に例示したように、PC1は、あるタイミングにおける第1出力結果F1の値と第2出力結果F2の値の差を算出し、この差が所定の閾値以内であるか否かにより一致度を判定すると良い。図9には、第1出力結果F1及び第2出力結果F2が共にアナログ信号の場合を例示している。PC1は、第1出力結果F1の値と第2出力結果F2の図示期間内の値の差が最大値MAX~最小値MINに示す許容範囲に収まっているか否かを判定することで一致度を判定しており、その差が許容範囲に収まっていないときにはエラー報知し、収まっていれば一致と判定する。
図10に例示したように、PC1は、第1出力結果F1の値の変化のタイミングと第2出力結果F2の値の変化のタイミングとが所定の閾値時間内であるか否かにより一致度を判定するようにしても良い。図10には、第1出力結果F1及び第2出力結果F2が共にデジタル信号の場合を例示している。例えば、PC1は、第1出力結果F1の立上りタイミングと第2出力結果F2の立上りタイミングの差T1が所定の閾値時間内に収まっているか否かを判定することで一致度を判定しており、その差が所定の閾値時間内に収まっていないときにはエラー報知し、収まっていれば一致と判定する。
図11に例示したように、PC1は、第1出力結果F1の出力波形と第2出力結果F2の出力波形との類似度に基づいて一致度を判定するようにしても良い。図11には、第1出力結果F1及び第2出力結果F2が共にアナログ信号波形の場合を例示している。例えば、PC1は、第1出力結果F1の出力波形を許容誤差だけ大小した最大値MAX-最小値MINの間に第2出力結果F2の出力波形が収まるか否かを判定することで一致度を判定しており、第2出力結果F2の出力波形が収まっていないときにはエラー報知し、収まっていれば一致と判定する。具体例A1ではあるタイミングにおける第1出力結果F1の値の差を比較した例を示したが、具体例A3では値の差を比較すると共に時間のずれも比較している点が異なる。
図12は第2実施形態の説明図を示す。第1実施形態と同一部分には同一符号を付して説明を省略し、以下では異なる部分を説明する。
Claims (13)
- モデルからソースコードを生成するまでに前記モデルの詳細設定又は前記モデルを構成するブロックの詳細設定を変更可能にしているコード生成ツールを用いた自動コード生成方法であって、
自動コード生成装置が、変更前の前記詳細設定を用いた変更前モデル(11a)をシミュレーションすることで第1出力結果を取得する第1過程(S11~S13)と、
前記自動コード生成装置が、前記変更前の前記詳細設定が変更された変更後の詳細設定を用いた変更後モデル(11b;211b)から前記ソースコードを生成し前記ソースコードに基づいてシミュレーションすることで第2出力結果を取得する第2過程(S21~S24)と、
前記自動コード生成装置が、前記第1出力結果と前記第2出力結果との一致度を判定する第3過程(S25)と、
を備える自動コード生成方法。 - 前記自動コード生成装置が、前記変更前の詳細設定を既定のルールに従って変更して前記変更後モデルとして自動変更モデル(211b)を生成する第4過程(S21a)を備え、
前記自動コード生成装置は、前記第2過程では、前記第4過程にて生成した前記自動変更モデルから生成したソースコードに基づいてシミュレーションすることで第2出力結果を取得する請求項1記載の自動コード生成方法。 - 前記自動コード生成装置は、前記第3過程では、あるタイミングにおける前記第1出力結果の値と前記第2出力結果の値との差が所定の閾値以内であるか否かにより一致度を判定する請求項1記載の自動コード生成方法。
- 前記自動コード生成装置は、前記第3過程では、前記第1出力結果の値の変化のタイミングと前記第2出力結果の値の変化のタイミングとが所定の閾値時間内であるか否かにより一致度を判定する請求項1記載の自動コード生成方法。
- 前記自動コード生成装置は、前記第3過程では、前記第1出力結果の出力波形と前記第2出力結果の出力波形との類似度に基づいて一致度を判定する請求項1記載の自動コード生成方法。
- モデルからソースコードを生成するまでに前記モデルの詳細設定又は前記モデルを構成するブロックの詳細設定を変更可能にしているコード生成ツールに基づいて生成されるコードプログラムであって、
自動コード生成装置が、第1過程において変更前の前記詳細設定を用いた変更前モデルをシミュレーションすることで第1出力結果を取得し、第2過程において生成されるソースコードに基づいてシミュレーションすることで第2出力結果を取得し、第3過程において前記第1出力結果と前記第2出力結果との一致度を判定し、一致と判定された条件を満たす前記ソースコードに基づいて生成されるコードプログラム。 - 請求項6記載のコードプログラムが実装された電子制御装置。
- モデルからソースコードを生成するまでの間に前記モデルの詳細設定又は前記モデルを構成するブロックの詳細設定を変更可能にしているコード生成ツールによる自動コード生成プログラムであって、
自動コード生成装置(1)に、
変更前の前記詳細設定を用いた変更前モデルをシミュレーションすることで第1出力結果を取得する第1手順(S11~S13)と、
前記変更前の前記詳細設定が変更された変更後の詳細設定を用いた変更後モデル(11b;211b)から前記ソースコードを生成し前記ソースコードに基づいてシミュレーションすることで第2出力結果を取得する第2手順(S21~S24)と、
前記第1出力結果と前記第2出力結果との一致度を判定する第3手順(S25)と、
を実行させる自動コード生成プログラム。 - 前記詳細設定を既定のルールに従って変更して前記変更後モデルとして自動変更モデル(211b)を生成する第4手順(S21a)を備え、
前記第2手順では、前記第4手順にて生成した前記自動変更モデルから生成したソースコードをシミュレーションすることで第2出力結果を取得する請求項8記載の自動コード生成プログラム。 - 前記第3手順では、あるタイミングにおける前記第1出力結果の値と前記第2出力結果の値との差が所定の閾値以内であるか否かにより一致度を判定する請求項8記載の自動コード生成プログラム。
- 前記第3手順では、前記第1出力結果の値の変化のタイミングと前記第2出力結果の値の変化のタイミングとが所定の閾値時間内であるか否かにより一致度を判定する請求項8記載の自動コード生成プログラム。
- 前記第3手順では、前記第1出力結果の出力波形と前記第2出力結果の出力波形との類似度に基づいて一致度を判定する請求項8記載の自動コード生成プログラム。
- モデルからソースコードを生成するまでの間に前記モデルの詳細設定又は当該モデルを構成するブロックの詳細設定を変更可能にしているコード生成ツールを用いた自動コード生成装置(1)であって、
変更前の前記詳細設定を用いた変更前モデル(11a)をシミュレーションすることで第1出力結果を取得する第1取得部(1a)と、
前記変更前の前記詳細設定が変更された変更後の詳細設定を用いた変更後モデル(11b;211b)から生成されたソースコードに基づいてシミュレーションすることで第2出力結果を取得する第2取得部(1b)と、
前記第1出力結果と前記第2出力結果との一致度を判定する一致度判定部(1c)と、
を備える自動コード生成装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2019194402A JP7318485B2 (ja) | 2019-10-25 | 2019-10-25 | 自動コード生成方法、コードプログラム、電子制御装置、自動コード生成プログラム、及び自動コード生成装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2019194402A JP7318485B2 (ja) | 2019-10-25 | 2019-10-25 | 自動コード生成方法、コードプログラム、電子制御装置、自動コード生成プログラム、及び自動コード生成装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2021068285A JP2021068285A (ja) | 2021-04-30 |
JP7318485B2 true JP7318485B2 (ja) | 2023-08-01 |
Family
ID=75637285
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2019194402A Active JP7318485B2 (ja) | 2019-10-25 | 2019-10-25 | 自動コード生成方法、コードプログラム、電子制御装置、自動コード生成プログラム、及び自動コード生成装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP7318485B2 (ja) |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006024006A (ja) | 2004-07-08 | 2006-01-26 | Denso Corp | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 |
JP2012198804A (ja) | 2011-03-22 | 2012-10-18 | Denso Corp | 設計支援装置、設計支援プログラム |
JP2014059805A (ja) | 2012-09-19 | 2014-04-03 | Denso Corp | モデルベースの制御装置用のテストケース生成装置およびテストケース生成方法 |
JP2018124710A (ja) | 2017-01-31 | 2018-08-09 | 株式会社デンソー | 並列化方法、並列化ツール、及び車載制御装置 |
-
2019
- 2019-10-25 JP JP2019194402A patent/JP7318485B2/ja active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006024006A (ja) | 2004-07-08 | 2006-01-26 | Denso Corp | テストケース生成装置、テストケース生成プログラム、モデルベース開発プログラム、ソースコード生成妥当性診断装置、ソースコード生成妥当性診断プログラム、およびモデルベース開発方法。 |
JP2012198804A (ja) | 2011-03-22 | 2012-10-18 | Denso Corp | 設計支援装置、設計支援プログラム |
JP2014059805A (ja) | 2012-09-19 | 2014-04-03 | Denso Corp | モデルベースの制御装置用のテストケース生成装置およびテストケース生成方法 |
JP2018124710A (ja) | 2017-01-31 | 2018-08-09 | 株式会社デンソー | 並列化方法、並列化ツール、及び車載制御装置 |
Also Published As
Publication number | Publication date |
---|---|
JP2021068285A (ja) | 2021-04-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7680632B1 (en) | Test precondition items for automated analysis and test generation | |
US9639332B2 (en) | Applying coding standards in graphical programming environments | |
US10241852B2 (en) | Automated qualification of a safety critical system | |
Fitzgerald et al. | A formal approach to collaborative modelling and co-simulation for embedded systems | |
US7729894B1 (en) | Test postcondition items for automated analysis and test generation | |
US10860298B2 (en) | Method and system for editing a block diagram model | |
US9176490B2 (en) | Control program generation device, control program generation program, and control program generation method | |
US20190258460A1 (en) | Method and system for generating a software component | |
KR20070000732A (ko) | 아사달 : 휘처 기반 소프트웨어 제품라인 개발 환경을제공하는 시스템 | |
US10331548B2 (en) | Method and computer system for compiling and testing a control program | |
US8527254B2 (en) | Simulator engine development system and simulator engine development method | |
US20140214396A1 (en) | Specification properties creation for a visual model of a system | |
US20210096830A1 (en) | Incremental code generation method | |
JP7318485B2 (ja) | 自動コード生成方法、コードプログラム、電子制御装置、自動コード生成プログラム、及び自動コード生成装置 | |
Erkkinen et al. | Automatic code generation-technology adoption lessons learned from commercial vehicle case studies | |
JP2023076222A (ja) | モデル変換装置、モデル等価性検証装置、モデル変換方法、およびモデル変換プログラム | |
Horváth et al. | Hardware-software allocation specification of ima systems for early simulation | |
Erkkinen et al. | Verification, validation, and test with model-based design | |
JP7156094B2 (ja) | 自動コード生成方法、及び自動コード生成プログラム | |
Wozniak et al. | A guidance framework for the generation of implementation models in the automotive domain | |
Burnard et al. | Verifying and validating automatically generated code | |
White et al. | Model intelligence: an approach to modeling guidance | |
JP4564914B2 (ja) | アサーション自動生成装置および論理回路設計検証方法 | |
Iyenghar et al. | Translating timing requirements of Embedded Software systems modeled in Simulink to a timing analysis model | |
US10678537B1 (en) | Method and system for documenting a control program |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20220119 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20221129 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20230110 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20230217 |
|
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: 20230620 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20230703 |
|
R151 | Written notification of patent or utility model registration |
Ref document number: 7318485 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R151 |