Language support for the maruti real-time system

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1990, Pages 257-266

  Nirkhe, Vivek M ^a   Tripathi, Satish K ^a   Agrawala, Ashok K ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SPECIFIC; HARD REAL-TIME SYSTEMS; PRE-SCHEDULING; PRECEDENCE RELATIONS; RESOURCE REQUIREMENTS; TIME CONSTRAINTS; UNIVERSITY OF MARYLAND;

SCHEDULING;

REAL TIME SYSTEMS;

EID: 84880908038     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/REAL.1990.128756     Document Type: Conference Paper

References (29)

1. [Agr90] Ashok K. Agrawala. Systems Engineering Approach to Time Driven Systems. In COMPEURO '90, Israel, May 1990.
2. [AHJ85] F. Andre, D. Herman, J.P.Verjus. Synchronization of Parallel Programs. The MIT Press, Cambridge, MA 1985.
3. [AHJL86] A.P.Black, N. Hutchinson, E. Jul, and Henry Levy. Object Structure in Emerald System. In OOPSLA '86, volume 21 no. 11, pages 78-87. acm, Nov. 1986.
4. [AI183] James Allen. Maintaining Knowledge about Temporal Intervals. Communications of ACM, 26(11):832-843, Nov. 1983.
5. [ANS83] ANSI/MIS-STD 1815, U.S. Printing Office, Washington D.C. Ada Reference Manual, June 1983.
6. [BJRA85] Kenneth Birman, Thomas Joseph, Thomas Raeuchle, and Amr El Abbadi. Implementing Fault-Tolerant Distributed Objects. IEEE Transactions on Software Engineering, SE-11(6):502-508, June 1985.
7. [BMR83] G. Berry, Sabie Moisan, and Jean-Paul Rigault. ESTEREL: Towards a Synchronous and Seman-tically Sound High Level Languauge for Real Time Applications. In Real Time Systems Symposium, pages 30-37. IEEE, Dec. 1983.
8. [Boo83] Gary Booch. Object Oriented Development. IEEE Transactions on Software Engineering, SE-12(2):211-221, Feb. 1983.
9. [FP88] Stuart R. Falk and David L. Parnas. On Synchronization in Hard-Real-Time Systems. Communications of ACM, 31(3):274-2d8, March 1988.
10. [GL83] Virgil D Gligor and Gary L Luckenbaugh. An Assessment of the Real-Time Requirements for Programming Environments and languages. In Real-Time Systems Symposium, pages 3-19. IEEE, 1983.
11. [GR85] Adele Goldberg and David Robson. Smalltalk-80 The Language and its Implemntation. Addison Wesley, 1985.
12. [GSL90] Andrew S. Grimshaw, Ami Silberman, and Jane W. S. Liu. Real-Time Mentat Programming Language and Architecture. In Seventh Workshop on Real-Time Operating Systems, pages 82-87. IEEE, 1990.
13. [ITM90] Yutuka Ishikawa, Hideyuki Tokuda, and Clifford Mercer. Object-Oriented Real-Time Language Design: Constructs for Timing Constraints. Technical Report CMU-CS-90-111, Computer Science Department, Carnegie Mellon University, PA, March 1990.
14. [LA90] Shem-Tov Levi and Ashok Agrawala. Real Time System Design. McGraw Hill, 1990.
15. [Lev88] S. T. Levi. A Methodology for Designing Distributed Fault-Tolerant Reactive Real-Time Operating Systems. PhD thesis, Department of Computer Science, University of Maryland, College Park, 1988.
16. [LG85] Insup Lee and Vijay Gehlot. Language Constructs for Real Time Programming. In Real Time Systems Symposium, pages 57-66. IEEE, 1985.
17. [Lip89] Stanley B. Lippman. C++ Primer. Addison-Wesley, Reading, Mass., 1989.
18. [LS88] L.Y. Liu and R.K. Shyamsundar. Specification of Real-Time Programs in RT-CDL. In Fourth Workshop on Real-Time Operating Systems, pages 110-119. IEEE, 1988.
19. [LTCA89] S. T. Levi, Satish K. Tripathi, Scott Carson, and Ashok Agrawala. The MARUTI Hard Real-Time Operating System. ACM SIGOPS Operating Systems Review, 23(3), July 1989.
20. [Mok84] Al Mok. The Design of Real-Time Programming Ssystems Based on Process Models. In Real Time Systems Symposium, pages 5-17. IEEE, 1984.
21. [NT90] Vivek Nirkhe and Satish K. Tripathi. Language Support for Maruti Real-Time System. Technical Report CS-TR-2481, Department of Computer Science, University of Maryland, College Park, 1990.
22. [OG76] Susan Owicki and David Gries. Verifying Properties of Parallel Programs: An Axiomatic Approach. Communications of ACM, 19(5):279\285, 1976.
23. [SCe86] Craig Schaffert, Topher Cooper, and et.al. An Introduction to Trellis/Owl. In OOPSLA '86, volume 21, no. 11, pages 9-16. Special issue of SIGPLAN notices, 1986.
24. [SL88] Natarajan S. and Kwei-Jay Lin. FLEX: Towards Flexible Real-Time Programs. In Internation Conference on Computer Languages, pages 272-279. IEEE, Oct. 1988.
25. [SR89] John A. Stankovic and Krithi Ramamritham. The Spring Kernel: A New Paradigm for Real-Time Operating Systems. ACM SIGOPS Operating Systems Review, 23(3):54-71, July 1989.
26. [TM89] Hideyuki Tokuda and Clifford W. Mercer. ARTS: A Distributed Real-Time Kernel. ACM SIGOPS Operating Systems Review, 23(4):29-53, July 1989.
27. [TN90] Satish K. Tripathi and Vivek Nirkhe. Synchronization in Hard Real-Time Systems. Frontiers in Computing Systems Research-Essays on Emerging Technologies, Architectures and Theories. Plenum Press, 1990. Ed. S. K. Tewksbury, Forthcoming.
28. [WDL90] Victor Wolfe, Susan Davidson, and Insup Lee. Supporting Real-Time Concurrency. In Seventh Workshop on Real-Time Operating Systems, pages 49-54. IEEE, 1990.
29. [YSTH87] Akinori Yonezawa, Etsuya Shibayama, Toshihiro Takada, and Yauaki Honda. Modelling and Programming in an Objet-Oriented Concurrent Language ABCL/1. In Akinori Yonezawa and Mario Tokoro, editors, Object-Oriented Concurrent Programming, pages 55-90. The MIT Press, 1987.