2011 Fiscal Year Final Research Report
Optimal Design Parameter Exploration of Real-Time Software and its Application to Embedded Software Reuse
| Project/Area Number |
21700039
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Hiroshima City University |
|---|
Principal Investigator |
NAKATA Akio 広島市立大学, 情報科学研究科, 教授 (60295839)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Keywords | 組込みソフトウェア / 実時間ソフトウェア再利用 / コスト最適化 |
|---|
| Research Abstract |
In this research, we developed a performance verification method for multitask real-time embedded software with processing/communicating resources shared by various scheduling policies, and a design parameter optimization method satisfying performance requirements. In the developed verification method, we verify whether a given performance requirements are satisfied using Prioritized Stopwatch Petri Nets(PrSwPN). In the developed parameter optimization, each time budget(an allocated execution time for each task) are automatically relaxed while satisfying performance requirements, and then the(possibly recursive) program for each task is statically analyzed to derive a condition of design parameters such as loop iteration numbers and a processor frequency for automatically optimizing them using mathematical programming. These methods make it easier to develop embedded systems which requires the same performance with low cost/low power resources, and to reuse of software components into different execution platforms.
|
