Newsgroups: comp.parallel
From: best@cs.bu.edu (Azer Bestavros)
Subject: Advance Program: 16th IEEE REAL-TIME SYSTEMS SYMPOSIUM
Organization: Computer Science Department, Boston University, Boston, MA, USA
Date: 2 Oct 1995 14:47:13 GMT
Message-ID: <44ou1h$2jj@usenet.srv.cis.pitt.edu>

-------------------------------------------------------------------------------
        __ __ __ __ , __ __
       /_/ / /_ /_   /_//_        16th IEEE REAL-TIME SYSTEMS SYMPOSIUM
      / \ / __/__/  __/__/          December 4-7, 1995 -- Pisa, Italy

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

                   Advance Program & Call for Participation
                                       
                                       
                       IEEE Real-Time Systems Symposium
                                       
                                       
                              December 4-7, 1995
                             Palazzo dei Congressi
                               Via Matteotti, 1
                                  Pisa, Italy

                                       
                                 Sponsored by
      The IEEE Computer Society Technical Committee on Real-Time Systems
                                       

			    IEEE RTSS'95 Home Page
		   http://cs-www.bu.edu/pub/ieee-rts/rtss95

-------------------------------------------------------------------------------
                              Monday, December 4
-------------------------------------------------------------------------------

Tutorials (at Scuola Superiore Studi Universitari e Perfezionamento Sant'Anna)

Tutorial registration: 8:00am - 2:30pm

Tutorial 1: 9:00am - 6:00pm (Full day - 6 hours)
        
        Title: Real-time Systems: Specification & Verification
        Instructors: Henk Schepers, Jozef Hooman, Zhiming Liu, 
                     Steve Schneider, Kim Larsen, and Wang Yi

Tutorial 2: 9:00am - 12:30pm (Half day - 3 hours)

        Title: Real-Time Communications
        Instructors: Ken Tindell and Jay Strosnider

Tutorial 3: 2:30pm - 6:00pm (Half day - 3 hours)

        Title: Real-Time POSIX
        Instructors: Ted Baker, Doug Locke, and Michael Gonzalez Harbour

Symposium registration (at Palazzo dei Congressi): 5:00pm - 8:00pm


-------------------------------------------------------------------------------
			      Tuesday, December 5
-------------------------------------------------------------------------------
				       
8:00am - 5:00pm   Registration 

9:30 - 9:45am   Opening Address and Welcome 

        General Chair: Krithi Ramamritham
        Program Chairs: Alan Burns and Yann-Hang Lee

9:45 - 10:45am  Session 1: Applications

        Proving Dynamic Properties in an Aerospace Application
        Simin Nadjm-Tehrani and Jan-Erik Stromberg

        Modelling a Real Time Control System Based on Distributed Objects
        Nigel Baker, Wayne Harris, Chris Wallace, Richard McClatchey 
        and Jean-Marie Le Goff

10:45 - 11:15am  Coffee break

11:15 - 1:00pm  Session 2: Synchronization and OS

        A Scalable Real-Time Synchronization Protocol for Distributed Systems
        Injong Rhee and Graham R. Martin

        Real-Time Computing with Lock-Free Shared Objects
        James H. Anderson, Srikanth Ramamurthy, and Kevin Jeffay

        Kernel-Level Threads for Dynamic, Hard Real-Time 
                Environments  
        Marty Humphrey, Gary Wallace, and John A. Stankovic

        MiThOS -- A Real-Time Micro-Kernel Threads Operating System
        Frank Mueller, Viresh Rustagi and Ted Baker

1:00 - 2:30pm  Lunch 

2:30 - 3:45pm  Session 3: Formal Methods

        HyTech: The Next Generation
        T. Henzinger, P.-H. Ho, and H. Wong-Toi

        Two Examples of Verification of Multirate Timed Automata with Kronos
        Conrado Daws and Sergio Yovine

        Compositional and Symbolic Model-Checking of Real-Time Systems
        Kim G. Larsen, Paul Pettersson, and Wang Yi

3:45 - 4:15pm  Coffee break

4:15 - 5:30pm  Session 4: Scheduling I

        Value vs Deadline Scheduling in Overload Conditions
        Giorgio Buttazzo, Marco Spuri and Fabrizio Sensini

        Dual Priority Scheduling
        Robert Davis and Andy Wellings

        An Approach To Handling Overloaded Systems That Allow Skips
        Gilad Koren and Dennis Shasha 


8:00pm  Welcome party

-------------------------------------------------------------------------------
			     Wednesday, December 6
-------------------------------------------------------------------------------

8:00am - 5:00pm  Registration

9:30 - 10:45am  Session 5: Fault Tolerance

        Enhancing Real-Time Schedules to Tolerate Transient Faults
        Sunondo Ghosh, Rami Mellhem and Daniel Mosse

        A Software Fault Injection Tool on Real-Time Mach     
        Scott Dawson, Farnam Jahanian and Todd Mitton

        Fault-tolerant Real-Time Communication in FDDI-Based Networks
        Biao Chen, Sanjay Kamat, and Wei Zhao.

10:45 - 11:15am  Coffee break

11:15am - 1:00pm  Session 6: Distributed Systems
        
        Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic 
                Tasks in Statically Scheduled Systems
        Gerhard Fohler

        Optimal Combined Task and Message Scheduling in Distributed 
                Real-Time Systems
        Tarek F. Abdelzaher, and Kang G. Shin 

        Distributed Pinwheel Scheduling with End-to-End Timing Constraints
        Chih-wen Hsueh, Kwei-Jay Lin, and Nong Fan

        The Design of Large Real-Time Systems:  The Time-Triggered Approach
        Hermann Kopetz, Martin Braun, Christian Ebner, Andreas
                Kruger, Dietmar Millinger, Roman Nossal and Anton Schedl

1:00 - 2:30pm  Lunch 

2:30 - 3:45pm  Session 7: Scheduling II

        Applicability of Simulated Annealing Methods to Real-Time 
                Scheduling and Jitter Control 
        Marco DiNatale & John A. Stankovic

        Fairness in Periodic Real-Time Scheduling
        Sanjoy K. Baruah

        Robust Aperiodic Scheduling Under Dynamic Priority Systems
        Marco Spuri, Giorgio Buttazzo and Fabrizio Sensini

3:45 - 4:15pm  Coffee break

4:15 - 5:30pm  Session 8: Communication


        On Slot Reuse for Isochronous Services in DQDB Networks
        Ching-Chih Han, Chao-Ju Hou, and Kang G. Shin

        Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks
        Chao-Ju Hou and Kar Shun Tsoi

        Modeling Bus Scheduling Policies for Real-Time Systems
        Kevin Kettler and Jay Strosnider


5:30 - 6:30pm  IEEE Real-Time Systems TC meeting

8:00pm    Gala Dinner

-------------------------------------------------------------------------------
			     Thursday, December 7
-------------------------------------------------------------------------------

10:00 - 11:15am  Session 9: Specification

        Compiling Modechart Specifications
        Carlos Puchol, Aloysius K. Mok and Douglas A. Stuart

        The Specification and Schedulability Analysis of Real-Time 
                Systems using ACSR 
        J. Choi, I. Lee and H. Xie

        A Graphical Language with Formal Semantics for the Specification 
                and Analysis of Real-Time Systems
        Hanene Ben-Abdallah, Insup Lee, and Jin-Young Choi

11:15 - 11:45am  Coffee break

11:45am - 1:00pm  Session 10: Timing Analysis

        Integrating the Timing Analysis of Pipelining and Instruction Caching
        Chris Healy, Dave Whalley, and Marion Harmon

        Efficient Microarchitecture Modeling and Path Analysis for 
                Real-Time Software
        Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe

        Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study
        Yerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim,
                Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, 
                and Chong Sang Kim 

1:00 - 2:30pm  Lunch

2:30 - 3:45pm  Sessions 11: Real-Time DB and Window Systems

        Some Performance Issues for Database Transactions with Firm Deadlines
        Y. C. Tay

        Managing Contention and Timing Constraints in a Real-Time 
                Database System
        Matthew R. Lehr, Young-Kuk Kim, and Sang H. Son

        ARTIFACT: A Platform for Evaluating Real-Time Window System Designs
        John Sasinowski and Jay Strosnider



-------------------------------------------------------------------------------
			     Symposium Exhibition
-------------------------------------------------------------------------------

An exhibition of  hardware and software products for  real-time systems will be
held in conjunction with  the symposium.  Any  industrial and university groups
wishing to participate in the exhibition  should contact with Christian Koza at
Christian.Koza@aut.alcatel.at.



-------------------------------------------------------------------------------
			       Local Information
-------------------------------------------------------------------------------

Conference Site:

        Palazzo dei Congressi                   Phone:  +39 - 50 - 598.139
        Via Matteotti, 1                        Phone:  +39 - 50 - 598.203
        Pisa, Italy                             Fax:    +39 - 50 - 598.112

The City
        Pisa is a small friendly city in the north of Italy. Apart from
        its famous Leaning Tower it has a number of other historical
        attractions and fine restaurants. The Palazzo dei Congressi and
        all these attractions are within easy walking distance of the
        hotels listed below.

How to reach Pisa

        There are direct flights to Pisa from London, Paris, Frankfurt, Rome
        and Milan. The city is also accessible by train from Genoa (2 hours),
        Rome (3 hours), Milan (4 hours) and Venice (5 hours).

Lunch
        Lunches will be served at the Palazzo dei Congressi and it is included
        in the registration fee. The price per lunch for accompanying persons
        is of Lira 40,000.

Banking Service

        A currency exchange office will be located inside of the Palazzo dei
        Congressi (9:00am - 1:00pm and 2:45pm - 3:45pm).

Telephone, fax, and e-mail service

        During the symposium, participants may receive messages by phone and
        fax at the Palazzo dei Congressi. Also an E-mail service will
        be provided.


-------------------------------------------------------------------------------
				 Social Events
-------------------------------------------------------------------------------

1. On Tuesday, December 5th, a welcome party will be offered to the
   participants.

2. On Wednesday, December 6th, a Gala Dinner will be offered in a typical
   Tuscan restaurant.


-------------------------------------------------------------------------------
				 Registration
-------------------------------------------------------------------------------

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

        Linda BUSS
        Route 1, Box 187B, 
        Menomonie, WI 54751
        USA
  OR
        Ettore RICCIARDI
        IEI - CNR
        Via S. Maria, 46
        56126 - PISA
        Italy

E-mail registration can be done by sending the registration form to: 

        ricciardi@iei.pi.cnr.it 

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. 

Only US or International Bank Checks will be accepted or,
alternatively, by an International Bank Transfer order payable to: 

        Ettore RICCIARDI
        Bank Code Number: 0861 - 5608 - 14002 - 13761
        Banca Popolare di Novara - Agency 1
        Via San Francesco, 54
        56100 - Pisa
        Italy

Please, enclose the check/cheque or a copy of the payment order with the
registration form.

On site registration fees can be paid by check/cheque, major credit cards,
or cash at the Symposium Secretariat.

The Secretariat will be open on Monday, December 4th, 1995 from
5:00pm to 8:00pm, and all day during the Symposium.


Symposium Registration Fees:
---------------------------
Advance (before November 1, 1995)       Late (after November 1, 1995)
Member:               US$ 380                   US$ 460
Non-member:           US$ 480                   US$ 580
Full-time student:    US$ 150                   US$ 180

Full Day Tutorial Fees:
----------------------
Advance (before November 1, 1995)       Late (after November 1, 1995)
Member:               US$ 170                   US$ 210
Non-member:           US$ 215                   US$ 260
Full-time student:    US$ 170                   US$ 210

Half Day Tutorial Fees:
----------------------
Advance (before November 1, 1995)       Late (after November 1, 1995)
Member:               US$ 100                   US$ 120
Non-member:           US$ 120                   US$ 140
Full-time student:    US$ 100                   US$ 120

Notes:
-----
  1. Symposium registration includes admission to symposium, a copy of 
     symposium proceedings, lunches, coffee-breaks, Welcome party on Tuesday 
     night, and Gala dinner on Wednesday night.
  2. Full-time students are asked to provide a verification of their
     status, either during registration or at the conference.
  3. There are no special full-time student rates for tutorials.
  4. Extra ticket for Wednesday's Gala dinner can be purchased at US$ 45/ea.
  5. Written requests for refunds must be postmarked no later than 
     November 13, 1995. Refunds are subject to a US$ 50 processing fee.
     All no-show registration will be billed in full. Registration 
     after 11/13/95 will be accepted on-site only.


 . . . . . . . . . . . . . . . . . Cut Here  . . . . . . . . . . . . . . . . .


             1995 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:___________________  

  Tutorial fee: 1. Real-time Systems: Specif. & Verification   $___________

                2. Real-Time Communications                    $___________

                3. Real-Time POSIX                             $___________

  Extra Gala dinner tickets:  ($45/ea)                         $___________

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


  Hotel reservation deposit: (single  or double)               $___________

              first preference:_____________________

              second preference:____________________

              third preference:_____________________

               

                                          Total amount:        $___________


 . . . . . . . . . . . . . . . . . Cut Here  . . . . . . . . . . . . . . . . .
   


-------------------------------------------------------------------------------
			    Pisa Hotel Information
-------------------------------------------------------------------------------

All reservations refer to the period of December 3-8, 1995.
Rooms will be available up to November 3, 1995. One night deposit is 
required for all reservations.  All prices are in US dollars and include 
service and taxes.

        Approximate conversion rate:    $ 1.00 = L 1,600

------------------------------------------------------------------
                                                price   price           
                                        stars   single  double          
------------------------------------------------------------------
    Hotel CAVALIERI                     *****    100     120    
    Piazza della Stazione, 2
    Phone:       43.290
    Fax:        502.242
------------------------------------------------------------------
    Hotel DUOMO                         ****     95      130             
    Via Santa Maria, 94
    Phone:      561.894
    Fax:        560.418
------------------------------------------------------------------
    Hotel TOURING                       ***      55      75              
    Via Puccini, 24
    Phone:       46.374
    Fax:        502.148
------------------------------------------------------------------
    Hotel TERMINUS & PLAZA              ***      50      75              
    Via Colombo, 45
    Phone:      500.303 or 45.200
    Fax:        500.303 (to switch)
------------------------------------------------------------------
    Hotel LA PACE                       ***      45      60             
    Viale Gramsci, Gall. B
    Phone:       48.863 or 29.351
    Fax:        502.266
------------------------------------------------------------------


Other Hotels without reservation for RTSS

                                                price   price
                                        stars   single  double
------------------------------------------------------------------
    Hotel D'AZEGLIO                     ****     90      120
    Piazza Vittorio Emanuele, 18
    Phone:      500.310
    Fax:         28.017
------------------------------------------------------------------
    Hotel VILLA KINZICA                 ***      65      85
    Piazza Arcivescovado, 2
    Phone:      560.419
    Fax:        551.204
------------------------------------------------------------------
    Hotel MINERVA                       ***      60      80
    Piazza Toniolo, 20
    Phone:      501.018
    Fax:        551.204
------------------------------------------------------------------


**** IMPORTANT: Please, mention the RTSS when reserving the hotel room.


-------------------------------------------------------------------------------
			   LOCAL INFORMATION SERVICE
-------------------------------------------------------------------------------

For any information about local arrangements, please send E-mail to:

        Giorgio Buttazzo:       giorgio@sssup1.sssup.it

        Ettore Ricciardi:       ricciardi@iei.pi.cnr.it


-------------------------------------------------------------------------------
			     Conference Committee
-------------------------------------------------------------------------------

				       
				 General Chair
			      Krithi Ramamritham
				       
				Program Chairs
			 Alan Burns and Yann-Hang Lee
				       
				  Treasurers
		    Walt Heimerdinger and Ettore Ricciardi
				       
			       Publicity Chairs
			Azer Bestavros and Ken Tindell
				       
			       Industrial Chairs
		       Michelle Hugue and Christian Koza
				       
			      Local Arrangements
		     Giorgio Buttazzo and Ettore Ricciardi
				       
				  Ex-Officio
				    Al Mok
				       
				       
				       
       ----------------------- Program Committee -----------------------
      |                                                                 |
      |     Ted Baker          Giorgio Buttazzo     Juan A. DeLaPuente  |
      |     Richard Gerber     Nicholas Halbwachs   Hans Hansson        |
      |     Connie Heitmeyer   Jozef Hooman         Farnam Jahanian     |
      |     Kevin Jeffay       Theodore Johnson     Mathai Joseph       |
      |     Dilip Kandlur      Hermann Kopetz       C. Mani Krishna     |
      |     Kwei-Jay Lin       Fabio Panzieri       David Powell        |
      |     Lui Sha            Parmesh Ramanathan   Hans Rischel        |
      |     Mike Rodd          Fred Schneider       Dennis Shasha       |
      |     Kang Shin          Sang Son             Jack Stankovic      |
      |     Jay Strosnider     Reino Suonio         Sandra Thuel        |
      |     Kenji Toda         Paulo Verissimo      Andy Wellings       |
      |     Wei Zhao                                                    |
       -----------------------------------------------------------------



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

  For more information, including abstracts of technical papers please check
				       
		       The IEEE RTSS'95 Home Page at URL

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

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

