Project/Area Number |
20K11746
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 60050:Software-related
|
Research Institution | Osaka Institute of Technology (2022-2023) Osaka University (2020-2021) |
Principal Investigator |
宮本 俊幸 大阪工業大学, 情報科学部, 教授 (00294041)
|
Project Period (FY) |
2020-04-01 – 2025-03-31
|
Project Status |
Granted (Fiscal Year 2023)
|
Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2022: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2021: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2020: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
Keywords | ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム |
Outline of Research at the Start |
高信頼ソフトウェアの開発は,安心・安全な社会を実現する上で必要である。本研究では,分散システムにおけるモデルベースのソフトウェア開発を対象として,抽象的な要求仕様(シナリオ)から,分散システムを構成するモジュールの振る舞いモデルを自動合成するための理論構築およびアルゴリズム開発に取り組む。 特に,シナリオの表現にイベント構造を使用することを提案する。また,イベント構造の再合成可能な分割という新たな概念を導入し,振る舞いモデルを合成するための条件を理論的に導出する。さらに,設計者にとって理解しやすい振る舞いモデルを合成するためのアルゴリズムの設計を行い,UMLモデリングツール上に実装する。
|
Outline of Annual Research Achievements |
高信頼ソフトウェアの開発は,安心・安全な社会を実現する上で必要である.ソフトウェアの信頼性を高める方法の一つとして,プログラムの自動合成がある. 良い仕様から仕様を満足するプログラムを自動合成することが出来れば,信頼性の高いソフトウェアが開発される.本研究では,分散システムにおけるモデルベースのソフトウェア開発を対象として,抽象的な要求仕様(シナリオ)から,分散システムを構成するモジュールの振る舞いモデル(状態機械)を自動合成するための理論構築およびアルゴリズム開発に取り組むことを目的としている.シナリオから状態機械を自動合成する多くの研究では平面的な状態機械を用いている.しかし,平面的な状態機械はしばしば複雑になり,設計者にとって理解しやすいモデルとなっていない.先行課題(基盤(C) 23500045, 26330083, 17K00100)では,シナリオの「再合成可能」な分割に基づくペトリネットを用いた階層型状態機械の合成アルゴリズムを開発した.先行課題ではシナリオの数理モデルにイベント構造と呼ばれる数理システムの利用を提案し.イベント構造における再合成可能性を提案し,再合成となるための必要条件および計算アルゴリズムを導出した. 本課題では先行課題による成果を発展させ,シナリオのイベント構造による表現方法,イベント構造から階層型状態機械への変換アルゴリズムの構築を目的としている. イベント構造の再合成可能性検査のためには不要な競合を除去する必要がある.令和5年度では,複数のイベント構造から1つのイベント構造を導出する手法を開発し,プログラム実装した.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
令和5年度までの研究により,シナリオからイベント構造の導出,イベント構造における不要な競合の除去手法,再合成可能性の検査アルゴリズムの導出に成功 しており,研究は概ね順調に進展している.
|
Strategy for Future Research Activity |
令和6年度では,再合成可能なイベント構造から階層型状態機械を導出する手法の完成を目指し,これまでの成果を学術論文としてまとめる.
|