CIS 642: Seminar in Distributed and Real-Time Computing - Spring 1999

Schedule for Readings and Lectures

• January 11: (Insup Lee)
  Introduction
• January 13: (Insup Lee)
  

  Farnam Jahanian
  Run-Time Monitoring of Real-Time Systems.
  In Advances in Real-Time Systems, S. Son, Editor, Prentice Hall, 1995.

• January 18: (Moonjoo Kim, Mahesh Viswanathan)
  

  Beth A. Schroeder
  On-Line Moniotring: A Tutorial
  IEEE Computer 28(6):72 - 78 June 1995
  

  M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky.
  MaC: A Framework for Run-time Correctness Assurance of Real-Time Systems .
  Working draft 1999.

• January 20: (Un-Jae Sung, Insup Lee)
  Distributed Virtual Reality

• January 25: (Radu Grosu)
  Bran Selic.
  An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems.
  IFIP Conference on Hardware Description Languages and Their Applications, April 1993.
  

  Bran Selic.
  Requirements Specification Using Executable Models.
  Slides.
  

• January 27: (Hee-Hwan Kwak)
  

  Gerber, R., Hong, S., and Saksena, M.
  Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes.
  IEEE Transactions on Software Engineering, 21(7):579-592, July 1995.
  

  Nilsson, U., Streiffert S., and Torne A.
  Detailed Design of Avionics Control Software.
  in Proc of 19th IEEE Real-Time Systems Symposium, (Madrid), Dec 1998

• February 1: (Max I. Kanovich)
  Max I. Kanovich, Mitsuhiro Okada, and Andre Scedrov.
  Specifying Real-Time Finite-State Systems in Linear Logic.
  

• February 3 (No Class)
• February 8: (Oleg Sokolsky) - Formal Methods in Runtime Monitoring
  

  Michel Diaz, Guy Juanole, and Jean-Pierre Courtiat,
  Observer-A Concept for Formal On-Line Validation of Distributed Systems.
  IEEE Transactions on Software Engineering, Vol 20, No 12. Dec 1994.
  

  T. Savor and T.E. Seviora,
  An Approach to Automatic Detection of Software Failures in Real-Time Systems.
  

• February 10: (Insik Shin)
  

  Thomas M. Kroeger, Darrell D. E. Long, Jeffrey C. Mogul.
  Exploring the Bounds of Web Latency Reduction from Caching and Prefetching.
  USENIX Symposium on Internet Technology and Systems, Dec 1997.
  

  Venkata N. Padmanabhan, Jeffrey C. Mogul.
  Using Predictive Prefetching to Improve World Wide Web Latency.
  ACM Computer Communication Review, 26(3), 1996.
  

  Quinn Jacobson, Pei Cao.
  Potential and Limits of Web Prefetching Between Low-Bandwidth Clients and Proxies.
  ACM SIGMETRICS '99.
  

• February 15: (Mahesh Viswanathan)
  

  A.K. Mok and G. Liu
  Early Detection of Timing Constraints Violation at Runtime.
  Proc of 18th IEEE Real-Time Systems Symposium, Dec 1997.

  A.K. Mok and G. Liu
  Efficient Run-Time Monitoring of Timing COnstraints.
  RTAS '97

  Other related papers by Mok, et al.

• February 17: (Olaf Meyer)
  

  Real-time CORBA

  • CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments, Steve Vinoski, IEEE Communication Magazine, Vol. 14, No. 2, February 1997
  • Alleviating Priority Inversion and non-determinism in Real-Time CORBA ORB Core Architectures, Douglas C. Schmidt, Sumedh Mungee and Aniruddha Gokhale, IEEE RTAS, Denver, Colorado, June 3-5, 1998

• February 22: (Class Cancelled)
  

