信息科学与工程学院机构知识库

Institutional Repository, School of Information Science and Engineering

 

兰州大学机构库  > 信息科学与工程学院  > 会议论文
题名: SMT-based scheduling for multiprocessor real-time systems
作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto
收录类别: EI
出版日期: 2016-08-23
会议名称: 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016
会议日期: June 26, 2016 - June 29, 2016
会议地点: Okayama, Japan
英文摘要: Real-time system is playing an important role in our society. For such a system, sensitivity to timing is the central feature of system behaviors, which means tasks in the system are required to be completed before their deadlines. Currently, almost all the practical real-time systems are equipped within multiple processors, for which the schedule synthesis to make sure that all the tasks can be completed before their deadlines is known to be an NP complete problem. In this paper, to solve the scheduling problem, we propose a scheduling method based on satisfiability modulo theories (SMT). In the method, the problem of scheduling is treated as a satisfiability problem. The key work is to formalize the satisfiability problem using first-order language. After the formalization, a SMT solver (e.g., Z3, Yices) is employed to solve such a satisfiability problem. An optimal schedule can be generated based on a solution model returned by the SMT solver. Moreover, in the SMT-based scheduling method, we define the scheduling constraints as system constraints and target constraints. Such design makes the proposed method apply more widely compared with existing methods. © 2016 IEEE.
关键词: Real time systems ; Computational complexity ; Formal logic ; Information science ; Interactive computer systems ; Multiprocessing systems ; Problem solving ; Scheduling ; Surface mount technology ; First-order language ; Multiple processors ; multiprocessor ; Real ; time scheduling ; Satisfiability modulo Theories ; Satisfiability problems ; Scheduling constraints ; Scheduling methods
作者部门: (1) School of Information Science, Japan Advanced Institute of Science and Technology, Japan ; (2) School of Information Science and Engineering, Lanzhou University, China
通讯作者: Zhang, Haitao (htzhang@lzu.edu.cn)
学科分类: Computer Theory, Includes Formal Logic, Automata Theory, Switching Theory, Programming Theory;Management
会议录: 2016 IEEE/ACIS 15th International Conference on Computer and Information Science, ICIS 2016 - Proceedings
出版者: IEEE
语种: 英语
DOI: 10.1109/ICIS.2016.7550822
EI记录号: 20163902832613
IR记录号: 20163902832613
第一机构:
Citation statistics:
内容类型: 会议论文
URI标识: http://ir.lzu.edu.cn/handle/262010/184031
Appears in Collections:信息科学与工程学院_会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Cheng, Zhuo,Zhang, Haitao,Tan, Yasuo,et al. SMT-based scheduling for multiprocessor real-time systems[C]. 见:15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016. Okayama, Japan. June 26, 2016 - June 29, 2016.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Altmetrics Score
 
Google Scholar
Similar articles in Google Scholar
[Cheng, Zhuo]'s Articles
[Zhang, Haitao]'s Articles
[Tan, Yasuo]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Cheng, Zhuo]‘s Articles
[Zhang, Haitao]‘s Articles
[Tan, Yasuo]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Copyright © 2007-2017  兰州大学 - Feedback
Powered by CSpace