2014 Fiscal Year Final Research Report
Advanced methods of design and verification for dynamically reconfigurable embedded systems
| Project/Area Number |
24500034
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kanazawa University |
|---|
Principal Investigator |
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | 組込みシステム / ハイブリッドオートマトン / モデル検査 / 抽象化精錬 / 仕様記述 / 形式的検証 / 動的再構成可能システム / CEGAR |
|---|
| Outline of Final Research Achievements |
A system which can changes its configuration during operations is called Dynamically Reconfigurable System. In a Dynamically reconfigurable system, software (CPU) and hardware (DRP(Dynamically Reconfigurable Processor)) behaves cooeratively.
In this study, we develop dynamic hybrid automata, and CEGAR(CounterExample-Guided Abstraction Refinement) based model checking. Also we develop our model checker based on our proposed methods, and show them effective.
|
| Free Research Field |
形式的手法
|
