Constraint-based schedulability analysis in multiprocessor real-Time systems

Hyuk Lee, Jin Young Choi

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)165168-165177
Number of pages10
JournalIEEE Access
Publication statusPublished - 2020

Bibliographical note

Publisher Copyright:
© 2020 Institute of Electrical and Electronics Engineers Inc.. All rights reserved.


  • Constraint Satisfaction Problem
  • Multiprocessor Schedulability Analysis.
  • Real-Time Schedulability Analysis
  • SatisAbility Modulo Theories

ASJC Scopus subject areas

  • General Computer Science
  • General Materials Science
  • General Engineering


Dive into the research topics of 'Constraint-based schedulability analysis in multiprocessor real-Time systems'. Together they form a unique fingerprint.

Cite this