------------------------------------------------------------------------------- __ __ __ __ , __ __ /_/ / /_ /_ /_//_ 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 -------------------------------------------------------------------------------