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

Institutional Repository, School of Information Science and Engineering

 

兰州大学机构库  > 信息科学与工程学院  > 会议论文
题名: SOFL-based dependency graph generation for scheduling
作者: Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto
收录类别: EI
出版日期: 2016-08-12
会议名称: 11th Systems of Systems Engineering Conference, SoSE 2016
会议日期: June 12, 2016 - June 16, 2016
会议地点: Kongsberg, Norway
英文摘要: 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 and mathematical 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. © 2016 IEEE.
关键词: Formal specification ; Computer control ; Control systems ; Cruise control ; Formal methods ; Scheduling ; Specifications ; Systems engineering ; Dependency graphs ; Feasible solution ; Formal engineerings ; Multi task system ; Requirement specification ; SOFL ; Task dependencies
作者部门: (1) School of Information Science, Japan Advanced Institute of Science and Technology, Japan ; (2) School of Information Science and Engineering, Lanzhou University, China
学科分类: Computer Applications;Control Systems;Management; Systems Science
会议录: 2016 11th Systems of Systems Engineering Conference, SoSE 2016
出版者: IEEE
语种: 英语
DOI: 10.1109/SYSOSE.2016.7542958
EI记录号: 20163702790231
IR记录号: 20163702790231
第一机构:
Citation statistics:
内容类型: 会议论文
URI标识: http://ir.lzu.edu.cn/handle/262010/184029
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. SOFL-based dependency graph generation for scheduling[C]. 见:11th Systems of Systems Engineering Conference, SoSE 2016. Kongsberg, Norway. June 12, 2016 - June 16, 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