The Library
Formalizing real-time scheduling as program refinement
Tools
UNSPECIFIED (1997) Formalizing real-time scheduling as program refinement. In: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97), PALMA DE MALLORCA, SPAIN, MAY 21-23, 1997. Published in: TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1231 pp. 295-309. ISBN 3-540-63010-4. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
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.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-63010-4 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Bertran, M and Rus, T | ||||
Official Date: | 1997 | ||||
Dates: |
|
||||
Volume: | 1231 | ||||
Number of Pages: | 15 | ||||
Page Range: | pp. 295-309 | ||||
Publication Status: | Published | ||||
Title of Event: | 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software (ARTS 97) | ||||
Location of Event: | PALMA DE MALLORCA, SPAIN | ||||
Date(s) of Event: | MAY 21-23, 1997 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |