|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b11. 会議発表論文・発表資料等 >
b11-1. 会議発表論文・発表資料 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/14772
|
| タイトル: | A framework for scheduling real-time systems |
| 著者: | Cheng, Zhuo
Zhang, Haitao
Tan, Yasuo
Lim, Yuto |
| キーワード: | Real-time Scheduling
SMT
Multiprocessor
Satisfiability Problem |
| 発行日: | 2016/07/25 |
| 出版者: | CSREA Press |
| 誌名: | The 22nd International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA) |
| 開始ページ: | 182 |
| 終了ページ: | 187 |
| 抄録: | 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 systems are required to be completed before their deadlines. To guarantee this requirement, the design of scheduling is crucial. In this paper, based on satisfiability modulo theories (SMT), we provide a framework to design scheduling for real-time systems. In the framework, 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 solver such a satisfiability problem. An optimal schedule can be generated based on a solution model returned by the SMT solver. To demonstrate the practicality of the framework, we give design guidelines for real-time systems with multiprocessor. Through the demonstration, the framework is found flexible and sufficiently general to apply to different kinds of real-time systems. To the best of our knowledge, it is the first time that systematically introducing SMT to solve a series problems covering a wide range in real-time scheduling domain. |
| Rights: | Zhuo Cheng, Haitao Zhang, Yasuo Tan, and Yuto Lim, The 22nd International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2016, 182-187. |
| URI: | http://hdl.handle.net/10119/14772 |
| 資料タイプ: | author |
| 出現コレクション: | b11-1. 会議発表論文・発表資料 (Conference Papers)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 22893.pdf | | 555Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
