Language support for the Maruti real-time system
- 1 January 1990
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 257-266
- https://doi.org/10.1109/real.1990.128756
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
This publication has 15 references indexed in Scilit:
- Real-Time Mentat programming language and architecturePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- FLEX: towards flexible real-time programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Object-oriented real-time language design: constructs for timing constraintsPublished by Association for Computing Machinery (ACM) ,1990
- Language support for the Maruti real-time systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- The Spring kernel: a new paradigm for real-time operating systemsACM SIGOPS Operating Systems Review, 1989
- The MARUTI hard real-time operating systemACM SIGOPS Operating Systems Review, 1989
- ARTS: a distributed real-time kernelACM SIGOPS Operating Systems Review, 1989
- Object structure in the Emerald systemPublished by Association for Computing Machinery (ACM) ,1986
- An introduction to Trellis/OwlPublished by Association for Computing Machinery (ACM) ,1986
- Verifying properties of parallel programsCommunications of the ACM, 1976