Boston University / CLA
Computer Science Dept

GRS/CS-835(B1): Real-Time Systems Seminar

Reading List

• 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:
  • F. Wang, K. Ramamritham, and J. Stankovic, Determining Redundancy Levels for Fault Tolerant Real-Time Systems, Special Issue of IEEE Transactions on Computers on Fault Tolerant Computing, Vol. 44, No. 2, February 1995.

• Resource Management:
  • M. Spuri and J. Stankovic, How to Integrate Precedence Constraints and Shared Resources in Real-Time Scheduling, IEEE Transactions on Computers, Vol. 43, No. 12, pp. 1407-1412, December 1994.

• Architecture:
  • "Integrating the Timing Analysis of Pipelining and Instruction Caching" by C. A. Healy, D. B. Whalley, and M. G. Harmon in the Proceedings of the IEEE Real-Time Systems Symposium, to appear December 1995.

• 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