RTSS '98 - Call for Participation (Madrid, Dec 98)

=======================================================================
                                                CALL FOR PARTICIPATION
                            The 19th IEEE Real-Time Systems Symposium
                                                        Madrid, Spain
                                                    December 2-4, 1998


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


    Contents
    --------


    - Scope of the Conference
    - Advance Technical Program
    - Industrial Exhibition and Demos
    - Work-in-Progress Sessions
    - Workshop on Programming Languages
    - Preliminary Registration and Hotel Information
    - Conference Organization


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


                                            SCOPE OF THE CONFERENCE


RTSS '98 will bring together a wide body of researchers and
developers, to advance the science and practice of real-time
computing. The RTSS program includes many aspects of real-time and
embedded systems, including modeling and design methods, operating
systems, scheduling algorithms, databases, file systems, networks and
communications, programming languages, formal methods, architecture,
middleware and APIs, instrumentation, fault tolerance, software
engineering, performance analysis, embedded systems,
signal-processing, multimedia applications, process control, tool
support - and a lot more.


In 1998, RTSS received a record number of submitted papers. There were
182 papers in all, 80 more than last year, 50 more than any RTSS ever
held. Of these, 45 were chosen to appear on the program, which follows
below.


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


                                      PRELIMINARY CONFERENCE SCHEDULE


December 1, 1998
----------------


                PLRTI: IEEE Workshop on Programming Languages for Real-Time
                Industrial Applications. See below for details on the
                details on the workshop.


December 2, 1998
----------------


      09.30: Session 1


                Invited Talk (Speaker TBA)


      11.30: Session 2 - Systems and Scheduling


                INTEGRATING MULTIMEDIA APPLICATIONS IN HARD REAL-TIME SYSTEMS.
                Luca Abeni and Giorgio Buttazzo


                ISOCHRONOUS SCHEDULING AND ITS APPLICATION TO TRAFFIC CONTROL.
                Masaaki Iwasaki, Tadashi Takeuchi, Masahiko Nakahara and Takahiro
                Nakano


                SCHEDULABILITY ANALYSIS FOR TASKS WITH STATIC AND DYNAMIC OFFSETS.
                J.C. Palencia Gutierrez M. Gonzalez Harbour


      13.00: Lunch


      14.30: Session 3.A - Databases and Filesystems


                DEADLINE-MODIFICATION-SCAN WITH MAXIMUM-SCANNABLE-GROUPS
                FOR MULTIMEDIA REAL-TIME DISK SCHEDULING
                Ray-I Chang Wei-Kuan Shih Ruei-Chuan Chang


                USING SEPARATE ALGORITHMS TO PROCESS READ-ONLY TRANSACTIONS
                IN REAL-TIME SYSTEMS
                Kwok-Wa Lam, Sang H. Son, Victor C. S. Lee and Sheung-Lun Hung


                MAINTAINING TEMPORAL COHERENCY OF VIRTUAL WAREHOUSES
                Raghav Srinivasan, Chao Liang and Krithi Ramamritham


      14.30: Session 3.B - Systems Design and Development I


                SPECIFICATION AND MODELING OF DYNAMIC, DISTRIBUTED
                REAL-TIME SYSTEMS
                Lonnie R. Welch, Binoy Ravindran, Behrooz A. Shirazi
                and Carl Bruggeman


                DETAILED DESIGN OF AVIONICS CONTROL SOFTWARE
                Ulf Nilsson, Siwert Streiffert, Anders Torne


                SCHEDULABILITY ANALYSIS FOR AUTOMATED IMPLEMENTATIONS OF
                REAL-TIME OBJECT-ORIENTED MODELS
                M. Saksena, A. Ptak, P. Freedman, and P. Rodziewicz


      16.30: Session 4.A - Scheduling and Analysis I


                A BETTER POLYNOMIAL-TIME SCHEDULABILITY TEST FOR REAL-TIME
                MULTIFRAME TASKS
                Ching-Chih Han


                A GENERAL MODEL FOR RECURRING REAL-TIME TASKS
                Sanjoy Baruah


                STATISTICAL RATE MONOTONIC SCHEDULING
                Alia K. Atlas Azer Bestavros


      16.30: Session 4.B - Timing Analysis and Compiler Techniques


                TESTING THE RESULTS OF STATIC WORST-CASE EXECUTION-TIME
                ANALYSIS
                Peter Puschner and Roman Nossal


                COMBINING ABSTRACT INTERPRETATION AND ILP FOR
                MICROARCHITECTURE MODELLING AND PROGRAM PATH ANALYSIS
                Henrik Theiling and Christian Ferdinand


                COMPILER OPTIMIZATIONS FOR REAL TIME EXECUTION OF LOOPS ON
                LIMITED MEMORY EMBEDDED SYSTEMS
                Sundaram Anantharaman and Santosh Pande


      18.00: Work-In-Progress Session I




