Constraint Solving Approach to Schedulability Analysis in Real-Time Systems
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 t...
| Published in: | IEEE Access |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2018-01-01
|
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8485678/ |
| _version_ | 1852717595243839488 |
|---|---|
| author | Hyuk Lee Jin-Young Choi |
| author_facet | Hyuk Lee Jin-Young Choi |
| author_sort | Hyuk Lee |
| collection | DOAJ |
| container_title | IEEE Access |
| description | 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. |
| format | Article |
| id | doaj-art-8db9d770d8e84dfbbd838013d3ed728a |
| institution | Directory of Open Access Journals |
| issn | 2169-3536 |
| language | English |
| publishDate | 2018-01-01 |
| publisher | IEEE |
| record_format | Article |
| spelling | doaj-art-8db9d770d8e84dfbbd838013d3ed728a2025-08-19T21:13:52ZengIEEEIEEE Access2169-35362018-01-016584185842610.1109/ACCESS.2018.28746378485678Constraint Solving Approach to Schedulability Analysis in Real-Time SystemsHyuk Lee0https://orcid.org/0000-0003-2441-709XJin-Young Choi1Department of Computer Science, Korea University, Seoul, South KoreaGraduate School of Information Security, Korea University, Seoul, South KoreaIn 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.https://ieeexplore.ieee.org/document/8485678/Constraint satisfaction problemsatisfiability modulo theoriesreal-time schedulability analysis |
| spellingShingle | Hyuk Lee Jin-Young Choi Constraint Solving Approach to Schedulability Analysis in Real-Time Systems Constraint satisfaction problem satisfiability modulo theories real-time schedulability analysis |
| title | Constraint Solving Approach to Schedulability Analysis in Real-Time Systems |
| title_full | Constraint Solving Approach to Schedulability Analysis in Real-Time Systems |
| title_fullStr | Constraint Solving Approach to Schedulability Analysis in Real-Time Systems |
| title_full_unstemmed | Constraint Solving Approach to Schedulability Analysis in Real-Time Systems |
| title_short | Constraint Solving Approach to Schedulability Analysis in Real-Time Systems |
| title_sort | constraint solving approach to schedulability analysis in real time systems |
| topic | Constraint satisfaction problem satisfiability modulo theories real-time schedulability analysis |
| url | https://ieeexplore.ieee.org/document/8485678/ |
| work_keys_str_mv | AT hyuklee constraintsolvingapproachtoschedulabilityanalysisinrealtimesystems AT jinyoungchoi constraintsolvingapproachtoschedulabilityanalysisinrealtimesystems |