As the demand for more functions and capabilities in the system increases, the application of multiprocessors has brought advantages in many ways. Many systems now have multiprocessors, and safety-critical systems with real-time properties are no exception. In these systems where the satisfaction of real-time properties is directly linked to the safety of life, the predictability of the behavior is very important, and the behavior of the system can be predicted using the schedulability analysis. In this paper, we propose the schedulability analysis of a real-time system in a homogeneous multiprocessor environment through constraint solving approach. First, the constraints that must be satisfied in order for the system to function properly were derived. These include the constraints of the task behavior, the scheduling behavior, and the operating conditions of a homogeneous multiprocessor environment. Once all the constraints were identified, they were encoded in the form of first-order logic expressions. The encoded constraints are then entered into a constraint solver along with a set of tasks. Finally, the solver provides a schedulable answer if the set of tasks satisfies all the constraints.

中文翻译：

---

多处理器实时系统中基于约束的可调度性分析

随着系统对更多功能和能力需求的增加，多处理器的应用在很多方面都带来了优势。许多系统现在都有多处理器，具有实时特性的安全关键系统也不例外。在这些实时性的满足直接关系到生命安全的系统中，行为的可预测性非常重要，可以使用可调度性分析来预测系统的行为。在本文中，我们通过约束求解方法提出了在同构多处理器环境中实时系统的可调度性分析。首先，推导出系统正常运行所必须满足的约束条件。这些包括任务行为的约束，调度行为，以及同构多处理器环境的运行条件。一旦确定了所有约束，它们就以一阶逻辑表达式的形式进行编码。然后将编码的约束与一组任务一起输入到约束求解器中。最后，如果任务集满足所有约束，求解器将提供可调度的答案。