CIS 642: Seminar in Distributed and Real-Time Computing

Theme: Dynamic adaptation based on monitoring

Real-Time Scheduling Methods

Schedulability analysis (EDF, RM)
[Liu and Layland 1973], [Audsley, Burns, Richardson, Welling 1991],
[Lehoczky, Sha and Ding 1989]
Statistical RM
[Atlas and Bestavros 1998]
QoS, multimedia scheduling
[Nieh and Lam 1997], [Mercer, Savage and Tokuda 1994]
End-to-end scheduling
[Gerber, Hong and Saksena 1995], [Kang, Gerber and Saksena 1997],
[Saksena and Hong 1996], [Gerber, Pugh and Saksena 1995]
Dynamically adaptable scheduling
[Gounzalez, Shrikumar, Ramamritham, Stankovic 1997]

Real-Time Operating Systems

Real-time threads
[Humphrey, Wallace and Stankovic 1995], [Hong, Seo and Park 1997]
RT-Mach
Real-time Linux
Real-time scheduler for open evironment
[Deng and Liu 1997]
Window CE

Real-Time Programming Constructs, Paradigms, and Objects

Timing constraint programming constructs
Real-time CORBA
[Ginis, Prichard, Wolfe 1996], [Wolfe, DiPippio, Johnston 1997],
[Gokhale and Schmidt 1998], [Schmidt, Mungee, Gokhale 1998]
Real-time Java
[Miyoshi, Itayama and Tokuda 1997]
Time triggereed systems (e.g., MARS, TMOS)
[Kopetz?], [Kim?]
ROOM (Real-Time Object Oriented Modeling)
Real-time UML

Specification and Analysis

ACSR-VP
Real-time Linear Logic [Scedrov?]
Hybrid systems

Resource Use and Performance Monitoring

Performance measurement
[Jain 1991]
Resource use monitoring and feedback
[Mercer and Rajkumar 1995]
Measurement on internet
[Labovitz, Malan, and Jahanian 1997]
Hardware-based monitoring
[Mink, Salamon, Hollingsworth, Arunachalam 1998]
Instrumentation techniques: Paradyne

Runtime Monitoring of Safety Property

On-line monitoring based on formal specification
[Schroeder 1995], [Savor and Seviora 1997], [Jagadeesan 1997], [Chechik and Gannon 1994]
Programing language based
[Sankar and Mandel 1993]
Security monitoring
[Schneider 1998]
Monitoring of timing properties
[Jahanian 95], [Mok and Liu 1997]
Safety property monitoring
[Gouda?]
Distributed monitoring
[Diaz, Juanole and Courtiat 1994]

Exception handling in

Programming languages [Paper in TOPLAS]
Java
Object based systems

Communication and Network

Broadcasting disk scheduling [Ramamritham 1998]
Fair Queueing
prefetching and caching
[Cao, Felten, Karlin, Li 1995], [Tomkins, Patterson, Gibson 1997]
E-commerce

Tools

PARAGON
Verisoft
SHIFT
SPIN
Formal Check
Room

Projects:

Lego Robot
Adaptable real-time scheduler for real-time Linux
Feedback based mutlicasting on ABC (class project)
Distributed VR

Schedule of Readings and Lectures

January 11	February 1	March 1	April 5
January 13	February 3 (No Class)	March 3	April 7
January 18	February 8	March 8, 10 (Spring Break)	April 12
January 20	February 10	March 15	April 14
January 25	February 15	March 17	April 19
January 27	February 17	March 22	April 21
	February 22	March 24
	February 24	March 29
		March 31