Book chapter
Integrating real-time scheduling theory and program refinement
FME'96: Industrial Benefit and Advances in Formal Methods, pp.327-346
International Symposium of Formal Methods Europe, 3rd (Oxford, United Kingdom, 18-Mar-1996–22-Mar-1996)
Lecture Notes in Computer Science (LNCS), 1051, Springer Berlin Heidelberg
1996
Abstract
We show how real-time schedulability tests and program refinement rules can be integrated to create a formal development method of practical use to real-time programmers. A computational model for representing task scheduling is developed within a `timed' refinement calculus. Proven multi-tasking schedulability tests then become available as feasibility checks during system refinement.
Details
- Title
- Integrating real-time scheduling theory and program refinement
- Authors
- C J Fidge (Author) - University of QueenslandMark Utting (Author) - University of QueenslandP Kearney (Author) - University of QueenslandI J Hayes (Author) - University of Queensland
- Contributors
- M C Gaudel (Editor)J Woodcock (Editor)
- Publication details
- FME'96: Industrial Benefit and Advances in Formal Methods, pp.327-346
- Conference details
- International Symposium of Formal Methods Europe, 3rd (Oxford, United Kingdom, 18-Mar-1996–22-Mar-1996)
- Series
- Lecture Notes in Computer Science (LNCS); 1051
- Publisher
- Springer Berlin Heidelberg
- Date published
- 1996
- DOI
- 10.1007/3-540-60973-3_95; 10.1007/3-540-60973-3
- ISBN
- 9783540609735
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449607902621
- Output Type
- Book chapter
Metrics
1043 Record Views