JP6789458B1 - プログラム提供装置、プログラム提供方法およびプログラム提供システム - Google Patents
プログラム提供装置、プログラム提供方法およびプログラム提供システム Download PDFInfo
- Publication number
- JP6789458B1 JP6789458B1 JP2020541598A JP2020541598A JP6789458B1 JP 6789458 B1 JP6789458 B1 JP 6789458B1 JP 2020541598 A JP2020541598 A JP 2020541598A JP 2020541598 A JP2020541598 A JP 2020541598A JP 6789458 B1 JP6789458 B1 JP 6789458B1
- Authority
- JP
- Japan
- Prior art keywords
- program
- unit
- search
- simulation module
- control device
- 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
- 238000000034 method Methods 0.000 title claims description 22
- 238000012545 processing Methods 0.000 claims abstract description 55
- 238000004088 simulation Methods 0.000 claims abstract description 50
- 238000012790 confirmation Methods 0.000 claims abstract description 14
- 238000012795 verification Methods 0.000 claims abstract description 11
- 238000012360 testing method Methods 0.000 claims description 32
- 230000006870 function Effects 0.000 description 20
- 238000010586 diagram Methods 0.000 description 10
- 238000004891 communication Methods 0.000 description 7
- 230000008520 organization Effects 0.000 description 5
- 238000003860 storage Methods 0.000 description 5
- 238000013473 artificial intelligence Methods 0.000 description 3
- 241000700605 Viruses Species 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- PCTMTFRHKVHKIS-BMFZQQSSSA-N (1s,3r,4e,6e,8e,10e,12e,14e,16e,18s,19r,20r,21s,25r,27r,30r,31r,33s,35r,37s,38r)-3-[(2r,3s,4s,5s,6r)-4-amino-3,5-dihydroxy-6-methyloxan-2-yl]oxy-19,25,27,30,31,33,35,37-octahydroxy-18,20,21-trimethyl-23-oxo-22,39-dioxabicyclo[33.3.1]nonatriaconta-4,6,8,10 Chemical compound C1C=C2C[C@@H](OS(O)(=O)=O)CC[C@]2(C)[C@@H]2[C@@H]1[C@@H]1CC[C@H]([C@H](C)CCCC(C)C)[C@@]1(C)CC2.O[C@H]1[C@@H](N)[C@H](O)[C@@H](C)O[C@H]1O[C@H]1/C=C/C=C/C=C/C=C/C=C/C=C/C=C/[C@H](C)[C@@H](O)[C@@H](C)[C@H](C)OC(=O)C[C@H](O)C[C@H](O)CC[C@@H](O)[C@H](O)C[C@H](O)C[C@](O)(C[C@H](O)[C@H]2C(O)=O)O[C@H]2C1 PCTMTFRHKVHKIS-BMFZQQSSSA-N 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000009826 distribution Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM]
- G05B19/41835—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM] characterised by programme execution
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/60—Software deployment
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM]
- G05B19/41885—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS] or computer integrated manufacturing [CIM] characterised by modeling, simulation of the manufacturing system
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/30—Nc systems
- G05B2219/32—Operator till task planning
- G05B2219/32361—Master production scheduling
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- Software Systems (AREA)
- Manufacturing & Machinery (AREA)
- Automation & Control Theory (AREA)
- Computer Hardware Design (AREA)
- Stored Programmes (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
図1は、実施の形態1にかかるプログラム提供装置であるサーバのブロック図である。図2は、実施の形態1にかかるプログラム提供装置であるサーバを含むプログラム提供システムの構成図である。
実施の形態2では、プログラム部品の動作確認におけるサーバ1の動作例について説明する。図8は、実施の形態2にかかるプログラム提供装置であるサーバの動作手順の例を示すフローチャートである。実施の形態2では、上記の実施の形態1と同一の構成要素には同一の符号を付し、実施の形態1とは異なる構成について主に説明する。
実施の形態3では、サーバ1におけるプログラム部品の検索において、人工知能(Artificial Intelligence:AI)を適用する例を説明する。図9は、実施の形態3にかかるプログラム提供装置であるサーバのブロック図である。実施の形態3では、上記の実施の形態1および2と同一の構成要素には同一の符号を付し、実施の形態1および2とは異なる構成について主に説明する。
Claims (6)
- 制御機器にて実行されるプログラムである制御プログラムを構成するプログラム部品を提供する提供処理部と、
前記プログラム部品に従った動作を模擬的に実行するためのプログラムである動作模擬モジュールについて、前記プログラム部品を実行することによる前記制御機器の動作を模擬可能か否かの検証結果に基づいて前記動作模擬モジュールに認証を与える認証部と、
前記認証が与えられた前記動作模擬モジュールを使用して前記プログラム部品の動作確認を行う動作確認部と、を備えることを特徴とするプログラム提供装置。 - 前記動作確認部は、前記制御機器の動作環境を示す情報を前記動作模擬モジュールに設定する動作環境設定部を有し、前記動作環境において前記プログラム部品を実行することによる前記制御機器の動作を模擬することを特徴とする請求項1に記載のプログラム提供装置。
- 前記認証部は、前記動作模擬モジュールが前記制御機器の動作を模擬可能か否かを検証するための試験を実施することを特徴とする請求項1または2に記載のプログラム提供装置。
- 前記プログラム部品が提供される際の前記プログラム部品の検索に使用された検索語と、提供された前記プログラム部品とが対応付けられた検索結果データを保持する検索結果データ保持部と、
過去に使用された検索語の組み合わせと、前記組み合わせに含まれる検索語同士の類似度とを保持する類似度保持部と、
入力された検索語と前記類似度保持部に保持されている前記類似度とに基づいて、前記検索結果データ保持部に保持されている検索結果データの中から、前記入力された検索語と類似する検索語を含む検索結果データを検索する類似語検索部と、を備えることを特徴とする請求項1から3のいずれか1つに記載のプログラム提供装置。 - 制御機器にて実行されるプログラムである制御プログラムを構成するプログラム部品の提供をコンピュータによって実行するプログラム提供方法であって、
前記プログラム部品に従った動作を模擬的に実行するためのプログラムである動作模擬モジュールについて、前記プログラム部品を実行することによる前記制御機器の動作を模擬可能か否かの検証結果に基づいて前記動作模擬モジュールに認証を与える工程と、
前記認証が与えられた前記動作模擬モジュールを使用して、前記プログラム部品の動作確認を行う工程と、を含むことを特徴とするプログラム提供方法。 - 制御機器にて実行されるプログラムである制御プログラムを構成するプログラム部品を提供するプログラム提供装置を含むプログラム提供システムであって、
前記プログラム提供装置は、
前記プログラム部品に従った動作を模擬的に実行するためのプログラムである動作模擬モジュールについて、前記プログラム部品を実行することによる前記制御機器の動作を模擬可能か否かの検証結果に基づいて前記動作模擬モジュールに認証を与える認証部と、
前記認証が与えられた前記動作模擬モジュールを使用して前記プログラム部品の動作確認を行う動作確認部と、を備えることを特徴とするプログラム提供システム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2020/005898 WO2021161534A1 (ja) | 2020-02-14 | 2020-02-14 | プログラム提供装置、プログラム提供方法およびプログラム提供システム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP6789458B1 true JP6789458B1 (ja) | 2020-11-25 |
JPWO2021161534A1 JPWO2021161534A1 (ja) | 2021-08-19 |
Family
ID=73452908
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2020541598A Active JP6789458B1 (ja) | 2020-02-14 | 2020-02-14 | プログラム提供装置、プログラム提供方法およびプログラム提供システム |
Country Status (4)
Country | Link |
---|---|
US (1) | US11703833B2 (ja) |
JP (1) | JP6789458B1 (ja) |
CN (1) | CN115104088B (ja) |
WO (1) | WO2021161534A1 (ja) |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007213404A (ja) * | 2006-02-10 | 2007-08-23 | Canon Inc | 組込機器、ダウンロード方法、記憶媒体、プログラム |
JP2013235504A (ja) * | 2012-05-10 | 2013-11-21 | Toyota Motor Corp | ソフトウェア配信システム、ソフトウェア配信方法 |
Family Cites Families (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2002312506A (ja) | 2001-04-18 | 2002-10-25 | Hitachi Ltd | アプリケーションプログラムの配信方法及び配信システム |
JP5404463B2 (ja) | 2010-02-12 | 2014-01-29 | 三菱電機株式会社 | 制御装置及び管理装置 |
CN109791398B (zh) | 2017-06-27 | 2020-12-18 | 三菱电机株式会社 | 调试装置 |
-
2020
- 2020-02-14 JP JP2020541598A patent/JP6789458B1/ja active Active
- 2020-02-14 US US17/785,407 patent/US11703833B2/en active Active
- 2020-02-14 WO PCT/JP2020/005898 patent/WO2021161534A1/ja active Application Filing
- 2020-02-14 CN CN202080096109.3A patent/CN115104088B/zh active Active
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2007213404A (ja) * | 2006-02-10 | 2007-08-23 | Canon Inc | 組込機器、ダウンロード方法、記憶媒体、プログラム |
JP2013235504A (ja) * | 2012-05-10 | 2013-11-21 | Toyota Motor Corp | ソフトウェア配信システム、ソフトウェア配信方法 |
Also Published As
Publication number | Publication date |
---|---|
JPWO2021161534A1 (ja) | 2021-08-19 |
US20230011646A1 (en) | 2023-01-12 |
WO2021161534A1 (ja) | 2021-08-19 |
CN115104088A (zh) | 2022-09-23 |
CN115104088B (zh) | 2024-02-06 |
US11703833B2 (en) | 2023-07-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN110851167B (zh) | 容器环境更新方法、装置、设备及存储介质 | |
US8843878B1 (en) | Quality software development process | |
Desai et al. | Software testing: A practical approach | |
US20140113257A1 (en) | Automated evaluation of programming code | |
Ismail et al. | Black-Box Testing: Analisis Kualitas Aplikasi Source Code Bank Programming | |
US20170139702A1 (en) | Method of cloud engineering services of industrial process automation systems | |
CN112053166A (zh) | 一种基于区块链的商务云平台管理方法及系统 | |
JP6789458B1 (ja) | プログラム提供装置、プログラム提供方法およびプログラム提供システム | |
US20150020072A1 (en) | Content space environment representation | |
Chou et al. | Virtual teaching assistant for grading programming assignments: Non-dichotomous pattern based program output matching and partial grading approach | |
Tureczki et al. | Interdisciplinary optimization of security operations centers with digital assistant | |
JP6366811B2 (ja) | 検査装置、検査方法、及び、プログラム | |
Papazoglou | A hybrid simulation platform for learning microprocessors | |
Hagar | IoT Test Design: Frameworks, Techniques, Attacks, Patterns, and Tours | |
Friedland et al. | Conducting a model based systems engineering tool trade study using a systems engineering approach | |
CN107656942B (zh) | 产品原材质信息共享系统以及其方法 | |
CN116306591B (zh) | 流程表单生成方法、装置、设备及介质 | |
JP7049534B1 (ja) | デバッグ支援プログラム、デバッグ支援装置、デバッグ支援方法および機械学習装置 | |
Hochstein et al. | Computational engineering in the cloud: Benefits and challenges | |
JP2024068829A (ja) | 情報処理方法、情報処理装置及びプログラム | |
JP7179600B2 (ja) | アイソレーション管理装置、方法及びプログラム | |
Saeed et al. | Conceptions of software testing as a service | |
Lilli | A modeling and verification framework for security protocols | |
JP4630640B2 (ja) | 設計情報検証装置および設計情報検証方法 | |
JPH11212825A (ja) | 組み込みシステムテスト方法及び組み込みシステムテスト装置並びに記録媒体 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20200729 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20200729 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20200817 |
|
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: 20201006 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20201102 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6789458 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |