Next: SPRING PROJECT OVERVIEW
Up: SPRING
Previous: SPECIFICATION AND VERIFICATION
NOTE: TR88-85-The Design of the Spring Kernel
- 1.
- TR91-19 (Replaced TR89-101 and TR88-97) The Spring
Kernel:
A New
Paradigm for Real-Time Operating Systems
Stankovic, Ramamritham
ACM Operating Systems Review,
Special Issue, Vol. 23(3):54-71, July 1989.
Real-Time Systems Newsletter, Vol. 5(2&3), Spring/Summer 1989.
IEEE Software, May 1991, pp. 62-72.
Readings in Real-Time Systems, IEEE Press.
(to appear)in Real-Time Systems, edited by Kang G. Shin,
McGraw-Hill, Feb. 1995.
- 2.
- TR90-30(Replaces TR89-106)
Predictable Synchronization Mechanisms
for Multiprocessor Real-Time
Systems
Lory Molesky, Chia Shen, Goran Zlokapa
Real-Time Systems Journal
Vol. 2(3). Sept. 1990.
- 3.
- Implementing a Predictable Real-Time Multiprocessor Kernel -- The
Spring
Kernel
Molesky, Ramamritham, Shen, Stankovic, Zlokapa
IEEE 7th Workshop on Real-Time Operating Systems and
Software
Appeared in Real-Time System Newsletter, Vol. 6(2), Spring 1990
- 4.
- The Spring Kernel: Operating System Support for Critical, Hard Real-Time
Systems
Stankovic, Ramamritham
Workshop on Operating Systems for Mission Critical
Computing,
U. Maryland, Sept. 1989.
- 5.
- TR90-119 On the Reflective Nature of the Spring Kernel
Stankovic
Proceedings Informatik-Fachberichte, Berlin, 2/91.
- 6.
- Generic Fault Tolerance Support in the Spring Kernel
Stankovic, Fuxing Wang
- 7.
- The Spring Kernel
Stankovic, Ramamritham
IOS Press, Ashok Agrawala, Ed.
- 8.
- Spring Source Code Control: Issues and Solutions
Niehaus
- 9.
- Logical Address Spaces for Real-time Tasks
Niehaus, Stankovic, Ramamritham
(Submitted)IEEE 7th Workshop on Real-Time Operating Systems and
Software
- 10.
- TR91-75 Program Representation and Translation to Support Predictability of
Real-Time Systems
Niehaus
Real-Time Systems Symposium, Dec. 1991
- 11.
- Predictable Real-Time Caching in the Spring System
Niehaus, Nahum, Stankovic
Extended abstract, IEEE Workshop on Real-Time Operating Systems
and Software, May 1991, W.A. Halang and K. Ramamritham editors.
- 12.
- Editorial: Real-Time Kernel Interfaces
Stankovic
Real-Time Systems Journal, Vol. 5, No. 1, pp-5-8, March 1993 and
Multidimensional Systems and Signal Processing 5, 5-8, 1992,
Kluwer.
See also 10 #1 - TR 92-78
- 13.
- Spring: A Predictable Real-Time Environment
Zlokapa, Ramamritham, Stankovic
Society of Manufacturing Engineers, 1994.
- 14.
- Real-Time Platforms and Environments for Time Constrained Flexible Manufacturing
Stankovic, Ramamritham, and Zlokapa
11th IEEE Workshop on RTOSS, Seattle, WA, May 1994.
- 15.
- Kernel-level Threads for Dynamic, Hard Real-Time Environments
Humphrey, Wallace, Stankovic
16th IEEE RTSS, December 1995.
- 16.
- TR 95-86 Multi-Level Scheduling for Flexible Manufacturing
Humphrey and Stankovic
- 17.
- TR95-87 Using a Reflective Real-Time Operating System to Implement a
Just-in-Time Scheduling Policy for a Flexible Manufacturing Workcell
Humphrey
- 18.
- Predictability: Demonstrating Timing Requirements
Ramamritham
ACM Computing Surveys, 28A(4), December 1996.
Next: SPRING PROJECT OVERVIEW
Up: SPRING
Previous: SPECIFICATION AND VERIFICATION
Gary Wallace
3/19/1998