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), MAY 21-23, 1997, PALMA DE MALLORCA, SPAIN.

Full text not available from this repository.

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
Date:	1997
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
URI:	http://wrap.warwick.ac.uk/id/eprint/15677

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item