• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2014 Fiscal Year Final Research Report

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

Research Project

  • PDF
Project/Area Number 24240003
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionNational 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

ソフトウェア工学

URL: 

Published: 2016-06-03  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi