2010 Fiscal Year Self-evaluation Report
Verification Methods for Highly Parallelized Embedded Software
| Project/Area Number |
20680001
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
AOKI Toshiaki Japan Advanced Institute of Science and Technology, 情報科学研究科, 准教授 (20313702)
|
|---|
| Project Period (FY) |
2008 – 2011
|
| Keywords | 形式検証 / モデル検査 |
|---|
| Research Abstract |
最近の組込みソフトウェアは,マルチタスクが取り扱い可能なリアルタイムオペレーティングシステムを用いるだけでなく,マルチCPU,マルチOS,マルチコアCPUを用いて高度に並行・並列化されて実装されている.そこで,本研究課題では,このような高度に並行・並列化された組込みソフトウェア,さらには,それらがヘテロに組み合わされた組込みソフトウェアを対象とした検証法を,モデル検査手法を拡張することにより提案する.
|
Research Products
(8 results)
