Preparing Unanticipated Situation : Software Analysis, Design, and Verification for Cyber-Physical Systems
| 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
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥44,850,000 (Direct Cost: ¥34,500,000、Indirect Cost: ¥10,350,000)
Fiscal Year 2014: ¥15,860,000 (Direct Cost: ¥12,200,000、Indirect Cost: ¥3,660,000)
Fiscal Year 2013: ¥15,730,000 (Direct Cost: ¥12,100,000、Indirect Cost: ¥3,630,000)
Fiscal Year 2012: ¥13,260,000 (Direct Cost: ¥10,200,000、Indirect Cost: ¥3,060,000)
|
|---|
| 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.
|
Report
(4 results)
Research Products
(52 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study2012
Author(s)
Valentina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, , Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, Ryo Shimizu, Kenji Tei, Susumu Toriumi
-
Journal Title
Procedia Computer Science
Volume: 10
Pages: 30-37
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] S-CLAIM: An Agent-based Programming language for AmI, A Smart-Room Case Study2012
Author(s)
Valantina Baljak, Marius Tudor Benea, Amal El Fallah Seghrouchni, Cedric Herpson, Shinichi Honiden, Thi Thuy Nga Nguyen, Andrei Olaru, RyoShimizu, Kenji Tei and Susumu Toriumi
Organizer
The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012)
Place of Presentation
Ontario, Canada
Related Report
-
-
-
-
-
-
