| 研究課題/領域番号 |
20K11746
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 大阪工業大学 (2022-2023)
大阪大学 (2020-2021) |
|---|
研究代表者 |
宮本 俊幸 大阪工業大学, 情報科学部, 教授 (00294041)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2025-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2022年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2021年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2020年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
|
|---|
| キーワード | ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム |
|---|
| 研究開始時の研究の概要 |
高信頼ソフトウェアの開発は，安心・安全な社会を実現する上で必要である。本研究では，分散システムにおけるモデルベースのソフトウェア開発を対象として，抽象的な要求仕様（シナリオ）から，分散システムを構成するモジュールの振る舞いモデルを自動合成するための理論構築およびアルゴリズム開発に取り組む。
特に，シナリオの表現にイベント構造を使用することを提案する。また，イベント構造の再合成可能な分割という新たな概念を導入し，振る舞いモデルを合成するための条件を理論的に導出する。さらに，設計者にとって理解しやすい振る舞いモデルを合成するためのアルゴリズムの設計を行い，UMLモデリングツール上に実装する。
|
| 研究実績の概要 |
高信頼ソフトウェアの開発は，安心・安全な社会を実現する上で必要である.ソフトウェアの信頼性を高める方法の一つとして，プログラムの自動合成がある. 良い仕様から仕様を満足するプログラムを自動合成することが出来れば，信頼性の高いソフトウェアが開発される.本研究では，分散システムにおけるモデルベースのソフトウェア開発を対象として，抽象的な要求仕様(シナリオ)から，分散システムを構成するモジュールの振る舞いモデル(状態機械)を自動合成するための理論構築およびアルゴリズム開発に取り組むことを目的としている.シナリオから状態機械を自動合成する多くの研究では平面的な状態機械を用いている.しかし，平面的な状態機械はしばしば複雑になり，設計者にとって理解しやすいモデルとなっていない.先行課題(基盤(C) 23500045, 26330083, 17K00100)では，シナリオの「再合成可能」な分割に基づくペトリネットを用いた階層型状態機械の合成アルゴリズムを開発した.先行課題ではシナリオの数理モデルにイベント構造と呼ばれる数理システムの利用を提案し.イベント構造における再合成可能性を提案し，再合成となるための必要条件および計算アルゴリズムを導出した.
本課題では先行課題による成果を発展させ，シナリオのイベント構造による表現方法，イベント構造から階層型状態機械への変換アルゴリズムの構築を目的としている. イベント構造の再合成可能性検査のためには不要な競合を除去する必要がある.令和5年度では，複数のイベント構造から1つのイベント構造を導出する手法を開発し，プログラム実装した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
令和5年度までの研究により，シナリオからイベント構造の導出，イベント構造における不要な競合の除去手法，再合成可能性の検査アルゴリズムの導出に成功
しており，研究は概ね順調に進展している.
|
| 今後の研究の推進方策 |
令和6年度では，再合成可能なイベント構造から階層型状態機械を導出する手法の完成を目指し，これまでの成果を学術論文としてまとめる．
|
