Formalizing real-time scheduling as program refinement | springerprofessional.de

Springer Professional

nach oben

Erschienen in:

Kapitel lesen Erstes Kapitel lesen

1997 | ReviewPaper | Buchkapitel

Formalizing real-time scheduling as program refinement

verfasst von : Zhiming Liu, Mathai Joseph

Erschienen in: Transformation-Based Reactive Systems Development

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

This paper shows how the feasibility of scheduling a realtime program consisting of a number of parallel processes (tasks) can be proved as a step in the refinement of the program from its specification. Verification of this step of refinement makes formal use of methods and results from real-time scheduling theory.

Vorheriges Kapitel Verification and refinement of distributed programs in a fair framework

Nächstes Kapitel Specification and refinement of continuous real-time systems

Titel: Formalizing real-time scheduling as program refinement
verfasst von: Zhiming Liu
Mathai Joseph
Verlag: Springer Berlin Heidelberg
Buch: Transformation-Based Reactive Systems Development
Print ISBN: 978-3-540-63010-4

Electronic ISBN: 978-3-540-69058-0

Copyright-Jahr: 1997
DOI: https://doi.org/10.1007/3-540-63010-4_20

Springer Professional

Premium Partner