• February 24: (Insup Lee)
  ACSR/GCSR/PARAGON: Algebra of Communicating Shared Resources and Its Toolset.

  Hanene Ben-Abdallah, Insup Lee, and Oleg Sokolsky,
  Operational Semantics for Visual Simulation in PARAGON.
  IEEE National Aerospace and Electronics Conference, July 1997

• March 1: (Radu Grosu)
  Theory of Flow and Interaction Graphs as Foundation for Semantics of UML for Real-Time (UML-RT)

  Radu Grosu, Thomas Stauner,
  Modular and Visual Specification of Hybrid Systems - An Introduction to HyCharts.
  Technical Report TUM-I9801, Technische Universität München, 1998

  Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu,
  Towards a Calculus for UML-RT Specifications.
  In Proc. of the 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Vancouver, October, 19th, 1998

  Radu Grosu, Gheorghe Stefanescu, Manfred Broy,
  Visual Formalisms Revisited.
  In Proc. of the CSD'98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima, 1998

• March 3: (Liwei Zhao) - Comparison of CORBA, DCOM.
  

  P. Emerald Chung, Yennun Huang, Shalini Yajnik, Deron Liang, Joanne C. Shih, Chung-Yih Wang, Yi-Min Wang,
  DCOM and CORBA side by side.
  

  Microsoft DCOM Technical White Paper.
  

• March 8, 10 (Spring Break)

March 15: (Moonjoo Kim) - Security Monitoring

Fred B. Schneider
Enforceable Security Policies


Koral Ilgun and Richard A.Kemmerer
State Transition Analysis: A Rule-Based Intrusion Detection Approach
IEEE TSE 1995 March

Phillip A.Porras and Peter G.Neumann
EMERALD:Event Monitoring Enabling Responses to Anomalous Live Disturbances.
National Information Systems Security Conference

Phillip A.Porras and Alfonso Valdes
Live Traffic Analysis of TCP/IP Gateways.
Networks and Distributed Systems Security Symposium March 98

Teresa F.Lunt, Ann Tamaru
IDES:Intrusion Detection Expert Systems
CSL SRI International

Debra Anderson, Teresa F. Lunt, Harold Javitz, Ann Tamaru, and Alfonso Valdes,
SAFEGUARD:Final Report: Detecting Unusual Program Behavior Using the NIDES Statical Component.


• March 17: (Insik Shin) - Jini: Architecture and Protocols
  

  Jim Waldo,
  Jini Technology Architectural Overview.
  SUN Microsystems White Paper

• March 22: (Yerang Hur) - Hybrid systems modeling
  

  Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi,
  HyTech: A Model Checker for Hybrid Systems.
  Software Tools for Technology Transfer 1:110-122, 1997
  

  Akash Deshpande, Aleks Gollu, and Luigi Semenzato,
  The Shift Programming Language and Run-time System for Dynamic Networks of Hybrid Automata .
  UCB-ITS-PRR-97-7, 1997
  

  Ralf Wieting,
  Hybrid High-level Nets .
  Proceedings of the ACM 1996 Winter Simulation Conference, pp.848-855, 1996
  

• March 24: (Yui Hwai Leung) - SMART
  

  Jason Nieh and Monica S. Lam,
  The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applicatoins.
  Proceedings of the 16th ACM Symposium of Operating Systems Principles, October, 1997.
  

• March 29: (Hee Hwan Kwak) ACSR-VP, Symbolic bisimulation
  

Hee-Hwan Kwak, Jin-Young Choi, Insup Lee, Anna Philippou,
Symbolic Weak Bisimulation for Value-passing Calculi.
Technical Report MS-CIS-98-22, July, 1998.


• March 31: (Mike Chen) - Wireless Protocols
  

Sunghyun Choi and Kang G. Shin,
Predictivve and Adaptive Bandwidth REservation ofr Hand-offs in QoS-Sensitive Celllular Networks.
Proceedings of the ACM SIGCOMM'98, pp. 155-166, Vancouver, British Columbia, September 2-4, 1998.


