Nowadays, multi-core architectures are being more and more used in the design of real-time systems. Those systems react usually to their environment that requires to amend their behaviors by applying reconfiguration scenarios. This paper deals with multi-core reconfigurable real-time systems that should be adapted to their environment under real-time constraints. Meanwhile, their synthesis induces a heavy system code and time overhead due to a huge number of threads. The setting up of those systems involves many stages: i) definition of system functionalities, ii) generating of tasks, iii) placement and scheduling of tasks, and iv) generating system code. Correct transition among these steps has an impact on the final system implementation. Thus the need of a designer’s experience is definitely required. However, many problems related to design decisions can be caused due to the complexity of real-time analysis, scheduling, and placement. Those problems may conduct to infeasible implementations. The proposed approach presents a guidance framework to avoid these problems from specification to code generation. This framework is performed by mixed-integer linear programming. It aims to resolve a task partitioning/scheduling problem while optimizing some metrics. The viability of the proposed framework is illustrated by a case study and performance evaluation.

如今，多核体系结构正越来越多地用于实时系统的设计中。这些系统通常会对需要通过应用重新配置方案来修改其行为的环境做出反应。本文讨论了应在实时约束下适应其环境的多核可重配置实时系统。同时，由于大量线程，它们的综合会导致沉重的系统代码和时间开销。这些系统的设置涉及多个阶段：i）系统功能的定义，ii）任务的生成，iii）任务的放置和调度，以及iv）生成系统代码。这些步骤之间的正确过渡会对最终系统的实施产生影响。因此，绝对需要设计师的经验。然而，由于实时分析，调度和放置的复杂性，可能导致与设计决策有关的许多问题。这些问题可能导致不可行的实现。所提出的方法提出了一种指导框架，以避免从规范到代码生成的这些问题。该框架由混合整数线性编程执行。它旨在解决任务分区/计划问题，同时优化一些指标。案例研究和性能评估说明了所提出框架的可行性。该框架由混合整数线性编程执行。它旨在解决任务分区/计划问题，同时优化一些指标。案例研究和性能评估说明了所提出框架的可行性。该框架由混合整数线性编程执行。它旨在解决任务分区/计划问题，同时优化一些指标。案例研究和性能评估说明了所提出框架的可行性。