2015 Fiscal Year Final Research Report
Development of a validity check program for real time parallel systems using timed CSP
Project/Area Number |
25330087
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Software
|
Research Institution | Tokyo Metropolitan University |
Principal Investigator |
|
Project Period (FY) |
2013-04-01 – 2016-03-31
|
Keywords | 並列処理 / 形式手法 / CSP理論 / 失敗・発散検査 |
Outline of Final Research Achievements |
The study is concerned with a validity check program for a parallel processing system. If some units are run in parallel, the system will be dead-locked with unexpected sequence failures. We have a tool to find them hidden in a system at the system design level. Our study has tried to refine the validity checker to discover invalidities caused by timing conflict beside simple event sequence. We have confirmed that some of timing invalidities possibly hidden in a system could be found with this newly refined checker.
|
Free Research Field |
情報科学
|