Specification and Runtime Verification Methods for Adaptive Parallel Systems based on Group-Wide Reflection
Project/Area Number |
15K00089
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Software
|
Research Institution | Tokyo Institute of Technology |
Principal Investigator |
Watanabe Takuo 東京工業大学, 情報理工学院, 教授 (20222408)
|
Project Period (FY) |
2015-04-01 – 2018-03-31
|
Project Status |
Completed (Fiscal Year 2017)
|
Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2017: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2016: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2015: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
Keywords | 広域自己反映計算 / 自己反映計算 / アクターモデル / 関数リアクティブプログラミング / 実行時検証 / 文脈指向プログラミング / 動的適応 / 形式仕様記述 |
Outline of Final Research Achievements |
The goal of this project is to provide a framework for specification and run-time verification of actor-based reflective systems. To achieve the goal, we took a new approach to the actor-based group-wide reflection (GWR), which allows each actor to have capabilities of reasoning about/acting upon the collective behavior of the group it belongs to. We applied the proposed method to implement concurrent context-oriented programming (COP) systems. To realize COP in concurrent systems based on asynchronous communication, we must take care to control synchronizations among context changes and other computations. We adopt an instance of GWR to solve the synchronization problem regarding messages that cross two contexts. We also developed a static verification framework for actor-based systems in Coq, as well as a run-time verification library for Akka-based applications.
|
Report
(4 results)
Research Products
(27 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Actario: A Framework for Reasoning About Actor Systems2015
Author(s)
Shohei Yasutake and Takuo Watanabe
Organizer
5th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2015) [査読有]
Place of Presentation
Sheraton Station Square Hotel, Pittsburgh, PA, US
Year and Date
2015-10-26
Related Report
Int'l Joint Research
-
-
-
-
-