Automatic Synthesis of Behavioral Models in Distributed Systems by Reconstructible Decomposition of Acyclic Relations
| Project/Area Number |
26330083
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2014-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 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Keywords | ソフトウェア開発効率化・安定化 / ソフトウェア工学 / アルゴリズム / 情報システム |
|---|
| Outline of Final Research Achievements |
Development of high reliability software is indispensable to achieve safe and secure society. This research program addressed the problem of automatically synthesizing the behavioral model of each module composes a distributed system from an abstract specification. A new notion called "reconstructible" decomposition of acyclic relation is introduced and an algorithm synthesizing Pareto efficient state machines is developed. The proposed method has been implemented as a plug-in of a UML modeling tool. The proposed method is superior to the former method in terms of intelligibility of model.
|
Report
(5 results)
Research Products
(13 results)
