| 研究課題/領域番号 |
20H04167
|
|---|
| 研究機関 | 大阪大学 |
|---|
研究代表者 |
中川 博之 大阪大学, 大学院情報科学研究科, 准教授 (40508834)
|
|---|
| 研究分担者 |
鵜林 尚靖 九州大学, システム情報科学研究院, 教授 (80372762)
土屋 達弘 大阪大学, 大学院情報科学研究科, 教授 (30283740)
冨沢 哲雄 東京工業高等専門学校, 機械工学科, 准教授 (60549707)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| キーワード | 自己適応 / 時間制約 / 不確かさ / CPS / 開発環境 / 確率モデル |
|---|
| 研究実績の概要 |
本研究では，不確かな実世界（実空間）においても機能を提供し続けなければならないCPS（Cyber-Physical System）の実現手段を検討している．特に，実空間で考慮しなければならない不確かさと時間制約に着目し，時間制約を遵守するために必要に応じて環境に適応し，継続的に機能を提供可能なシステムの統合的な開発手法の確立を目的としている．本年度の主な研究成果は以下のとおりである．
・サブテーマ1．時間制約と要求の記述を包含した不確かな環境モデリング手法の検討：不確かな環境を記述・分析可能なモデリング手法として，確率的モデルである離散時間マルコフモデルDTMCで記述したモデルを高速に検証可能な技術を検討した．同提案をまとめた論文が，国際会議SEKEにフルペーパーとして採録された．その他，非機能要求の自動抽出を目的としてLLMを用いた要求モデル抽出方法を検討し，その研究成果が，モデリングに関する最高峰の会議であるER2023のツールでも論文として採録され，また要求工学の最高峰の会議REの併設ワークショップMODRE2023にもフルペーパー採録された．
・サブテーマ4．実時間指向CPSを実現するための統合開発環境の構築：サブテーマ1～3の研究成果を基に実時間指向CPSを効果的に開発可能な統合開発環境を検討した．システムを構成するコンポーネントと各コンポーネントの実行に要する時間制約に基づいて，取り得るシステムコンフィギュレーションの所要時間を推定することで適切なコンフィギュレーションを同定することが可能なプログラミングフレームワークを設計，実装した．
|
| 現在までの達成度 (段落) |
令和5年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和5年度が最終年度であるため、記入しない。
|
