What´s `real´ about real-time systems?

Author

Joseph, Mathai ; Goswami, Asis

Author_Institution

Dept. of Comput. Sci., Warwick Univ., Coventry, UK

fYear

1988

fDate

6-8 Dec 1988

Firstpage

78

Lastpage

85

Abstract

A real-time system is a concurrent computing system whose computations and actions must satisfy time constraints. Guaranteeing that such a system will meet its constraints can be viewed either in terms of an extended model of program correctness or as a problem of scheduling, e.g. establishing a feasible schedule. However, a crucial distinction between real-time and other concurrent programs is not merely that of time, but that the former must often execute on systems with limited resources. The authors give a short account of a limited resource semantics of program execution. The model can serve both as the basis for a formal specification system for real-time programs and to characterize real-time scheduling problems

Keywords

parallel programming; program verification; real-time systems; scheduling; concurrent computing system; formal specification system; program correctness; program execution; real-time programs; real-time systems; resource semantics; scheduling; time constraints; Actuators; Computer science; Concurrent computing; Formal specifications; Processor scheduling; Real time systems; Sensor phenomena and characterization; Sensor systems; Time factors; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1988., Proceedings.

Conference_Location

Huntsville, AL

Print_ISBN

0-8186-4894-5

Type

conf

DOI

10.1109/REAL.1988.51103

Filename

51103