Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems

2014 Fiscal Year Final Research Report

• Project/Area Number: 24240003
• Research Category: Grant-in-Aid for Scientific Research (A)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: National Institute of Informatics
• Principal Investigator: HONIDEN Shinichi 国立情報学研究所, アーキテクチャ科学研究系, 教授 (70332153)
• Co-Investigator(Kenkyū-buntansha): TEI Kenji 国立情報学研究所, アーキテクチャ科学研究系, 助教 (40434295) ; ISHIKAWA Fuyuki 国立情報学研究所, コンテンツ科学研究系, 准教授 (50455193)
• Project Period (FY): 2012-04-01 – 2015-03-31
• Keywords: ゴール指向要求分析 / ソフトウェアアーキテクチャ / モデル検査

Outline of Final Research Achievements

In this research, we proposed software analysis, design, and verification techniques for evolvable cyber-physical systems. Techniques we proposed mainly include (1) a control-loop pattern for goal model and a goal model elaboration process according to the pattern, (2) a control-loop oriented architecture pattern enabling architecture derivation from an elaborated goal model, and software verification techniques to identify errors in the specification. In addition, we constructed a software development process with these techniques and developed software of cleaning systems in smart rooms according to the process to evaluate our techniques.

Free Research Field

ソフトウェア工学