December 3, 1998
----------------


      09.30: Session 5


                Invited Talk (Speaker TBA)


      11.30: Session 6 - Systems and Scheduling


                THE TIME-TRIGGERED MODEL OF COMPUTATION
                Hermann Kopetz


                SYNTHESIS TECHNIQUES FOR LOW-POWER HARD REAL-TIME SYSTEMS
                ON VARIABLE VOLTAGE PROCESSOR
                Inki Hong, Gang Qu, Miodrag Potkonjak, and Mani B. Srivastava


                TASK PERIOD SELECTION AND SCHEDULABILITY IN REAL-TIME
                SYSTEMS
                Danbing Seto, John P. Lehoczky, and Lui Sha


      13.00: Lunch


      14.30: Session 7.A - Testing, Verification and Analysis I


                AUTOMATIC TESTING OF REACTIVE SYSTEMS
                Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs,
                Daniel Weber


                ANALYZING NON-DETERMINISTIC REAL-TIME SYSTEMS WITH (MAX,+)
                ALGEBRA
                Guillaume P. Brat and Vijay K. Garg


                TIMED TEST CASES GENERATION BASED ON STATE CHARACTERISATION
                TECHNIQUE.
                A. En-Nouaary, R. Dssouli, F. Khendek and A. Elqortobi


      14.30: Session 7.B - Operating Systems and Services


                GENERAL DATA STREAMING
                Frank W. Miller, Pete Keleher, and Satish K. Tripathi


                DESIGN AND IMPLEMENTATION OF A REAL-TIME ATM-BASED PROTOCOL
                SERVER
                Martin Borriss and Hermann Haertig


                PROPORTIONAL SHARE SCHEDULING OF OPERATING SYSTEM SERVICES
                FOR REAL-TIME APPLICATIONS
                Kevin Jeffay, F. Donelson Smith, Arun Moorthy, James Anderson


      16.30: Session 8.A - Testing, Verification and Analysis II


                MEMBERSHIP QUESTIONS FOR TIMED AND HYBRID AUTOMATA
                R.Alur and R.P.Kurshan and M.Viswanathan


                ON CHECKING TIMED AUTOMATA FOR LINEAR DURATION INVARIANTS
                Victor Adrian Braberman and Dang Van Hung


                VERIFICATION OF SCHEDULING POLICIES FOR A CLASS OF SIMPLE
                CONCURRENT PROCESSES
                Michael J. Meyer and Howard Wong-Toi


      16.30: Session 8.B - Quality of Serivice Issues


                ELASTIC TASK MODEL FOR ADAPTIVE RATE CONTROL
                Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni


                PRACTICAL SOLUTIONS FOR QOS-BASED RESOURCE ALLOCATION
                Chen Lee, Raj Rajkumar, John Lehoczky and Dan Siewiorek


                A DYNAMIC QUALITY OF SERVICE MIDDLEWARE AGENT FORMEDIATING
                APPLICATION RESOURCE USAGE
                Scott Brandt, Gary Nutt, Toby Berk, James Mankovich


      18.00: Work-In-Progress Session II


