Title :
Language support for the Maruti real-time system
Author :
Nirkhe, Vivek M. ; Tripathi, Satish K. ; Agrawala, Ashok K.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
Abstract :
Maruti is a testbed for the design of time-driven hard real-time systems. It uses the technique of prescheduling, where the application is scheduled prior to execution and resources required by the application are reserved, in order to ensure that deadlines are met. A description is given of the features of MPL, a language for Maruti. MPL provides constructs for expressing time constraints, precedence relations, and synchronization directly in the programs. The MPL features are designed to facilitate prescheduling
Keywords :
high level languages; real-time systems; scheduling; MPL; Maruti real-time system; deadlines; language support; precedence relations; prescheduling; resources; synchronization; testbed; time constraints; time-driven hard real-time systems; Application software; Computer languages; Computer science; Educational institutions; Operating systems; Processor scheduling; Programming profession; Real time systems; System testing; Time factors;
Conference_Titel :
Real-Time Systems Symposium, 1990. Proceedings., 11th
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-8186-2112-5
DOI :
10.1109/REAL.1990.128756