GRS/CS-835(B1): Real-Time Systems Seminar
The following are some of the assigned readings for this class. This
list will grow as the class progresses to reflect the interests of the
- Introductory Papers:
- J. Stankovic, M. Spuri, M. Di Natale, and G. Buttazzo,
Implications of Classical Scheduling Results For Real-Time Systems,
IEEE Computer, Vol. 28, No. 6, pp. 16-25, June 1995.
- J. Stankovic,
Real-Time Computing, BYTE, invited paper,
pp. 155-160, August 1992.
- J. Stankovic,
Distributed Real-Time Computing: The Next Generation,
invited keynote paper, special issue of Journal of the Society of Instrument
and Control Engineers of Japan, Vol. 31, No. 7, pp. 726-736,
J. W. S. Liu, and C. L. Liu.
Modified rate-monotonic algorithm for scheduling periodic jobs with deferred
IEEE Transactions on Software Engineering, 19(12):1171-1179, January
- K. Ramamritham and J. Stankovic,
Scheduling Algorithms and Operating Systems Support for Real-Time Systems,
Proceedings of the IEEE, Vol. 82, No. 1, pp. 55-67, January 1994.
Liu, and Mallikarjun Shankar.
Algorithms and optimality of scheduling soft aperiodic requests in
fixed-priority preemptive systems.
To appear in Journal of Real-Time Systems.
Jun Sun, Jane W. S. Liu, and Riccardo Bettati.
An end-to-end approach to scheduling periodic tasks with shared resources in
Submitted to Journal of Real-Time Systems.
- Wei-Kuan Shih and Jane W.S.Liu.
Algorithms for scheduling imprecise computations with timing constraints to
minimize maximum error.
IEEE Transactions on Computers, 44(3):466-471, March 1995.
Don Gillies and Jane W.-S. Liu.
Scheduling tasks with and/or precedence constraints.
SIAM Journal on Computing, 24(4):797-810, August 1995.
Guaranteeing Real-Time Requirements with Resource-Based
Calibration of Periodic Processes.
IEEE Transactions on Software Engineering 21(7), July 1995.
R. Gerber, S. Hong and M. Saksena.
- Azer Bestavros and Dimitrios Spartiotis,
"Probabilistic Job Scheduling for Distributed Real-time
Applications" in Proceedings of the First IEEE Workshop
on Real-Time Applications, NY, NY. IEEE Computer Society
Press, May, 1993.
- Formal Methods:
- Rajeev Alur and Thomas A. Henzinger.
Logics and models of real time: a survey.
Real Time: Theory in Practice,
Lecture Notes in Computer Science 600,
Springer-Verlag, 1992, pp. 74-106.
Formal Specification of Real-Time Systems,
by Farnam Jahanian, Aloysius K. Mok and Douglas A. Stuart,
UTCS Technical Report UTCS-TR-88-25
of Rule-Based Programs under Rule Priority Structure, by
R. H. Wang and A.K. Mok, RTSS94
A Process Algebraic Approach to the Specification
and Analysis of Resource-Bound Real-Time Systems.
In Proceedings of the IEEE, January 1994.
I. Lee, P. Bremond-Gregoire and R. Gerber.
A Layered Approach to Automating the Verification
of Real-Time Systems.
IEEE Transactions on Software Engineering 18(9),
R. Gerber and I. Lee.
- The Specification and Schedulability Analysis of Real-Time Systems using ACSR,
J.-Y. Choi, I. Lee and H.-L. Xie,
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.
- Azer Bestavros,
"Specification and Verification of Real-Time Embedded Systems
using Time-constrained Reactive Automata" in
Proceedings of RTSS'91, the 12th IEEE
Real-Time Systems Symposium, San Antonio, Texas. IEEE Computer
Society Press, December, 1991.
- Operating Systems:
Design and Implementation of Maruti-II.
In Principles of Real-Time Systems, Sang Son (ed.),
1994. Also available as UMD CS-TR-3181, UMICAS TR-93-122.
M. Saksena, J. da Silva and A. K. Agrawala.
- Hideyuki Tokuda, Tatsuo Nakajima and Prithvi Rao
Real-Time Mach: Towards a Predictable Real-Time System
Proceedings of USENIX Mach Workshop, October 1990.
- Clifford W. Mercer, Stefan Savage, and Hideyuki Tokuda
"Processor Capacity Reserves: Operating System Support for
Multimedia Applications". In Proceedings of the IEEE International
Conference on Multimedia Computing and Systems, May 1994.
- Clifford W. Mercer and Ragunathan Rajkumar
Interactive Interface and RT-Mach Support for Monitoring and
Controlling Resource Management, In Proceedings of the Real-Time
Technology and Applications Symposium, May 1995.
- L. Molesky, K. Ramamritham, C. Shen, J. Stankovic, and G. Zlokapa,
Implementing a Predictable Real-Time Multiprocessor Kernel - The Spring
Kernel, extended abstract,
IEEE Workshop on Real-Time Operating Systems and
Software, May 1990
- Communication and Networks:
- D. Kandlur, K. G. Shin, and D. Ferrari,
"Real-time communication in multi-hop networks,"
IEEE Trans. on Parallel and Distributed Systems,
October 1994, pp. 1044-1056.
- C. Chou and K. G. Shin,
"A distributed route-selection scheme for establishing real-time
channels," Internal Report, 1994 (in submission).
Analysis of Hard Real-Time Communications, K.
Tindell, A. Burns, A. J. Wellings, Real-Time Systems, Vol. 9, No. 2,
September 1995, Kluwer Academic Publishers.
- Azer Bestavros,
"An Adaptive Information Dispersal Algorithm for Time-critical
Reliable Communication" in Network Management
and Control, Volume II, I. Frisch, M. Malek, and S. Panwar
editors. Plenum Publishing Corporation, NY, February 1994.
- Azer Bestavros,
"Advances in Real-Time Database Systems Research"
Special Section on RTDBS of ACM SIGMOD Record 25(1), March 1996.
- O. Ulusoy, Research Issues in Real-Time Database Systems,
Information Sciences, vol.87, no.1-3, November 1995.
- Y. Kim and S. H. Son, "Predictability
and Consistency in Real-Time Database Systems." Advances in
Real-Time Systems, S. H. Son (ed.), Prentice Hall, pp 509-531,
- Azer Bestavros and Spyridon Braoudakis,
"Value-cognizant speculative concurrency control" in
Proceedings of VLDB'95: The International Conference on Very
Large Databases, Zurich, Switzerland. Spetember 1995.
- J. Huang, J. Stankovic, K. Ramamritham, D. Towsley, and B. Purimetla,
On Using Priority Inheritance in Real-Time Databases, Special
Issue of Real-Time Systems Journal, Vol. 4. No. 3, September
- Zhou, L, Rundensteiner, E. A., Shin, K. G.,
"OODB Support for Real-Time Open-Architecture Controllers,"
Proceedings of the Fourth International Conference on Database
Systems for Advanced Applications (DASFAA'95), Singapore, April
1995, pages 206-213.
- O. Ulusoy and G. G. Belford,
Real-Time Transaction Scheduling in Database Systems, Information
Systems, vol.18, no.8, December 1993.
- Resource Management:
- Miscellaneous Papers:
M. Shankar, M. Storch, J. Sun, L.-C. Wu, and J. W.-S. Liu.
Probabilistic performance guarantee for real-time tasks with varying
In Proceedings, Real-Time Technology and Applications Symposium, pages
164-173, Chicago, Illinois, May 1995. IEEE.
D. Musliner et al., CIRCA: A Cooperative Intelligent Real-Time
IEEE Transactions on Systems, Man, and Cybernetics, Vol. 23 #6, 1993.
Created on: January 9, 1996
Updated on: January 11, 1996
Maintainer: Azer Bestavros