Skip to main content
Conference ProceedingsOPEN ACCESS

Integrating real-time scheduling theory and program refinement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1996) 1051 327-346
DOI: 10.1007/3-540-60973-3_95
11Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

This article is free to access.

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.

Cite

CITATION STYLE

APA

Fidge, C., Utting, M., Kearney, P., & Hayes, I. (1996). Integrating real-time scheduling theory and program refinement. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1051, pp. 327–346). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_95

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free