Language support for the Maruti real-time system

Vivek M. Nirkhe; Satish K. Tripathi; Ashok K. Agrawala

Language support for the Maruti real-time system

Vivek M. Nirkhe
, Satish K. Tripathi
, Ashok K. Agrawala

University of Maryland, College Park

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

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.

Original language	English
Title of host publication	90 Real-Time Syst. Symp.
Publisher	Publ by IEEE
Pages	257-266
Number of pages	10
ISBN (Print)	0818621125
State	Published - Oct 1991
Event	Proceedings of the 11th Real-Time Systems Symposium - Lake Buena Vista, FL, USA Duration: Dec 5 1990 → Dec 7 1990

Publication series

Name	Proceedings - Real-Time Systems Symposium

Conference

Conference	Proceedings of the 11th Real-Time Systems Symposium
City	Lake Buena Vista, FL, USA
Period	12/5/90 → 12/7/90

Cite this

@inproceedings{172e205b4fb04da3b290f0bc1a424925,

title = "Language support for the Maruti real-time system",

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.",

author = "Nirkhe, \{Vivek M.\} and Tripathi, \{Satish K.\} and Agrawala, \{Ashok K.\}",

year = "1991",

month = oct,

language = "English",

isbn = "0818621125",

series = "Proceedings - Real-Time Systems Symposium",

publisher = "Publ by IEEE",

pages = "257--266",

booktitle = "90 Real-Time Syst. Symp.",

note = "Proceedings of the 11th Real-Time Systems Symposium ; Conference date: 05-12-1990 Through 07-12-1990",

}

TY - GEN

T1 - Language support for the Maruti real-time system

AU - Nirkhe, Vivek M.

AU - Tripathi, Satish K.

AU - Agrawala, Ashok K.

PY - 1991/10

Y1 - 1991/10

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0026238938

M3 - Conference contribution

AN - SCOPUS:0026238938

SN - 0818621125

T3 - Proceedings - Real-Time Systems Symposium

SP - 257

EP - 266

BT - 90 Real-Time Syst. Symp.

PB - Publ by IEEE

T2 - Proceedings of the 11th Real-Time Systems Symposium

Y2 - 5 December 1990 through 7 December 1990

ER -

Language support for the Maruti real-time system

Abstract

Publication series

Conference

Other files and links

Fingerprint

Cite this