Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Hyuk | - |
dc.contributor.author | Choi, Jin-Young | - |
dc.date.accessioned | 2021-08-31T16:01:20Z | - |
dc.date.available | 2021-08-31T16:01:20Z | - |
dc.date.created | 2021-06-19 | - |
dc.date.issued | 2020 | - |
dc.identifier.issn | 2169-3536 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/58956 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.subject | MODEL-CHECKING | - |
dc.subject | EDF | - |
dc.subject | PACKING | - |
dc.subject | TASKS | - |
dc.title | Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Choi, Jin-Young | - |
dc.identifier.doi | 10.1109/ACCESS.2020.3022847 | - |
dc.identifier.scopusid | 2-s2.0-85102841689 | - |
dc.identifier.wosid | 000572900200001 | - |
dc.identifier.bibliographicCitation | IEEE ACCESS, v.8, pp.165168 - 165177 | - |
dc.relation.isPartOf | IEEE ACCESS | - |
dc.citation.title | IEEE ACCESS | - |
dc.citation.volume | 8 | - |
dc.citation.startPage | 165168 | - |
dc.citation.endPage | 165177 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalResearchArea | Engineering | - |
dc.relation.journalResearchArea | Telecommunications | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Information Systems | - |
dc.relation.journalWebOfScienceCategory | Engineering, Electrical & Electronic | - |
dc.relation.journalWebOfScienceCategory | Telecommunications | - |
dc.subject.keywordPlus | MODEL-CHECKING | - |
dc.subject.keywordPlus | EDF | - |
dc.subject.keywordPlus | PACKING | - |
dc.subject.keywordPlus | TASKS | - |
dc.subject.keywordAuthor | Task analysis | - |
dc.subject.keywordAuthor | Real-time systems | - |
dc.subject.keywordAuthor | Processor scheduling | - |
dc.subject.keywordAuthor | Model checking | - |
dc.subject.keywordAuthor | Analytical models | - |
dc.subject.keywordAuthor | Automata | - |
dc.subject.keywordAuthor | Tools | - |
dc.subject.keywordAuthor | Constraint satisfaction problem | - |
dc.subject.keywordAuthor | satisfiability modulo theories | - |
dc.subject.keywordAuthor | real-time schedulability analysis | - |
dc.subject.keywordAuthor | multiprocessor schedulability analysis | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.