The Library
What's 'real' about real-time systems?
Tools
Tools
Tools
Joseph, Mathai and Goswami, Asis (1988) What's 'real' about real-time systems? University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-123.pdf - Other - Requires a PDF viewer. Download (8Mb) | Preview |
Abstract
A real-time system is typically a concurrent (or distributed) system whose computations and actions must satisfy some real-time constraints. Guaranteeing that such a system will in fact meet its constraints can thus be viewer either in terms of some extended model of program correctness or as a problem of scheduling, eg one of establishing a feasible schedule. However, the crucial distinction between real-time and other concurrent programs is not merely that of time, but that the former must execute on a system with limited resources. In this paper, we give an informal account of a semantic model of programs which may execute with limited resources. In this paper, we give an informal account of a semantic model of programs which may execute with limited resources: thus, the model can serve both as the basis for a formal specification system for real-time programs and to characterise real-time scheduling problems.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Interactive computer systems, Computer scheduling | ||||
| Series Name: | Department of Computer Science research report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Official Date: | May 1988 | ||||
| Dates: |
|
||||
| Number: | Number 123 | ||||
| Number of Pages: | 17 | ||||
| DOI: | CS-RR-123 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Publisher Statement: | M. Joseph and A. Goswami, “What's 'Real' about Real-time Systems?”, <i>Proceedings of IEEE Real-Time Systems Symposium</i>, IEEE Computer Society Press, pp. 78-85 (1988) | ||||
| Funder: | Science and Engineering Research Council (Great Britain) (SERC) | ||||
| Grant number: | GR/D73881 (SERC) | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
