Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-123.pdf - Other - Requires a PDF viewer.

Download (8Mb) | Preview

Request Changes to record.

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, Engineering and Medicine > 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:
DateEvent
May 1988Completion
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
Reuse Statement (publisher, data, author rights): M.&nbsp;Joseph and A.&nbsp;Goswami, &ldquo;What's 'Real' about Real-time Systems?&rdquo;, <i>Proceedings of IEEE Real-Time Systems Symposium</i>, IEEE Computer Society Press, pp.&nbsp;78-85 (1988)
Funder: Science and Engineering Research Council (Great Britain) (SERC)
Grant number: GR/D73881 (SERC)
Related URLs:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us