GRS/CS-835(B1): Real-Time Systems Seminar
Reading List
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
participants.
- 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,
1992.
- Scheduling:
-
J. W. S. Liu, and C. L. Liu.
Modified rate-monotonic algorithm for scheduling periodic jobs with deferred
deadlines.
IEEE Transactions on Software Engineering, 19(12):1171-1179, January
1993.
- 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
multiprocessor systems.
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.
In
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
-
Response-Time Bounds
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),
September 1992.
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
An
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.
- Databases:
- 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,
1995.
- 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
1992.
- 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.
- Fault-Tolerance:
- Resource Management:
- Architecture:
- 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
computation times.
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
Control Architecture,
IEEE Transactions on Systems, Man, and Cybernetics, Vol. 23 #6, 1993.
Created on: January 9, 1996
Updated on: January 11, 1996
Maintainer: Azer Bestavros