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