haRTStone - Automated Generation of Benchmark Programs for the Evaluation of Analyses and Optimizations for Hard Real-Time Systems

haRTStone - 自动生成基准程序，用于评估硬实时系统的分析和优化

• 批准号: 382246323
• 负责人: Professor Dr. Heiko Falk
• 金额: --
• 依托单位: Institut für Eingebettete Systeme E-13
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2017
• 资助国家: 德国
• 起止时间: 2016-12-31 至 2021-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/382246323?language=en
• 关键词: haRTStone; Automated; Generation; Benchmark; Programs

Many embedded systems are safety-critical real-time systems that have to meet hard deadlines (e.g., airbag or flight control systems). When designing such real-time systems, it is of utmost importance to guarantee that all tasks of a system meet their given deadlines. For this purpose, dedicated timing analyses are required that examine the worst-case behavior of a system and are able to provide such guarantees. In the case that deadlines are not met, optimizations need to be applied in order to modify the code of the system such that timing constraints are nevertheless finally met.Research on such analyses and optimizations for hard real-time systems is an extremely lively area where new results are presented regularly and at a very fast pace. Naturally, the evaluation of such analyses and optimizations plays a very important role. Nowadays, evaluation typically relies on benchmarking such that new analyses or optimizations are applied to existing collections of applications, tasks or program codes. The currently used benchmarks are, however, highly limited and not sufficient in order to perform a sound and scientific evaluation, especially if massively parallel multi-task systems are considered.For a well-founded and reproducible evaluation of analyses and optimizations, there is a strong demand for universally applicable benchmark approaches that are freely available for the entire scientific community. Benchmarks should satisfy the needs and requirements of various branches of research (e.g., schedulability analysis, WCET analysis, compiler optimization) on the one hand, but should also, on the other hand, realistically represent different application domains like, e.g., control or signal processing applications.This project aims at the realization of a flexible and parameterizable benchmark generator that produces benchmark programs in an automated, pseudo-randomized and reproducible fashion. This benchmark generator will in particular cover the system and the code level by producing both complete task sets and also actual program codes for the individual tasks. In order to enable a widespread use of the generator and a broad collaboration with arbitrary interested people and groups, this project will be inclusive and the developed software will be openly available right from the beginning. In the end, this project shall lead to a methodology for benchmarking-based evaluation that describes clearly and reproducibly for the different real-time communities, how to use the benchmark generator in order to obtain plausible, sound and scientifically accepted evaluation results.

许多嵌入式系统是安全至关重要的实时系统，必须符合硬线（例如安全气囊或飞行控制系统）。在设计这样的实时系统时，要确保系统的所有任务符合其给定的截止日期至关重要。为此，需要进行专门的计时分析，以检查系统的最坏情况并能够提供此类保证。在未达到截止日期的情况下，需要进行优化以修改系统的代码，以便最终达到了时序限制。研究此类分析和艰难实时系统的优化是一个非常活跃的领域，在该领域中，定期呈现新结果，并以定期和非常快的节奏提出。自然，对此类分析和优化的评估起着非常重要的作用。如今，评估通常依赖于基准测试，以便将新的分析或优化应用于现有的应用程序，任务或程序代码的集合。但是，目前使用的基准测试是高度限制的，并且不足以执行声音和科学评估，尤其是考虑到大量平行的多任务系统。对于有充分的分析和优化评估，对整个科学社区免费使用的基准方法有很强的要求。 Benchmarks should satisfy the needs and requirements of various branches of research (e.g., schedulability analysis, WCET analysis, compiler optimization) on the one hand, but should also, on the other hand, realistically represent different application domains like, e.g., control or signal processing applications.This project aims at the realization of a flexible and parameterizable benchmark generator that produces benchmark programs in an automated, pseudo-randomized和可重现的时尚。该基准生成器将特别涵盖系统和代码级别，通过生成完整的任务集以及针对各个任务的实际程序代码。为了使发电机广泛使用并与任意感兴趣的人和团体进行广泛的合作，该项目将是包容性的，并且从一开始就将公开使用开发的软件。最后，该项目应导致一种基于基准测试评估的方法，该方法为不同的实时社区清楚地描述了，如何使用基准生成器来获得合理，合理的和科学的评估结果。