Language support for the Maruti real-time system

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

[1]  Hideyuki Tokuda,et al.  Object-oriented real-time language design: constructs for timing constraints , 1990, OOPSLA/ECOOP '90.

[2]  Krithi Ramamritham,et al.  The Spring kernel: a new paradigm for real-time operating systems , 1989, OPSR.

[3]  S. Natarajan,et al.  FLEX: towards flexible real-time programs , 1988, Proceedings. 1988 International Conference on Computer Languages.

[4]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[5]  V. D. Gligor,et al.  Assessment of the real-time requirements for programming environments and languages , 1983, RTSS 1983.

[6]  Ashok K. Agrawala,et al.  Real-time system design , 1990, McGraw-Hill Computer Science series.

[7]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPSLA 1986.

[8]  永田 守男,et al.  Verifying Properties of Parallel Programs : An Axiomatic Approach , 1976 .

[9]  David Lorge Parnas,et al.  On synchronization in hard-real-time systems , 1988, CACM.

[10]  Hideyuki Tokuda,et al.  ARTS: a distributed real-time kernel , 1989, OPSR.

[11]  Satish K. Tripathi,et al.  The MARUTI hard real-time operating system , 1989, OPSR.

[12]  A. K. Agrawala.  Systems engineering approach to time driven systems , 1990, COMPEURO'90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering@m_Systems Engineering Aspects of Complex Computerized Systems.

[13]  Craig Schaffert,et al.  An introduction to Trellis/Owl , 1986, OOPLSA '86.

[14]  Insup Lee,et al.  Language Constructs for Distributed Real-Time Programming , 1985, RTSS.

[15]  Insup Lee,et al.  Supporting real-time concurrency , 1991 .

[16]  A.S. Grimshaw,et al.  Real-Time Mentat programming language and architecture , 1989, IEEE Global Telecommunications Conference, 1989, and Exhibition. 'Communications Technology for the 1990s and Beyond.

[17]  Grady Booch,et al.  Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[18]  Amr El Abbadi,et al.  Implementing Fault-Tolerant Distributed Objects , 1985, IEEE Transactions on Software Engineering.