Anup K.Talukdar and B. R. Badrinath,
On Accommodating Mobile Hosts in an Integrated Services Packet Network.
Proceedings of The IEEE INFOCOM 1997,Kobe, Japan, April 1997.


Mahmoud Naghshineh,
Distributed Call Admission Control in Mobil/Wireless Networks.


• April 5: (Mahesh Viswanathan) - Abstraction Interpretation and Model Checking
  

David Schmidt and Bernhard Steffen,
Program Analysis as Model Checking of Abstract Interpretations.
Proceedings of the 5th Static Analysis Symposium, G. Levi. ed., Pisa, September, 1998. Springer LNCS 1503.


David A. Schmidt,
Data Flow Analysis is Model Checking of Abstract Interpretations.
Proceedings of the 25th ACM Symp. Principles of Programming Languages, San Diego, 1998


David A. Schmidt,
Trace-Based Abstract Interpretation of Operational Semantics.
Journal of Lisp and Symbolic Computation 10-3 (1998) 237-271.


• April 7: (Olaf Meyer)

  QoS on the Internet
  

  • A Two-bit Differentiated Service Architecture for the Internet, K. Nichols, V. Jacobson, L. Zhang

• April 12: (Moonjoo Kim) - Frameworks of Information Extraction for Run-time Analysis
  

Clinton Jeffery, Wenyi Zhou, Kevn Templer and Michael Brazell,
A Lightweight Architecture for Program Execution Monitoring.
SIGPLAN Notices, vol. 33 no 7, July 1998


Rok Sosic,
The Dynascope Directing Server: Design and Implementation.
Computing Systems Vol 8, 2, pp 107-134 MITPress, Spring 1995


Barton P. Miller, Mark D. Callaghan, Jonathan M. Cargille, Jeffrey K. Hollingsworth, R. Bruce Irvin, Karen L. Karavanic, Krishna Kunchithapadam and Tia Newhall,
The Paradyn Parallel Performance Measurement Tools.
IEEE Computer 28, 11, pp.37-46 (November 1995)


Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup Lee and Oleg Sokolsky,
Formally Specified Monitoring of Temporal Properties.
Euromicro Real-time System '99


• April 14: (Jangwoo Shin) - Schedulability Analysis of Real-Time Object-Oriented Systems
  

Manas Saksena, Alan Ptak, Paul Freedman, and Pawel Rodziewicz,
Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models.
IEEE Real-Time Systems Symposium, Madrid, December, 1998.

• April 19: (Yui Hwai Leung)
  

David C. Steere, Ashvin Goel, Joshua Gruenberg, Dylan McNamee, Calton Pu, and Jonathan Walpole,
A Feedback-driven Proportion Allocator for Real-Rate Scheduling.
Third Symposium on Operating Systems Design and Implementation(OSDI '99).


Erik Cote-Robles and James P. Held,
A Comparison of Windows Driver Model Latency Performance on Windows NT and Windows 98.
Third Symposium on Operating Systems Design and Implementation(OSDI '99).


Miche Baker-Harvey,
ETI Resource Distributor: Guaranteed Resource Allocation and Scheduling in Multimedia Systems.
Third Symposium on Operating Systems Design and Implementation(OSDI '99).


• April 21: (Liwei Zhao) - Real-Time Objects
  

Kim, K.H. and Kopetz, H.,
A Real-Time Object Model RTO.k and an Experimental Investigation of Its Potentials.
Proc. COMPSAC '94 (IEEE Computer Society's 1994 Int'l Computer Software & Applications Conf.), Nov.1994, Taipei, pp.392-402.


Kim, K.H. (Kane),
Object Structures for Real-Time Systems and Simulators.
IEEE Computer, August 1997, pp.62-70.


Kim, K.H., Nguyen, C., and Park, C.,
Real-Time Simulation Techniques Based on the RTO.k Object Modeling.
Proc. COMPSAC '96 (IEEE CS Computer Software & Applications Conf.), Seoul, August 1996, pp.176-183.