December 4, 1998
----------------


      09.30: Session 9


                Invited Talk (Speaker TBA)


      11.30: Session 10 - Operating Systems and Runtimes


                TECHNIQUES FOR SOFTWARE THREAD INTEGRATION IN REAL-TIME
                EMBEDDED SYSTEMS
                Alexander G. Dean and John Paul Shen


                A WORST CASE TIMING ANALYSIS TECHNIQUE FOR MULTIPLE-ISSUE
                MACHINES
                Sung-Soo Lim, Jung Hee Han, Jihong Kim, Sang Lyul Min


                EFFICIENT OBJECT SHARING IN QUANTUM-BASED REAL-TIME SYSTEMS
                James H. Anderson, Rohit Jain, and Kevin Jeffay


      13.00: Lunch


      14.30: Session 11.A - Systems Design and Development Tools II


                A DEVELOPMENT FRAMEWORK FOR ULTRA-DEPENDABLE AUTOMOTIVE
                SYSTEMS BASED ON A TIME-TRIGGERED ARCHITECTURE
                Bernd Hedenetz


                INTEGRATED DESIGN TOOLS FOR HARD REAL-TIME SYSTEMS
                Carlos Puchol and Aloysius K. Mok


                PERFORMANCE MEASUREMENT USING LOW PERTURBATION AND HIGH
                PRECISION HARDWARE ASSISTS
                Alan Mink, Wayne Salamon, Jeffrey K. Hollingsworth,
                and Ramu Arunachalam


      14.30: Session 11.B - Scheduling and Analysis II


                REAL-TIME SCHEDULING IN A GENERIC FAULT-TOLERANT
                ARCHITECTURE
                A.J. Wellings, Lj. Beus-Dukic & D. Powell


                IMPROVED RESPONSE TIME ANALYSIS CALCULATIONS
                Mikael Sjodin and Hans Hansson


                SYMBOLIC SCHEDULABILITY ANALYSIS OF REAL-TIME SYSTEMS
                Hee-Hwan Kwak, Jin-Young Choi, Insup Lee, Anna Philippou,
                and Oleg Sokolsky


      16.30: Session 12.A - Dependability & Fault Tolerance


                FAULT-TOLERANT CLOCK SYNCHRONIZATION IN CAN
                Luis Rodrigues and Mario Guimaraes and Jose Rufino


                USING LIGHT-WEIGHT GROUPS TO HANDLE TIMING FAILURES IN
                QUASI-SYNCHRONOUS SYSTEMS
                Carlos Almeida and Paulo Verissimo


                DEPENDABLE ONLINE SYSTEM UPGRADE USING ANALYTICALLY
                REDUNDANT CONTROLLERS
                Lui Sha


      16.30: Session 12.B - Communications and Networks


                STATISTICAL DELAY GUARANTEE OF VIRTUAL CLOCK
                Pawan Goyal and Harrick M. Vin


                REALIZING SERVICES FOR GUARANTEED-QOS COMMUNICATION ON A
                MICROKERNEL OPERATING SYSTEM
                Ashish Mehra, Anees Shaikh, Tarek Abdelzaher, Zhiqun
                Wang, and Kang G. Shin


                SCHEDULING COMMUNICATION NETWORKS CARRYING REAL-TIME
                TRAFFIC


                John P. Lehoczky




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


                                      INDUSTRIAL EXHIBITION AND DEMOS


RTSS '98 will include an industrial exhibition in a centrally located
space, for vendors to demonstrate state-of-the-art systems, development
tools and applications; where RTSS attendees can engage in technical
discussions with product engineers and developers; and where company
representatives meet (and potentially recruit) young researchers
specializing in real-time and embedded systems. To reserve space for the
exhibition, please contact the RTSS '98 Industrial Chair, Dr. Gerhard Fohler
at (gerhard.fohler@mdh.se).




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




                                            WORK-IN-PROGRESS SESSIONS


As in previous years, RTSS '98 is soliciting contributions to a special
Work-In-Progress (WIP) track, featuring short presentations on new work in
real-time systems and applications. The purpose of this session is to
provide researchers with an opportunity to discuss new and evolving ideas,
and gather feedback from the real-time community at large. All accepted
papers to the RTSS'98 WIP sessions will be presented at the conference, in
short 10-minute talks. Papers will be published in a special RTSS'98 WIP
proceedings, to be distributed to all RTSS'98 conference participants, and
then made available on the WWW, via the IEEE-CS TC-RTS Home Page.


Submissions to RTSS'98 WIP should describe original, on-going work, and
should be limited to 2,000 words. Authors should email papers to the
RTSS'98 WIP Chair:




        Steve Goddard
        Dept of Computer Science and Engineering Email: goddard@cse.unl.edu
        University of Nebraska-Lincoln Phone: +1-402-472-9968
        Lincoln, NE 68588-0115 USA Fax: +1-402-472-7767




