next up previous
Next: SPRING PROJECT OVERVIEW Up: SPRING Previous: SPECIFICATION AND VERIFICATION

SPRING KERNEL

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 up previous
Next: SPRING PROJECT OVERVIEW Up: SPRING Previous: SPECIFICATION AND VERIFICATION
Gary Wallace
3/19/1998