| 研究課題/領域番号 |
26330083
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
宮本 俊幸 大阪大学, 工学(系)研究科(研究院), 准教授 (00294041)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2017-03-31
|
| キーワード | ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム |
|---|
| 研究実績の概要 |
高信頼ソフトウェアの開発は，安心・安全な社会を実現する上で必要である．ソフトウェアの信頼性を高める方法の一つとして，プログラムの自動合成がある．良い仕様から仕様を満足するプログラムを自動合成することができれば，信頼性の高いソフトウェアが開発される．本研究では，分散システムにおけるモデルベースのソフトウェア開発を対象として，抽象的な要求仕様（シナリオ）から，分散システムを構成するモジュールの振る舞いモデル（状態機械）を自動合成するための理論構築およびアルゴリズム開発に取り組むことを目的としている．
シナリオから状態機械を自動合成する多くの研究では平面的な状態機械を用いている．しかし，平面的な状態機械はしばしば複雑になり，設計者にとって理解しやすいモデルとなっていない．先行課題（基盤(C) 23500045）では，ペトリネットを用いた階層型状態機械の合成アルゴリズムを開発した．本研究課題では，シナリオを「分割」してから，状態機械を合成するアルゴリズムを開発する．この時，分割によってシナリオの定義の違えることが無いよう「再合成可能」な分割について理論的に考察する．
平成26年度では，半順序で与えられるシナリオをモジュール毎の仕様に分割するときの理論的考察を行った．その結果，モジュール毎の仕様が満たすべき条件の範囲を明らかにすることができた．得られた成果は電子情報通信学会システム数理と応用研究会において成果報告した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
平成26年度では，モジュール毎の仕様が満たすべき条件の範囲を明らかにすることができており，概ね研究計画通りに進んでいる．
|
| 今後の研究の推進方策 |
平成26年度の研究が順調に進んでいるため，当初計画通り研究を推進していく．
|
| 次年度使用額が生じた理由 |
計画時は学会の開催場所が未定だったため平均的な旅費で計算することにより，国内旅費として30万円計上した．しかし，学会が勤務先の近くで開催されたため，計画していたほどは旅費を使わなかった．
|
| 次年度使用額の使用計画 |
平成27年度以降の旅費として使用する．
|
