Subject: IEEE-CS TC-RTS Newsletter for Wed Oct 08, 1997 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Sushil Jajodia (25 lines) Temporal Database Bibliography Update ............................. 3 2. Bengt Jonsson (46 lines) Chair (Full Professor) In Computing Science Postion at UPPSALA .... 27 3. Wang Yi (54 lines) Positions in RT and Formal Methods at Uppsala...................... 74 4. Cardell-Oliver R (38 lines) Studentship in formal methods for Real-Time........................ 127 5. Azer Bestavros (10 lines) CFP: RTSS'97 WIP Session (Deadline is October 17). ................ 166 6. "James H. Anderson" (580 lines) Program: 18th IEEE REAL-TIME SYSTEMS SYMPOSIUM..................... 176 7. Azer Bestavros (77 lines) CFP: IEEE RTAS'98 ................................................. 756 8. maarten@win.tue.nl (Maarten Bodlaender) (77 lines) WPDRTS CFP......................................................... 832 9. ekerrissey@wkap.com (Ellie Kerrissey) (73 lines) NEW BOOK ANNOUNCEMENT FROM KLUWER!................................. 910 10. Hussein Zedan (74 lines) Please distribute.................................................. 983 11. tah@eecs.berkeley.edu (Tom Henzinger) (60 lines) Call for Papers: HYBRID SYSTEMS '98................................ 1056 12. Frank Mueller (81 lines) CFP: ACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools.. 1117 13. Sang Hyuk Son (99 lines) CFP for next RTC newsletter........................................ 1198 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Mon Sep 22 12:52:48 1997 From: Sushil Jajodia Subject: Temporal Database Bibliography Update Content-Length: 801 Folks: Opher Etzion, Sury Sripada, and I are in the process of preparing a collection of papers on temporal databases for publication in the Springer Verlag Lecture Notes in Computer Science Series. It will include a summary of the discussions at the recent Dagstuhl Seminar on Temporal Databases. It will also include an updated bibliography on temporal databases. Can you please look at the current draft of the bibliography which is available at isse.gmu.edu/~csis/tdb/bib97/bib97.html? We have tried our best, but I am sure that we have missed some papers. Please send me an email (jajodia@isse.gmu.edu) with cc to Yu Wu (ywu@isse.gmu.edu) with any changes you might have. We would like it to be as complete as possible. Thank you very much. I look forward to your emails. Sushil ------------------------------------------------------------------------------ Message 2; Postmarked Wed Aug 27 06:24:13 1997 Subject: Chair (Full Professor) In Computing Science Postion at UPPSALA From: Bengt Jonsson Content-Length: 1869 UPPSALA UNIVERSITY invites applications for a tenured CHAIR (FULL PROFESSOR) IN COMPUTING SCIENCE at the Faculty of Science and Technology. Ref no. 3603/97 Applicants must demonstrate scientific excellence and pedagogical proficiency. The successful candidate is expected to pursue an active research program, perform graduate and undergraduate teaching, and supervise graduate students. The chair is placed in the division for mathematics and computer science, which is nicely located on a campus area for mathematics and information technology (http://www.mic.uu.se/) at Uppsala University. The campus houses chairs and graduate programs in areas including automatic control, computerized image analysis, computer systems, computing science, mathematical logic, mathematical statistics, mathematics, numerical analysis, signal processing, and systems analysis. Information about computer science in the division can be found at the home page of the department of computing science (http://www.csd.uu.se/datalogi/), of computer systems (http://www.docs.uu.se/), or of scientific computing (http://www.tdb.uu.se/). For additional information about the position, consult the dean of mathematics and computer science, prof. Ewert Bengtsson, tel no +46-18-183467 (after June 28 +46-18-4714367), e-mail Ewert.Bengtsson@cb.uu.se. Prospective candidates must contact the office of the faculty in order to receive the full announcement with instructions on how to apply. Please use fax no +46-18-181999 (after June 28 +46-18-4711999), e-mail: Christina.Lindberg@uadm.uu.se, or retrieve the announcement from http://www.csd.uu.se/datalogi/positions97/chair.shtml. Applications must be received on September 10, 1997, at the latest. The faculty wishes to establish a more equal proportion amongst female and male professors, and applications from women are encouraged. ------------------------------------------------------------------------------ Message 3; Postmarked Wed Sep 10 10:40:56 1997 From: Wang Yi Subject: Positions in RT and Formal Methods at Uppsala Content-Length: 1897 RESEARCH POSITIONS Uppsala University, Sweden The department of computer systems at Uppsala University offers the following positions in the general areas of real-time systems, formal techniques and tools within the UPPAAL-project: o two-year post-doctoral position o three-year research position (for Ph.D. students) The start date is flexible (preferable in the autumn of 1997, but no later than January 1, 1998). Both positions are expected to carry out research in the specific areas: o semantics and verification of real-time systems o efficient statespace exploration (data-structures & algorithms) o graphical design languages for concurrent systems o compilation of specification languages into executable code o industiral applications (collaborate with ABB & car industries) Candidates should have a PhD and a research record for the first position and a M.Sc (or equivalent) for the second position, in Computer Science or related areas. For further information on the positions, please contact Wang Yi (see below). Information on our department and the UPPAAL project can be found at o http://www.docs.uu.se/docs/index.eng.html o http://www.docs.uu.se/docs/rtmv/uppaal/index.shtml Applications in the form of a C.V. plus the names of 2-3 academic references should be sent (as soon as possible, but no later than November, 15, 1997) to: Wang Yi Dept. of Computer Systems Uppsala University Box 325, 751 05, Uppsala, Sweden e-mail: yi@docs.uu.se tel: +46 18 471 3110 fax: +46 18 55 02 25 The main members of the Uppsala formal techniques group include Parosh Abdulla, Bengt Jonsson and Wang Yi, and a number of Ph.D students. Uppsala is located 70 km north of Stockholm. The dep- artments of computer systems, computing science, mathematics, numerical analysis, and automatic control, are located together on a newly renovated campus. ------------------------------------------------------------------------------ Message 4; Postmarked Sun Sep 7 12:30:15 1997 Subject: Studentship in formal methods for Real-Time From: Cardell-Oliver R Content-Length: 1687 ----------------------------------------------------------------------- One year RESEARCH STUDENTSHIP on the Analysis of Real-Time Properties of Large IP Networks at the University of Essex, Colchester, UK ----------------------------------------------------------------------- This project in the Department of Computer Science at the University of Essex is funded by British Telecom, to start as soon as possible after 1st October 1997. A one year research studentship (MSc by research) is available to investigate formal methods for modelling real-time properties of networks which carry continuous streams traffic. The student will first survey existing theories and tools for modelling such networks, and then perform a pilot case study. We plan to use the HyTech tool, based on timed automata, for this study. The studentship covers fees, a living allowance of over 7,000 pounds and equipment. It is intended that after the project the student would continue this research at BT's Martlesham research labs. It may be possible to transfer to a PhD during the year. For further information please contact Rachel Cardell-Oliver (see below) or visit our web pages at http://cswww.essex.ac.uk/FSS. ----------------------------------------------------------------------- Dr Rachel Cardell-Oliver Email: cardr@essex.ac.uk Department of Computer Science University of Essex COLCHESTER CO4 3SQ Phone: +44 1206 873586 (Direct) UNITED KINGDOM Fax: +44 1206 872788 ----------------------------------------------------------------------- URL: http://cswww.essex.ac.uk/FSS/people/cardr-hp.html ----------------------------------------------------------------------- ------------------------------------------------------------------------------ Message 5; Postmarked Tue Oct 7 17:32:17 1997 From: Azer Bestavros Subject: CFP: RTSS'97 WIP Session (Deadline is October 17). Content-Length: 197 This is a reminder that the deadline for submitting papers to the WIP Session of RTSS'97 is October 17, 1997 (i.e. the end of next week). Please refer to the details in the RTSS'97 Program below. ------------------------------------------------------------------------------ Message 6; Postmarked Tue Oct 7 17:32:17 1997 From: "James H. Anderson" Subject: Program: 18th IEEE REAL-TIME SYSTEMS SYMPOSIUM Content-Length: 20648 __ __ __ __ , __ __ /_/ / /_ /_ /_/ / 18th IEEE REAL-TIME SYSTEMS SYMPOSIUM / \ / __/__/ __/ / December 2-5, 1997 -- San Francisco, CA ------------------------------------------------------------------------------- TABLE OF CONTENTS A. RTSS97 ADVANCE PROGRAM AND CALL FOR PARTICIPATION technical sessions workshop and exhibition work-in-progress session B. ABOUT THE SYMPOSIUM C. REGISTRATION INFORMATION D. HOTEL INFORMATION A. ADVANCE PROGRAM & CALL FOR PARTICIPATION IEEE Real-Time Systems Symposium December 2-5, 1997 San Francisco, CA Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems IEEE RTSS'97 Home Page http://cs-www.bu.edu/pub/ieee-rts/rtss97 ------------------------------------------------------------------------------- Tuesday, December 2 ------------------------------------------------------------------------------- 8:00 - 5:00pm Workshop on Middleware for Distributed Real-Time Systems and Services. For more information about the workshop, contact Riccardo Bettati (bettati@cs.tamu.edu). 6:00 - 8:00pm RTSS97 registration ------------------------------------------------------------------------------- Wednesday, December 3 ------------------------------------------------------------------------------- 8:00 - 8:30am Registration and Opening Remarks 8:30 - 10:00am Session 1: Model Checking Formal Modeling And Analysis Of An Audio/Video Protocol: An Industrial Case Study Using UPPAAL K. Havelund, A. Skou, K. G. Larsen, K. Lund, Aalborg U., Denmark Efficient Verification Of Real-Time Systems: Compact Data Structure And State-Space Reduction K. G. Larsen, F. Larsson, P. Pettersson, W. Yi, Uppsala U., Sweden On-The-Fly Symbolic Model Checking For Real-Time Systems A. Bouajjani, S. Tripakis, S. Yovine, Verimag, France 10:00am - 7:00pm Exhibit Room Open 10:30am - 12:30pm Session 2: Scheduling Theory A Better Polynomial-Time Schedulability Test For Real-Time Fixed-Priority Scheduling Algorithms C.C. Han, Ohio State U. Combining (n, m)-Hard Deadlines And Dual Priority Scheduling G. Bernat, U. Illes Balears, Spain, A. Burns, U. York, UK Real-Time Queuing Network Theory J. Lehoczky, CMU Jitter Concerns In Periodic Task Systems S.K. Baruah, U. Vermont, D. Chen, A.K. Mok, UT Austin 2:00 - 3:30pm Session 3: Fault Tolerance Adaptive Fault Tolerance And Graceful Degradation Under Dynamic Hard Real-Time Scheduling O. Gonzalez, H. Shrikumar, K. Ramamritham, U. Massachusetts, J. A. Stankovic, U. Virginia A Low-Cost Processor Group Membership Protocol For A Hard Real-Time Distributed System M. Clegg, K. Marzullo, UCSD Efficient Spare-Resource Allocation For Fast Restoration Of Real-Time Channels S. Han, K.G.Shin, U. Michigan 4:00 - 5:15pm Session 4: Industrial Presentations And Demonstrations 5:30 - 6:30pm Technical Committee Meeting 6:00 - 7:00pm Poster Session 7:00 - 9:00pm Banquet Keynote Speaker: David Wilner, WindRiver Systems ------------------------------------------------------------------------------- Thursday , December 4 ------------------------------------------------------------------------------- 8:00 - 10:00am Session 5: Synchronization And Data Sharing Wait-Free Object-Sharing Schemes For Real-Time Uniprocessors And Multiprocessors J. H. Anderson, R. Jain, S. Ramamurthy, U. North Carolina More Optimism About Real-Time Commit Processing R. Gupta, J. Haritsa, IIS, India, K. Ramamritham, U. Massachusetts Novel Approach To Multiprogrammed Multiprocessor Synchronization For Real-Time Kernels H. Takada, K. Sakamura, U. Tokyo, Japan Similarity-Based Load Adjustment For Real-Time Data-Intensive Applications T.W. Kuo, S.J. Ho, Chung-Cheng U. Taiwan, A. K. Mok, UT Austin 10:00am - 5:00pm Exhibit Room Open 10:30am - 12noon Session 6: Runtime System Implementation Real-Time File Systems: Guaranteeing Timing Constraints For Disk Access In RT-Mach A. Molano, K. Juvva, R. Rajkumar, CMU Implementation And Evaluation Of Real-Time Java Threads A. Miyoshi, T. Kitayama, H. Tokuda, Keio U. Japan Early Detection Of Timing Constraint Violation At Runtime A. K. Mok, G. Liu, UT Austin 1:30 - 3pm Session 7: Cache-Related And Hardware Scheduler Enhanced Analysis Of Cache-Related Preemption Delay In Fixed-Priority Preemptive Scheduling C.G. Lee et al., Seoul National U., Korea A Cache-Aware Scheduling Algorithm For Embedded Systems G. Luculli, M. Di Natale, U. Pisa, Italy Scalable Hardware EDF Scheduler For ATM Network B.K. Kim, K. G. Shin, U. Michigan 3:30 - 5:00pm Session 8: Specification And Design Of Real-Time Systems Formal Development Of A Real-Time Kernel S. Fowler, A. Wellings, U. York, UK A Constraint-Based Approach For Specification And Verification Of Real-Time Systems E. Pontelli, G. Gupta, New Mexico State U. Guidelines For Automated Implementation Of Executable Object Oriented Models For Real-Time Embedded Control Systems M. Saksena, P. Freedman, P. Rodziewicz, Concordia U., Canada 5:00 - 7:00pm Work-In-Progress ------------------------------------------------------------------------------- Friday , December 5 ------------------------------------------------------------------------------- 8:00am - 12:00noon Poster Open 8:00 - 10:00am Session 9: Real-Time Networks Smoothness Upperbound And Approximation Techniques For Real-Time VBR Video Traffic Smoothing J. Zhang, J. Hui, Rutgers U. Static Priority Scheduling For ATM Networks C. Li, Wei Zhao, R. Bettati, Texas A&M U. Response-Time Guarantees In ATM Networks A. Ermedahl, H. Hansson, M. Sjodin, Uppsala U. Sweden Integrated Delay Analysis Of Regulated ATM K.-Y. Ng, S. Song, Hong Kong Baptist U., W. Zhao, City U. Of Hong Kong 10:30am - 12:30pm Session 10: QoS And Open Systems A Resource Allocation Model For QoS Management R. Rajkumar, C. Lee, J. Lehoczky, D. Siewiorek, CMU Scheduling Real-Time Applications In An Open Environment Z. Deng, J. W.-S. Liu, UIUC On Adaptive Resource Allocation For Complex Real-Time Applications D.I. Rosu, K. Schwan, S. Yalamanchili, R. Jha, GIT Exploiting Skips In Periodic Tasks For Enhancing Aperiodic Responsiveness M. Caccamo, G. Buttazzo, SSSUP, Italy 2:00 - 4:00pm Session 11: Industrial Panel: Real Issues and Real Solutions ---------------------------------------------- Keynote Speaker ---------------------------------------------- Vx-Files: What Really Happened on Mars? David Wilner, WindRiver Systems The Pathfinder mission landed on Mars on July 4, 1997 and is widely regarded as a stunning success. None-the-less in the first two weeks after the landing there were several problems encountered in the functioning of the computer and communication systems. Reports of these problems in the popular press were generally incoherent and in some cases wildly wrong, primarily because of the difficulty of explaining the issues to non-engineers. In this discussion I will examine in detail some of the problems that were encountered and their resolution. This examination will make vividly real some issues that we often think of only in theoretical terms. We will touch on issues of scheduling and deadlock, diagnosis and analysis of timing problems, dynamic reconfiguration and correction of defects, and other issues of real world, and "out of this world", real-time systems. ---------------------------------------------- Workshop ---------------------------------------------- A workshop on Middleware for Distributed Real-Time Systems and Services is being organized to be held immediately before the symposium on December 2. Submissions are due October 10, 1997. For more information, contact Riccardo Bettati (bettati@cs.tamu.edu) or see http://www.cs.tamu.edu/research/realtime/wmdrtss97.html. ---------------------------------------------- Exhibition ---------------------------------------------- An exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. Any industrial and university groups wishing to participate in the exhibition should contact Jen-Yao Chung (jychung@watson.ibm.com). Companies currently confirmed for exhibition include QNX Software, Aisys, Tri-Pacific Software, Amravan Group, and Wind River Systems. --------------------------------------------- Work-In-Progress Session --------------------------------------------- Contributions to a special Work-In-Progress (WIP) session of RTSS'97 are sought. RTSS'97 WIP will be devoted to the presentation of new and on-going projects in real-time systems and applications. The prime purpose of this session is to provide researchers an opportunity to discuss their evolving ideas and gather feedback thereon from the real-time community at large. The RTSS'97 WIP session will be held on Thursday, December 4, 1997, and will consist of 10-minute presentations of all accepted submissions. Also, accepted submissions will be included in a special RTSS'97 WIP proceedings which will be distributed to all RTSS'97 conference participants, and will be available electronically from the IEEE-CS TC-RTS Home Page on the WWW. Submissions to RTSS'97 WIP should describe original on-going work and should be limited to 2,000 words. Submissions dealing with real-time issues in applications such as multimedia, networking, middleware services, and process control, as well as reports describing on-going system building efforts in such applications are strongly encouraged. Please send all submissions via Email to RTSS'97 WIP Chair: Azer Bestavros Computer Science Dept Email: best@cs.bu.edu Boston University Phone: (617) 493-2823 The deadline for submissions is October 17, 1997. Notification of acceptance will be sent out on November 3, 1997. For more information, please contact RTSS'97 WIP Chair or check the RTSS'97 WIP Home Page at: http://cs-www.bu.edu/pub/ieee-rts/rtss97/wip --------------------------------------------- Poster Session --------------------------------------------- In addition to the Work-In-Progress (WIP) session, RTSS'97 will have a poster session for researchers and students to present their real-time projects. The Poster Session is scheduled at 6-7pm on Wednesday, right before the banquet, to allow for the most effective interactions between researchers and symposium attendees. The presentations in the Poster Session and in WIP are not mutually exclusive. Posters can again be displayed for review during breaks on Friday. Please send the title and the abstract of your poster to klin@uci.edu before Nov 10, 1997. ------------------------------------------------------------------------------- B. ABOUT THE SYMPOSIUM The Real-Time Systems Symposium is a forum for exchanging information on recent technological advances and practices in real-time computing. It has always been the premier international conference in the field of real-time systems - a field that is becoming an essential discipline in the field of computer science and engineering. As the demand for the functionalities and reliabilities of real-time systems continue to grow, our intellectual and engineering abilities are being challenged to come up with practical solutions to the problems faced in design and development of complex real-time systems. The interest in this important field is confirmed by the high number of quality submissions. Following the tradition of RTSS, parallel sessions are avoided to give participants the opportunity to have full interactions with speakers and to exchange ideas with all other participants. The symposium will be preceded by the Workshop on Middleware for Distributed Real-Time Systems and Services, to be held on December 2. For more information about the workshop, contact Riccardo Bettati (bettati@cs.tamu.edu). A special Work-In-Progress (WIP) session will be organized by Azer Bestavros (best@cs.bu.edu) which is devoted to the presentation of new and on-going projects in real-time systems and applications. In addition, an exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. For the details of the exhibition, contact Jen-Yao Chung (jychung@watson.ibm.com). ============================================================================= C. REGISTRATION INFORMATION Registration details are still being finalized. Registration information will be posted on the conference web page shortly (http://cs-www.bu.edu/pub/ieee-rts/rtss97). ============================================================================= D. HOTEL INFORMATION Hotel Reservation Information Deadline: November 7, 1997 ------------------------------------------------------------------------------ Fairmont Hotel San Francisco Phone: 800-527-4727 Attn: Reservations or 415-772-5000 950 Mason Street Fax: 415-772-5013 San Francisco, CA 94108 ------------------------------------------------------------------------------ Please phone in your reservation, and make sure you mention "IEEE" for the conference rate. Alternatively, complete the information below (type or print), and mail this form directly to the hotel. RTSS rates for each room for single/double occupancy are $139/$149, respectively, plus 14% sales tax, for main building standard room. Each additional person will be charged $30. Accommodation desired: Single $139 ____ Double $149 ____ Non Smoking Room ____ Smoking Room ____ Name: Address: Phone: Fax: Arrival Date: Departure Date: Check-in is after 3:00 pm, check-out is 1:00 pm. ------------------------------------------------------------------------------ A block of rooms has been reserved until November 7th, 1997. After this date, room reservations will be accepted on a space available basis. For attendees who plan on staying at the Fairmont over the weekends before and/or after the conference, we suggest taking advantage of the IEEE conference rate as above or any discounted weekend rates offered by the hotel. One night's deposit is required with each reservation. A valid major credit card guarantee is acceptable in lieu of a cash deposit. Please check the form of payment: VISA ____ MASTERCARD ____ AMERICAN EXPRESS ____ DINERS CLUB ____ DISCOVER ____ Check/Money Order ____ Credit Card Number: Credit Card Expiration Date (Month/Year): Name on the Card: Signature: ------------------------------------------------------------------------------ DRIVING SUGGESTIONS ------------------- EAST BAY TO HOTEL 1. Take the Fremont Street exit off the Bay Bridge. Fremont Street is the first exit on the right. 2. Turn left at the bottom of the exit onto Fremont Street. 3. Get into the right lane and go two blocks to Market Street. 4. When you cross over Market Street, Fremont Street becomes Front Street. Go two blocks on Front Street and turn left onto California Street. 5. Go eight blocks up California Street and turn right onto Mason Street. SOUTH BAY TO FAIRMONT HOTEL/San Francisco International Airport 1. Take Highway 101 North into the city. 101 North can be accessed from Highway 280 North. 2. Stay in the left lane and follow the signs for Highway 101 North, Golden Gate Bridge. 3. Take the 9th Street, Civic Center exit. Make a half left onto 9th Street. 4. Go five blocks to Market Street. Stay in the right lane. 5. When you cross over Market Street, 9th Street becomes Larkin Street. 6. Go 14 blocks on Larkin Street and turn right onto California Street. 7. Go five blocks on California Street and turn left onto Mason Street. Shuttle Service from Airport Several airport transportation companies provide service from San Francisco International Airport to the Fairmont Hotel. The one-way person fare is approximately $10-11. Advance airport pickup reservations are not accepted because of flight delays. Upon arrival, call one of the following: Door-to-Door (415) 775-5121; SuperShuttle (415) 558-8500; American Airporter Shuttle (415) 546-6689; or Quake City Shuttle at (415) 255-4899. You may also go out to the curb at Passenger Arrival level of the Airport and find the Shuttle services waiting there. NORTH BAY TO FAIRMONT HOTEL 1. Take Highway 101 South over the Golden Gate Bridge ($3 toll). 2. Go straight ahead on Doyle Drive, take the Lombard Street exit. 3. Go 11 blocks on Lombard Street, turn right onto Van Ness Avenue. 4. Go ten blocks on Van Ness and turn left onto Clay Street. 5. Go six blocks on Clay Street and turn right onto Taylor Street. 6. Go two blocks on Taylor Street to California Street. 7. Left on California, one block to Mason Street. 8. Left on Mason Street. NOB HILL PARKING GARAGES ------------------------ Fairmont Hotel Garage (The Parking Place) Powell and California Streets (415) 772-5223 Rates: $5.00 for the first hour S5.00 each half hour after the first hour $27.00 maximum, per day. Brocklebank Garage (415) 391-1378 1040 Sacramento Street Rates: $5.00 1st hour, $7.00 2nd hour $9.00 up to 9 hours $12.00 up to 10 hours (or 1:30am) $19.00 overnight (out by 7:00am) Masonic Garage Masonic Auditorium 1101 California Street (415) 474-1567 Rates: $2.00 each 20 minutes $15.00 maximum Metro Parking-Crocker 1045 California Street (415) 346-5565 Rates: $2.50 each 20 minutes $20.00 maximum Grace Cathedral - Parking Garage (415) 346-9156 1051 Taylor Street Rates: $2.00 each 20 minutes $16.00 maximum The above information is provided by the Fairmont Hotel for your assistance. The Hotel does not guarantee the rates posted. Prices are subject to change without notice. ============================================================================= Conference Organization General Chair Sang H. Son, USA Program Chair Kwei-Jay Lin, USA Treasurer Walt Heimerdinger, USA Publicity Chairs James H. Anderson, USA Alan Burns, UK Sang Lyul Min, Korea Industrial Chair Jen-Yao Chung, USA Ex-Officio C. Douglass Locke, USA Program Committee Sanjoy Baruah, USA Azer Bestavros, USA Alan Burns, UK Jean-Charles Fabre, France Richard Gerber, USA Ching-Chih Han, USA Michael Gonzalez Harbour, Spain Connie Heitmeyer, USA Tei-Wei Kuo, Taiwan Yann-Hang Lee, USA Jane W.S. Liu, USA Raj Rajkumar, USA Krithi Ramamritham, USA Heonshik Shin, Korea John A. Stankovic, USA Satish Tripathi, USA Wei Zhao, Hong Kong *********************************************************** ------------------------------------------------------------------------------ Message 7; Postmarked Tue Oct 7 17:32:17 1997 From: Azer Bestavros Subject: CFP: IEEE RTAS'98 Content-Length: 4416 CALL FOR PAPERS ,--. --- .--. ,--. / .--. .--. | | | | | | | | | | Real-Time Technology & Applications Symposium |--' | |--| `--. `--| >--< Denver, Colorado, USA | \ | | | | | | | June 3-5, 1998 | \ | | | `--' `--' `--' Sponsored by IEEE Computer Society TC on Real-Time Systems +----------------------------+ | | Objectives and Scope: | General Chair | -------------------- | ------------- | The IEEE Real-Time Technology and Applications | Raj Rajkumar, USA | Symposium brings together real-time (RT) system | | developers and researchers from academia, indu- | Program Chair | stry and government to present advances in real | ------------- | time systems research and discuss the practical | Azer Bestavros, USA | challenges encountered, and adopted solutions. | | An exciting program that fosters discussions | Publicity Chairs | and technical exchanges is planned, including | ---------------- | tutorials, panels, and paper presentations on | Susan Nagy, USA | various aspects of RT computing and communica- | Sten Andler, Sweden | tion. Of particular interest are papers detail- | Farn Wang, ROC | ing experiments, implementations, and experien- | | ces in application domains such as multimedia, | Local Chair | internet and wireless appliances, avionics, | ----------- | advanced highway systems, process control, | Marty Humphrey, USA | robotics and automated manufacturing. | | | Treasurer | Submission Guidelines: | ---------- | --------------------- | Walt Heimerdinger, USA | Manuscripts to be considered as full papers | | should be limited to 20 double-spaced pages. | Ex-Officio | Work-in-progress to be considered as short | ---------- | papers should be limited to 6 pages. Both hard- | Doug Locke, USA | copy and electronic submissions are acceptable. | | Electronic submission is preferred; consult the | Program Committee | RTAS'98 home page for instructions. In addition | ----------------- | to the manuscript, a 150-word abstract in ASCII | Sanjoy Baruah, USA | must be emailed to the Program Chair: | Pam Binns, USA | | Rebecca Callison, USA | Prof. Azer Bestavros | Saurav Chatterjee, USA | Computer Science Dept Email: best@cs.bu.edu | Ray Clark, USA | Boston University Phone: (617) 353-9726 | Duncan Clarke, USA | Boston, MA 02215 Fax: (617) 353-6457 | Jorgen Hansson, Sweden | | Kevin Jeffay, USA | All submissions should reach the Program Chair | Mike Jones, USA | by Dec 7, 1997. Submissions to RTAS'98 must not | Tei-Wei Kuo, ROC | have been published in or submitted to other | Insup Lee, USA | conferences or journals. A Best Student Paper | David L. Levine, USA | Award and honorarium will be presented to a | Jane Liu, USA | student who is designated as the primary author | Al Mok, USA | of a full-length paper. | Doug Niehaus, USA | | Krithi Ramamritham, USA | Proposals for half-day tutorials are also soli- | Manas Saksena, Canada | cited. Contact the Program Chair for details. | Chia Shen, USA | | Kang Shin, USA | Important Deadlines: | Sang Son, USA | ------------------- | Jack Stankovic, USA | Dec 7, 1997 -> Submission of manuscripts | Neeraj Suri, USA | Dec 14, 1997 -> Proposals for tutorials | Bhavani Thuraisingham, USA | Feb 6, 1998 -> Notification of acceptance | Victor Wolfe, USA | Apr 3, 1998 -> Camera-ready of accepted papers | | Jun 3, 1998 -> Symposium starts +----------------------------+ RTAS'98 WWW home page is available at http://www.cs.bu.edu/pub/ieee-rts/rtas98 ------------------------------------------------------------------------------ Message 8; Postmarked Thu Aug 28 10:29:15 1997 Subject: WPDRTS CFP From: maarten@win.tue.nl (Maarten Bodlaender) Content-Length: 2579 Call for Papers JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (Sixth International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) and the Second IEEE Workshop on Metrics and Measurement for Computer-Based Systems (MMCBS) March 30 - April 3, 1998, Orlando, Florida Authors are invited to submit manuscripts that demonstrate original unpublished research pertaining to real-time systems that have parallel and/or distributed architectures. Of interest are experimental and commercial systems, their scientific and commercial applications, and theoretical foundations. Topics of interest include: -ARCHITECTURE -MULTIMEDIA -BENCHMARKING -NEW PARADIGMS -COMMAND AND CONTROL SYSTEMS -OBJECT ORIENTATION (REAL-TIME) -COMMUNICATIONS AND NETWORKING -SIGNAL AND IMAGE PROCESSING -DATABASES (REAL-TIME) -REENGINEERING -EMBEDDED SYSTEMS -SCHEDULING AND RESOURCE MANAGEMENT -FAULT TOLERANCE -SOFTWARE ARCHITECTURES-SYSTEMS ENGINEERING -FORMAL METHODS -SYSTEMS ENGINEERING -INSTRUMENTATION -TOOLS AND ENVIRONMENTS -LANGUAGES (REAL-TIME) -VALIDATION AND SIMULATION -VISUALIZATION To submit a research paper, send to the appropriate Program Chair four hard copies of your complete manuscript (not to exceed 10 pages). Manuscripts must be received by December 1, 1997. Notification of review decisions will be mailed by January 1, 1998. Camera-ready papers are due February 1, 1998. In addition to regular papers, potential solutions to the distributed real-time problem (see web page) are solicited. The producer of the best solution as judged by the program committee will be awarded a prize at the end of the session. Problem solutions are due by Feb. 1, 1998. For more information contact one of the program chairs. P.D.V. van der Stok (Chair for Europe and Africa) Technische Universiteit Eindhoven Wsk/I P.O. Box 513 5600 MB Eindhoven Netherlands Phone +(31) 40 247 5003 Fax +(31) 40 246 8508 Internet: wsstok@win.tue.nl Kenji Toda (Chair for Asia) Computer Science Division (MBOX 1502) Electrotechnical Laboratory 1-1-4 Umezono, Tsukuba 305, Japan Phone: +(81) 298 54 5875 Fax: +(81) 298 54 5882 Internet: toda@etl.go.jp David Andrews (Chair for the Americas) University of Arkansas Rm 331 Engr. Hall Fayetteville, AR 72701, USA Phone: +1 501.575.5090 Fax: +1 501.575.5339 Internet: dla@engr.uark.edu ------------------------------------------------------------------------------ Message 9; Postmarked Fri Sep 19 09:46:39 1997 From: ekerrissey@wkap.com (Ellie Kerrissey) Subject: NEW BOOK ANNOUNCEMENT FROM KLUWER! Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Description: cc:Mail note part Content-Length: 3274 KLUWER ACADEMIC PUBLISHERS IS PROUD TO ANNOUNCE THE PUBLICATION OF... Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications by Giorgio C. Buttazzo, Scuola Superiore S. Anna This text presents the most important results in the field of real-time scheduling. Several algorithms are presented and described with exhaustive examples, analyzed in detail, compared, and evaluated in terms of implementation complexity. The book is written for teaching and education, and is organized to be understandable to those that do not have a deep knowledge of the topic. This book is a basic treatise on real-time computing, with particular emphasis on predictable scheduling algorithms. The main objectives of the book are to introduce the basic concepts of real-time computing, illustrate the most significant results in the field, and provide the basic methodologies for designing predictable computing systems which can be used to support critical control applications. HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications presents fundamental concepts which are clearly defined at the beginning of each chapter, and each algorithm is described through concrete examples, figures and tables. After introducing the basic concepts of real-time computing, the book covers such topics as taxonomy of scheduling algorithms, models of tasks with explicit time constraints, handling tasks with precedence relations, periodic and aperiodic task scheduling, access protocols to shared resources, asynchronous communication mechanisms, schedulability analysis, and handling overload conditions. HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications was written for use as a textbook and serves as an excellent reference for those interested in real-time computing for designing and/or developing predictable control applications, which may include robotics, plant control, monitoring systems, data acquisition, simulations of real-world systems, virtual reality, interactive games, etc. Contents Preface. 1. A General View. 2. Basic Concepts. 3. Aperiodic Task Scheduling. 4. Periodic Task Scheduling. 5. Fixed-Priority Servers. 6. Dynamic Priority Servers. 7. Resource Access Protocols. 8. Handling Overload Conditions. 9. Kernel Design Issues. 10. Application Design Issues. 11. Examples of Real-Time Systems. Glossary. References. Index. 1997 400 pp. ISBN 0-7923-9994-3 FOR MORE INFORMATION ABOUT THIS PUBLICATION,PLEASE VISIT OUR On-line Catalogue at: http://www.wkap.nl/book.htm/0-7923-9994-3 or contact us at: Kluwer Academic Publishers 101 Philip Drive Norwell, Ma. 02061 Phone: 781-871-6600, Fax: (781) 871-6528 E-mail: kluwer@wkap.com Kluwer Academic Publishers P. O. Box 322 3300 AH Dordrecht, The Netherlands Phone 31 78 639 2392, Fax: 31 78 6546474 E-mail: services@wkap.nl ------------------------------------------------------------------------------ Message 10; Postmarked Wed Sep 24 06:38:57 1997 From: Hussein Zedan Subject: Please distribute Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 2189 |---------------------------------------------------------------------- | | The 1st UK | | COLLOQUIUM ON OBJECT TECHNOLOGY AND SYSTEM RE-ENGINEERING | | Oxford University, 6-8 April, 1998 | | Sponsored by | | BT Laboratories | | In Association with | | The Object Technology conference (OT'98) | | OOPS(Specialist Group of the British Computer Society) | |--------------------------------------------------------------------- ------------------- CALL FOR PAPERS ------------------- The COTSR is the first UK Colloquium on Object Technology and System Re-engineering that has been established as a forum covering all aspects of research on object-technology, reuse and system re-engineering. The COTSR is organized by the Software Technology Research Laboratory (STRL) at De Montfort University in corporation with the Object Technology conference (OT'98). The COTSR is sponsored by BT Laboratories and OOPS Specialist Group of the British Computer Society (BCS). Original contributions are solicited in any of the following topics: Object Models Requirement Engineering Languages Specification and Design Reverse engineering System's Architecture Highly Dependable Distributed object-oriented Systems Industrial applications and case studies Theoretical foundation of object-oriented systems Support tools for object-oriented system development Software Agents Real-Time Objects and operating system support Component-Based Development Business Objects and Objects on the web Dynamic change management in business process Contribution in any other related topics are also encouraged. Information on the Web: ------------------------ You can visit our web sites: (o) For COTSR: http://www.cms.dmu.ac.uk/STRL/cotsr/cotsr.html (o) For STRL: http://www.cms.dmu.ac.uk/STRL/ (o) For OT'98: http://www.trireme.com/ot98/ ------------------------------------------------------------------------------ Message 11; Postmarked Fri Sep 26 23:02:29 1997 Subject: Call for Papers: HYBRID SYSTEMS '98 From: tah@eecs.berkeley.edu (Tom Henzinger) Sender: tah@ic.eecs.berkeley.edu Content-Length: 2319 Call For Papers HYBRID SYSTEMS: COMPUTATION AND CONTROL International Workshop April 13-15, 1998 Berkeley, California The first of a newly constituted series of annual workshops on hybrid systems will be organized at the University of California, Berkeley, from April 13 to 15, 1998. The purpose of the workshop is to bring together researchers from computer science and control theory, and to advance the theory of hybrid systems and its applications. Submissions are invited in all areas pertaining to the design, analysis, and implementation of hybrid control systems, that is, systems in which digital devices interact with continuous objects. We are especially interested in methods that combine in creative ways concepts from computer science and control theory. Topics include, but are not limited to, control engineering, modeling and system theory, specification and implementation languages, controller synthesis, computer-aided design and simulation, algorithmic and deductive verification, experimental results and applications. Reports on case studies and tool development are particularly encouraged. Tool demos will form an integral part of the workshop. Authors are requested to submit an extended abstract not exceeding ten pages, either a postscript file or six hardcopies. Electronic submission is strongly encouraged. The abstract should start with a title page containing the title of the paper, each author's name and affiliation, the contact author's physical and e-mail addresses, and a one- or two- paragraph summary. Full versions of the accepted submissions will be published in a volume of the Springer-Verlag Lecture Notes in Computer Science series, to be available at the workshop. Important Dates Submission deadline: October 22, 1997 Notification of acceptance: December 10, 1997 Final version due: January 14, 1998 Submission Address E-mail submissions: tah@eecs.berkeley.edu (postscript only) Hardcopy submissions: Thomas A. Henzinger EECS Department Cory Hall University of California Berkeley, CA 94720-1770 USA ------------------------------------------------------------------------------ Message 12; Postmarked Tue Sep 30 10:55:52 1997 From: Frank Mueller Subject: CFP: ACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'98) Content-Length: 3381 Call for Papers ACM SIGPLAN 1998 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'98) Montreal, Canada, June 19-20, 1998 (in conjunction with PLDI'98) http://www.informatik.hu-berlin.de/~mueller/lctes98 IMPORTANT DATES: Papers due: February 20, 1998 (5pm MET) Author notification: April 17, 1998 Camera-ready final papers due: May 15, 1998 DESCRIPTION: LCTES '98 provides a link between two communities of programming languages and embedded systems, i.e. between the two dynamic fields of computer science and engineering. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact. Until recently embedded systems development was performed by experienced specialists using a variety of custom kernels, non-standard languages, vendor-specific device interfaces and custom hardware. System integration involved a complicated process of obtaining timing measurements, hand-tuning code, and re-measuring. These ad-hoc techniques do not scale well for modern systems. Also, the majority of system developers is no longer composed of embedded control experts. As a result, a trend is emerging to use off-the-shelf hardware and enhance standard software to meet embedded requirements, ranging from real-time extensions of common programming languages and operating systems to appropriate tools for embedded programmers. Original submissions are invited in all areas relevant to this theme. Appropriate topics include (but are not restricted to) the following aspects of embedded systems. * Real-time and embedded Java * Object-oriented modeling and design * Concurrent and distributed embedded environments / runtime systems * Real-time operating systems: environment and tools (e.g., RT-Linux) * Standardization for embedded systems * Programming languages for embedded applications * Design, specification, analysis of embedded systems * Exception and interrupt handling for real-time * Timing analysis: static and dynamic approaches * Timing predictability of modern architectures: caches, pipelines, windows * Program optimization for real-time performance and for DSPs * Profiling, measurement, and debugging of embedded applications * Real-time scheduling analysis * Memory management and garbage collection for embedded systems * Language support for imprecise computation * Embedded system integration and testing * Support for partitioning, mapping, and compression For information on submission guidelines and program committee members, please refer to the workshop's Home Page at http://www.informatik.hu-berlin.de/~mueller/lctes98 CO-CHAIRS: Frank Mueller Azer Bestavros Humboldt University Berlin Boston University Institut fuer Informatik Department of Computer Science Unter den Linden 6 111 Cummington Street 10099 Berlin, Germany Boston, MA 02215 (USA) phone: (+49) (30) 20181-276, fax: -280 phone: 617-353-9726, fax: -6457 mueller@informatik.hu-berlin.de best@bu.edu ------------------------------------------------------------------------------ Message 13; Postmarked Mon Oct 6 09:20:28 1997 From: Sang Hyuk Son Subject: CFP for next RTC newsletter Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 4160 CALL FOR PAPERS (http://dream.eng.uci.edu/isorc/) ISORC '98 The 1st IEEE International Symposium on Object-oriented Real-time distributed Computing April 20 - 22, 1998 Sponsored by: In cooperation with: IEEE Computer Information Kyoto International Society TC on Processing Society Conference Hall Distributed of Japan, SIGSE Kyoto, Japan Processing IFIP WG 10.4 (The 4th IEEE Workshop on Object-oriented Real-time Dependable Systems (WORDS '98) and The 4th Int'l Workshop on Object-Oriented Real-Time Systems (WOORTS '98) will not occur as separate events and instead they are embedded into ISORC '98.) SCOPE The ISORC is a new IEEE Computer Society symposium series dealing with the emerging object-oriented real-time distributed computing (ORC) technology. The ORC is a rapidly growing young technological field. So far, the technical meetings that concentrated on this ORC technology were of the workshop type. It is the judgment of the ISORC Executive Committee that the entire field of ORC has now outgrown the capacity that a typical workshop can provide. The main technical theme of the ISORC is how to extend the well established object-oriented computing technology, i.e., the technology that has prevailed the non-real-time business data processing field in the past decade, into the technologies that are effectively applicable to various classes of real-time applications. The ISORC was created with the goal of becoming an exemplary symposium series with respect to the maintenance of an open symposium spirit. The following guidelines will be used by the Program Committee (PC) in evaluating the submitted papers and composing the technical program. (1) Papers presenting practical techniques, ideas, or evaluations will be favored. Papers reporting practical experiences or experimental developments are particularly welcome. (2) Papers completely lacking originality will not be acceptable. However, for the papers reporting experiences or experiments, the originality will not be interpreted narrowly. For example, new evidences leading to a conclusion similar to the conclusion that was supported by different evidences earlier in literature, will still be given serious considerations as long as clear references to the earlier works are given. (3) Papers that are based on exceedingly unrealistic assumptions will not be accepted however mathematically or logically sophisticated the discussion may be. For more details check the ISORC 98 Home Page at http://dream.eng.uci.edu/isorc/ ** For participants of ICSE '98: ICSE '98 (The IEEE CS Int'l Conf. on Software Engineering) will be held immediately after ISORC '98, during April 22 - 24, 1998, in the same hotel. ** The URL of the Web site for ISORC 98 is http://dream.eng.uci.edu/isorc/ . For the beautiful symposium location, Kyoto International Conference Hall, see http://icse98.aist-nara.ac.jp/detailed-info/kyoto.html . ----------------------------------------------------------- GENERAL CO-CHAIRS Kane Kim Kinji Mori Edgar Nett U. Calif., Irvine, Tokyo Inst. of Tech., GMD USA Japan Germany kane@ece.uci.edu mori@cs.titech.ac.jp nett@gmd.de PROGRAM COMMITTEE CO-CHAIRS Insup Lee Tohru Kikuno Dieter K. Hammer U. Pennsylvania, USA Osaka U., Japan Eindhoven U. of Tech., lee@cis.upenn.edu kikuno@ics.osaka- Netherlands u.ac.jp hammer@win.tue.nl ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University WWW Home Page of the TC-RTS is at: http://cs-www.bu.edu/pub/ieee-rts/Home.html Internet address for anonymous FTP to the TC-RTS repository is: cs-ftp.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 ------------------------------------------------------------------------------