Title :
What´s `real´ about real-time systems?
Author :
Joseph, Mathai ; Goswami, Asis
Author_Institution :
Dept. of Comput. Sci., Warwick Univ., Coventry, UK
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;
Conference_Titel :
Real-Time Systems Symposium, 1988., Proceedings.
Conference_Location :
Huntsville, AL
Print_ISBN :
0-8186-4894-5
DOI :
10.1109/REAL.1988.51103
