Subject: IEEE-CS TC-RTS Newsletter for Thu Jun 09, 1994 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. best@cs.bu.edu (Azer Bestavros) (16 lines) Notice: New URL for the IEEE TC-RTS WWW Home Page ................. 3 2. Miroslaw Malek (581 lines) FTCS-24 Advance Program............................................ 19 3. bran@ObjecTime.on.ca (Bran Selic) (31 lines) ROOM Book Press Release............................................ 600 4. pugh@cs.UMD.EDU (Bill Pugh) (231 lines) Program for Real-Time workshop at PLDI............................. 631 5. Bengt Jonsson (46 lines) Position in Uppsala University..................................... 861 6. best@cs.bu.edu (Azer Bestavros) (200 lines) AMAST 95 Call For Papers........................................... 908 7. schwan@cc.gatech.edu (Karsten Schwan) (123 lines) First Symposium on Operating Systems Design and Implementation (O.. 1108 8. best@cs.bu.edu (Azer Bestavros) (748 lines) AIRTC94 invitation and preliminary program......................... 1231 9. "Jiandong Huang 951-7487" (282 lines) Second IEEE Workshop on Real-Time Applications..................... 1979 10. meesh@cs.UMD.EDU (MM Hugue) (105 lines) Workshop on Composability of Fault-Resilient Real-Time Systems..... 2261 11. ken@minster.york.ac.uk (115 lines) Report available via FTP........................................... 2366 Another report available via FTP................................... 2401 yet another report available via FTP............................... 2435 12. krithi@nirvan.cs.umass.edu (krithi) (336 lines) DISTRIBUTED COMPUTER CONTROL SYSTEMS............................... 2481 13. son@bbibbi.cs.virginia.edu (118 lines) International Workshop on Real-Time Computing Systems and Applica.. 2817 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Thu Jun 9 12:15:11 1994 From: best@cs.bu.edu (Azer Bestavros) Subject: Notice: New URL for the IEEE TC-RTS WWW Home Page Please notice that the Universal Resource Locator (URL) of the IEEE TC-RTS WWW Home Page has changed to: http://cs.bu.edu/Faculty/best/pub/ieee-rts.html Also, if you are maintaining any home pages that may be of interest to this community, then please send me the URL of your site, and I will link it up to the IEEE TC-RTS Home Page. Thank you. --Azer ------------------------------------------------------------------------------ Message 2; Postmarked Fri May 6 10:47:24 1994 From: Miroslaw Malek Subject: FTCS-24 Advance Program A D V A N C E P R O G R A M FTCS-24 The Twenty-Fourth Annual International Symposium on Fault-Tolerant Computing Marriott at the Capitol Austin, Texas, USA June 15-17, 1994 Sponsored by the IEEE Computer Society and University of Texas at Austin The Fault-Tolerant Computing Symposium is the world's premier forum for the presentation and discussion of state-of-the-art developments in computing systems. The Symposium scope addresses system, software and hardware issues, including: architectures, design, implementation, specification, modeling, test, diagnosis, theory and practice, evaluation and validation of dependable and fault-tolerant computing systems. In addition to regular paper presentations and panel discussions, the Symposium offers exhibitions and demonstrations of software tools and highly dependable systems. The Symposium is sponsored by the IEEE Computer Society and the University of Texas at Austin. General Chair Vice Chair Miroslaw Malek Donald S. Fussell Univ. of Texas at Austin Univ. of Texas at Austin Dept. Electrical & Computer Engr. fussell@cs.utexas.edu Austin, TX 78712-1084 USA ftcs@pine.ece.utexas.edu Tel. + (1) 512 471 5704 Fax + (1) 512 471 0954 Program Cochairs Anton T. Dahbura Takashi Nanya Motorola Inc. Tokyo Institute of Technology atd@mcrc.mot.com nanya@cs.titech.ac.jp Local Arrangements Chair Conference Coordinator Earl E. Swartzlander, Jr. Billene Mercer Univ. of Texas at Austin Conference Management Services 3024 Thousand Oaks Drive Exhibits Chair Austin, TX 78746 USA M. Ray Mercer askcms@pine.ece.utexas.edu Univ. of Texas at Austin Tel. + (1) 512 327 4012 Tel. +(1) 512 471 1804 Fax + (1) 512 327 8132 Fax + (1) 512 471 5445 Publication Chair Publicity Chair Douglas Blough Stephen A. Szygenda Univ. of California, Irvine Univ. of Texas at Austin Ex Officio Jacob A. Abraham Univ. of Texas at Austin Program Committee J. Arlat (F) A. Ivanov (CAN) R. Redinbo (USA) R. Bianchini (USA) N. Jha (USA) A. Reibman (USA) B. Bose (USA) T. Kikuno (J) D. Rennels (USA) S. Budkowski (F) V. Kumar (USA) N. Saxena (USA) R. Chillarege (USA) J. Lala (USA) R. Schlichting (USA) K. Echtle (D) J. Meyer (USA) L. Simoncini (I) K. Fuchs (USA) M. Nicolaidis (F) A. Somani (USA) H. Fujiwara (J) D. Powell (F) R. Swarz (USA) K. Furuya (J) D. K. Pradhan (USA) D. Taylor (CAN) J. Goldberg (USA) B. Randell (UK) C. Walter (USA) A. Goyal (USA) S. Rangarajan (USA) W. Zwaenepoel (USA) A. Hlawiczka (PL) S. M. Reddy (USA) Tuesday, June 14 ---------------- 6:00PM-10:00PM Registration 8:00PM-10:00PM Welcome Reception Wednesday, June 15 ------------------ 8:30AM- 9:00AM Opening Remarks M. Malek, A.T. Dahbura, and T. Nanya 9:00AM-10:30AM Panel 1: "Challenges of Building a Dependable National Information Infrastructure" Panel Chairs: J. Goldberg, SRI, and T. Chou, Tandem Computers, Inc. 10:30AM-11:00AM BREAK 11:00AM-12:30PM Session 1A: Real-Time Systems Chair: H. Kopetz "Effects of Resource Utilization Monitoring in Fault Recovery", by T.R. Sarniak and A.K. Somani, Univ. of Washington, USA "Analysis of a Fault-Tolerant Multiprocessor Scheduling Algorithm", by D. Mosse, R. Melhem, and A. Ghosh, Univ. of Pittsburgh, USA "Replication and Allocation of Task Modules in Distributed Real-Time Systems", by C.-J. Hou, Univ. of Wisconsin, and K.G. Shin, Univ. of Michigan, USA 11:00AM-12:30PM Session 1B: Diagnosis Chair: G. Masson "Algorithm-Based Fault Location and Recovery for Matrix Computations", by A. Roy-Chowdhury and P. Banerjee, Univ. of Illinois, USA "Self-Diagnosis of Array Processors", by L. Baldelli and P. Maestrini, Univ. di Pisa, ITALY "Analysis and Experimental Evaluation of Comparison-Based System-Level Diagnosis for Multiprocessor Systems", by H. Wang and D.M. Blough, Univ. of California, and L. Alkalaj, Jet Propulsion Laboratory, USA 12:30PM- 2:00PM LUNCH 2:00PM- 3:30PM Session 2A: Fault Simulation Chair: K. Echtle "Fault Injection into VHDL Models: the MEFISTO Tool", by E. Jenn and J. Arlat, LAAS-CNRS, FRANCE, and M. Rimen, J. Ohlsson, and J. Karlsson, Chalmers Univ. of Technology, SWEDEN "On Microprocessor Error Behavior Modeling", by M. Rimen, J. Ohlsson, and J. Torin, Chalmers Univ. of Technology, SWEDEN "Device Level Transient Fault Modeling", by G. Ries, G.S. Choi, and R. Iyer, Univ. of Illinois, USA 2:00PM- 3:30PM Session 2B: Checking Chair: Y. Koga "Concurrent Error Detection in Self-Timed VLSI" by D.A. Rennels and H. Kim, Univ. of California, USA "SEU-Tolerant SRAM Design Based on Current Monitoring" by F. Vargas and M. Nicolaidis, TIMA/INPG Laboratory, FRANCE "On Codeword Testing of Two-Rail and Parity TSC Checkers", by S.M. Reddy, I. Pomeranz, and R. Jain, Univ. of Iowa, USA 3:30PM- 4:00PM BREAK 4:00PM- 5:30PM Session 3A: Industrial Experience Reports Chair: J. Lala "Concurrent Error-Detection and Modular Fault Tolerance in a 32-Bit Processing Core for Embedded Space Flight Applications", by J. Gaisler, European Space Research and Technology Center, THE NETHERLANDS "An Automatic Verifying Approach for Product Specification Using FTA", by T. Fukaya, M. Hirayama, and Y. Mihara, Toshiba, JAPAN "Implementation of High Availability Mechanisms in the Air Traffic Control SIR-S System", by E. Amadio, P. Iaboni, M. LaManna, and P. Mariano, Alenia S.p.A., ITALY "Modeling and Analysis of System Dependability Using the System AVailability Estimator", by A. Blum, A. Goyal, P. Heidelberger, S.S. Lavenberg, M.K. Nakayama, and P. Shahabuddin, IBM Corp., USA 4:00PM- 5:30PM Session 3B: Data Structures Chair: D. Taylor "Checking Mergeable Priority Queues", by J.D. Bright and G.F. Sullivan, Johns Hopkins Univ., USA "Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs", by I-L. Yen, Michigan State Univ., and F.B. Bastani, Univ. of Houston, USA "Checking Linked Data Structures", by N.M. Amato and M.C. Loui, Univ. of Illinois, USA Thursday, June 16 ----------------- 8:30AM-10:00AM Session 4A: Performance Tradeoff Strategies Chair: D. Powell "Performability-Driven Adaptive Fault Tolerance", by A.T. Tai, Univ. of Texas at Dallas, USA "Roll-Forward and Rollback Recovery: Performance-Reliability Tradeoff", by D.K. Pradhan and N.H. Vaidya, Texas A&M Univ., USA "A Service Policy for Real-Time Customers with (m,k)-Firm Deadlines", by M. Hamdaoui and P. Ramanathan, Univ. of Wisconsin, USA 8:30AM-10:00AM Session 4B: Coding Chair: E. Fujiwara "A SEC-BED-DED Code with Byte Plus Bit Error Detection", by L.A. Dunning, Bowling Green State Univ., USA "Balanced Codes for Noise Reduction in VLSI Systems", by L. Tallini, L. Merani, and B. Bose, Oregon State Univ., USA "On the Effectiveness of Residue Code Checking for Parallel Two's Complement Multipliers", by U. Sparmann, Univ. des Saarlandes, GERMANY, and S.M. Reddy, Univ. of Iowa, USA 10:00AM-10:30AM BREAK 10:30AM-12:00PM Panel 2: "Towards Effective Integration of Fault Tolerance and Real Time" Panel Chair: M. Malek, Univ. of Texas 10:30AM-12:00PM Panel 3: "Do Commercial MPPs Need Fault Tolerance?" Panel Chair: R. Horst, Tandem Computers, Inc. 12:00PM- 1:15PM LUNCH 1:15PM- 2:15PM Session 5A: Fault-Tolerant Protocols and Programming Chair: S. Rangarajan "The Performance of Two-Phase Commit Protocols in the Presence of Site Failures", by M.-L. Liu, D. Agrawal, and A. El Abbadi, Univ. of California, USA "Implementing Fault Tolerance with an Attribute and Functional Based Model", by M. Suzuki, T. Katayama, Japan Advanced Institute of Science and Technology, JAPAN, and R.D. Schlichting, Univ. of Arizona, USA 1:15PM- 2:15PM Session 5B: Verification Chair: A. Hlawiczka "Architectural Timing Verification and Test for Super Scalar Processors", by P. Bose, IBM Corp., USA "Efficient Algorithmic Circuit Verification Using Indexed BDDs", by J. Bitner, J. Jain, M. Abadir, J. Abraham, and D. Fussell, Univ. of Texas at Austin, USA 2:45PM EXCURSION AND BANQUET REMEMBER! Dress casually (cowboy wear is ideal) and bring your SWIMWEAR for the excursion! Friday, June 17 --------------- 8:30AM-10:00AM Session 6A: Checkpointing Chair: G. Koob "A Cache Protocol for Error Detection and Recovery in Fault-Tolerant Computing Systems", by C.-H. Chen, Natl. Yunlin Inst. of Tech., ROC, and A.K. Somani, Univ. of Washington, USA "Faster Checkpointing With N+1 Parity", by J.S. Plank, Univ. of Tennessee, USA, and K. Li, Princeton Univ., USA "On the Use and Implementation of Message Logging", by E.N. Elnozahy, Carnegie Mellon Univ., USA, and W. Zwaenepoel, Rice Univ., USA 8:30AM-10:00AM Session 6B: Simulation, Measurement, and Coverage Evaluation Chair: J.-C. Laprie "A Study of Throughput Degradation Following Single Node Failure in a Data Sharing System", by N.S. Bowen, IBM Corp, USA, and A. Roy-Chowdhury, Univ. of Illinois, USA "Identifying Software Problems Using Symptoms", by I. Lee and R. Iyer, Univ. of Illinois, USA "The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage", by W. Wang and K.S. Trivedi, Duke Univ., USA, B.V. Shah, Research Triangle Institute, USA, and J.A. Profeta III, Allied Signal, Inc., USA 10:00AM-10:30AM BREAK 10:30AM-12:00PM Session 7A: Fault Injection Chair: R. Chillarege "On Latching Probability of Particle Induced Transients in Combinational Networks", by P. Liden, P. Dahlgren, R. Johansson, and J. Karlsson, Chalmers Univ. of Technology, SWEDEN "Experimental Evaluation of the Fail-Silent Behavior in Computers Without Error Masking", by H. Madeira and J.G. Silva, Univ. of Coimbra, PORTUGAL "Training Techniques to Obtain Fault-Tolerant Neural Networks", by C.-T. Chiu, K.G. Mehrotra, C.K. Mohan, and S. Ranka, Syracuse Univ., USA 10:30AM-12:00PM Session 7B: Interconnection Networks Chair: K. Fuchs "Connectivity and Fault Tolerance of Multiple-Bus Systems", by H.-K. Ku and J.P. Hayes, Univ. of Michigan, USA "Fault-Tolerant Routing Strategy in Hypercube Systems", by G.-M. Chiu and S.-P. Wu, National Taiwan Institute of Technology, TAIWAN "Optimal Fault-Tolerant Leader Election in Chordal Rings", by B. Mans and N. Santoro, Carleton University, CANADA 12:00PM- 1:30PM LUNCH 1:30PM- 3:00PM Session 8A: System Design Chair: B. Randell "Highly Available Cluster: A Case Study", by A. Azagury, D. Dolev, G. Goft, J. Marberg, and J. Satran, IBM Corp., ISRAEL "DM/6000 System Design", by L. Herger, M. Kauffmann, K. Mak, C. Schulz, T.B. Smith, B. Tremaine, and D. Yeh, IBM Corp., USA "Checkpoint/Rollback in a Distributed System Using Coarse-Grained Dataflow", by D. Cummings and L. Alkalaj, Jet Propulsion Laboratory, USA 1:30PM- 3:00PM Session 8B: Testing/DFT Chair: H. Fujiwara "Behavioral Synthesis of Testable Designs", by A. Mujumdar, R. Jain, and K. Saluja, Univ. of Wisconsin, USA "Dynamic State and Objective Learning for Sequential Circuit Automatic Test Generation Using Decomposition Equivalence", by X. Chen and M.L. Bushnell, Rutgers Univ., USA "Test Pattern Generation for Path Delay Faults in Synchronous Sequential Circuits Using Multiple Fast Clocks and Multiple Observation Times", by P. Uppaluri, I. Pomeranz, and S.M. Reddy, Univ. of Iowa, USA 3:00PM- 3:30PM BREAK 3:30PM- 5:00PM Fault-Tolerant Computing Technical Committee Meeting F T C S - 2 4 R E G I S T R A T I O N F O R M --------------------------------------------------- MAIL or FAX to: Billene Mercer Conference Management Services 3024 Thousand Oaks Drive Austin, TX 78746 U.S.A. FAX: + 512 327 8132 (credit card registration only) Advance Late or On-Site (By May 24) (After May 24) IEEE Member $325 USD $400 USD IEEE Member No.________________ Nonmember $405 USD $525 USD Student* $200 USD $220 USD Spouse (excursion & banquet) $ 50 USD *A proof of student status must be provided. Registration fees include admission to all sessions, exhibits, one copy of Proceedings, coffee breaks, lunches, and social events (welcome reception, excursion, and banquet). Participant's Information: _____________________________________________________________________________ Last Name First Name ___________________________________________________ Speaker? Yes No Name Desired on Badge _____________________________________________________________________________ Company/Organization _____________________________________________________________________________ Mailing Address _____________________________________________________________________________ City/State/Country/Postal Code _____________________________________________________________________________ Phone (Work) (Home) _____________________________________________________________________________ Fax Number _____________________________________________________________________________ E-mail Address Payment: U.S. Dollars Only ____ Banker's Draft or Check (drawn on a U.S. bank) payable to: FTCS-24 ____ Charge Credit Card (Master Card or VISA) _____________________________________________________________________________ Credit Card Number Expiration Date _____________________________________________________________________________ Signature F T C S - 2 4 H O T E L R E S E R V A T I O N F O R M -------------------------------------------------------------- Make a copy and mail, fax, or phone reservation by May 24 to ensure availability and special rates to: Marriott at the Capitol 701 East 11th Street Austin, TX 78701-9887 U.S.A. Tel. + 512-478-1111 or + 1-800-228-9290 FAX + 512-478-3700 (Please specify "International Symposium on Fault-Tolerant Computing" if made by phone to ensure special rates.) Guest Information: _____________________________________________________________________________ Last Name First Name _____________________________________________________________________________ Company/Organization _____________________________________________________________________________ Mailing Address _____________________________________________________________________________ City/State/Country/Postal Code _____________________________________________________________________________ Phone (Work) (Home) _____________________________________________________________________________ Arrival Date Departure Date Room Desired: _____ $88/single _____$98/double Special Request: _____ nonsmoking _____smoking RESERVATION MUST BE ACCOMPANIED BY FIRST NIGHT'S DEPOSIT AND 13% TAX, OR AN ACCEPTED CREDIT CARD # AND SIGNATURE. ____ First Night's Deposit + 13% State/Local Tax made payable to "Marriott at the Capitol" ____ Charge Credit Card (American Express, Diners Club, Discover, JCB, Master Card, or VISA) _____________________________________________________________________________ Credit Card Number Expiration Date _____________________________________________________________________________ Signature I understand that I am liable for one night's room and tax which will be deducted from my deposit or billed through my credit card in the event that I do not arrive or cancel prior to 6 P.M. on the arrival date indicated. Reservations are available up to May 24. Reservations received after this date are subject to availability and higher rates may apply. The special rates apply only to FTCS-24 dates. WELCOME TO TEXAS, Y'ALL! There are direct flights to Austin from the following major U.S. airports: Atlanta, Chicago, Dallas/Fort Worth, Denver, Houston, Los Angeles, Memphis, Nashville, Phoenix, Pittsburgh, San Jose, and St. Louis. Direct international flights from the following major airports to Dallas/Fort Worth include Frankfurt, London, Montreal, Paris, Tokyo, and Toronto. The following airlines serve Austin: America West, American, Continental, Delta, Northwest, Southwest, TWA, United, and USAir. CONFERENCE ENVIRONMENT FTCS-24 will be held at the Marriott at the Capitol in downtown Austin. The hotel is only a few blocks from the University of Texas and only 10 minutes by taxi from Robert Mueller Municipal Airport. Austin, the state capital, is renowned for its natural hill country beauty and a variety of entertainment venues. Within walking distance of the hotel are several hiking/jogging trails, as well as opportunities for a variety of aquatic sports. Live bands perform in various clubs around the city and at night spots along popular Sixth Street, offering a range of jazz, blues, country/western, reggae, swing, and rock music. Austin is also a high-tech city with unique consortia such as MCC and Sematech, over 400 software companies, and a notable presence of companies such as AMD, Dell, IBM, Motorola, Schlumberger, Tandem, and 3M. Austin is a hotbed of microprocessor designers, programmers, as well as PC and workstation integrators. Daytime temperatures are typically in the upper eighties in mid-June. ******************************************************************************* ------------------------------------------------------------------------------ Message 3; Postmarked Fri May 6 14:59:04 1994 From: bran@ObjecTime.on.ca (Bran Selic) Subject: ROOM Book Press Release New Book on Object-Oriented Method for Real-Time Systems --------------------------------------------------------------- A new book that describes an object-oriented method intended specifically for the development of real-time systems software is now available. This method, called Real-Time Object-Oriented Modeling (ROOM), originated from research done at Bell-Northern Research on optimizing the development process for complex real-time systems. It is based on the use of executable models for early validation of requirements, architecture, and design. Such models are incrementally evolved over time and, through advanced automatic code generation techniques (that are also part of the method), can directly provide the final implementations. This approach has been used successfully in the development of large telecom products. The book, titled "Real-Time Object-Oriented Modeling", was written by Bran Selic, Garth Gullekson, and Paul Ward. (Paul Ward is the co-developer of the popular Ward-Mellor real-time method). It is published by John Wiley & Sons (ISBN 0-471-59917-4), and can be obtained in book stores or directly from John Wiley & Sons. For further information please contact Bran Selic at: bran@objectime.on.ca. ------------------------------------------------------------------------------ Message 4; Postmarked Mon May 9 12:35:24 1994 From: pugh@cs.UMD.EDU (Bill Pugh) Subject: Program for Real-Time workshop at PLDI ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems June 21 1994 (in conjunction with ACM SIGPLAN PLDI '94) PRELIMINARY PROGRAM 8:00-- 8:30 Tutorial Overview of Real-Time Support in Ada 9X, Ted Baker, Florida State University 8:30-- 9:15 Tutorial on Programming Language Issues in Real-Time Systems speaker to be announced 9:15-- 9:45 Break 9:45--11:45 Session I: Language Issues Real-Time Programming in RTX-Parlog, Douglas Renaux and Paul Dasiewicz (Univ. of Waterloo) Sequencing Data Flow Tasks in SIGNAL, Eric Rutten, Paul Le LeGuernic, (IRISA/INRIA - Rennes) A Modular State/Transition Approach for Programming Reactive Systems, M. Jourdan, F. Maraninchi, VERIMAG. ADA 9X Asynchronous Transfer of Control Applications and Implementation (short paper), Edward Giering, Ted Baker (Florida State University) On Combining the Object-Orientness of C++ with Real-Time Features of UNIX Operating Systems (short paper), Carlos E. Pereira (Univ. of Stuttgart) 11:45-- 1:00 Lunch 1:00-- 3:00 Session II: Memory and Cache Issues Cost-Effective Hardware-Assisted Real-Time Garbage Collection, Kelvin D. Nilsen (Iowa State University) Predicting Instruction Cache Behavior, Frank Mueller, David Whalley (Florida State Univ.), Marion Harmon (Florida A&M University) Timed Perturbation Analysis: an Approach for Non-intrusive Monitoring of Real Time Computations, Madalene Spezialetti(Lehigh University), Rajiv Gupta (Univ. Pittsburgh). On Debugging Real-Time Applications (short paper), Frank Mueller, David Whalley (Florida State University). Cache Issues in Real-Time Systems (short paper), Swagato Basumallick, Kelvin D. Nilsen (Iowa State University). 3:00-- 3:30 Break 3:30-- 5:00 Session III: Timing Analysis Integrated Program Proof and Worst Case Timing Analysis of SPARK Ada, Roderick Chapman, Andy Wellings, Alan Burns (University of York). Portable Execution Time Analysis for RISC Processors, Kannan Narasimhan, Kelvin Nilsen (Iowa State University) Compilation Support for Fine-Grained Execution time Analysis (short paper), Alex Vrchoticky (Technische Universitat Wien) Towards Physically-Correct Specifications of Embedded Real-Time Systems (short paper), Azer Bestavros (Boston University) 5:00-- 6:00 Panel: Compiler Support for Real-Time Systems Panel to be announced ________________________________________________________ General Information Weather Summer weather generally arrives in Orlando in late May and lasts through the end of September. Monthly weather statistics indicate that the average high temperature (for the month of June) is 91 F ( 33 C), an average low of 71 F (22 C), with an average rainfall of 7.4" (18cm). Weather is considerably humid and is interrupted by frequent afternoon thunderstorms, which usually end by early evening. Suggested summer time dress is casual, lightweight, comfortable clothing. Sneakers or other comfortable walking shoes are a must (especially when visiting the theme parks). Because the sunshine in Orlando is so bright, visitors sometimes unintentionally over-expose themselves to the sun. A good sunscreen and a hat or visor, insure enjoyment of the area's very pleasant weather --- and a good tan. Local Attractions Orlando's magic began when nature blessed the area with abundant beauty, abundant sunshine and year-round warm weather. The opening of Walt Disney's Magic Kingdom in 1971 paved the way for the transformation of this quiet, agricultural community into one of the world's most popular vacation destinations. Today, Central Florida is home not only to Magic Kingdom, Disney-MGM studios and Epcot Center, but also to Cypress Gardens, Busch Gardens, Sea World, Spaceport USA, Universal Studios Florida, Wet 'n Wild and 50 other themed attractions. Travel Delta Air Lines, Inc. in cooperation with PLDI and L&FP, are offering special rates to the SIGPLAN summer'94 conferences. These fares are based on Delta's published round-trip fares within the United States and Canada. To take advantage of these discounts, call Delta 1-800-241-6760 for reservations 8:00 AM - 11:00 PM, eastern time, daily, and refer to File Number DMNXPO284. Certain restrictions may apply and seats are limited. These discounts are available only through Delta, so call today! >From the airport, the hotel can be reached by taking a shuttle provided by Mears Transportation Group. The shuttle booth locations are at the following terminal exits on the baggage level: For terminal A, exit through the doors in front of baggage claim carousel #6. In terminal B, exit through the doors in front of Northwest baggage claim carousel #6 or Delta baggage claim carousel #12. The shuttle stops at many hotels in Orlando on a non-fixed schedule. The cost is $23 per adult; $17 per child for round trip and $13 per adult; $10 per child for one-way trip. This is the preferred airport transportation at the hotel. Taxi rates average $2.25 for the first mile and and $1.20 for each additional mile. Child Care If there is sufficient interest, the Vacation Station Kids Hotel at the Hilton may be opened for care of children ages 4 to 12 years old. In-room babysitting services by trained, bonded caregivers from a local agency is also available for younger children. More detailed information on child care can be found in the file child.care via the anonymous ftp site. Hotel Reservation Form SIGPLAN Conferences and Workshops Lake Buena Vista Hilton Lake Buena Vista, Florida The following room rates are guaranteed if reservations are made by May 27, 1994 and a first night's deposit is given. Be sure to identify the reservation as with the group ACM-SIGPLAN. Single Double/Triple Quad $110 $120 $140 To guarantee a room, you need to charge against your credit card or send the amount of the room rate for the first night + 10% tax. Reservations can be cancelled with full refund if cancellation is made 72 hours prior to arrival. Mail to: Attention: Reservations Lake Buena Vista Hilton 1751 Hotel Plaza Blvd. Lake Buena Vista, FL 32830 Phone: 1-800-782-4414 Fax: 1-407-827-3890 Guest Name:__________________________ Affiliation:_________________________ Address:_____________________________ _____________________________ _____________________________ Phone:______________Fax:_____________ Arrival Date:_______Dep Date:________ Number of Rooms:_______ Room Type: _______ Single Occupancy ____ Smoking _______ Double Occupancy ____ Nonsmoking _______ Quad (see Room Sharing, below) Special Needs:_______________________ H-Honors Number:_____________________ Nonsmoking and handicapped rooms can be requested, but not guaranteed. Credit Card Information: Card Name:_________________________ Card Number:_______________________ Expiration Date:___________________ Signature:_________________________ Room Sharing A limited number of rooms are available for room sharing by groups of up to four students (these are called Quad rooms above). These will be reserved on a first-come, first-serve basis. Students interested in sharing rooms should consult share.rooms on the anonymous ftp site. ------------------------------------------------------------------------------ Message 5; Postmarked Mon May 9 15:33:35 1994 Subject: Position in Uppsala University From: Bengt Jonsson Two POSITIONS AS LECTURER IN COMPUTER SCIENCE/COMPUTER ENGINEERING are available at the Department of Computer Systems at Uppsala University. THE POSITIONS entail - Teaching and Course/Curriculum Development at the Dept of Computer Systems. The department offers courses on assembly programming, computer architecture, operating systems, distributed systems, computer communications and protocols, real-time systems, computer security, compiler construction, introductory programming, theory of programming, formal methods for design of computer systems, and neural networks. Courses are offered to undergraduate students attending the M.Sc. programs of computer science, computer engineering, and of mathematics and natural sciences. - The applicant is expected to develop and pursue a research program. Funding for research must be obtained from external sources, e.g. research councils. In some cases, the department could contribute research funding from existing external grants. Present research at the department concerns archictectures and implementation strategies for distributed real-time systems and commuication protocols, formal methods and tools for design and analysis of distributed and real-time systems, and application and implementation of neural networks. THE DEPARTMENT of Computer Systems is nicely situated on a new campus, jointly with departments of computing science, numerical analysis, control theory, mathematics, and theoretical physics. SALARY will be determined according to qualifications. It is desirable that the applications includes salary expectations. FURTHER INFORMATION about positions, application, and the department is provided by prof. Bengt Jonsson (e-mail:bengt@docs.uu.se), by head of department Lars Asplund (e-mail asplund@docs.uu.se), or by director of undergraduate studies Mats Daniels (e-mail:matsd@docs.uu.se). Please enclose a resume, preferrably before May 10. ------------------------------------------------------------------------------ Message 6; Postmarked Mon May 9 15:40:30 1994 From: best@cs.bu.edu (Azer Bestavros) Subject: AMAST 95 Call For Papers Call for Papers Fourth International Conference on Algebraic Methodology and Software Technology, AMAST'95 July 3-7,1995 Montreal, Canada Goals A major goal of the AMAST Conference consists in putting software development technology on firm, mathematical foundations. Particular emphasis is given to algebraic and logical foundations of software technology. An eventual goal is to establish algebraic and logical methodology as a practically viable and attractive alternative to the prevailing ad-hoc approaches to software engineering. The benefits accruing from such formal foundations will be clearly wide reaching and both academia and industry are expected to benefit from this. The previous three editions of AMAST were held at the University of Iowa (1989 and 1991) and at the University of Twente, The Netherlands in 1993. During the previous three meetings, AMAST has attracted researchers and practitioners interested in algebra, logic, formal methods, specification and verification of concurrent and reactive systems, constraint programming, semantics, category theory, logic programming, process algebra, etc. Since 1993, an organizational novelty of AMAST has been to promote simultaneous co-operative effort between Europe and America in this venture, bringing the conference to a truly international level. In addition, the first day of the conference is dedicated to Mathematics Education for Software Engineers. Following this successful trend, the fourth AMAST International Conference is to be held at Concordia University, Montreal, Canada, during July 3-7, 1995. Montreal is renowned for its cultural richness, numerous museums, and its unique multicultural setting, to name a few. Montreal offers a variety of attractions for tourists throughout the year. The highlights in July include the world-famous International Jazz Festival. Submissions We invite papers reporting original research in algebra and logic, suitable as a foundation for software technology, as well as software technologies developed by means of logic and algebraic methodologies. The paper should not have been published elsewhere previously and should not be under review for publication elsewhere. We also solicit submissions of system demonstration showing the improved effectiveness of software developed on a mathematical basis. The topics of interest include, but not limited to, the following. 1. ALGEBRAIC AND LOGICAL FOUNDATIONS .algebraic logic .algebraic methodologies for languages and systems .logical frameworks for reasoning .category theory .relation algebra .logics of programs 2. CONCURRENT AND REACTIVE SYSTEMS .linear and modal logics .algebraic approaches .object oriented models .modular verification 3. SOFTWARE TECHNOLOGY .logic, functional, and object paradigms .specification languages and tools .formal specification case studies .abstraction for software documentation and reuse .theorem proving systems .integration of pragmatic and formal methods 4. LOGIC PROGRAMMING .semantics .logic programming extensions .constraints and concurrency .program verification and transformation .temporal and deductive databases We invite prospective authors to submit 6 copies of previously unpublished papers of high quality (15 double spaced pages maximum) in an area relevant to the conference theme. The paper should provide adequate information for the reviewers to assess the significance and anticipated impact on the foundations of software technology. All papers will be refereed by the program committee, and will be judged based on their significance, technical merit, and relevance to the conference. All submissions (both papers and system demo proposals) must be sent to the program chair at the address below; papers must be received by November 15, 1994 and system demo proposals must be received by December 15, 1994. V.S. Alagar AMAST'95 Program Chair Department of Computer Science Concordia University 1455 De Maisonneuve Blvd. West Montreal, Quebec H3G 1M8 CANADA Phone: (514) 848-3022 Fax: (514) 848-2830 e-mail: amast95-info@cs.concordia.ca General Chair: Maurice Nivat (France). Program Chair: V.S. Alagar (Canada) Program Committee : Martin Abadi (USA) Gregor Bochmann (Canada) Chris Brink (South Africa) Pierre Deransart (France) Michael Ferguson (Canada) Kokichi Futatsugi (Japan) Nicolas Halbwachs (France) Armando Haeberer (Brazil) Jiawei Han (Canada) Deepak Kapur (USA) Helene Kirchner (France) Laks V.S. Lakshmanan (Canada) Giorgio Levi (Italy) Luigi Logrippo (Canada) Silvio Lemos Meira (Brazil) Jose Meseguer (USA) Hafedh Mili (Canada) Rokia Missaoui (Canada) Peter Mosses (Denmark) Istvan Nemeti (Hungary) Rocco De Nicola (Italy) Prakash Panangadan (Canada) Don Pigozzi (USA) R. Ramanujam (India) R.K. Shyamasundar (India) Andrzej Tarlecki (Poland) Frits Vaandrager (Netherlands) Martin Wirsing (Germany) Organizing Committee: (Preliminary) Chair: Teodor Rus (USA) e-mail: rus@herky.cs.uiowa.edu Tools and Demos Chair: Peter Grogono (Canada) Finance Chair: T. Radhakrishnan (Canada) Publicity Chair: Charles Rattray (UK) Michel Bidoit (France) Pankaj Goyal (USA) Pippo Scollo (Australia) Ralph Wachter (USA) Local Arrangements: (Preliminary) Chair: Rokia Missaoui (Canada) A. Das (Canada) Invited Speakers (Partial List) To achieve the goal of the conference we aim to provide a forum in which leading researchers in mathematics, computer science, and software development, will come together to identify algebraic and logical methodologies that are applicable as viable alternatives to the present software development approaches and to discuss the appropriateness of such alternatives with a view to implementation. Invited speakers, with a tentative indication of the topic areas, include Krzysztof Apt (Logic Programming) Ewa Orlowska (Algebraic Logic) Rohit Parikh (Logic and Concurrency) Important Dates: Submission of Papers: November 15, 1994 Submission of System Demo Proposals: December 15, 1994 Notification of Acceptance/Rejection: February 1, 1995 Camera-ready Version of Accepted Papers: March 15, 1995 Education Day: July 3, 1995 Conference Days: July 4-7, 1995 Proceedings to be published by Springer-Verlag. Further Information: For bulletins on current status of the conference: amast95-info@cs.concordia.ca Tools and Demos: grogono@cs.concordia.ca Registration: krishnan@cs.concordia.ca Local Arrangements: missaoui.rokia@uqam.ca For subscribing to amast mailing list: amast95-request@cs.concordia.ca ------------------------------------------------------------------------------ Message 7; Postmarked Wed May 11 09:41:36 1994 From: schwan@cc.gatech.edu (Karsten Schwan) Subject: First Symposium on Operating Systems Design and Implementation (OSDI) Announcement and Call for Papers First Symposium on Operating Systems Design and Implementation (OSDI) November 14-17, 1994 Monterey, California, USA Sponsored by the Usenix Association Co-sponsored by ACM SIGOPS and IEEE TCOS (pending) DATES FOR REFEREED PAPER SUBMISSIONS Extended abstracts due: June 21, 1994 Notification to authors: August 5, 1994 Full papers due for editorial review: September 6, 1994 Camera-ready full papers due: October 4, 1994 OVERVIEW The OSDI symposium will emphasize both innovative research and quantified experience in operating systems. We seek papers describing original work concerning the design, implementation, and use of modern operating systems. Besides mature work, we encourage submissions describing exceptionally promising results from early speculative work, as well as unusually enlightening negative results. OSDI has evolved from the combination of three series of symposia on modern operating systems, "Microkernels and Other Kernel Architectures," "Mach," and "Experiences with Distributed and Multiprocessor Systems." Although papers in the ancestral areas are emphatically solicited, we do not favor any particular OS architecture. In general, OSDI has a broader charter than its predecessors, but this first symposium will retain an emphasis on practical issues relating to OS architecture, distributed systems, multiprocessing, and parallel computing. Questions regarding a topic's suitability are welcome and should be sent via electronic mail to the program chair. Topics of interest include, but are not limited to: OS structure and organization Microkernel internals, servers, & applications Multiprocessor and MPP issues Scalability and high availability Distributed and mobile systems Object-orientation in OS's Security in distributed systems Communication paradigms Performance and optimization OS support for real time & multimedia OS support for embedded systems OS interaction with HW architecture PROGRAM COMMITTEE Jay Lepreau, Univ. Utah (Chair) Brian Bershad, Univ. Washington David Black, OSF Research Paul Leach, Microsoft Jim Lipkis, Chorus Systemes Karin Petersen, Xerox PARC Larry Peterson, Univ. Arizona Karsten Schwan, Georgia Tech Michael Scott, Univ. Rochester Willy Zwaenepoel, Rice Univ. WHAT TO SUBMIT Authors must submit an extended abstract by June 21, 1994. This should be 5-7 pages long or about 2500-3500 words (10 point font, not counting references and figures). Longer submissions will be penalized in the review process. The full papers resulting from accepted abstracts will go through an editorial review cycle with a member of the program committee, and should end up about 10-14 pages long. Very similar papers must not have been published or submitted for publication elsewhere. The object of an extended abstract is to convince the reviewers that a good paper and 25-minute presentation will result. It is important to identify what has been accomplished, to explain why it is significant, and to compare with prior work in the field, demonstrating knowledge of the relevant literature. The extended abstract should represent the paper in "short form." It must include the abstract as it will appear in the final paper. The body of the extended abstract should be complete paragraphs, not just an outline of the paper. (Sections present in the full paper but omitted from the abstract may be summarized in terse form.) Authors should include full references, figures when available, and, as is usually appropriate, performance data. The abstract will be judged on significance, originality, clarity, relevance, and correctness. (All submissions will be held in the highest confidentiality prior to publication. Papers accompanied by so called "non-disclosure agreement" forms are not acceptable and will be returned unread.) Potential authors are encouraged to contact us at osdi-info@usenix.org or +1 510-528-8649 to receive additional guidance about the submission and review process. HOW TO SUBMIT Please send one copy of an extended abstract to the program chair via one of the following methods. All submissions will be acknowledged. o Paper mail (preferred method) to: Jay Lepreau Department of Computer Science 3190 M.E.B. University of Utah Salt Lake City, UT, USA 84112 (lepreau@cs.utah.edu) o E-mail Postscript or ascii to: osdi-papers@usenix.org o Fax (least preferred method) to: +1 801-581-5843. For administrative reasons (not blind reviewing), every submission should include one additional page containing: (i) paper title and authors, indicating any that are full time students, and (ii) for the author who will act as the contact to the program committee, his or her name, paper mail address, daytime and evening phone numbers, e-mail address and fax number, if available. SYMPOSIUM OVERVIEW 2.5 days of technical sessions with presentations of the refereed papers will be preceded by one day of tutorials. The papers will be published in the Proceedings, provided free to technical session attendees and available for purchase from Usenix. Selected papers of particular merit, or possibly the Proceedings, will likely be distributed to ACM SIGOPS and IEEE TCOS members. A work-in-progress session will be held and will be described in later announcements. REGISTRATION MATERIALS Materials containing all details of the technical and tutorial programs, registration fees and forms, and hotel information will be mailed beginning August 1994. If you wish to receive the registration materials, please contact Usenix at conference@usenix.org, +1 714-588-8649 or +1 714-588-9706 (fax). ------------------------------------------------------------------------------ Message 8; Postmarked Thu May 12 12:15:04 1994 From: best@cs.bu.edu (Azer Bestavros) Subject: AIRTC94 invitation and preliminary program =============================================================================== IFAC/IFIP/IMACS Symposium on ARTIFICIAL INTELLIGENCE IN REAL TIME CONTROL AIRTC'94 3-5 October 1994 Valencia, SPAIN =============================================================================== SCOPE This Symposium is intented to provide an international forum for presentation and discussion of concepts and application of artificial intelligence techniques in the design, implementation, testing, supervision and monitoring of real time control systems. The previous Symposium was held in Delft (1992), and was the first symposium after o three succesful workshops in the same field. The objective of the Symposium is to bring toghether control systems specialists, artificial intelligence specialists and end-users. SPONSORED BY: International Federation of Automatic Control (IFAC) Technical Committees on Computers, Manufacturing Technology, Applications and Social Effects of Automation. Comite Espanyol de IFAC (CEA-IFAC). CO-SPONSORED BY: International Federation for Information Processing (IFIP). Int. for Mathematics and Computer in Simulation (IMACS). ORGANIZED BY: Departamento de Ingenieria de Sistemas, Computadores y Automatica (DISCA). Universidad Politecnica de Valencia. INTERNATIONAL PROGRAM COMMITTEE: Chairman: J.A. de la Puente (E) P. Albertos (E) A. Jimenez (E) A. Ollero (E) P. Borne (F) G. Johannsen (D) E. De Pablo (E) L. Boullart (B) D. Kersual (F) Y.H. Pao (USA) F. Charpillet (F) I.G. Kalaykov (Bu) L.F. Pau (F) A. Crespo (E) A.J. Krijgsman (NL) U. Rembold (D) H.J. Efstathiou (UK) I.M. MacLeod (SA) M.G. Rodd (UK) M. Fjeld (N) A. Mensch (F) A.G. Schmidt (D) A. Halme (SF) L. Motus (EE) H. B. Verbruggen (NL) C.C. Hang (Sin) S. Narita (J) E.A. Woods (N) C.J. Harris (UK) NATIONAL ORGANIZING COMMITTEE: Chairman: A. Crespo (E) F. Barber F. Morant R. Vivo V. Botti J.L. Navarro E. Onaindia A. Espinosa J.J. Serrano I. Ripoll A. Garcia ****************************************************** P R E L I M I N A R Y P R O G R A M ****************************************************** ===================== MONDAY OCTOBER 3th. ===================== REGISTRATION (8:00h) OPENING SESSION (9:00h) PLENARY SESSION 1 (9:30h) "Real-Time Control in Intelligent Agents" Barbara Hayes-Roth. COFEE BREAK (10:20h) PLENARY SESSION 2 (10:40h) "Neural Network-based Adaptative Control". E.F. Camacho, M.R. Arahal. SESSION A1: FUZZY CONTROL DESING (11:20h) "Dynamic Analysis of Weigthed-Output Fuzzy Control Systems". Garcia-Cerezo A., Ollero A., Aracil J. "Identification of Fuzzy-Rules from Learning-Data". Pfeiffer B. M. "Derivation of fuzzy hybrid models for real-time fuzzy control design: application to a furnace". Nicolas C.F., Lombrana E., Alvarez A., Reyero R. "Applied Fuzzy Modeling". Babuska R., Verbruggen H.B. "Robust Design of Fuzzy Controllers based on Small Gain Conditions". Espada A., Barreiro A. SESSION B1: IDENTIFICATION(11:20h) "A Neural Decision Estimator for Maneuvering Targets". Tao T. "On A Formal Basis For Pattern-Based Process Identification". Kar-Ann Toh, Devanathan R. "Application of A Neural Mini-Net to Identification of Kinetic Parameters of Chemical Processes". Popovic D., Zhou S. "On Line Observer Based Detection and Classification of External Disturbance Types or the state Supervision of Turbogenerators". Nern H., Solimann H.H., Fisher F., Nour Eldin H.A. "Learning Task Applied to identification of a Marine Vehicle". Ferreiro R., Vidal J. SESSION C1: DISTRIBUTED A.I. ARCHITECTURES (11:20h) "Distributed Control of Multivariable Fuzzy Systems". Gegov A. "Centralized Strategy in Multi Agent system for Real Time Control". Tigli J.Y., Thomas M.C. "Descentralized Control of Distributed Intelligent Robots and Subsystems". Lueth T.C., Laengle T. "A New Architecture for Real-Time Distributed Intelligent Control Systems". Rodd M.G., Holt J., Jones A.V., Zungu M., Zhao M. "A simulation study of distributed intelligent control for a deep shaft mine winder". MacLeod I.M., Stothert A. LUNCH (13:00h) SESSION A2: FUZZY APPLICATIONS (14:30h) "A Fuzzy Controller for Activated Sludge Waste Water Plants". Alex J., Jumar U., Tschepetzki R. "An Advanced Fuzzy Controller for Traffic Lights". Hoyer R., Jumar U. "Real- Time Fuzzy Control of Column Flotation Process". Carvalho M.T., Sousa J.M., Martins P.M., Durao F. "Fuzzy Control of a Water Treatment Filter Backwash Operation". French I.G., Arden W.J.B., Billington A.J., Cox C. S. "Fuzzy control for mineral flotation plants". Cipriano A., Ramos M. SESSION B2: AUTOMATIC GUIDANCE (14:30h) "Utilization of neural networks in environment perception and guidance of mobile robots". Raimundez J.C. "A local guidance method for low-cost mobile robots using fuzzy logic". Vazquez F., Garcia E.J. "Road following by artificial vision using neural networks for trajectory decision". Rodriguez F.J., Mazo M., Sotelo M.A., Santiso E. "Toward the Automatic Path Planning of Mobile Robots". Ibarra J.M., Sossa J.H., Gonzalez H. "Path planning for mobile robots using the MAON asociative memory model". Ledesma B., Garcia J.M., Rizo R. SESSION C2: INFERENCE TECHNIQUES (14:30h) "Reasoning in Time with Uncertain Information". Ramparany F. , Lorquet V., Bigham J. , Luo Z. "Managing Large Temporal Delays in a Model Based Control System". Ramparany F. "Virtual Control Systems". Lui K.M. "Continuation Compilation for Concurrent Logic Programming". Kemp B., King A., Soper P. "Causal reasoning in real-time and ill-defined control systems". Lui K.M. COFFEE BREAK (16:10h) SESSION A3: FUZZY CONTROLERS (16:30h) "Analysis of rulebase coherence in fuzzy control systems". Sala A., Pico J. "Self-tuning Fuzzy Logic Controller". Liu Z., De Keyser R. "Comparison of fuzzy, Crisp, and conventional control by the example of a pole balancer". Brockman W. "Statistical techniques for real-time supervision and tuning of fuzzy control systems". Holgado J., Ollero A., Aracil J. SESSION B3: AUTONOMOUS VEHICLES (16:30h) "Navegation with Uncertain Position Estimation in the RAM-1 Mobile Robot". Munoz V., Martinez J.L., Ollero A. "Learning and Control in Autonomous Systems". Salichs M.A., Gachet D. Moreno L., Pimentel J.R. "Real-Time Vision-Based 3D Depth Estimation for an Indoor Autonomous Mobile Robot". Vazquez F., Marin R., Paz E. "Object-oriented specification, design & simulation of an autonomous mobile robot". Garcia J., Vazquez F. "Model based control of two link robot manipulator in real-time". Ekrekli A., Brookfield D.J. Yildiz ===================== TUESDAY OCTOBER 4th. ===================== PLENARY SESSION 3 (9:00h) "A Computational Intelligence Perspective on Process Monitoring and Optimization". Y.H. Pao. SESSION A4: REAL-TIME INTELLIGENT PROCESS MONITORING (10:00h) organised by J.Y. Pao "Neural-net based optical ellipsometry for monitoring growth of semiconductor films". Park G.H., Eyink K.G., LeClair S.R., Soclof M.S. "Artificial intelligence in process control of pulsed laser deposition". Stark E.F., Laube S.J.P. "Intelligent Processing of carbon-carbon structures". Abrams F., Eitman D., Mathur A. "The real issues in fuzzy logic applications". Struger O., Dummermuth E., Day C. SESSION B4: INTELLIGENT CONTROLERS(10:00h) "Low cost intelligent regulator". Vavrin P., Vaclavek P. "Real-time Neural Controller Implemented on Parallel Architecture". Hanzalek Z. "A Study of BP Algorithm parameters and the Implemantation of its Parallel Processing". Zongtao Z., Juenmin L. "An Intelligent Control Scheme for Robotic Manipulators". Sui Q., Ma S. SESSION C4: ESPRIT-REAKT (10:00h) Organised by D.Kersual& A.Mensch COFFEE BREAK (11:20h) SESSION A5: MACHINE LEARNING IN ROBOTICS (11:40h) organised by L.Camarinha "Integrated acquisition, execution, evaluation, and tuning of elementary operations for intelligent robots". Kaiser M., Giordana A., Nuttin M. "Neural-based learning in Grasp force control of a robot hand". Fatikow S. "Learning to diagnose failures of assembly tasks". Seabra Lopes L., Camarinha-Matos L.M. "Learning of Specific Process Monitors in Machine Tool Supervision". Rauber T.W., Barata M.M., Steiger-Garcao A.S. SESSION B5: DATA FUSION (11:40h) "Adaptation of Obstacle-Avoidance in the face of Emerging Environmental Dynamics". Thornton C. "Illumination independent change detector for human safety in robotic environments". Motamed C., Abdallah A., Schmitt A. "3D perception in non structured environment using active vision". Escalera A. , Salichs M.A., Moreno L., Armingol J.M. "Achieving high performance sonar-based wall-following". Puchol, C. SESSION C5: NOWLEDGE REPRESENTACTION (11:40h) "Real time planning in N-dim state space". Simo J., Crespo A. "Using the fuzzy inference engine EDIP for real time control". Levchenko V.I., Savinov A.A. "Increasing a knowledge representation schema for FMS control with fault detection and error recovery capabilities". Muro P., Pujol J., Perez J.A. "Towards a real time inference engine for discrete event systems representation with application to control". Banares J.A., Muro P., Villarroel J.L. LUNCH (13:00) SESSION A6: ON-LINE NEURAL NETWORKS IN PROCESS SUPERVISION AND CONTROL (14:30h) organised by J.Morris&G. Montague SESSION B6: E.S. APPLICATIONS (14:30h) "Application of an object-oriented expert system shell to a fermentation process". Giron J.M., Gomez J.A., Andres B. "A real time expert system for fault diagnosis of a styrene plant". Leone H., Vichietti A., Scenna N., Huete E., Ruiz C. "Intelligent System to Improve Heat Rate in Fossil Power Plants". Arroyo G., Villavicencio R. A. "Identification of gas-Chromatographically separated Chemical Compounds for Real Time Process Control". Halang W.A., Helbig H. "Communication problems of expert systems in manufacturing environment". Nacsa J., Kovacs G.L. COFEE BREAK (16:10) SESSION A7: NEURAL NETWORKS (16:30h) organised by A.J.Krigsman " Neural Networks for Robot Control". "Optimal Attitude Control of Satellites by Artificial Neural Networks: a Pilot Study". G. Schram, L. Karsten , B.J.A. Krose, "Applying Neural Networks to Flight Control". J.J. van Heijst and R.A.Vingerhoeds. SESSION B7: MAN MACHINE INTERFACES (16:30h) "Intelligent electronic control for a wheelchair guided by oral commands and external sensors". Mazo M., Rodriguez F.J.,Lazaro J.L., Urena J., Garcia J.C., Santiso E., Revenga P.A., Garcia J.J. "Human Interaction for Process Supervision Based on End-User Knowledge and Participation". Johannsen G., Averbukh E.A. "Natural language front end to test systems". J. Garbajosa, O. Tejedor and M. Wolff. SESSION C7: ESPRIT-HINT (16:30h) Organised by A.Jimenez ======================= WEDNESDAY OCTOBER 5th. ======================= PLENARY SESSION 4 (9:00h) "Advances in Autonomous Control". K. J. Astrom, T Hagglund and K.-E. Arzen. COFFEE BREAK (9:50h) SESSION A8: NEURAL NETWORK DESING (10:15h) "Logical Design of Neural Controllers". Peters J., Maravall D., Baumela L., Ramanna S. "An adaptive neural PDA Approach Based on an Unified Hopfield-BP Network". Tao T. "A neural network based quality control system for steel strip manufacturing". Dominguez S., Campoy P., Fernandez C., Aracil R., Obeso F., Abello J.J "Trainning Neurofuzzy Systems". Brown M., Mills D.J., Harris C.J. "DAM Based Adaptive Learning Control". Ferreiro R. "Adaptive Neural Control for Processes with Large Deadtime". Tan Y., De Keyser R. SESSION B8: DIAGNOSIS & SUPERVISION (10:15h) "Diagnosis and Sensor Fault Detection for Gas Turbines and Jet Engines with Uncrisp Methods". Hillermann Th. "Knowledge integration for improved bioprocess supervision". Ignova M., Glassey J., Montague G.A., Ward A.C., Morris A.J. "Fault Diagnosis of a CSTR Using Fuzzy Neural Networks". Zhang J., Morris A.J., Montague G.A. "Supervision and fault diagnosis with neural nets". Ayoubi M., Leonhardt S., Isermann R. "Ladder Logic Diagnosis". Guasch A., Milne R., Sarrate R. "A real time expert system for fault diagnosis for batch reactors". Tarifa E., Scenna N. SESSION C8: A.I. ARCHITECTURES (10:15h) "Automating the Design of Real-Time Reactive Systems". Musliner D.J., Shin K.G., Durfee E.D. "A blackboard application for process monitoring and supervision". Cord T. "Real-time diagnosis of traffic situations". Le Fort N. "An Intelligent Agent for the Command and Control (C2)". Chaib-Draa B. "Developing E.S. for process control using Unix based tools". Simo, J., Blanes F., Martinez M., Senent J.S. "The HOPE procedure handling Control". Woods E., Backer H., Wahlf P.E., Telnes K. PLENARY SESSION 5 (12:15h) Trends in Artificial Intelligence in Real-Time Control Leo Motus CLOSING SESSION (13:10h) SPANISH WINE (13:30h) ************************************************************************ G E N E R A L I N F O R M A T I O N ************************************************************************ SYMPOSIUM LOCATION: The symposium will be held at the Facultad de Informatica of the Universidad Politecnica de Valencia (U.P.V.). Valencia (Spain). OFFICIAL LANGUAGE The official symposium language is English. All submissions must be written in English. No simultaneous translation will be provided. TRAVEL INFORMATION Valencia airport is situated 10 km from the downtown. No bus transportation is available from the airport. The taxis fare from Valencia airport to the center is approximately 1500 pts. We are arranging a special bus service direct from the airport to the downtown on Sunday October 2. This day, a special information service will be located at the airport. The Universidad Politecnica de Valencia is situated at nord-east of the city. There are several buses lines that comunicate the University with the city center. The taxi fare from city center to the University is approximately 500 pts. PREPRINTS Preprints will be available at the registration desk. Selected technical papers will be published by Pergamon Press after the symposium. LUNCHES and REFRESHMENTS Lunches will be served October 3 and 4 days at Symposium location at time indicated in the programme. Morning and afternoon refreshments will be served each day at the time indicated in the programme. SOCIAL PROGRAM Cultural acts, Town visit and Symposium dinner will be arranged during the symposium dates. All charges are included in the registration fee. RELATED EVENTS This event will follow the 13th Workshop on Distributed Computer Control Systems (DCCS'94) to be held in Toledo, September 28-30, 1994. REGISTRATION DESK The registration desk will be open Monday, October 3, from 8:00 hours on at "Oficina de Apoyo a Congresos" U.P.V. REGISTRATION INFORMATION The registration form is attached to this leaflet. Please, tear it out, complete it and send to the secretariat togheter with your payament method. Please, use one form for each registrant. You may use copies of the form for other registrants. Those who wish to attend the Symposium should complete the registration for and return it to the AIRTC'94 Secretariat. At least one author per paper must register by the Early registration date (September 1, 1994). This will allow the Symposium orgonizers to run the Technical Program with minimum disruption. The paper, for which the author does not complete the Early registration, can not be guaranteed to be included in the Preprints. Each registrant must complete and send us back a separate Registration Form. Use a photocopy of the form, if extra is necessary. Please send your Registration Form by Airmail, Fax or e-mail. PRICES The full registration fee includes one copy of the preprints, coffee breaks, Monday-Tuesday lunches, cultural events, town visit and symposium dinner. The prices are: At payment before September 1: 45.000 ptas. At payment after September 1: 55.000 ptas. A limited number of grants are available for full-time students. This special fee only includes coffee breaks, Monday-Tuesday lunches and one copy of the preprints. Please, contact with the symposium secretariat. Full-time students fee with special discount have to pay extra for cultural events, town visit and symposium dinner: Cultural events and symposium dinner for students and accompanying persons: 8.000 ptas. Rate of exchange: 1 ecu is approximately 143 ptas, 1 US$ is approximately 138 ptas. (April, 1994). PAYMENTS - Bank transfer order: Account name: "Universidad Politecnica de Valencia. AIRTC'94" Account number: 01020139 Barclays Bank Avda. Blasco Ibanez, 114 E46022-Valencia (Spain) - Payable cheques: They should be made payable to "Universidad Politecnica de Valencia. AIRTC'94" - Personal cheques are not acceptable. - Payament at the symposium site is only accepted in Spanish cash. CONFIRMATION Confirmation of registration will be sent by e-mail if possible. It could be mailed upon request and receipt of the completed resgistration form. CANCELLATIONS AND REFUNDS For cancellations received by the secretariat before September 15, a refund of 75% of the registration fee will be made. If no notice of cancellation is received, no refund can be made and the preprints will be mailed later on. ACCOMODATION The participants are responsible for arranging their own accomodation. Please, do this at your earliest convenience, since is a great demand for rooms and no special reservations are made for the AIRTC'94 Symposium. The following hotels are examples of some accommodation in Valencia. The Congress Office at the Universidad Politecnica de Valencia can help you with information on other lodging possibilities Congress Office (Please, contact with: Riki Vandevoorde) Oficina de Apoyo a Congresos Universidad Politecnica de Valencia Camino de Vera s/n E-46022 Valencia Phone: +34-6-3877034. Fax: +34-6-3877009 Hotel Valencia Palace (*****) Single room: 12.100 ptas. Double room: 16.800 ptas. Paseo Alameda, 3 Phone: +34-96-3375037 Fax: +34-96-3375532 15 minutes from U.P.V. by bus. Hotel Melia (****) Single room: 8.000 ptas. Double room: 11.000 ptas. Avda. Baleares, 2 Phone: +34-96-3612067 10 minutes from UPV by bus. Hotel Astoria (****) Single room: 12.525ptas. Double room: 16.425 ptas. Plaza Rodrigo Botet, 5 Phone: +34-96-3526737 Fax: +34-96-3951926 Located at city center. 15 minutes from U.P.V. by bus. Hotel Dimar (****) Single room: 13.500 ptas. Double room: 17.010ptas. Gran Via Marques del Turia, 80 Phone: +34-96-3341807 Fax: +34-96-3730926 Located at city center. 15 minutes from U.P.V. by bus. All prices include breakfast. 6% VAT not included. The hotels accept major credit cards. Moreover, other hotels with lower prices (4.000 - 5.000 ptas.) are available. Please, contact with our special arrangement office. This office can make your hotel reservation at not extra charge: Consulting de Congresos S.L. C/ Garrigues 3, 1 A. E-46001 Valencia External Relations Office (Please, contact with: Elena Pina) Phone: +34-6-3528603 / +34-6-3528587 Fax: +34-6-3525514 OTHER SERVICES All incoming telephonic messages for delegates will be posted on the message boards at the Registration Centre or the symposium site. Public telephone will be available at the symposium hall. Parking is available at the car park next to the Symposium location. In the University there are services of Banks, Shops, etc. Opening hours Monday-Friday: Shops (9.00-20.00), Banks (9.00- 14.00). WEATHER The eather in early October is normally pleasant with average temperatures: 15< min / 25< max. Usually not rain. SECRETARIAT ADDRESS: AIRTC'1994 Secretariat D.I.S.C.A. Universidad Politecnica de Valencia P.O. Box 22012, E -46071 Valencia, Spain Phone: +34-6-3877572 Fax: +34-6-3877579 E-mail: airtc94@aii.upv.es (cut here) ======================================================================================= AIRTC'94 REGISTRATION FORM Please send this form before Sep 1, 1994. --------------------------------------------------------------------------------------- Mail to: AIRTC 1994 SECRETARIAT D.I.S.C.A. Universidad Politecnica de Valencia Phone: +34 6 3877572 P.O. Box 22012, Fax: +34 6 3877579 E -46071 Valencia, Spain E-mail: airtc94@aii.upv.es ------------------------------------------------------------------------------- Name: ______________________________________ First name: ________________ Position: _______________________________________________________________ Organisation: ___________________________________________________________ Address: ________________________________________________________________ ________________________________________________________________ ________________________________________________________________ Postal Code: ______________City: ________________________________________ Country: ________________________________________________________________ Fax: __________________________ Phone: _____________________________ E-mail: ________________________________________________________________ Name of accompanying person(s): ________________________________________ ________________________________________________________________ ________________________________________________________________ ------------------------------------------------------------------------------- Symposium Fees: I would like to participate as: Category Before Sep 1 After Sep 1 -------- ------------- ------------ _ _ Full participant |_| 45 000 PTS. |_| 55 000 PTS. Full-time Students (*) (*) Please contact with the Secretariat. I/we would like to take part in the excursion/conference dinner at a cost of 8000 pts/person for students and accompanying person(s) (no extra cost for full participants). Number of persons: _______ TOTAL AMOUNT PAID: ______________ PTS. ------------------------------------------------------------------------------ Payment can be made by check or bank transfer order: _ |_| Payment has been transferred to (Enclose information of the transfer from your Bank): Account number: 01020139. "UNIVERSIDAD POLITECNICA DE VALENCIA. AIRTC'94." BARCLAYS BANK Avda. Blasco Ibanez, 114. E46022- Valencia. SPAIN. _ |_| Cheque payable to "UNIVERSIDAD POLITECNICA DE VALENCIA. AIRTC'94" is enclosed. SPANISH currency only. AIRTC'94 ********** AIRTC'94 ********** AIRTC'94 **********AIRTC'94 ******** ------------------------------------------------------------------------------ Message 9; Postmarked Mon May 23 16:06:00 1994 From: "Jiandong Huang 951-7487" Subject: Second IEEE Workshop on Real-Time Applications PRELIMINARY PROGRAM Second IEEE Workshop on Real-Time Applications July, 21-22, 1994, Washington, D.C. Description: This workshop is the second in its series with the theme of applying the state of the art in real-time technology to practical problems. The workshop will serve as a forum for industrial and government engineers and scientists, and for academic researchers involved with real-time technology and applications. Its two-day program will consist of presentations of 29 papers, with 15 long ones (30 minutes each) and 14 short ones (15 minutes each). True to the theme of the workshop, topics in the program include - Analysis and scheduling of hard real-time applications - Real-time software specification and methodology - Real-time manufacturing systems - Train control systems - Medical imaging systems - Data acquisition applications - Issues in design of real-time database systems We will also have two keynote speakers addressing current R&D issues in real-time technology. A panel discussion has been scheduled for the afternoon of July 21st to discuss the transition of real-time research into current technology and practise. This workshop will run in conjunction with the annual Complex Systems Engineering Synthesis and Assessment Technology Workshop, providing an opportunity for the two workshops' attendees to exchange ideas and share their experiences in developing real-time applications. General Chair: Alexander D. Stoyenko, New Jersey Institute of Technology Program Chair Prabha Gopinath, Honeywell Steve Howell, Naval Surface Warfare Center Jiandong Huang, Honeywell Program Committee: Alan Burns, University of York John Cullyer, University of Warwick Paul Drongowski, Siemens Bill Farr, Naval Surface Warfare Center Mike Hinchey, University of Cambridge Phil Laplante, Fairleigh Dickinson University Tom Lawrence, Rome Labs Ted G. Lewis, Naval Postgraduate School Jim Oblinger, Naval Underwater Systems Center Mike Rodd, University of Wales Lonnie R. Welch, New Jersey Institute of Technology Mark Wilson, Naval Surface Warfare Center Victor Fay Wolfe, University of Rhode Island Janusz Zalewski, University of Texas, Permian Basin Local Arrangements Chair: Adrien Meskin, ATR Sponsored by: IEEE CS TC on Real-Time Systems With much appreciated support from: Honeywell Naval Surface Warfare Center Office of Naval Research Real-Time Computing Laboratory at NJIT Institute for Systems Integration at NJIT Program Schedule Wednesday, July 20 18:00-22:00 Registration Hosted banquet - jointly with CSESAW attendees. Thursday, July 21 7:30 - 8:00 Registration and Continental Breakfast 8:15 - 8:30 Opening Remarks 8:30 - 9:00 Keynote Talk: Dr. Steve Vestal - Honeywell Technology Center 9:00 - 9:30 Coffee Break 9:30 -11:15 Resource Management & Scheduling - Co-Chairs: Cuong Nguyen, NSWC; J. Schwartz, INSA, France "Rate Monotonic Analysis of a Large, Distributed System" (long) M.S. Hecht, J.B. Hammer, C.D. Locke, J.D. Dehn, IBM, USA "Pre-Run-Time Scheduling for Object-Based, Concurrent, Real-Time Applications" (long) J.P.C. Verhoosel, G. Yu, L.R. Welch, D.K. Hammer, Eindhoven University of Technology, Netherlands "Scheduling Techniques for Real-Time Applications Consisting of Periodic Task Sets" (short) H. Singh, Texas Instruments, India "Strong P-Fairness: A Network Scheduling Strategy for Real-Time Applications" (short) S.K. Baruah, University of Vermont, USA "Optimal Dynamic Redistribution of Divisible Load in Distributed Real- Time Systems" (short) E. Haddad, Virginia Polytechnic Institute and State University, USA 11:15-12:30 Lunch (On your own) 12:30-14:15 Real-Time Software & Modeling - Co-Chairs: B. Thuraisingham, MITRE Corp.; M. Hinchey, University of Cambridge "Off-Line Temporal Analysis of Hard Real-Time Applications" (long) F. Cottet and J.Ph. Babau, Computer Science Lab, France "Data Flow Modeling in Real Time Multitasking Graphical Design" (long) J.F. Petit, J.J. Schwarz, M. Maranzana, J.J. Skubich, France "Formally Specifying Real-Time Ada Software" (long) M.G. Hinchey, University of Cambridge, UK "An Object-Oriented Method for Real-Time Systems" (short) M. Ramachandran, Liverpool John Moores University , UK 14:15-14:45 Coffee Break 14:45-15:45 Pot-Pourri - Co-Chairs: Gary Koob, Office of Naval Research; L. Guan, University of Syndey, Australia "Applying Software Engineering Principles in Train Control Systems" (long) L. Zhang, and J. van Katwijk, Delft University of Technology, Netherlands "Real-Time Middleware Based on Rate-Monotonic Theory" (short) I. Mizunuma, H. Shimakawa, and M. Takegaki, Mitsubishi Electric Corp., Japan "Expression and Validation of Timing Constraints and Integration in Software Specification Methods" (short) D. Delfieu and A.E.K. Sahraoui, France 15:45-16:00 Break 16:00-17:30 System Design and Implementation - Co-Chairs: Dr. Thomas Bihari, AMT; A.E.K. Sharoui, France. "Designing a Real-Time Platform for Rapid Development" (long) N.C. Olsen "Using RMA for Evaluating Architectural Design Decisions" (long) R.L. Nord and B.C. Cheng, Siemens, USA "The Design and Implementation of A Real-Time Machine Vision System for Medical Imaging" (short) H. Kong and L. Guan, University of Syndey, Australia. "An Inexpensive Real-Time Testbed - The Pinball Player Project" (short) D. Clark, City University of New York, USA 17:45-18:45 Panel Discussion - "Real-Time Systems: Research to Technology to Applications". Moderator: Robert Harrison, NSWC. 19:00 Hosted banquet Friday, July 22 7:30 - 8:30 Registration and Continental Breakfast 8:30 - 9:00 Keynote Talk: Connie Heitmeyer - Naval Research Laboratory 9:00 - 9:30 Coffee Break 9:30 -11:30 Infrastructure and Applications - Co-Chairs: Gary Koob, Office of Naval Research; I. Mizunuma, Mitsubishi Electric Corp., Japan "Speculative Execution in a Real-Time System" (long) M.F. Younis, T.J. Marlowe, and A.D. Stoyenko, New Jersey Institute of Technology, USA "Scalable Temporally Predictable Memory Structure" (long) S.W. Moore, University of Cambridge, UK "A Distributed Real-Time Intelligent Alarm Processing System with Symbolic-Connectionist Computation" (long) R. Kosla and T. Dillon, Applied Computing Research Institute, Australia "On Specifying Reactive Systems for Manufacturing Processes - A Survey and Perspectives" (short) A.E.K. Sahraoui, France "Reactive Real-Time Exploitation of Flexible Manufacturing Systems" (short) L. Kermad, J.P. Bourey, and J.C. Gentina, France 11:30-13:00 Lunch (On your own) 13:00-14:15 Real-Time Databases - Co-Chairs: Victor Wolfe, University of Rhode Island; F. Cottet, Computer Science Lab, France "RT-OMT: A Real-Time ObjectModeling Technique for Designing Real- Time Database Applications" (long) B. Thuraisingham, MITRE, USA. "Research Issues for a Real-Time Nested Transaction Model" Y. Chen and L. Gruenwald, University of Oklahoma, USA (long) "Issues in Developing Object-Oriented Database Systems for Real-Time Applications" (short) J. Lee, M.J. Lee, and S.H. Son, University of Virginia, USA 14:15-14:45 Coffee Break 14:45-16:30 Real-Time Fault Tolerance & Testing - Co-Chairs: Tom Lawrence, Rome Labs; Phil LaPlante, Fairleigh Dickinson University "A GSPN Model for Dependability Analysis of Real-Time Computing Systems" (long) C. Constantinescu and K. Trivedi, Duke University, USA "A Virtual Testing Method for Event-Driven Real-Time Applications"(long) M.J. Lee and S.H. Son, University of Ulsan, Korea "Rapid Prototyping and Synthesis of a Self-Testing ABS Controller Using CAN Tools" (short) B. Hold, P.C.P. Bhatt, and V.K. Agrawal, McGill University, Canada. "Evaluating Distributed Timing Constraints - Implementing Run-Time Mechanisms" (short) C.H. Kristensen and N. Drejer, Aalborg University "Interface Fault Diagnosis in ATM Switches" (short) J.-L. Chen and H.-F. Sun, Industrial Technology Research Institute, Taiwan 16:30-17:00 Closing Remarks ~~~~~~~~~~~~~~~~~~~~~Registration Form~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ RTAW'94 Registration Form 1. Attendee Information Name: Title: Organization: Mailing address: Email address: Phone number: Fax Number: IEEE Member #: 2. Fees Advanced Late (by July 6) (after July 6) IEEE member (membership number) $150 $180 Non-member $190 $230 Student (student ID & advisor's signature) $80 $100 All fees must be paid by cash (US fund and in person only), by check or Travelers Check (drawn in US funds on a US bank) payable to "Real-Time Computing Lab at NJIT/RTAW'94". To save funds and to keep registration fees as low as possible, credit card payments are not available. Registration Fees include attendance at the workshop, proceedings, two banquets (07/21 & 07/22), and two continental breakfasts. Please note that lunch is not included. Please send the attached workshop registration form and fee to: Prof. Alexander D. Stoyenko General Chair, IEEE RTAW'94 Real-Time Computing Laboratory Computer & Information Science Department New Jersey Institute of Technology University Heights Newark, NJ 07102 USA (201)596-3366 (phone) (201)596-5777 (fax) email: alex@vulcan.njit.edu 3. Hotel Information The workshop will be held at: Holiday Inn Calverton 4095 Powder Mill Road Beltsville, MD 20705 (301)937-4422 Workshop Rate: $64 for single or double occupancy. Please mention RTAW94. Please register early since workshop rates may not be available after July 6, 1994. Directions: The closest airport is BWI which is about 18 miles from the hotel. The hotel recommends a shuttle service, AeroShuttle, at 301-441-8267. Shuttle reservations are recommended. A taxi will cost approximately USD40. Please contact the hotel for additional information. 4. CSESAW94 RTAW'94 is being held in conjunction with the annual Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'94), you are encouraged to cross-register and attend the CSESAW'94. To register and attend the CSESAW'94, please contact Steve Howell at NSWC - (301) 394-3987. ------------------------------------------------------------------------------ Message 10; Postmarked Sun May 29 12:26:15 1994 From: meesh@cs.UMD.EDU (MM Hugue) Subject: Workshop on Composability of Fault-Resilient Real-Time Systems CALL FOR PAPERS and PARTICIPATION Workshop on Composability of Fault-Resilient Real-Time Systems December 6, 1994 Puerto Rico In conjunction with the 15th Real Time System Symposium The need for computing systems which meet their service requirements in a timely fashion in the presence of faults or failures has long been recognized. The fault tolerance community refers to such systems as Dependable, and states that all real-time systems are a subclass of the set of dependable systems. Conversely, the real-time community refers to systems with timeliness constraints and fault-resilience as Responsive, and states that dependable systems are a subclass of responsive systems. Regardless of the terminology or the set-theoretic implications, the challenge remains: how does one design and construct systems meeting the requirements associated with dependability and responsiveness? The high cost of special purpose architectures and point solutions to complex system design problems has led governmental, industrial, and academic research efforts to investigate composability: the development of potentially reusable modules, protocols, and other system building blocks and techniques which, when combined, satisfy a variety of dependability and responsiveness constraints. In recent years, the Real-Time Systems Symposium has highlighted efforts in computer music, telephone switching, aircraft flight control, and Space Shuttle health monitoring which combine theoretical results with real-life constraints. Also, a new IEEE Technical Segment Committee on Engineering Complex Computer Systems has been formed to address the interdisciplinary challenges associated with composability. This purpose of this inaugural workshop on composability is to bring together active researchers and system designers in the areas of fault-tolerance, real-time, dependability, responsiveness, distributed computing, parallel computing and systems integration. The basic issue of design for composability will be discussed, and lessons learned in designing, developing and composing Ultradependable Systems will be presented. Other potential topics for discussion include, but are not limited to Dependable system paradigms, components, protocols, algorithms and architectures Responsive system paradigms, components, protocols, algorithms and architectures Fault-resilient or real-time system composition issues and methodologies Application-based fault-resiliency Modeling and Analysis Communication, agreement, membership, scheduling, voting algorithms Consensus, consistency and convergence protocols Practical experience in integrating real-time and fault-tolerance technology Formal methods for dependable design and component reuse POSITION PAPERS Please submit 9 copies of a position paper of at most 5 double-spaced pages, or one electronic copy of an ASCII file of similar length by July 15, 1994, where length and date are FIRM, to Michelle McElvany Hugue Composability Workshop Trident Systems Inc. 10201 Lee Highway Suite 300 Fairfax, VA 22030 1 (703) 691-7775 Fax:1 (703) 273-6608 meesh@nemo.cs.umd.edu Papers should include the mailing address, email address, and fax number of the principal author or contact. Notification of acceptance will occur in early October. Accepted papers will be included in the Workshop proceedings. PARTICIPATION Attendance will be limited by invitation to a maximum of 50 participants, with preference given to those who submit position papers. Information on registration and lodging will be included with that for RTSS 94. ORGANIZING COMMITTEE Michelle M. Hugue, Trident Systems, Inc. Jack Goldberg, SRI International Walt Heimerdinger, Honeywell Bruno Jambor, Martin Marietta Gary Koob, ONR Mirek Malek, University of Texas at Austin Brian Randell, University of Newcastle on Tyne Henk Schepers, Philips Research, Eindhoven Fred Schneider, Cornell University Jay Strosnider, Carnegie Mellon University Alex Stoyenko, New Jersey Institute of Technology Neeraj Suri, AlliedSignal Aerospace Sandra Thuel, AT&T Bell Labs ------------------------------------------------------------------------------ Message 11; Postmarked Wed Jun 1 07:33:58 1994 From: ken@minster.york.ac.uk Subject: Report available via FTP The following report is available by FTP: "Guaranteed Message Latencies for Distributed Safety-Critical Hard Real-Time Control Networks", by Ken Tindell and Alan Burns, YCS 229, Department of Computer Science, University of York (May 1994) from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the files: YCS229.ps.Z The files are stored in compressed postscript format so be sure to set binary mode when FTPing the reports. The abstract of the report is as follows: "Analysis is presented that enables the worst case latencies for Controller Area Network (CAN) messages to be predicted. The analysis is illustrated in terms of the Intel 82527 controller and applied to a SAE benchmark. This benchmark contains some 53 message types; all of which are analysed for various transmission rates. Techniques are presented that enables the temporal behaviour of a CAN system to be improved. In particular the impact of message piggybacking is assessed. The paper concludes by considering error recovery, and presents a framework into which different failure models can be incorporated and analysed (in terms of the impact failures have on message latencies)." Subject: Another report available via FTP The following report is available by FTP: "Dual Priority Scheduling: A Means of Providing Flexibility in Hard Real-time Systems", by Rob Davis from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the files: YCS230.ps.Z The files are stored in compressed postscript format so be sure to set binary mode when FTPing the reports. The abstract of the report is as follows: "In this paper, we present a new strategy for providing flexibility in hard real-time systems. This approach, based on dual priorities, retains the offline guarantees afforded to crucial tasks by fixed priority scheduling. Further, it provides an efficient method of responsively scheduling soft tasks and a means of providing online guarantees for tasks with firm deadlines. An effective O(n) acceptance test is derived in the paper. Supported by the analysis, acceptance tests and mechanisms described, the dual priority approach provides a basis for combining the benefits of guaranteeing hard requirements with the flexibility inherent in the best-effort paradigm." Subject: yet another report available via FTP.. The following report is available by FTP: "Guaranteeing X in Y: On-line Acceptance Tests for Hard Aperiodic Tasks Scheduled by the Slack Stealing Algorithm", by Rod Davis from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS231.ps.Z The files are stored in compressed postscript format so be sure to set binary mode when FTPing the reports. The abstract of the report is as follows: "In this paper, we show that two recently published on-line acceptance tests for guaranteeing hard deadline aperiodic tasks scheduled under the Slack Stealing algorithm are insufficient: they may guarantee tasks which will then miss their deadlines. Further, we derive a sufficient acceptance test which is both efficient and effective. An evaluation of the performance of this acceptance test is given in the paper." A number of other papers and reports written by the Real-Time Systems Research Group at York are also available; the file INDEX in the directory /pub/realtime/papers lists these. The file ABSTRACTS lists the abstracts for all the papers and reports in the archive. The source code and binaries of a number of tools supporting work done in the group is available in the directory /pub/realtime/programs. -- Ken Tindell Internet : ken@minster.york.ac.uk Computer Science Dept., Local FTP site: minster.york.ac.uk University of York, Tel. : +44-904-433244 YO1 5DD, UK Fax. : +44-904-432708 ------------------------------------------------------------------------------ Message 12; Postmarked Fri Jun 3 09:47:38 1994 From: krithi@nirvan.cs.umass.edu (krithi) Subject: DISTRIBUTED COMPUTER CONTROL SYSTEMS __________________________________________________________________ | | | 12th IFAC Workshop on | | | | DISTRIBUTED COMPUTER CONTROL SYSTEMS | | | | DCCS'94 | | | | Toledo, Spain, 28--30 September, 1994 | | | | ANNOUNCEMENT AND PRELIMINARY PROGRAMME | | | |________________________________________________________________| SPONSORED BY: International Federation of Automatic Control (IFAC), Technical Committee on Computers. INTERNATIONAL PROGRAMME COMMITTEE Chair: Prof. M.G. Rodd University of Wales, Swansea SA2 8PP United Kingdom E-mail: eerodd@pyr.swan.ac.uk Members: A. Bondavalli (Italy) A. Burns (United Kingdom) A. Crespo (Spain) F. Cristian (USA) F. DePaoli (Italy) M. A. Inamoto (Japan) H. Kopetz (Austria) W.H. Kwon (Korea) G. Le Lann (France) I. MacLeod (South Africa) A. Mok (USA) L. Motus (Estonia) S. Narita (Japan) D. Powell (France) R. Puigjaner (Spain) K. Ramamrithan(USA) R. Reyero (Spain) G. Suski (USA) T. Williams (USA) G. Zhao (Singapore) NATIONAL ORGANIZING COMMITTEE Chair: Prof. J.A. de la Puente ETSI Telecomunicacion Universidad Politecnica de Madrid E-28040 Madrid, Spain E-mail: jpuente@gic.tat.upm.es Members: A. Alonso S. Dormido A. Alvarez A. Jimenez J.A. Cerrada PARTICIPATION Attendance will be limited by invitation to a maximum of 60 participants. Participants are requested to register in advance not later than 1 July 1994. VENUE The Workshop will be held in the Beatriz Hotel, in Toledo, Spain. LOCATION Toledo is a historic city located 70 km south of Madrid. It can be easily reached by bus, train or motor car from Madrid. LANGUAGE English will be the working language for the workshop and will be used for all printed material, presentations and discussions. No simultaneous translation will be provided. PREPRINTS Each registered participant will be provided with a copy of the preprint volume including all accepted papers. ORGANIZERS DCCS'94 is an IFAC event organized by CEA-IFAC, the Spanish National Member Organization of IFAC, with the support of: Universidad Politecnica de Madrid. Universidad Nacional de Educacion a Distancia. Fundacion Universidad-Empresa. Ada-Spain. ATI Junta de Comunidades de Castilla-La Mancha CORRESPONDENCE All correspondence should be addressed to: DCCS'94 Secretariat Fundacion Universidad-Empresa Serrano Jover, 5-7 E-28015 Madrid, Spain Tel: +34 1 542 9003 Fax: +34 1 547 0652 E-mail: dccs94@gic.tat.upm.es RELATED EVENT The 2nd IFAC/IFIP/IMACS Symposium on Artificial Intelligence in Real Time Control (AIRTC'94) will be held in Valencia, 3-5 October, 1994. ===================================================================== DCCS'94 PRELIMINARY PROGRAMME ===================================================================== REAL-TIME COMMUNICATION ARCHITECTURES ------------------------------------- 1. Distributed control using a serial communication link E. Dummermuth (USA) 2. Integration of temporal mechanisms in communication protocols for time-critical distributed systems Z. Mammeri, P. Lorenz (F) 3. Communication architectures for distributed computer control systems H.D. Kochs, W. Dieterle, E. Ditmar (FRG) 4. A communication infrastructure for a fault-tolerant DCCS H. Kopetz (A) 5. A priority-based protocol for real-time multiple access networks M. Li (CH) TEMPORAL PROPERTIES OF COMMUNICATION SYSTEMS -------------------------------------------- 1. A high precision time processor for distributed real-time systems M. Wannemacher, W.A. Halang (FRG) 2. Calculating controller area network (CAN) message response times K.Tindell, A. Burns, A. Wellings (UK) 3. Distributed synchronous processes for control systems C. Andre, M. Peraldi, H. Boufaied (F) 4. Automated design of distributed computer control systems with predictable timing behaviour H. Thielen (FRG) ARCHITECTURES FOR DCCS ---------------------- 1. An architecture for real-time distributed AI-based control systems J. Holt, M.G. Rodd (UK) 2. Distributed control architecture for autonomous mobile robot operation and navigation in uncertain environments A. Mandow, J. Gomez, V.F. Munoz, A. Ollero (E) 3. A distributed programming model for real-time industrial control J.S. Bayne, E.D. Jensen (USA) 4. A distributed real-time database approach for distributed computer control system D.Buzuloiu, I. Dumitrescu, D. Popescu (R) OPEN AND HETEROGENEOUS DCCS --------------------------- 1. Open systems in distributed industrial control: a critical review T. Rahkonen (S) 2. Distributed control of assembly cells based on virtual manufacturing device model G. Nagy (H) 3. An heterogeneous distributed architecture based on a reflective memory interconnection network J. Lopez, A. Vina (E) 4. Heterogeneous architectures for real-time control: efficient mapping strategies M.J. Baxter, M.O. Tokhi, P.J. Fleming (UK) SPECIFICATION AND DESING METHODS FOR DCCS ----------------------------------------- 1. Structuring in the design of real-time DCCS. Application to an industrial transfer system J.J. Schwarz, M. Miquel, J. Skubitch, J.F. Petit (F) 2. A target code model for incremental prototyping N. Zakhama (F), J.A. de la Puente (E) 3. An object-oriented design method for distributed process control systems G. Hassapis, A. Moschopoulos, D. Theos (GR) 4. Graphic modelisation and simulation design technique including temporal operators G. Nowak, A. Jutard, E. Niel (F) SYSTEM ISSUES ------------- 1. Real-time distributed control applied to process supervision by SFC algorithms. R.E. Ferreiro (E) 2. Distributed controls systems debugging based on global predicates detection J. Vila, F. Buendia (E) 3. System monitoring for a real-time local area network J.C. Campelo, F. Rodriguez, J.J. Serrano, M. Sanchez, R. Ors (E) 4. Replication issues in the MAP/MMS communication environment S. Messina (CH) PERFORMANCE EVALUATION ---------------------- 1. Analysis on the user's response time for the mini-MAP system H.S. Park, C. Lee, W.H. Kwon (ROK) 2. Analysis of temporal properties of dataflow networks G. Csertan (H), C. Bernardeschi, A. Bondavalli, L. Simoncini (I) 3. A simulator for performance estimation of open distributed computer control systems S. Horiike, Y. Okazaki, H. Soeda (J) APPLICATIONS ------------ 1. Integration of quality flatness sensors in the distributed computer control systems of rolling mills D.F. Garcia, M. Garcia, M.A. del Rio, J.L. Diaz, F. Suarez (E) 2. Real-time data acquisition and processing system for small areas F. Alvarez (C) 3. A CASE tool for modeling and simulating distributed control systems based on MMS R. Marin, J.L. Trillo, J. Garrido (E) ======================================================================== DCCS'94 REGISTRATION FORM ======================================================================== Please send this form before 1 JULY 1994 to: DCCS'94 Secretariat, c/o Fundacion Universidad-Empresa, Serrano Jover 5-7, E-28015 Madrid, Spain Fax: +34 1 547 0652 E-mail: dccs94@gic.tat.upm.es Name: ______________________________________ First name: ________________ Position: _______________________________________________________________ Organization: ___________________________________________________________ Address: ________________________________________________________________ ________________________________________________________________ ________________________________________________________________ Postal Code: ______________City: ________________________________________ Country: ________________________________________________________________ Fax: __________________________ Phone: _____________________________ E-mail: ________________________________________________________________ Registration fee: 25.000 PTA Hotel package: 34.185 PTA (single room) 64.210 PTA (twin or double room) The hotel package includes accomodation for 3 nights (27, 28, 19 September), breakfast, coffee and lunches for the Workshop days (28-30 September). Supplementary nights: 7.420 PTA (single room) 9.540 PTA (twin or double room) The price for supplementary nights includes only accomodation and breakfast. All the hotel prices are inclusive of taxes. The hotel price must be paid at the Workshop. A deposit of 10.000 PTA is requested at the time of booking. Type of accomodation required: ___ Single ___ Double Date of arrival ____________ Date of departure _____________ Special requirements (vegetarian, etc.): ________________________________ PAYMENT I will pay the registration fee of 25.000 PTA and the hotel reservation fee of 10.000 PTA by (tick as appropriate): _ Remittance in Spanish currency to the bank account no. 9700 (bank code: 0065-0040-75) "Fundacion Universidad-Empresa", at the Barclays Bank, A.U.11, c/Marques de Urquijo, 11, E-28008 Madrid, Spain, reference DCCS94 (please send photocopy of bank document). _ Check in Spanish currency payable at a Spanish bank. _ VISA / Mastercard -------------------------------------------------------------------- I agree that the registration fee of 25.000 PTA may be charged on my VISA/Mastercard * account Card Holder: _______________________________________________________ Card no. _______________________________________________________ Expiration date : __________________________________________________ Date: ______________ Signature __________________________ (*) Please delete as appropriate -------------------------------------------------------------------- I agree that the hotel deposit of 10.000 PTA may be charged on my VISA/Mastercard * account Card Holder: _______________________________________________________ Card no. _______________________________________________________ Expiration date : __________________________________________________ Date: ______________ Signature __________________________ (*) Please delete as appropriate -------------------------------------------------------------------- ------------------------------------------------------------------------------ Message 13; Postmarked Mon Jun 6 16:13:10 1994 From: son@bbibbi.cs.virginia.edu Subject: International Workshop on Real-Time Computing Systems and Applications First International Workshop on Real-Time Computing Systems and Applications CALL FOR PAPERS December 14-16 Seoul, Korea The purpose of this first international workshop is to bring together researchers and developers from academia, industry, and government for advancing the technology in real-time computing systems and applications. The workshop has several goals: - to investigate advances in real-time operating systems and applications; - to promote interaction among real-time computing researchers and practitioners; - to evaluate the maturity and directions of real-time system technology. Workshop attendees will explore the best current ideas on real-time software and operating systems. Position papers describing new ideas, promising approaches, experiences with practical and research systems, and work in progress are considered particularly appropriate. Proposals for panel sessions are also solicited. Topics of the workshop include - real-time operating systems; - scheduling and resource management; - real-time requirements and designs specifications; - real-time software systems and programming environments; - real-time networking and communications; - architectures and databases; - case studies and applications. Prospective attendees should send 5 hardcopy copies or one electronic version ( a postscript file) of a 3-5 page position paper to one of the Program Co-Chairs by August 22, 1994. The position paper should focus on insights and lessons gained from recent research and practical experience in real-time operating systems and software. Complete details regarding the workshop will be sent to all participants along with acceptance letters by September 23, 1994. A digest of accepted position papers will be made available at the workshop. One day tutorial on key aspects of real-time systems will be included in the program. Sponsors (pending): IEEE Computer Society Technical Committee on Real-Time Systems KISS (Korea Information Science Society) KOSEF (Korea Science and Engineering Foundation) IPSJ (Information Processing Society of Japan) IEICE (The Institute of Electronics, Information and Communication Eng.) Workshop Co-Chairs: Kang G. Shin (Univ. Michigan, USA) Wook Hyun Kwon (Seoul National Univ., Korea) Program Co-Chairs: Insup Lee Dept. of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104-6389 USA Tel: (215) 898-3532 Fax: (215) 898-0587 E-mail: lee@central.cis.upenn.edu Hideyuki Tokuda Keio University 5322 Endoh, Fujisawa Kanagawa 252 Japan Tel: +81-466-47-5000 (wait 2-3 sec, then 3339) Fax: +81-466-47-0834 E-mail: hxt@sfc.keio.ac.jp Program Committee: Jack Stankovic (Univ. Massachusetts, USA) Jane Liu (Univ. Illinois, USA) Al Mok (Univ. Texas at Austin, USA) Alan Shaw (Univ. Washington, USA) Alan Burns (York Univ., England) Dieter Hammer (Technische Univ. Eindhoven, Netherlands) Guenter Hommel (University of Berlin, Germany) Heonshik Shin (Seoul National Univ., Korea) Seung-Kyu Park (Ajou Univ., Korea) Shing-Tsaan Huang (TsingHua Univ., Taiwan) Arbee Chen (TsingHua Univ., Taiwan) Morikazu Takegaki (Mitsubishi Elec., Japan) Yoshiaki Kakuda (Osaka Univ., Japan) Tetsuo Wasano (NTT, Japan) Joseph Ng (Hong Kong Baptist College, Hong Kong) Organizing Committee: Sang Hyuk Son (Univ. Virginia, USA), Chair Kenji Toda (ETL, Japan) Heung-Kyu Lee (KAIST, Korea) Kwei-Jay Lin (UC Irvine, USA) Lonnie Welch (New Jersey Inst. of Tech., USA) Klaus Ecker (Technical Univ. of Clausthal, Germany) Publicity Co-Chairs: Kane Kim (UC Irvine, USA) Mario Tokoro (Keio Univ./SONY, Japan) Local Arrangements Chair: Sang Lyul Min (Seoul National Univ., Korea) Finance Chair: Seung-Min Yang (Soongsil Univ., Korea) Registration Chair: Moon Hae Kim (Kun-Kuk Univ., Korea) Publication Chair: Young-Chan Kim (Chung-Ang Univ., Korea) Workshop timetable ------------------ Submission deadline: August 22 Selection decision: September 23 Camera-ready version submission: October 24 Workshop: December 14 - December 16 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the TC-RTS repository is: cs.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------