| 研究課題/領域番号 |
15H05708
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
福田 晃 九州大学, システム情報科学研究院, 教授 (80165282)
|
|---|
| 研究分担者 |
久住 憲嗣 九州大学, システムLSI研究センター, 准教授 (10380685)
石田 繁巳 九州大学, システム情報科学研究院, 助教 (10724388)
峯 恒憲 九州大学, システム情報科学研究院, 准教授 (30243851)
荒川 豊 奈良先端科学技術大学院大学, 情報科学研究科, 准教授 (30424203)
金子 邦彦 福山大学, システム情報科学研究院, 教授 (50274494)
中西 恒夫 福岡大学, 工学部, 教授 (70311785)
田頭 茂明 関西大学, 総合情報学部, 教授 (70332806)
|
|---|
| 研究期間 (年度) |
2015-05-29 – 2020-03-31
|
| キーワード | サービス構築基盤技術 / ライフサイクル指向 |
|---|
| 研究実績の概要 |
（１）アーキテクチャ設計： スマートモビリティ向けの情報基盤プラットフォームに必要なライフサイクル指向のアーキテクチャの課題を洗い出した．このとき，今年度は，システム設計／開発と運用環境との関係は，運用環境は設計時に確定している，と仮定した．また，さらに，運用までを含めた含めたアーキテクチャに関しては，動的ソフトウエアプロダクトラインを適用する技術を研究した．
（２）安全・安心な設計技術と検証技術： 上記のアーキテクチャ設計を踏まえて，安全・安心な設計技術の基盤技術を研究開発している．とくに，モデル検査技術に関しては，SMTベースの検査技術の高速化手法を提案した．さらに，本技術を実証し，いくつかのアプリケーションに適用し，本手法の有効性を検証中である．
（３）トレーサビリティ可能なスマートモビリティデータ設計／構築技術： トレーサビリティ可能な設計技術として，メタインデックスを用いることを提案した．また，既存の標準的なデータ構造を，スマートモビリティ向けに拡張する手法を提案した．本提案手法に基づき，案内システムのプロトタイプを開発中である．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
本年度計画した，１）アーキテクチャ設計，２）安全・安心な設計技術と検証技術，３）トレーサビリティ可能なスマートモビリティデータ設計／構築技術に関して，今年度計画した研究内容が遂行できたので，おおむね順調に進展していると考える．
|
| 今後の研究の推進方策 |
〇H27年度遂行した研究の発展： H27年度に遂行した研究を，アプリケーションを意識することにより，発展させる．
〇曖昧さを取り入れたライフサイクル指向の開発プロセスの研究開発： システム設計段階で，システムの曖昧さを取り入れたライフサイクル指向の開発プロセスの研究に着手する．
〇アプリケーションの開発：スマートモビリティ向けのアプリケーションを開発し，運用することにより，運用時の課題を洗い出し，さらに，システム設計にフィードバックさせる技術を研究開発する．
|
