2018 Fiscal Year Annual Research Report
An Architecture Centric Software Development Environment for Cyber Physical Systems
| Project/Area Number |
16K00110
|
|---|
| Research Institution | Nanzan University |
|---|
Principal Investigator |
沢田 篤史 南山大学, 理工学部, 教授 (40273841)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
野呂 昌満 南山大学, 理工学部, 教授 (40189452)
張 漢明 南山大学, 理工学部, 准教授 (90329756)
|
|---|
| Project Period (FY) |
2016-04-01 – 2019-03-31
|
| Keywords | ソフトウェアアーキテクチャ / 組込みシステム / 開発支援環境 / コンテキストアウェアネス / 形式仕様記述 / 自己適用型ソフトウェア |
|---|
| Outline of Annual Research Achievements |
本研究の目的は，ネットワーク接続された組込みデバイス，スマートデバイス等からなるサイバーフィジカルシステム（以下，CPS）のソフトウェア開発を支援するための工学的基盤を確立することである．本研究では，この目的を達成するために，研究を開始した2016年度より，次の三つの重点項目，すなわち，(a)プロセス統合型アーキテクチャモデルの定式化，(b)開発支援ツールの統合方式の確立，(c)CPSソフトウェアの形式検証手法の確立，を設定している．2018年度においては，前年度までに行った調査研究，および，PBR（Policy Based Reconfiguration）パターンを用いたプロセス統合型アーキテクチャモデルの定式化，ソフトウェア開発支援のためのフレームワーク整備等の成果を洗練し，CPSアプリケーションに対する適用評価を行ってきた．具体的な成果は次の通りである．
重点項目(a)および(b)については，IoTアプリケーションを対象に，PBRパターンのメタレベル適用を試み，CPSアプリケーションの振舞いに変化を与えるコンテキストを階層的に整理すした．すなわち，コンテキストを，(1)ベースコンテキスト，(2)コンテキストとアプリケーションの振舞いの対応関係を変化させるメタコンテキスト，という階層に分割してとらえることで，CPSを取り巻く複雑な状況柔軟に適用可能な形に洗練した．さらに，それに適合するCPSアプリケーションの開発支援フレームワークについての検討を行った．重点項目(c)については，前年度に行ったMVCパターンに基づく形式仕様記述のための枠組みを改版し，自動販売機ソフトウェアを対象とした仕様記述への適用評価を行った．
|
