JP6861844B2 - ソースコードを生成するための方法 - Google Patents
ソースコードを生成するための方法 Download PDFInfo
- Publication number
- JP6861844B2 JP6861844B2 JP2019556211A JP2019556211A JP6861844B2 JP 6861844 B2 JP6861844 B2 JP 6861844B2 JP 2019556211 A JP2019556211 A JP 2019556211A JP 2019556211 A JP2019556211 A JP 2019556211A JP 6861844 B2 JP6861844 B2 JP 6861844B2
- Authority
- JP
- Japan
- Prior art keywords
- block
- variable
- blocks
- variables
- block diagram
- 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
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/43—Checking; Contextual analysis
- G06F8/433—Dependency analysis; Data or control flow analysis
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Creation or generation of source code model driven
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/34—Graphical or visual programming
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/44—Encoding
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/60—Software deployment
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
- Programmable Controllers (AREA)
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| EP17183987.1 | 2017-07-31 | ||
| EP17183987.1A EP3438817A1 (de) | 2017-07-31 | 2017-07-31 | Verfahren zur erzeugung von quellcode |
| PCT/EP2018/068986 WO2019025155A1 (de) | 2017-07-31 | 2018-07-12 | Verfahren zur erzeugung von quellcode |
Publications (3)
| Publication Number | Publication Date |
|---|---|
| JP2020529053A JP2020529053A (ja) | 2020-10-01 |
| JP2020529053A5 JP2020529053A5 (https=) | 2021-02-04 |
| JP6861844B2 true JP6861844B2 (ja) | 2021-04-21 |
Family
ID=59506100
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2019556211A Active JP6861844B2 (ja) | 2017-07-31 | 2018-07-12 | ソースコードを生成するための方法 |
Country Status (6)
| Country | Link |
|---|---|
| US (1) | US10884715B2 (https=) |
| EP (2) | EP3438817A1 (https=) |
| JP (1) | JP6861844B2 (https=) |
| CN (1) | CN110506256B (https=) |
| DE (1) | DE102018116911A1 (https=) |
| WO (1) | WO2019025155A1 (https=) |
Families Citing this family (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10860298B2 (en) * | 2018-03-21 | 2020-12-08 | Dspace Digital Signal Processing And Control Engineering Gmbh | Method and system for editing a block diagram model |
| CN111444618B (zh) * | 2020-03-30 | 2023-06-30 | 北京润科通用技术有限公司 | 一种基于变量字典的仿真方法及装置 |
| CN112783505B (zh) * | 2021-01-28 | 2023-07-18 | 东北大学 | 一种用于源代码的函数智能重命名方法 |
| DE102022116011A1 (de) * | 2021-09-10 | 2023-03-16 | Dspace Gmbh | Verfahren zur Erzeugung von Quellcode |
| CN116820419A (zh) * | 2022-03-22 | 2023-09-29 | 瑞昱半导体股份有限公司 | 源代码校验方法及非暂态计算机可读存储介质装置 |
Family Cites Families (14)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0628166A (ja) * | 1992-07-06 | 1994-02-04 | Toshiba Corp | テキスト入出力システム |
| JP3894421B2 (ja) * | 2001-07-02 | 2007-03-22 | 三菱電機株式会社 | ネットワークシステム |
| US8196056B2 (en) * | 2001-07-24 | 2012-06-05 | The Mathworks, Inc. | Handling parameters in block diagram modeling |
| US7493595B2 (en) * | 2003-12-19 | 2009-02-17 | The United States Of America As Represented By The Secretary Of The Navy | Multiple-user graphical programming and analysis environment |
| US7650574B2 (en) * | 2004-05-11 | 2010-01-19 | National Instruments Corporation | Visually indicating problems found during programmatic analysis of a graphical program |
| US20060136181A1 (en) * | 2004-12-22 | 2006-06-22 | John Masse | Method and system for optimising at least one parameter characteristic of a physical system that is to be subjected to variable external conditions |
| US7703027B2 (en) * | 2005-01-13 | 2010-04-20 | National Instruments Corporation | Merging graphical programs |
| US7934194B2 (en) * | 2006-10-17 | 2011-04-26 | The Mathworks, Inc. | User-defined hierarchies of user-defined classes of graphical objects in a graphical modeling environment |
| US8448155B2 (en) * | 2009-06-01 | 2013-05-21 | National Instruments Corporation | Automatically creating parallel iterative program code in a graphical data flow program |
| US8667474B2 (en) * | 2009-06-19 | 2014-03-04 | Microsoft Corporation | Generation of parallel code representations |
| US8555130B2 (en) * | 2011-10-04 | 2013-10-08 | Cleversafe, Inc. | Storing encoded data slices in a dispersed storage unit |
| CN102426550B (zh) * | 2011-10-26 | 2014-05-14 | 中国信息安全测评中心 | 源代码解析方法和系统 |
| US9081900B2 (en) * | 2012-10-15 | 2015-07-14 | Toyota Motor Engineering & Manufacturing North America, Inc. | Systems and methods for mining temporal requirements from block diagram models of control systems |
| CN104375875B (zh) * | 2013-08-15 | 2017-08-25 | 国际商业机器公司 | 用于应用程序的编译优化的方法以及编译器 |
-
2017
- 2017-07-31 EP EP17183987.1A patent/EP3438817A1/de not_active Withdrawn
-
2018
- 2018-07-12 WO PCT/EP2018/068986 patent/WO2019025155A1/de not_active Ceased
- 2018-07-12 DE DE102018116911.6A patent/DE102018116911A1/de not_active Withdrawn
- 2018-07-12 EP EP18737311.3A patent/EP3568757B1/de active Active
- 2018-07-12 US US16/609,226 patent/US10884715B2/en active Active
- 2018-07-12 CN CN201880024640.2A patent/CN110506256B/zh active Active
- 2018-07-12 JP JP2019556211A patent/JP6861844B2/ja active Active
Also Published As
| Publication number | Publication date |
|---|---|
| EP3568757B1 (de) | 2022-09-07 |
| CN110506256A (zh) | 2019-11-26 |
| EP3438817A1 (de) | 2019-02-06 |
| CN110506256B (zh) | 2023-09-01 |
| US10884715B2 (en) | 2021-01-05 |
| DE102018116911A1 (de) | 2019-01-31 |
| JP2020529053A (ja) | 2020-10-01 |
| US20200050434A1 (en) | 2020-02-13 |
| WO2019025155A1 (de) | 2019-02-07 |
| EP3568757A1 (de) | 2019-11-20 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| JP6861844B2 (ja) | ソースコードを生成するための方法 | |
| US11074049B2 (en) | Method and system for generating program code modified by rule sets | |
| US11126408B2 (en) | Incremental code generation method | |
| US10503485B2 (en) | Method and system for generating program code | |
| US10331548B2 (en) | Method and computer system for compiling and testing a control program | |
| US10078500B2 (en) | Method and system for automatic code generation | |
| US20090164193A1 (en) | Method and System for Verifying Electronic Designs Having Software Components | |
| CN106095654A (zh) | 性能验证装置、具有性能验证装置的系统以及方法 | |
| US20040078180A1 (en) | Method for automatically decomposing dynamic system models into submodels | |
| CN110968308B (zh) | 一种用于改变用于生成源代码的模型的方法 | |
| US11392353B2 (en) | Method for generating source code using service-based communication | |
| US20180060457A1 (en) | Method and system for comparing block diagrams | |
| US9841954B1 (en) | Method and system for automatic code generation | |
| Consel | From a program family to a domain-specific language | |
| US20230342115A1 (en) | Method for generating source code | |
| JP2013161219A (ja) | コード生成装置、及びコード生成プログラム | |
| Mao et al. | A refinement development approach for enhancing the safety of PLC programs with Event-B | |
| US12026485B2 (en) | Method for generating source code | |
| CN111078444A (zh) | 用于故障行为的安全分析的系统和方法 | |
| CN101916179B (zh) | 控制寄存器中的标志位的存取方法 | |
| US10585650B1 (en) | Method and system for generating program code | |
| US20230367561A1 (en) | Method for generating source code | |
| US20250362888A1 (en) | Processing an unsupported signal type, and creating a control program | |
| US20260119135A1 (en) | Generating a control program for a target platform and configuring a target platform configured as a controller | |
| US20240201965A1 (en) | Method for generating source code |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20201216 |
|
| A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20201216 |
|
| A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20201216 |
|
| A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20210106 |
|
| A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20210125 |
|
| A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20210204 |
|
| 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: 20210301 |
|
| A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20210330 |
|
| R150 | Certificate of patent or registration of utility model |
Ref document number: 6861844 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
| S533 | Written request for registration of change of name |
Free format text: JAPANESE INTERMEDIATE CODE: R313533 |
|
| R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
| R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |