Abstract
In real-time systems, the satisfaction of real-time properties is as important as the correct behavior of the function. There are many safety-critical systems among the real-time systems, and thus, the satisfaction of real-time properties is directly related to safety in those cases. By performing the schedulability analysis, we can predict the behavior of real-time systems and ensure that real-time properties are met. In this paper, we propose the schedulability analysis of a real-time system through a constraint solving approach, that is, by treating a scheduling problem as a constraint solving problem. To do this, we describe a method of representing the task behavior and schedulable properties of real-time tasks in the form of constraints and finding answers that satisfy all the constraints using a constraint solver.
| Original language | English |
|---|---|
| Article number | 8485678 |
| Pages (from-to) | 58418-58426 |
| Number of pages | 9 |
| Journal | IEEE Access |
| Volume | 6 |
| DOIs | |
| Publication status | Published - 2018 Jan 1 |
Fingerprint
Keywords
- Constraint satisfaction problem
- real-time schedulability analysis
- satisfiability modulo theories
ASJC Scopus subject areas
- Computer Science(all)
- Materials Science(all)
- Engineering(all)
Cite this
Constraint solving approach to schedulability analysis in real-time systems. / Lee, Hyuk; Choi, Jin Young.
In: IEEE Access, Vol. 6, 8485678, 01.01.2018, p. 58418-58426.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Constraint solving approach to schedulability analysis in real-time systems
AU - Lee, Hyuk
AU - Choi, Jin Young
PY - 2018/1/1
Y1 - 2018/1/1
N2 - In real-time systems, the satisfaction of real-time properties is as important as the correct behavior of the function. There are many safety-critical systems among the real-time systems, and thus, the satisfaction of real-time properties is directly related to safety in those cases. By performing the schedulability analysis, we can predict the behavior of real-time systems and ensure that real-time properties are met. In this paper, we propose the schedulability analysis of a real-time system through a constraint solving approach, that is, by treating a scheduling problem as a constraint solving problem. To do this, we describe a method of representing the task behavior and schedulable properties of real-time tasks in the form of constraints and finding answers that satisfy all the constraints using a constraint solver.
AB - In real-time systems, the satisfaction of real-time properties is as important as the correct behavior of the function. There are many safety-critical systems among the real-time systems, and thus, the satisfaction of real-time properties is directly related to safety in those cases. By performing the schedulability analysis, we can predict the behavior of real-time systems and ensure that real-time properties are met. In this paper, we propose the schedulability analysis of a real-time system through a constraint solving approach, that is, by treating a scheduling problem as a constraint solving problem. To do this, we describe a method of representing the task behavior and schedulable properties of real-time tasks in the form of constraints and finding answers that satisfy all the constraints using a constraint solver.
KW - Constraint satisfaction problem
KW - real-time schedulability analysis
KW - satisfiability modulo theories
UR - http://www.scopus.com/inward/record.url?scp=85054520079&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85054520079&partnerID=8YFLogxK
U2 - 10.1109/ACCESS.2018.2874637
DO - 10.1109/ACCESS.2018.2874637
M3 - Article
VL - 6
SP - 58418
EP - 58426
JO - IEEE Access
JF - IEEE Access
SN - 2169-3536
M1 - 8485678
ER -