权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Optimal Design Parameter Exploration of Real-Time Software and its Application to Embedded Software Reuse

实时软件优化设计参数探索及其在嵌入式软件复用中的应用

基本信息

批准号：
21700039
负责人：
NAKATA Akio
金额：
$ 1.33万
依托单位：
Hiroshima City University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2009
资助国家：
日本
起止时间：
2009 至 2011
项目状态：
已结题

项目摘要

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.

在这项研究中，我们开发了一种多任务的实时嵌入式软件的性能验证方法的处理/通信资源共享的各种调度策略，并满足性能要求的设计参数优化方法。在开发的验证方法，我们验证是否满足给定的性能要求，使用优先级秒表Petri网（PrSwPN）。在开发的参数优化，每个时间预算（分配给每个任务的执行时间）自动放宽，同时满足性能要求，然后（可能递归）的程序，每个任务进行静态分析，以获得设计参数的条件，如循环迭代次数和处理器频率，自动优化它们使用数学规划。这些方法使得开发要求相同性能的低成本/低功耗的嵌入式系统以及将软件组件复用到不同的执行平台变得更加容易。