2017 Fiscal Year Annual Research Report
Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection
| Project/Area Number |
15K00089
|
|---|
| Research Institution | Tokyo Institute of Technology |
|---|
Principal Investigator |
渡部 卓雄 東京工業大学, 情報理工学院, 教授 (20222408)
|
|---|
| Project Period (FY) |
2015-04-01 – 2018-03-31
|
| Keywords | 広域自己反映計算 / 自己反映計算 / 実行時検証 / 関数リアクティブプログラミング / アクターモデル |
|---|
| Outline of Annual Research Achievements |
最終年度は，これまでの成果をもとに，組込み・分散計算系をターゲットとして提案手法の有効性を示した．具体的には，(A)組込みシステムのための関数リアクティブプログラミング言語における自己反映計算およびアクターモデルとの統合方式を提案し，それらにもとづいて分散計算系における適応的実行方式の定式化を行った．加えて，(B)アクターモデルを用いたアプリケーションにおいて，これまでに提案してきた実行時検証方式の有効性を確認した．
(A) これまでの成果の一つとして，小規模組み込みシステム向けの関数リアクティブプログラミング(FRP)言語Emfrpを設計・実装し，実際にマイクロコントローラ上で評価を行ってその有用性を明らかにしてきた．本年度は，本言語の実行モデルにアクターモデルを採用することで，非同期性，割り込みや例外，分散処理等のFRPによる表現を可能にすることを示すとともに，自己反映計算機構の導入により，実行時文脈に依存した処理の適切なモジュール化が可能になることを示した．加えて，副作用のないFRP言語による宣言的な記述が，実行時にみたすべき性質の表現および検証に有効であることを確認した．
(B) 前年度までに行ってきたアクターモデル上の自己反映計算モデルおよび実行時検証の成果にもとづき，プログラミング言語Scalaによるアプリケーション（分散型Webアプリケーションおよびデスクトップアプリケーション）を対象とした実行時検証フレームワークを実装し，その有効性を評価した．
|
