harold@wayward.gatech.edu (Harold C. Forbes) (05/09/91)
JOINT
IEEE WORKSHOP ON REAL-TIME OPERATING SYSTEMS AND SOFTWARE
IFAC WORKSHOP ON REAL-TIME PROGRAMMING
MAY 15-17, 1991
Atlanta, GA
On-site registration begins at 11:00am Wednesday in the Dogwood Room
Sheraton Century Center Hotel - 404/325-0000
Workshop Coordinator: Karsten Schwan (schwan@cc.gatech.edu) 404/894-2589
SESSION 1 OPERATING SYSTEMS Wednesday
Multiprocessor Synchronization Primitives with Priorities. YARTOS:
Kernel Support for Efficient, Predictable Real-Time Systems. Dynamic
Scheduling for Hard Real-Time Systems: Toward Real-Time Threads. A
Reliable Multicast Protocol for Distributed Real-Time Systems.
SESSION 2 DESIGN OF REAL-TIME SYSTEMS Thursday
GARTEN: A Programming Environment for Real-Time Software Development.
Schedulability, Program Transformations and Real-Time Programming.
PIPS: An Integrated Approach to the Design of Real-Time Systems.
Graphical Prototyping of Tasking Behaviour.
SESSION 3 APPLICATIONS/EXPERIENCE
Application of Real-Time Scheduling Theory to Multiprocessor
Pipelines. Computer Music Performance as a Real-Time Testbed.
Specifying Hard Real-Time Software: Experience with a Language and a
Verifier. Designing a Hard Real-Time System with Automatic Memory Management.
SESSION 4 TIMING--ANALYSIS/MONITORING
Application of Partial Evaluation to Hard Real-Time Programming.
Predictable Real-Time Caching in the Spring System. Static Analysis
of Timing Properties for Distributed Real-Time Programs. An Integrated
Approach to Monitoring and Scheduling in Real-Time Systems.
SESSION 5 POT POURRI Friday
New Paradigms for Real-Time Database Systems. Generating Synthetic
Workloads for Real-Time Systems. Managing Beliefs, Desires, and Time
in Real-Time Systems. Adding Problem-Solving Capabilities to Existing
Real-Time Systems.
SESSION 6 SCHEDULING POT POURRI
Limitations Concerning On-Line Scheduling Algorithms for Overloaded
Real-Time Systems. Hard Real-Time Scheduling: The Deadline-Monotonic
Approach. Algorithms for Flow-Shop Scheduling to Meet Deadlines.
Real-Time Scheduling of Sensor-Based Control Systems.
FORBES, HAROLD C. N5JCM
Georgia Institute of Technology, Atlanta Georgia, 30332
uucp: ...!{allegra,amd,hplabs,seismo,ut-ngp}!gatech!cc!harold
ARPA: harold@cc.gatech.edu