| 研究課題/領域番号 |
23K28064
|
|---|
| 補助金の研究課題番号 |
23H03374 (2023)
|
|---|
| 研究種目 |
基盤研究(B)
|
| 配分区分 | 基金 (2024)
補助金 (2023) |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 東京工業大学 |
|---|
研究代表者 |
鄭 顕志 東京工業大学, 情報理工学院, 准教授 (40434295)
|
|---|
| 研究分担者 |
鷲崎 弘宜 早稲田大学, 理工学術院, 教授 (70350494)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
18,330千円 (直接経費: 14,100千円、間接経費: 4,230千円)
2026年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2025年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2024年度: 4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2023年度: 4,810千円 (直接経費: 3,700千円、間接経費: 1,110千円)
|
|---|
| キーワード | 自己適応システム / 実行時モデル |
|---|
| 研究開始時の研究の概要 |
本研究では「開発時の想定に漏れた環境変化」に対して即応的に適応し，実現可能な最大限の機能を維持するしなやかなソフトウェアシステム をどのように開発するのか，という問いを扱う．オープン環境で動作するソフトウェアシステムの開発では実行環境の変化を開発時に想定し尽 くすことは本質的に困難であり，開発時の想定にのみ頼った従来の開発手法では機能要求に対する保証は失われてしまう．本研究では，想定外 の環境変化をモデルに反映し，変化後の環境下で実現可能な最大限の機能要求を実行時に特定し，その機能要求を満たすことが保証された動作 仕様を実行時合成する実行時モデルフレームワークを提案する．
|
| 研究実績の概要 |
2023年度は実施項目1「実行時に充足可能な安全性・活性の組合せを特定する技術」，および実施項目2「環境差分と要求差分に着目した実行時 の差分動作仕様合成技術の確立」の要素技術確立に取り組んだ．
実施項目1: 実行時に充足可能な安全性・活性の組合せを特定する技術の確立： 開発時に規定された安全性・活性の集合から，変更後の環境モデル下で満たしうる最大の組合せを実行時に高速に特定するアルゴリズムを開発した．具体的には，離散制御器合成内で用いられているゲーム空間上での勝利領域分析を拡張し，従来手法のような全要求の論理和ではなく，個別の要求事に勝利領域を用いることにより，各要求の組み合わせに対する環境変化の影響を効率的に再分析するアルゴリズムを提案した．安全性・活性の組合せ毎に対応する勝利領域を特定することで，現在の状態で満たしうる最大限の組合せを特定する事が可能となる．また，先行研究で構築した環境モデル実行時更新によって更新された環境モデルに対して，勝利領域を高速に再分析することが可能となる．
実施項目2: 環境差分と要求差分に着目した実行時の差分動作仕様合成技術の確立： 更新後の環境モデルにおいて実施項目1の技術によって特定した検証式を満たすことが保証された動作仕様を高速に自動導出する技術を構築した．本項目は離散制御器合成に対し，モデル上の差分に着目した差分合成を扱うよう拡張することで実現した． また，2024年度の第1回評価実験に向けて，実験シナリオの詳細化を行った．具体的には自動運搬ロボットを対象とした実験シナリオを構築し，初期実装を構築した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
当初の計画通りに進行している．
|
| 今後の研究の推進方策 |
当初の計画通り2024年度は2023年度の成果を踏まえて各技術を実装したフレームワークを開発し，初回の評価実験を行う．
|
