Integrating real-time scheduling theory and program refinement
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 327-346
- https://doi.org/10.1007/3-540-60973-3_95
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Proving properties of real-time semaphoresScience of Computer Programming, 1995
- Extending hoare logic to real-timeFormal Aspects of Computing, 1994
- Adding real time to formal program developmentLecture Notes in Computer Science, 1994
- Applying new scheduling theory to static priority pre-emptive schedulingSoftware Engineering Journal, 1993
- Stack-based scheduling of realtime processesReal-Time Systems, 1991
- Priority inheritance and message passing communication: A formal treatmentReal-Time Systems, 1991
- Formal specifications and proofs of inheritance protocols for real-time schedulingSoftware Engineering Journal, 1990