|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b11. 会議発表論文・発表資料等 >
b11-1. 会議発表論文・発表資料 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/14274
|
| タイトル: | SOFL-based dependency graph generation for scheduling |
| 著者: | Cheng, Zhuo
Zhang, Haitao
Tan, Yasuo
Lim, Yuto |
| キーワード: | Scheduling
Task Dependency
SOFL
Formal Specification
Cruise Control System |
| 発行日: | 2016-06-12 |
| 出版者: | Institute of Electrical and Electronics Engineers (IEEE) |
| 誌名: | 2016 11th System of Systems Engineering Conference (SoSE) |
| 開始ページ: | 1 |
| 終了ページ: | 6 |
| DOI: | 10.1109/SYSOSE.2016.7542958 |
| 抄録: | In multi-task systems, different tasks work together to achieve desired functions. To guarantee the correctness of the functions, the tasks are required to be completed in specific orders. Violation of such orders will lead to the systems in unpredictable states, which may cause disasters. However, with the continuously increasing complexity in the developments of systems, to correctly generate the task dependency relation is becoming a challenge. A primary problem is the requirement specification may not be accurately and easily understood by the developers carrying out different tasks. To solve this problem, formal specification provides a feasible solution. However, some difficulties (e.g., high requirement of significant abstraction andmathematical skills) has hindered the widely usage of formal methods. To address these difficulties, SOFL, a formal engineering methodology, has been proposed. In this paper, we propose a method for generating task dependency relation based on SOFL specification. This method is demonstrated through a detailed case study of cruise control system. Moreover, we also provide a checking algorithm to check if there exist mistakes in the SOFL specification based on the transitivity of task dependency relation. We believe that these works provide a firm basis for the design of scheduling. |
| Rights: | This is the author's version of the work. Copyright (C) 2016 IEEE. 2016 11th System of Systems Engineering Conference (SoSE), 2016, 1-6. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
| URI: | http://hdl.handle.net/10119/14274 |
| 資料タイプ: | author |
| 出現コレクション: | b11-1. 会議発表論文・発表資料 (Conference Papers)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 22889.pdf | | 848Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
