The 18th IEEE Real-Time Systems Symposium

December 2-5, 1997
San Francisco, California

Sponsored by
IEEE Computer Society TC on Real-Time Systems



Special Notice about the Fairmont Hotel

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 (walt@htc.honeywell.com, 612-951-7333) or Lind a Buss (ljbuss@win.bright.net). 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.


Advance Program

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)

7-9 Banquet

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.

5-7 Work-In-Progress

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


Keynote Title and Speaker

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.


Workshop and WIP Session

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 (bettati@cs.tamu.edu) or see

http://www.cs.tamu.edu/research/realtime/wmdrtss97.html.

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:

http://cs-www.bu.edu/pub/ieee-rts/rtss97/wip.

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 ( jychung@watson.ibm.com ).


Registration Procedure

Advance registrations should be made by filling the registration form included in the program and mailing it to:

Linda BUSS

E3774 550th Ave.

Menomonie, WI 54751

USA

Fax: 715-235-2258

E-Mail: ljbuss@win.bright.net

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)

 

Notes:


1997 IEEE Real-Time Systems Symposium Registration Form

 

First Name:_________________________ Last Name:_____________________________

Title :_____________________________ Position:______________________________

Affiliation:_________________________________________________________________

Address:_____________________________________________________________________

City:_______________________________ State:_________________________________

Country:____________________________ Zip/Postal Code:_______________________

Phone:______________________________ Fax:___________________________________

E-Mail:_____________________________

 

Payment:

Symposium registration fee: Category___________________ $___________

IEEE/ACM Member no:___________________

Workshop registration fee: $___________

Extra banquet tickets: ($70/ea) $___________

Extra symposium proceedings: ($40/ea) $___________

 

Total amount: $___________

=============================================================================

Hotel Information

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 ____

Name:

Address:

Phone:

Fax:

Arrival Date:

Departure Date:

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:

Signature:

-----------------------------------------------------------------------------

Driving Suggestions

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

(415) 772-5223

Rates:

$5.00 for the first hour

S5.00 each half hour after the first hour

$27.00 maximum, per day.

 

Brocklebank Garage

(415) 391-1378

1040 Sacramento Street

Rates:

$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)

 

Masonic Garage

Masonic Auditorium

1101 California Street

(415) 474-1567

Rates:

$2.00 each 20 minutes

$15.00 maximum

 

Metro Parking-Crocker

1045 California Street

(415) 346-5565

Rates:

$2.50 each 20 minutes

$20.00 maximum

 

Grace Cathedral - Parking Garage

(415) 346-9156

1051 Taylor Street

Rates:

$2.00 each 20 minutes

$16.00 maximum

 

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.


Organizing Committee

General Chair

Sang H. Son, University of Virginia

Program Chair

Kwei-Jay Lin, University of California, Irvine

Finance Chair

Walt Heimerdinger, Honeywell Technology Center

Publicity Chair

Jim Anderson, University of North Carolina at Chapel Hill
Alan Burns, University of York, UK
Sang Lyul Min, Seoul National University, Korea

Industrial Chair

Jen-Yao Chung, IBM

Ex-Officio: (RTS-TC Chair)

Doug Locke, Lockheed Martin Corporation

Program Committee

Member

Affiliation

Sanjoy Baruah

University of Vermont

Azer Bestavros

Boston University

Alan Burns

University of York, UK

Jean-Charles Fabre

LAAS-CNRS, France

Richard Gerber

University of Maryland

Ching-Chih Han

Ohio State University

Michael Gonzalez Harbour

Univ. Cantabria, Spain

Connie Heitmeyer

NRL

Tei-Wei Kuo

National Chung Cheng University, Taiwan

Yann-Hang Lee

University of Florida

Jane W.S. Liu

University of Illinois at Urbana Champaign

Raj Rajkumar

Carnegie Mellon University

Krithi Ramamritham

University of Massachusetts

Heonshik Shin

Seoul National University, Korea

John Stankovic

University of Virginia

Satish Tripathi

University of California, Riverside

Wei Zhao

City University of Hong Kong, Hong Kong


Last revised: November 11, 1997 by klin@uci.edu.