The deadline for submissions is October 23, 1998. Notification of
acceptance will be sent out on November 2, 1998. For more information,
please contact RTSS'98 WIP Chair or check the RTSS'98 WIP Home Page at:


                                  http://www.cse.unl.edu/rtss98wip


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


                                    WORKSHOP ON PROGRAMMING LANGUAGES


RTSS '98 is co-hosting the IEEE Workshop on Programming Languages for
Real-Time Industrial Applications, to take place on December 1 - the day
preceding the conference. Several topics to be covered at the workshop are:
developments in real-time and embedded flavors of Java; implementing
real-time virtual machines for Java; Java vs. Ada 95 real-time profiles;
support for distributed applications using real-time Java, Ada, and MPI;
getting real-time functionality in Java chips; developments in real-time
POSIX - ongoing and in the future.


If you're interested in these or related topics, please consult the
Workshop home page:


                      http://www.informatik.hu-berlin.de/~mueller/plrtia98


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


                        PRELIMINARY REGISTRATION AND HOTEL INFORMATION




Registration forms will available shortly; however, for early
information please the RTSS98 Registration Chair, Ms. Linda Buss, at
ljbuss@win.bright.net.


Two hotels have been selected for RTSS, both of which are centrally
located in Madrid's Museum District, and a few blocks from the famed
Museo del Prado. For those making early travel plans, the RTSS
Conference Hotels are:




                      Hotel Reina Victoria Rooms (minus VAT)
                      Plaza de Santa Ana, 14 -------------------
                      28014 Madrid Singles: 18,500 pts.
                      tel. +34-91-523-5215 Doubles: 21,000 pts.
                      fax: +34-91-522-0307 Breakfast included.




                      Hotel Villa Real Rooms (minus VAT)
                      Plaza de las Cortes, 10 -------------------
                      28014 Madrid Singles: 14,500 pts.
                      fax: +34-91-420-2547 Doubles: 16,050 pts.
                      tel. +34-91-420-3767 Breakfast included.


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




                                                  ORGANIZING COMMITTEE




General Chair: Kwei-Jay Lin, University of California, Irvine


Program Chair: Richard Gerber, University of Maryland


Finance Chair: Walt Heimerdinger, Honeywell Technology Center


Local Arrangements Chair: Angel Alvarez, Universidad Politecnica de Madrid


Industrial Chair: Gerhard Fohler, Malardalen University


Work-In-Progresss Chair: Steve Goddard, University of Nebraska


Registration Chair: Linda Buss


Local Treasurer: Juan A. de la Puente, Universidad Politecnica de Madrid


Publicity Co-Chairs:
      Alejandro Alonso, Universidad Politicnica de Madrid (Europe)
      Chao-Ju Jennifer Hou, Ohio State University (Americas)
      Joseph Ng, Hong Kong Baptist University (Asia/Pacific)




European Chair: Alan Burns, University of York


Ex-Officio: (RTS-TC Chair) Doug Locke, Lockheed Martin Corporation


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


                                                    PROGRAM COMMITTEE


                        James Anderson (University of North Carolina)
                                    Azer Bestavros (Boston University)
                                Sanjoy Baruah (University of Vermont)
                      Giorgio ButTazzo (Scuola Superiore e Sant'Anna)
                                Gerhard Fohler (Malardalen University)
                      Michael Gonzalez Harbour (Universidad Cantabria)
                        Jeffrey Hollingsworth (University of Maryland)
                            Seongsoo Hong (Seoul National University)
                              Farnam Jahanian (University of Michigan)
                          Kevin Jeffay (University of North Carolina)
                      Hermann Kopetz (Vienna University of Technology)
                                    Kim G. Larsen (Aalborg University)
                                Insup Lee (University of Pennsylvania)
                                Jane W.S. Liu (University of Illinois)
                Keith Marzullo (University of California at San Diego)
                            Sang Lyul Min (Seoul National University)
                                Al Mok (University of Texas at Austin)
                      Ragunathan Rajkumar (Carnegie Mellon University)
                                      Jennifer Rexford (AT&T Research)
                                  Manas Saksena (Concordia University)
                                        Bran Selic (ObjectTime, Ltd.)
                                    Andy Wellings (University of York)
                                    David Wilner (Wind River Systems)
                                          Sergio Yovine (CNRS/VERIMAG)
                                Hui Zhang (Carnegie Mellon University)
--

Return to the comp.compilers page.
Search the comp.compilers archives again.