This article deals with the design exploration and verification of real-time critical systems. Assigning the functions to the tasks of the target real-time operating system is a part of the design process. Finding a suitable design involves many important design decisions that have a strong impact on the system quality criteria. However, with the increasing complexity and scale of today’s systems and the large number of possible design solutions, making design decisions while balancing conflicting quality criteria becomes error-prone and unmanageable for designers. We propose an automated method using a multi-objective evolutionary algorithm guided by an architectural clustering technique. This method allows designers to search the design space for schedulable solutions with respect to multiple competing performance criteria. To assess our method, several evaluations were performed. One of them shows that we were able to produce the exact optimal solution sets for $$55\%$$55% of the studied problem instances.

中文翻译：

---

Ravenscar 实时系统的多目标设计探索方法

本文涉及实时关键系统的设计探索和验证。将功能分配给目标实时操作系统的任务是设计过程的一部分。寻找合适的设计涉及许多对系统质量标准有重大影响的重要设计决策。然而，随着当今系统的复杂性和规模不断增加，以及大量可能的设计解决方案，在平衡相互冲突的质量标准的同时做出设计决策变得容易出错且设计人员难以管理。我们提出了一种使用多目标进化算法的自动化方法，该算法由架构聚类技术指导。这种方法允许设计人员在设计空间中搜索关于多个相互竞争的性能标准的可调度解决方案。为了评估我们的方法，进行了多次评估。其中之一表明我们能够为所研究的问题实例的 $55\%$$55% 生成精确的最优解集。