UM  > 科技學院
Formalising Scheduling Theories in Duration Calculus
QIWEN XU1; NAIJUN ZHAN2
2008
Source PublicationNordic Journal of Computing
ISSN2342-9011
Volume14Pages:173–201
Abstract

Traditionally many proofs in real time scheduling theory were informal and lacked the rigor usually required for good mathematical proofs. Some attempts have been made towards making the proofs more reliable, including using formal logics to specify scheduling algorithms and verify their properties. In particular, Duration Calculus, a real time interval temporal logic, has been used since timing requirements in scheduling can be naturally associated with intervals. This paper aims to improve the work in this area and give a summary. Static and dynamic priority scheduling algorithms are formalised in Duration Calculus and classical theorems for schedulability analysis are proven using the formal proof system of Duration Calculus.

KeywordReal Time Scheduling Formal Proof Duration Calculus Temporal Logics Schedulability Conditions
URLView the original
Language英语
Fulltext Access
Document TypeJournal article
CollectionFaculty of Science and Technology
DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.Faculty of Science and Technology University of Macau Macau SAR, P.R. China
2.Lab. of Computer Science, Institute of Software Chinese Academy of Sciences 100080, Beijing, P.R. China
First Author AffilicationFaculty of Science and Technology
Recommended Citation
GB/T 7714
QIWEN XU,NAIJUN ZHAN. Formalising Scheduling Theories in Duration Calculus[J]. Nordic Journal of Computing,2008,14:173–201.
APA QIWEN XU,&NAIJUN ZHAN.(2008).Formalising Scheduling Theories in Duration Calculus.Nordic Journal of Computing,14,173–201.
MLA QIWEN XU,et al."Formalising Scheduling Theories in Duration Calculus".Nordic Journal of Computing 14(2008):173–201.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[QIWEN XU]'s Articles
[NAIJUN ZHAN]'s Articles
Baidu academic
Similar articles in Baidu academic
[QIWEN XU]'s Articles
[NAIJUN ZHAN]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[QIWEN XU]'s Articles
[NAIJUN ZHAN]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

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