Project/Area Number |
23K11058
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60050:Software-related
|
Research Institution | Nanzan University |
Principal Investigator |
沢田 篤史 南山大学, 理工学部, 教授 (40273841)
|
Co-Investigator(Kenkyū-buntansha) |
野呂 昌満 南山大学, 理工学部, 教授 (40189452)
張 漢明 南山大学, 理工学部, 教授 (90329756)
|
Project Period (FY) |
2023-04-01 – 2026-03-31
|
Project Status |
Granted (Fiscal Year 2023)
|
Budget Amount *help |
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2025: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2024: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2023: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Keywords | サイバーフィジカルシステム設計 / ソフトウェアアーキテクチャ / IoT / 品質特性 / 機械学習モジュール / 開発方法論 / ソフトウェア品質 / サイバーフィジカルシステム / 設計方法論 |
Outline of Research at the Start |
本研究は,AIなど不確かな振舞いを示すソフトウェア部品がCPSの品質特性に与える影響を解明し,高品質なアプリケーション開発を支援する工学的基盤としての設計方法論を確立することを目的とする.この目的を達成するために,(a)AIモジュールのシステム品質への影響を考慮した方法論,(b)AIモジュールがシステムアーキテクチャ設計に与える影響の評価方法,(c)AIモジュールを考慮したシステム品質検証方法,について主に検討する.
|
Outline of Annual Research Achievements |
本研究の目的は,不確かな振舞いを示すモジュールがサイバーフィジカルシステムの品質特性に与える影響を明らかにし,高い品質を持つアプリケーション開発を支援する基盤を確立することである.本研究では,この目的を達成するために,次の三つの重点課題,すなわち,(a)機械学習モジュールの品質への影響の定式化とCPS設計方法論の検討,(b)機械学習モジュールがアーキテクチャ設計に与える影響の評価方法の検討,(c)機械学習モジュールを考慮した品質要求検証法の検討,を設定している. 2023年度においては,関連する先行研究の調査や資料収集を実施するとともに,サイバーフィジカルシステムやWebサービスシステムのソフトウェアアーキテクチャ設計において,機械学習モジュールが品質に及ぼす影響を,プロトタイプアプリケーションの構築を通じて検討した. 課題(a)および(b)では,自動運転アプリケーションにおける危険予測機能を機械学習モジュールを用いて実現する場合に,その振舞いや予測結果の不確かさを緩和するためのアーキテクチャ設計のあり方や,評価方法について検討を行った.危険予測のために複数の機械学習モジュールを用意し,互いに補完可能な構造を定義することで不確かさの緩和が可能になり,決定的な補完アルゴリズムを用意することで,品質への影響評価が可能になることが分かった. 課題(c)では,簡単な組込み機器が協調するIoTアプリケーションを題材に,機械学習モジュールの導入を視野に入れた設計方法論を検討するとともに,要求される品質と設計プロセスの間の関係の解明を試みた.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
重点研究項目として設定した(a)機械学習モジュールの品質への影響の定式化とCPS設計方法論の検討,(b)機械学習モジュールがアーキテクチャ設計に与える影響の評価方法の検討,(c)機械学習モジュールを考慮した品質要求検証法の検討について,以下,それぞれに進捗状況を評価する. 課題(a)と(b)では,関連研究の調査や資料収集を行うとともに,自動運転システムのための危険予測機能を題材に,アーキテクチャ設計と機械学習による予測の不確かさとの関係について検討し,振舞いの不確かを軽減するアーキテクチャ設計のための知見を得ることができた. 課題(c)では,関連研究の調査や資料収集を行うとともに,簡単なIoTアプリケーション事例を,課題(a),(b)で検討中の開発方法論に沿って開発する際に,機械学習モジュールの不確かな振舞いの影響を考慮した品質評価方法について検討した. 初年度は調査研究に重点を置く予定であったところではあるが,具体的な事例としてのアプリケーションを想定した検討ができたことから,研究の進捗はおおむね順調であると評価している.
|
Strategy for Future Research Activity |
研究の重点項目として設定した,(a)機械学習モジュールの品質への影響の定式化とCPS設計方法論の検討,(b)機械学習モジュールがアーキテクチャ設計に与える影響の評価方法の検討,(c)機械学習モジュールを考慮した品質要求検証法の検討,については今後も引き続き重点項目とする.初年度である2023年度においては調査研究も含めておおむね順調に進展していると評価できることから,引き続き先行研究の調査を行うとともに,課題(a),(b),(c)いずれについても,事例による検討をより広範囲のアプリケーションを対象に行う.また対象とする品質特性についても範囲を広げて検討する. これらを通じ,2023年度で行ったアプリケーション構築事例から得られた知見を,一般化するとともに形式化することで,研究目的である高品質なCPS構築のための工学的基盤の確立を目指す.
|