Important!! Important!! Important!! Important!! Anyone Who Has Not Reserved A Hotel Room For RTSS'97, Please Does So In The Next Few Days.(Nov 11, 1997)
Fairmont SF has increased the block size and extended the cut-off date for reservation on the conference rate. If you have a problem in getting a room with conference rate, contact Walt Heimerdinger (email@example.com, 612-951-7333) or Lind a Buss (firstname.lastname@example.org). There's no room available at the Fairmont on December 6.
Information on alternatives to Fairmont:
The following hotel are comparable to the Fairmont with the Holiday and Best Western at the low end of the scale.
Here are a couple of places near the airport.
December 3, Wednesday
8-8:30 Registration and Opening Remarks
8:30-10 Session I: Model Checking
Formal Modeling And Analysis Of An Audio/Video Protocol: An Industrial Case Study Using UPPAAL,
K. Havelund, A. Skou, K. G. Larsen, K. Lund, Aalborg U., Denmark
Efficient Verification Of Real-Time Systems: Compact Data Structure And State-Space Reduction,
K. G. Larsen, F. Larsson, P. Pettersson, W. Yi, Uppsala U., Sweden
On-The-Fly Symbolic Model Checking For Real-Time Systems,
A. Bouajjani, S. Tripakis, S. Yovine, Verimag, France
10-7 Exhibit Room Open
10:30-12:30 Session II: Scheduling Theory
A Better Polynomial-Time Schedulability Test For Real-Time Fixed-Priority Scheduling Algorithms,
C.C. Han, Ohio State U.
Combining (n, m)-Hard Deadlines And Dual Priority Scheduling,
G. Bernat, U. Illes Balears, Spain, A. Burns, U. York, UK
Real-Time Queuing Network Theory,
J. Lehoczky, CMU
Jitter Concerns In Periodic Task Systems
S.K. Baruah, U. Vermont, D. Chen, A.K. Mok, UT Austin
2-3:30 Session III: Fault Tolerance
Adaptive Fault Tolerance And Graceful Degradation Under Dynamic Hard Real-Time Scheduling,
O. Gonzalez, H. Shrikumar, K. Ramamritham, U. Massachusetts, J. A. Stankovic, U. Virginia
A Low-Cost Processor Group Membership Protocol For A Hard Real-Time Distributed System,
M. Clegg, K. Marzullo, UCSD
Efficient Spare-Resource Allocation For Fast Restoration Of Real-Time Channels,
S. Han, K.G.Shin, U. Michigan
4-5:45 Session IV: Industrial Presentations And Demonstrations
5:50-6:30 Technical Committee Meeting (Conference Room)
6-7 Poster Session (Banquet Room)
Keynote Speaker: David Wilner, Wind River Systems
December 4, Thursday
8-10 Session V: Synchronization And Data Sharing
Wait-Free Object-Sharing Schemes For Real-Time Uniprocessors And Multiprocessors,
J. H. Anderson, R. Jain, S. Ramamurthy, U. North Carolina
More Optimism About Real-Time Commit Processing,
R. Gupta, J. Haritsa, IIS, India, K. Ramamritham, U. Massachusetts
Novel Approach To Multiprogrammed Multiprocessor Synchronization For Real-Time Kernels,
H. Takada, K. Sakamura, U. Tokyo, Japan
Similarity-Based Load Adjustment For Real-Time Data-Intensive Applications,
T.W. Kuo, S.J. Ho, Chung-Cheng U. Taiwan, A. K. Mok, UT Austin
10:30-12 Session VI: Runtime System Implementation
Real-Time File Systems: Guaranteeing Timing Constraints For Disk Access In RT-Mach,
A. Molano, K. Juvva, R. Rajkumar, CMU
Implementation And Evaluation Of Real-Time Java Threads,
A. Miyoshi, T. Kitayama, H. Tokuda, Keio U. Japan
Early Detection Of Timing Constraint Violation At Runtime,
A. K. Mok, G. Liu, UT Austin
1:30-3 Session VII: Cache-Related And Hardware Scheduler
Enhanced Analysis Of Cache-Related Preemption Delay In Fixed-Priority Preemptive Scheduling,
C.G. Lee et al., Seoul National U., Korea
A Cache-Aware Scheduling Algorithm For Embedded Systems,
G. Luculli, M. Di Natale, U. Pisa, Italy
Scaleable Hardware EDF Scheduler For ATM Network,
B.K. Kim, K. G. Shin, U. Michigan
3:30-5 Session VIII: Specification And Design Of Real-Time Systems
Formal Development Of A Real-Time Kernel,
S. Fowler, A. Wellings, U. York, UK
A Constraint-Based Approach For Specification And Verification Of Real-Time Systems,
E. Pontelli, G. Gupta, New Mexico State U.
Guidelines For Automated Implementation Of Executable Object Oriented Models For Real-Time Embedded Control Systems,
Saksena, P. Freedman, P. Rodziewicz, Concordia U., Canada.
December 5, Friday
8-12 Poster Open (Exhibit Room)
8-10 Session IX: Real-Time Network
Smoothness Upperbound And Approximation Techniques For Real-Time VBR Video Traffic Smoothing,
J. Zhang, J. Hui, Rutgers U.
Static Priority Scheduling For ATM Networks,
C. Li, Wei Zhao, R. Bettati, Texas A&M U.
Response-Time Guarantees In ATM Networks,
A. Ermedahl, H. Hansson, M. Sjodin, Uppsala U. Sweden
Integrated Delay Analysis Of Regulated ATM,
K.-Y. Ng, S. Song, Hong Kong Baptist U., W. Zhao, City U. Of Hong Kong
10:30-12:30 Session X: QoS And Open Systems
A Resource Allocation Model For QoS Management,
R. Rajkumar, C. Lee, J. Lehoczky, D. Siewiorek, CMU
Scheduling Real-Time Applications In An Open Environment,
Z. Deng, J. W.-S. Liu, UIUC
On Adaptive Resource Allocation For Complex Real-Time Applications,
D.I. Rosu, K. Schwan, S. Yalamanchili, R. Jha, GIT
Exploiting Skips In Periodic Tasks For Enhancing Aperiodic Responsiveness,
Caccamo, G. Buttazzo, SSSUP, Italy
2-4 Session XI: Industrial Panel: Real Issues and Real Solutions
Vx-Files: What Really Happened on Mars?
David Wilner, Chief Technical Officer, Wind River Systems.
The Pathfinder mission landed on Mars on July 4, 1997 and is widely regarded as a stunning success. None-the-less in the first two weeks after the landing there were several problems encountered in the functioning of the computer and communication syst ems. Reports of these problems in the popular press were generally incoherent and in some cases wildly wrong, primarily because of the difficulty of explaining the issues to non-engineers. In this discussion I will examine in detail some of the problems t hat were encountered and their resolution. This examination will make vividly real some issues that we often think of only in theoretical terms. We will touch on issues of scheduling and deadlock, diagnosis and analysis of timing problems, dynamic reconfi guration and correction of defects, and other issues of real world, and "out of this world", real-time systems.
About the speaker
Wilner co-founded Wind River with Fiddler in 1981 and is also a recognized expert in the field of real-time software engineering. Before founding the company, Wilner was a Senior Staff Scientist at the Lawrence Berkeley Laboratory. Wilner has a B.S . in computer science from the University of California, Berkeley. He has published and presented numerous papers and articles on real-time computing, and has been a member of several national standards committees, including the POSIX standards committee and the I2O SIG.Wind River Systems.
About Wind River Systems
Wind River started out as a consulting firm, creating real-time software for large, complex applications like video editing equipment, industrial automation and financial services. Driven by success in that arena and long-term customer relationship s, in 1987 Wind River began to design software development systems for a wide range of markets, from high-volume standalone products such as printers from Tektronix to specialized networked systems such as those that control the traffic lights of New York City and or electrical power distribution for several major cities worldwide. Wind Riverís software has been designed for integrated use across the breadth of a customerís family of products, which range in complexity, in one instance, from a telephone t o a PBX to a central office switching system. Developers of these systems are turning to Wind River Systems for off-the-shelf, turnkey solutions to speed development. The 1995 Embedded Systems Survey Report by Embedded Systems Research states, "The predom inance of the proprietary design for embedded systems is coming to an end. Development times are decreasing and systems are becoming more complex. In order to become more efficient, most embedded systems developers are moving away from proprietary designs to out-sourced options." The study also reported that Wind Riverís VxWorks® is the most popular off-the-shelf operating system on the market. Profitable since its inception, Wind River has had a steady growth rate and began publicly trading stock in 1993 (NASDAQ:WIND). Additionally, Wind River completed a follow-on public offering for over $102 million in July 1996. Revenues for fiscal year 1997 (ending 1/31/97) were $64 million. Today, Wind River has more than 5,000 design wins throughout the world, including projects from 3Com, AT&T, Bay Networks, Boeing, Bosch, GE Medical, General Motors, Hewlett Packard, Hitachi, IBM, Intel, LSI Logic, Motorola, NCI (Oracle), Newbridge Networks, Nortel, Qualcomm, Schlumberger, Silicon Graphics, Tektronix, and Toyota.
A workshop on Middleware for Distributed Real-Time Systems and Services is being organized to be held immediately before the symposium on December 2. For more information, contact Riccardo Bettati (email@example.com) or see
A special Work-In-Progress (WIP) session of RTSS'97 will be held on Thursday, December 4, 1997. RTSS'97 WIP will be devoted to the presentation of new and on-going projects in real-time systems and applications. The primary purpose of this session is t o provide researchers an opportunity to discuss their evolving ideas and gather feedback thereon from the real-time community at large. The RTSS'97 WIP session, and will consist of 10-minute presentations of all accepted submissions. Also,
accepted submissions will be included in a special RTSS'97 WIP proceedings which will be distributed to all RTSS'97 conference participants, and will be available electronically from the IEEE-CS TC-RTS Home Page on the WWW.
For more information, please contact RTSS'97 WIP Chair or check the RTSS'97 WIP Home Page at:
In addition, an exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. For the exhibition, contact Dr. Jen-Yao Chung ( firstname.lastname@example.org ).
Advance registrations should be made by filling the registration form included in the program and mailing it to:
E3774 550th Ave.
Menomonie, WI 54751
For Credit card payment, please include the name on the credit card, the number of the credit card, the type of the credit card, the expiration date on the credit card, and your signature.On site registration fees can be paid by check, major credit car ds, or cash at the Symposium Secretariat. Advance fees apply to registrations before November 15, 1997.
Symposium Registration Fees:
Member: US$ 420 (advance)/ US$ 520 (regular)
Non-member: US$ 535(advance)/US$ 650 (regular)
Full-time student: US$ 200(advance)/US$ 240 (regular)
Workshop Registration Fees:
Member: US$ 120(advance)/US$ 150 (regular)
Non-member: US$ 155(advance)/US$ 190 (regular)
Full-time student: US$ 120(advance)/US$ 150 (regular)
1997 IEEE Real-Time Systems Symposium Registration Form
First Name:_________________________ Last Name:_____________________________
Title :_____________________________ Position:______________________________
Country:____________________________ Zip/Postal Code:_______________________
Symposium registration fee: Category___________________ $___________
IEEE/ACM Member no:___________________
Workshop registration fee: $___________
Extra banquet tickets: ($70/ea) $___________
Extra symposium proceedings: ($40/ea) $___________
Total amount: $___________
Fairmont Hotel San Francisco Phone: 800-527-4727
Attn: Reservations or 415-772-5000
950 Mason Street Fax: 415-772-5013
San Francisco, CA 94108
Please phone in your reservation, and make sure you mention "IEEE" for the conference rate. Alternatively, complete the information below (type or print), and mail this form directly to the hotel. RTSS rates for each room for single/double occupancy ar e $139/$149, respectively, plus 14% sales tax, for main building standard room. Each additional person will be charged $30.
Accommodation desired: Single $139 ____ Double $149 ____
Non Smoking Room ____ Smoking Room ____
Check-in is after 3:00 pm, check-out is 1:00 pm.
A block of rooms has been reserved until November 7th, 1997. After this date, room reservations will be accepted on a space available basis. For attendees who plan on staying at the Fairmont over the weekends before and/or after the conference, we sugg est taking advantage of the IEEE conference rate as above or any discounted weekend rates offered by the hotel. One night's deposit is required with each reservation. A valid major credit card guarantee is acceptable in lieu of a cash deposit.
Please check the form of payment:
VISA ____ MASTERCARD ____ AMERICAN EXPRESS ____
DINERS CLUB ____ DISCOVER ____ Check/Money Order ____
Credit Card Number:
Credit Card Expiration Date (Month/Year):
Name on the Card:
EAST BAY TO HOTEL
SOUTH BAY TO FAIRMONT HOTEL/San Francisco International Airport
Shuttle Service from Airport
Several airport transportation companies provide service from San Francisco International Airport to the Fairmont Hotel. The one-way person fare is approximately $10-11. Advance airport pickup reservations are not accepted because of flight delays. Upo n arrival, call one of the following: Door-to-Door (415) 775-5121; SuperShuttle (415) 558-8500; American Airporter Shuttle (415) 546-6689; or Quake City Shuttle at (415) 255-4899. You may also go out to the curb at Passenger Arrival level of the Airport a nd find the Shuttle services waiting there.
NORTH BAY TO FAIRMONT HOTEL
Nob Hill Parking Garages
Fairmont Hotel Garage (The Parking Place)
Powell and California Streets
$5.00 for the first hour
S5.00 each half hour after the first hour
$27.00 maximum, per day.
1040 Sacramento Street
$5.00 1st hour, $7.00 2nd hour
$9.00 up to 9 hours
$12.00 up to 10 hours (or 1:30am)
$19.00 overnight (out by 7:00am)
1101 California Street
$2.00 each 20 minutes
1045 California Street
$2.50 each 20 minutes
Grace Cathedral - Parking Garage
1051 Taylor Street
$2.00 each 20 minutes
The above information is provided by the Fairmont Hotel for your assistance. The Hotel does not guarantee the rates posted. Prices are subject to change without notice.
Univ. Cantabria, Spain
National Chung Cheng University, Taiwan
City University of Hong Kong, Hong Kong