Efficient runtime formal verification of aspect-oriented models@run.time systems
Project/Area Number |
26330081
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Software
|
Research Institution | The University of Electro-Communications |
Principal Investigator |
Tahara Yasuyuki 電気通信大学, 大学院情報理工学研究科, 准教授 (30390602)
|
Co-Investigator(Kenkyū-buntansha) |
清 雄一 電気通信大学, 大学院情報理工学研究科, 助教 (20700157)
中川 博之 大阪大学, 情報科学研究科, 准教授 (40508834)
大須賀 昭彦 電気通信大学, 大学院情報理工学研究科, 教授 (90393842)
|
Project Period (FY) |
2014-04-01 – 2017-03-31
|
Project Status |
Completed (Fiscal Year 2016)
|
Budget Amount *help |
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2016: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2014: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
|
Keywords | ソフトウェア工学 / アスペクト指向 / models@run.time / 形式手法 / モデル検査 / リフレクション / 抽象化 / 自己適応システム |
Outline of Final Research Achievements |
We developed a code generation system that provides an abstraction / refinement relation between the model and the source code based on the framework of the formal model of aspect-oriented models@run.time system proposed by us. We extended the framework of the formal model so that it can deal with the behavior in which aspects are woven at runtime for adaptation, by adding, as new axioms, axiom changing rules that formalize aspect weaving using reflection. We developed a prototype of verification and adaptation integrating the code generation system and the verification system based on the design of the prototype of the verification / adaptation system. We also implemented, conducted experiments of, and evaluated the example web / ubiquitous application.
|
Report
(4 results)
Research Products
(162 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Towards Goal-Oriented Conformance Checking2015
Author(s)
Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara and Akihiko Ohsuga
-
Journal Title
International Conference on Software Engineering and Knowledge Engineering (SEKE)
Volume: 2015
Pages: 722-724
Related Report
Peer Reviewed / Acknowledgement Compliant
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] 加速度センサを用いた犬の行動認識2014
Author(s)
清原達弥, 折原良平, 清雄一, 田原康之, 大須賀昭彦
-
Journal Title
合同エージェントワークショップ&シンポジウム2014 (JAWS 2014)論文集
Volume: -
Related Report
Peer Reviewed / Acknowledgement Compliant
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Locating a Faulty Interaction in Pair-Wise Testing2014
Author(s)
Takahiro Nagamoto, Hideharu Kojima, Hiroyuki NakagawaTakahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
-
Journal Title
Proc. of the 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
Volume: -
Pages: 155-156
DOI
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-