2020 Fiscal Year Research-status Report
イベント構造の再合成可能な分割による複数シナリオに対応した振る舞いモデル自動合成
| Project/Area Number |
20K11746
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
宮本 俊幸 大阪大学, 工学研究科, 准教授 (00294041)
|
|---|
| Project Period (FY) |
2020-04-01 – 2023-03-31
|
| Keywords | ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム |
|---|
| Outline of Annual Research Achievements |
高信頼ソフトウェアの開発は，安心・安全な社会を実現する上で必要である．ソフトウェアの信頼性を高める方法の一つとして，プログラムの自動合成がある. 良い仕様から仕様を満足するプログラムを自動合成することが出来れば，信頼性の高いソフトウェアが開発される．本研究では，分散システムにおけるモデルベースのソフトウェア開発を対象として，抽象的な要求仕様(シナリオ)から，分散システムを構成するモジュールの振る舞いモデル(状態機械)を自動合成するための理論構築およびアルゴリズム開発に取り組むことを目的としている．シナリオから状態機械を自動合成する多くの研究では平面的な状態機械を用いている．しかし，平面的な状態機械はしばしば複雑になり，設計者にとって理解しやすいモデルとなっていない．先行課題(基盤(C) 23500045, 26330083, 17K00100)では，シナリオの「再合成可能」な分割に基づくペトリネットを用いた階層型状態機械の合成アルゴリズムを開発した．先行課題ではシナリオの数理モデルにイベント構造と呼ばれる数理システムの利用を提案し．イベント構図における再合成可能性を提案し，再合成となるための必要条件および計算アルゴリズムを導出した．
本課題では先行課題による成果を発展させ，シナリオのイベント構造による表現方法，イベント構造から階層型状態機械への変換アルゴリズムの構築を目的としている．
令和2年度では，イベント構造の再合成可能性検査のための擬似多項式アルゴリズムを提案し，高速化に成功した．その結果を，学会(国際会議: 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
イベント構造で振る舞いが与えられたときに，それが再合成可能であるかどうかを検査する必要がある．先行課題によって得られた検査アルゴリズムはは計算量の点において問題があった．令和2年度では擬似多項式アルゴリズムの導出に成功しており，研究は概ね順調に進展している．
|
| Strategy for Future Research Activity |
令和3年度では，再合成可能なイベント構造から階層型状態機械を導出する手法について検討する．イベント構造と階層型状態機械の関係を明らかにし，アルゴリズムを開発することを目指す．
|
| Causes of Carryover |
新型コロナ感染症対策のために会議がすべてオンラインでの開催となり，旅費の支出がゼロになったため次年度使用額が生じた．次年度以降の研究遂行において，旅費や物品費として使用する予定である．
|
