Subject: IEEE-CS TC-RTS Newsletter for Sun Oct 20, 1996 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. jack stankovic (30 lines) ACM 50th Anniversary Strategic Article on RT systems............... 3 2. younis@batc.allied.com (Mohamed Younis) (75 lines) Thesis announcement................................................ 33 3. "Mike Groth" (78 lines) TOC Real-Time Systems, Vol 11:2,3.................................. 108 4. best@cs.bu.edu (622 lines) Call for Participation: IEEE RTSS'96............................... 186 5. "Daniel Mosse'" (156 lines) RTAS '97: Call for papers.......................................... 808 6. son@cs.virginia.edu (60 lines) CFP: Journal of Integrated Computer-Aided Engineering.............. 964 7. orna Grumberg (63 lines) CAV'97 call for papers............................................. 1023 8. hammer@win.tue.nl (Dieter K. Hammer) (273 lines) WPDRTS'97 CFP...................................................... 1087 9. Herman Geuvers (109 lines) School on Embedded Systems Nov '96: Call for Participation......... 1360 10. Phillip C-Y Sheu (77 lines) WORDS 97: CFP...................................................... 1469 11. Kim Taejin (64 lines) RTCSA'96 information............................................... 1546 12. wedde@carmin.informatik.uni-dortmund.de (Prof. Horst F. (108 lines) 9th EUROMICRO Workshop on Real-Time Systems........................ 1610 13. Nandit Soparkar (241 lines) DART'96: Call for participation.................................... 1718 14. jeffords@itd.nrl.navy.mil (Ralph D. Jeffords) (85 lines) 3rd IEEE Int'l Symp on Requirements Engineering.................... 1959 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Sep 20 07:58:18 1996 From: jack stankovic Subject: ACM 50th Anniversary Strategic Article on RT systems Content-Length: 355 Announcement ACM 50th Anniversary Strategic Directions Article on Real-Time and Embedded Systems Edited by John A. Stankovic For a copy see the Real-Time Group's home page URL http://www-ccs.cs.umass.edu/sdcr/ and download the Group Report (a .ps file). This article will appear in ACM Computing Surveys late this year or early next year. ------------------------------------------------------------------------------ Message 2; Postmarked Thu Sep 26 17:36:53 1996 From: younis@batc.allied.com (Mohamed Younis) Subject: Thesis announcement Content-Length: 3368 I'd like to announce the availability of my dissertation through the WWW Title: Safe Code Transformations for Speculative Execution in Real-Time Systems Author: Mohamed F. Younis AlliedSignal Aerospace Microelectronics and Technology Center Columbia, MD 21045 Tel: (410)964-4015 Fax: (410)992-5813 Email: younis@batc.allied.com Dept./School: Real-Time Computing Laboratory Department of Computer and Information Science New Jersey Institute of Technology Newark, NJ 07102 HTTP: "http://www.rtl.njit.edu/FTP/publications/dissertation/" Abstract: Although compiler optimization techniques are standard and successful in non-real-time systems, if naively applied, they can destroy safety guarantees and deadlines in hard real-time systems. For this reason, real-time systems developers have tended to avoid automatic compiler optimization of their code. However, real-time applications in several areas have been growing substantially in size and complexity in recent years. This size and complexity makes it impossible for real-time programmers to write optimal code, and consequently indicates a need for compiler optimization. Recently researchers have developed or modified analyses and transformations to improve performance without degrading worst-case execution times. Moreover, these optimization techniques can sometimes transform programs which may not meet constraints/deadlines, or which result in timeouts, into deadline-satisfying programs. One such technique, speculative execution, also used for example in parallel computing and databases, can enhance performance by executing parts of the code whose execution may or may not be needed. In some cases, rollback is necessary if the computation turns out to be invalid. However, speculative execution must be applied carefully to real-time systems so that the worst-case execution path is not extended. Deterministic worst-case execution for satisfying hard real-time constraints, and speculative execution with rollback for improving average-case throughput, appear to lie on opposite ends of a spectrum of performance requirements and strategies. Deterministic worst-case execution for satisfying hard real-time constraints, and speculative execution with rollback for improving average-case throughput, appear to lie on opposite ends of a spectrum of performance requirements and strategies. Nonetheless, this thesis shows that there are situations in which speculative execution can improve the performance of a hard real-time system, either by enhancing average performance while not affecting the worst-case, or by actually decreasing the worst-case execution time. The thesis proposes a set of compiler transformation rules to identify opportunities for speculative execution and to transform the code. Proofs for semantic correctness and timeliness preservation are provided to verify safety of applying transformation rules to real-time systems. Moreover, an extensive experiment using simulation of randomly generated real-time programs have been conducted to evaluate applicability and profitability of speculative execution. The simulation results indicate that speculative execution improves average execution time and program timeliness. Finally, a prototype implementation is described in which these transformations can be evaluated for realistic applications. ------------------------------------------------------------------------------ Message 3; Postmarked Mon Sep 9 09:02:33 1996 From: "Mike Groth" Subject: TOC Real-Time Systems, Vol 11:2,3 Content-Length: 1709 Table of Contents: REAL-TIME SYSTEMS Volume 11, Number 2, September 1996 Johann Blieberger and Roland Leiger, Worst-Case Space and Time Complexity of Recursive Procedures 115 Roderick Chapman, Alan Burns, and Andy Wellings, Combining Static Worst-Case Timing Analysis and Program Proof 145 Sam K. Oh and Glenn H. MacEwen, Task Behavior Monitoring for Adaptive Real-Time Communication 173 Kevin Nilsen, Invited Note: Java for Real-time 197 Contributing Authors 207 ----------- Table of Contents: REAL-TIME SYSTEMS Volume 11, Number 3, November 1996 SPECIAL ISSUE ON THE ENGINEERING OF COMPLEX REAL-TIME COMPUTER CONTROL SYSTEM GUEST EDITOR: GEORGE W. IRWIN George W. Irwin, Preface to the Special Issue on 'The Engineering of Complex Real-Time Computer Control Systems' 221 Hans A. Hansson, Harold W. Lawson, Mikael Stromberg, and Sven Larsson, BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications 223 Alexander D. Stoyenko, Thomas J. Marlowe, and Phillip A. Laplante, A Description Language for Engineering of Complex Real-Time Systems 245 Brian T. Boulter and Zhiqiang Gao, A Real-Time Self-Tuning Web Tension Regulation Scheme 265 K. S. Tang, K. F. Man, S. Kwong, C. Y. Chan, and C. Y. Chu, Application of the Genetic Algorithm to Real-Time Active Noise Control 289 Contributing Authors 303 For subscription information, aims & scope, instructions for authors, and previous tables of contents, see our homepage at http://www.wkap.com, or contact: Mike Groth Kluwer Academic Publishers 101 Philip Drive Norwell, MA 02061 Tel: (617) 871-6600 Fax: (617) 871-6528 e-mail: mgroth@wkap.com ------------------------------------------------------------------------------ Message 4; Postmarked Wed Sep 4 14:35:31 1996 From: best@cs.bu.edu Subject: Call for Participation: IEEE RTSS'96 Content-Length: 24061 ------------------------------------------------------------------------------- __ __ __ __ , __ __ /_/ / /_ /_ /_//_ 17th IEEE REAL-TIME SYSTEMS SYMPOSIUM / \ / __/__/ __//_/ December 3-6, 1996 -- Washington, DC ------------------------------------------------------------------------------- TABLE OF CONTENTS A. RTSS96 ADVANCE PROGRAM AND CALL FOR PARTICIPATION technical sessions workshop and exhibition work-in-progress session B. CHAIRMEN'S MESSAGES C. REGISTRATION FORM D. HOTEL INFORMATION A. ADVANCE PROGRAM & CALL FOR PARTICIPATION IEEE Real-Time Systems Symposium December 3-6, 1996 Washington, DC Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems IEEE RTSS'96 Home Page http://cs-www.bu.edu/pub/ieee-rts/rtss96 ------------------------------------------------------------------------------- Tuesday, December 3 ------------------------------------------------------------------------------- Workshop on Resource Allocation in Multimedia Systems contact Kevin Jeffay (jeffay@cs.unc.edu) for details. ------------------------------------------------------------------------------- Wednesday, December 4 ------------------------------------------------------------------------------- 8:30 - 9:00am Registration and continental breakfast 9:00 - 9:15am Opening Address and Welcome General Chairs: Alan Burns and Yann-Hang Lee Program Chair: Sang H. Son 9:15 - 10:45am Session 1: Scheduling I Bounding Completion Times of Jobs with Arbitrary Release Times and Variable Execution Times Jun Sun and Jane W.S. Liu On Task Schedulability in Real-Time Control System D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin A Multiframe Model for Real-Time Tasks Al Mok and Deji Chen 10:45 - 11:15am Coffee break 11:15 - 12:30pm Session 2: Experimental Systems and Applications Middleware for Distributed Real-Time Systems on ATM Networks Ichiro Mizunuma, Chia Shen, and Morikazu Takegaki Analysing APEX Applications Neil Audsley and Andy Wellings Operating System Extensions for Dynamic Real-Time Applications Steven Sommer and John Potter 12:30 - 2:00pm Lunch 2:00 - 4:00pm Session 3: Formal Methods Approximate Reachability Analysis of Timed Automata Felice Balarin Correctness of Vehicle Control Systems - A Case Study H.B. Weinberg and Nancy Lynch Getting Rid of Useless Clocks, Reducing the Number of Clock Variables of Timed Automata Conrado Daws and Sergio Yovine Predictability of Real-Time Systems: A Process-Algebraic Approach V. Natrajan and Rance Cleaveland 4:00 - 4:30pm Coffee break 4:30 - 5:30pm Session 4: Synchronization A Framework for Implementing Objects and Scheduling Tasks in Lock-Free Real-Time Systems J. Anderson and S. Ramamurthy Optimizing FIFO, Scalable Spin Lock Using Consistent Memory I. Rhee 5:30 - 7:00pm Work in Progress 7:15 - 9:00pm Banquet ------------------------------------------------------------------------------- Thursday , December 5 ------------------------------------------------------------------------------- 8:30 - 9:00am Continental breakfast 9:00 - 10:45am Session 5: Invited Talks on System Requirements 10:45 - 11:15am Coffee break 11:15am - 12:30pm Session 6: Model and Tools The MSP.RTL Real-Time Scheduler Synthesis Tool Al Mok and Duu-Chung Tsou Tool Support for the Construction of Statically Analysable Hard Real-Time Ada Systems T. Vardanega High Availability in the Real-Time Publisher/Subscriber Inter-Process Communication Model Ragunathan Rajkumar and Mike Gagliardi 12:30 - 2:00pm Lunch 2:00 - 4:00pm Session 7: Communications Structuring Communication Software for Quality-of-Service Guarantees Ashish Mehra, Atri Indiresan, and Kang G. Shin Multirate Scheduling for Guaranteed and Predictive Services in ATM Networks Debanjan Saha, Sarit Mukherjee, and Satish K. Tripathi Message Transmission with Timing Constraints in Ring Networks Ching-Chih Han and Kang G. Shin On Supporting Time-Constrained Communications in WDMA-based Star-Coupled Optical Networks H. Tyan, J. Hou, B. Wang, and C. Han 4:00 - 4:30pm Coffee break 4:30 - 6:00pm Session 8: Scheduling II Real-Time Queueing Theory John P. Lehoczky Optimal Pinwheel Schedulers using The Single Number Reduction Technique C. Hsueh and K-J. Lin Integrated Scheduling of Multimedia and Hard Real-Time Tasks H. Kaneko, J. Stankovic, S. Sen and K. Ramamritham 6:00 - 7:00pm IEEE Real-Time Systems TC meeting ------------------------------------------------------------------------------- Friday, December 6 ------------------------------------------------------------------------------- 8:30 - 9:00am Continental breakfast 9:00 - 10:30am Session 9: Databases Commit Processing in Distributed Real-Time Database Systems R. Gupta, J. Haritsa, K. Ramamritham, and S. Seshadri Value-cognizant Admission Control for RTDBS Azer Bestavros and Sue Nagy Scheduling Transactions with Temporal Constraints: Exploiting Data Semantics M. Xiong, R. Sivasankaran, J. Stankovic, K. Ramamritham, D. Towsley 10:30 - 11:00am Coffee break 11:00 - 12:30pm Session 10: Timing Analysis Cache Modeling for Real-Time Software: Beyond Direct Mapped Instruction Caches Yau-Tsun Steven Li, Sharad Malik, and Andrew Wolfe Analysis of Cache-related Preemption Delay in Fixed-priority Preemptive Scheduling C. Lee, J. Hahn, Y. Seo, S. Min, R. Ha, S. Hong, C. Park, M. Lee, and C. Kim A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time Tai-Yi Huang, Jane W.-S. Liu, and David Hull 12:30 - 2:00pm Lunch 2:00 - 3:30 Sessions 11: Resource Allocation and System Implementation A Proportional Share Resource Allocation Algorithm for Real-Time, Time-Shared Systems Ion Stoica, Hussein Abdel-Wahab, and Kevin Jeffay Visual Assessment of a Real-Time Systems Design: A Case Study N. Kim, M. Ryu, S. Hong, M. Saksensa, C. Choi, and H. Shin Optimizing Interprocess Communication for Embedded Real-Time Systems S. Poledna ---------------------------------------------- Workshop and Exhibition ---------------------------------------------- Workshop on Resource Allocation Problems in Multimedia Systems is being organized to be held immediately before the symposium, December 3. For more information about the workshop, contact Kevin Jeffay (jeffay@cs.unc.edu). An exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. Any industrial and university groups wishing to participate in the exhibition should contact with Doug Locke at doug.locke@lmco.com. --------------------------------------------- Work-In-Progress Session --------------------------------------------- Contributions to a special Work-In-Progress (WIP) session of RTSS'96 are sought. RTSS'96 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'96 WIP session will be held on Wednesday, December 4, 1996, and will consist of 10-minute presentations of all accepted submissions. Also, accepted submissions will be included in a special RTSS'96 WIP proceedings which will be distributed to all RTSS'96 conference participants, and will be available electronically from the IEEE-CS TC-RTS Home Page on the WWW. Submissions to RTSS'96 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'96 WIP Chair: Azer Bestavros Computer Science Dept Email: best@cs.bu.edu Boston University Phone: (617) 493-2823 The deadline for submissions is October 15, 1996. Notification of acceptance will be sent out on November 1, 1996. For more information, please contact RTSS'96 WIP Chair or check the RTSS'96 WIP Home Page at: http://cs-www.bu.edu/pub/ieee-rts/rtss96/wip ------------------------------------------------------------------------------- B. THE CHAIRMEN'S MESSAGE: 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. As a consequence, many good papers had to be rejected. The technical program for this year's symposium maintains its outstanding quality. It covers the latest research and development in scheduling, operating systems, communications, timing analysis, system development, databases, formal methods, and applications. To encourage the dissemination of findings in experimental development work, we have five synopsis papers as in previous RTSSs. The symposium will be preceded by the Workshop on Resource Allocation Problems in Multimedia Systems, to be held on December 3. For more information about the workshop, contact Kevin Jeffay (jeffay@cs.unc.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 Doug Locke (locke@lfs.loral.com). C. REGISTRATION Advance registrations should be made by filling the registration form included in the program and mailing it to one of the following: Linda BUSS Route 1, Box 187B, Menomonie, WI 54751 USA E-mail registration can be done by sending the registration form to: rtss96@cis.ufl.edu For credit card payment, please include the name on the credit card, the number of the credit card, the type of the credit card, the expiration date on the credit card, and your signature. On site registration fees can be paid by check, major credit cards, or cash at the Symposium Secretariat. Symposium Registration Fees: --------------------------- Advance (before November 15, 1996) Late (after November 15, 1996) Member: US$ 375 US$ 450 Non-member: US$ 475 US$ 570 Full-time student: US$ 165 US$ 200 Workshop Registration Fees: ---------------------- Advance (before November 15, 1996) Late (after November 15, 1996) Member: US$ 100 US$ 120 Non-member: US$ 125 US$ 150 Full-time student: US$ 100 US$ 120 Notes: ----- 1. Symposium registration includes admission to symposium, a copy of symposium proceedings, coffee-breaks, and banquet on Wednesday night. 2. Full-time students are asked to provide a verification of their status, either during registration or at the conference. 3. Extra ticket for Wednesday's banquet can be purchased at US $65/ea. 5. Written requests for refunds must be postmarked no later than November 15, 1996. Refunds are subject to a US$ 50 processing fee. All no-show registration will be billed in full. Registration after 11/15/96 will be accepted on-site only. . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . 1996 IEEE Real-Time Systems Symposium Registration Form First Name:_________________________ Last Name:_____________________________ Title :_____________________________ Position:______________________________ Affiliation:_________________________________________________________________ Address:_____________________________________________________________________ City:_______________________________ State:_________________________________ Country:____________________________ Zip/Postal Code:_______________________ Phone:______________________________ Fax:___________________________________ E-Mail:_____________________________ Payment: Symposium registration fee: Category___________________ $___________ IEEE/ACM Membership no:___________________ Workshop registration fee: $___________ Extra banquet tickets: ($65/ea) $___________ Extra symposium proceedings: ($40/ea) $___________ Total amount: $___________ . . . . . . . . . . . . . . . . . Cut Here . . . . . . . . . . . . . . . . . D. HOTEL INFORMATION CONFERENCE HOTEL ================ The JW Marriott Hotel is located at 14th Street and Pennsylvania Avenue NW, two blocks from the White House; next door to the National Theater; two blocks from the Mall area; within walking distance to the National Gallery, the Air and Space Museum, the Renwick, Hirschhorn and the other Smithsonian Institutions. The hotel is also one block from the Metro Center stop, and it adjoins the Shops at National Place, which includes 110 stores and 18 restaurants. DIRECTIONS TO THE JW MARRIOTT ============================= By Metro, From Amtrak Union Station or National Airport ------------------------------------------------------- The easiest, most hassle-free way to get to the JW Marriott, from either Union Station or National Airport, is by using the Metro. The Metro Center Station is located at 13th and G streets NW, and the hotel is on 14th between E and F streets. From National Airport, take the Blue line to Metro Center; from Union Station take the Red Line to Metro Center. Exit at 12th and G; walk 2 blocks West on G (away from the Capitol Building, toward the White House); turn left on 14th, and walk one block to the hotel on the left. By Car, from National Airport ----------------------------- >From National Airport follow the signs to Washington, DC (via George Washington Parkway). Take the I-395/Route 1 North exit, which goes over the 14th Street Bridge. Merge to the left lane on the 14th Street Bridge, and follow this lane to 14th Street. The hotel will be 8 blocks down 14th Street, on the right side at the corner of 14th Street and Pennsylvania Avenue. By Car, from BWI Airport ------------------------ >From BWI Airport follow the signs to the Baltimore-Washington Parkway (South). Continue on the Baltimore-Washington Parkway to the New York Avenue exit, which is also Route 50. Follow New York Avenue to 7th Street, NW. Turn left on 7th Street and go approximately 7 blocks to E Street, NW. Turn right on E Street. Continue on E Street to 14th Street, NW. Turn right on 14th Street. The hotel driveway is a quick right as soon as you turn onto 14th Street. By Car, from Dulles Airport --------------------------- >From Dulles International Airport follow the signs to Route 66 east toward Washington. Follow Route 66 to the Theodore Roosevelt Bridge (Route 50). Once you cross the bridge, this street becomes Constitution Avenue. Continue on Constitution Avenue NW, for approximately 14 blocks to 12th Street NW. Turn left on 12th. Go about 6 blocks on 12th Street NW, crossing Pennsylvania Avenue to E Street NW. Turn left on E street. Go one block to 14th Street, and turn right. The hotel is at the corner of 14th and E. By Car, from Points North (New York, Baltimore, Delaware) --------------------------------------------------------- Take Interstate 95 South, following the signs for Washington DC. Approximately 25 miles south of Baltimore, 95 will fork off with 495 (the Beltway). Make sure you stay in the far left lanes, following the signs for 95 South. Continue on 95 South in the direction of Washington. Signs for the Baltimore-Washington Parkway appear approximately four miles past the 95/495 fork. Take exit 22B to the Baltimore-Washington parkway, heading south. Continue on the Baltimore-Washington Parkway to the New York Avenue exit, which is also Route 50. Follow New York Avenue to 7th Street, NW. Turn left on 7th Street and go approximately 7 blocks to E Street, NW. Turn right on E Street. Continue on E Street to 14th Street, NW, Turn right on 14th Street. The hotel driveway is a quick right as soon as you turn onto 14th Street. By Car, from Points South (Richmond, Raleigh) --------------------------------------------- Take Interstate 95 North, following signs for Washington DC. At Springfield, Northern Virginia, take I-395 North (495 also intersects at this point). Stay on 395N, following signs for Washington, Route 1, and the 14th Street Bridge. While crossing the bridge, merge to left lane, and follow this lane to 14th Street. The hotel will be 8 blocks down 14th Street, on the right side at the corner of 14th Street and Pennsylvania Avenue. ============================================================================= Hotel Reservation Information Deadline: November 11, 1996 ------------------------------------------------------------------------------ JW Marriott Hotel Phone: 800-228-9290 Attn: Reservations or: 202-393-2000 1331 Pennsylvania Avenue NW Washington, DC 20004 Fax: 202-626-6991 ------------------------------------------------------------------------------ Please phone in your reservation, and make sure you mention "RTSS" for the conference rate of $120.00. Alternatively, complete the information below (type or print), and mail this form directly to the hotel. RTSS rates for each room for single or double occupancy are $120, plus 11% sales tax and $1.50 occupancy tax. Accommodation desired: Single $120 ____ Double $120 ____ Non Smoking Room ____ Smoking Room ____ Name: Phone: Address: Arrival Date: Departure Date: Check-in is after 4:00pm, check-out is 12:00 noon. ------------------------------------------------------------------------------ A block of rooms has been reserved until November 11th, 1996. After this date, room reservations will be accepted on a space available basis. For attendees who plan on staying at the JW Marriott over the weekends before and/or after the conference: we suggest taking advantage of 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): _____________ Total Amount Enclosed:________________________ Signature:________________________________ ------------------------------------ Cut Here -------------------------------- RTSS 96 Organizing committee Members General Chairs Alan Burns, UK Yann-Hang Lee, USA Program Chair Sang H. Son, USA Treasurer Walt Heimerdinger, USA Publicity Chair Steve Liu, USA Industrial Chairs Doug Locke, USA Local Arrangements Chair Richard Gerber, USA Ex-Officio Al Mok, USA Program Committee Azer Bestavros, USA Richard Gerber, USA Ching-Chih Han, USA Hans Hansson, Sweden Jennifer Hou, USA Farnam Jahanian, USA Mathai Joseph, UK Dilip Kandlur, USA Hermann Kopetz, Austria Insup Lee, USA John Lehoczky, USA Jorg Liebeherr, USA Kwei-Jay Lin, USA Jane Liu, USA Doug Locke, USA Keith Marzullo, USA Raj Rajkumar, USA Karsten Schwan, USA Alan Shaw, USA Heonshik Shin, Korea Kang Shin, USA Jack Stankovic, USA Kenji Toda, Japan Farn Wang, Taiwan Vic Wolfe, USA Hui Zhang, USA ------------------------------------------------------------------------------ Message 5; Postmarked Tue Oct 15 18:02:01 1996 From: "Daniel Mosse'" Subject: RTAS '97: Call for papers Content-Length: 5589 Call For Papers Third IEEE Real-time Technology and Applications Symposium June 8-10, 1997 (tentative) Montreal, Canada Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems* in cooperation with the U.S. Office of Naval Research Objectives The IEEE Real-time Technology and Applications Symposium brings together real-time system developers and researchers from academia, industry and government to present the latest advances in real-time systems research, and discuss the practical challenges encountered and the solutions adopted. An exciting variety of mechanisms for discussion and interchange is planned, including tutorials, panel discussions, full-paper presentations and work-in-progress sessions. Full-length papers, work-in-progress abstracts and tutorial proposals on various aspects of real-time computing and communications are sought, ranging from multimedia applications, case studies, systems integration, application requirements, scheduling, operating systems, software engineering, dependability, databases, programming languages, system development tools, communications, performance modeling and formal techniques. Of particular interest are papers detailing experiments, implementations, and experiences in application domains such as multimedia, internet and wireless appliances, communications, process control, automated manufacturing, avionics, advanced highway systems, vehicular control and robotics. As in previous years, the best papers presented at the symposium will be selected for publication in respected IEEE journals. Best Student Paper Award A Best Student Paper Award, along with a cash honorarium, will be presented to a full-length paper with a student as the primary author. Please indicate in your full-length submissions if your paper was primarily authored by a student. Submissions Manuscripts to be considered for presentation as full papers should be limited to 20 double-spaced pages. Work-in-progress abstracts to be considered for presentation at an "Ongoing Work" session should be limited to 6 double-spaced pages. Six copies of each full-paper manuscript and work-in-progress abstracts should reach the program chair by January 17, 1997 at the following address: Raj Rajkumar School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213-3891 U.S.A. : 412-268-8707 Voice : 412-268-5574 Fax Email: raj+@cs.cmu.edu Proposals for half-day tutorials in technically appealing areas of the Symposium are also solicited. Tutorial proposals should be sumbitted to the program chair by January 31, 1997. Authors of all submissions will be notified of acceptance by March 17, 1997. In the case of full-length papers and work-in-progress abstracts, the final camera-ready copy for inclusion in the Symposium proceedings will be due on April 4, 1997. Any paper submitted to the Symposium must not have been published in or submitted to other technical conferences. For more information about the Symposium, send e-mail to jeffay@cs.unc.edu and for questions regarding conference submissions, send e-mail to raj+@cs.cmu.edu. The Web page for the conference can be accessed at http://www.cs.cmu.edu/~rtas97. Important Dates Event Deadline Paper submission January 17, 1997 Tutorial proposal submission January 31, 1997 Acceptance notification March 17, 1997 Final camera-ready manuscript April 4, 1997 Symposium Organizers General Chair: Kevin Jeffay, University of North Carolina at Chapel Hill Program Chair: Raj Rajkumar, Carnegie Mellon University Ex-Officio: (RTS-TC Chairs) Al Mok, University of Texas at Austin Doug Locke, Lockheed Martin Corporation Publicity Chair (America) Daniel Mosse', University of Pittsburgh Publicity Chair (Europe) Gerhard Fohler, Humboldt University, Germany Publicity Chair (Far East) Tei-Wei Kuo, National Chung Cheng University, ROC Program Committee Member Affiliation Neil Audsley University of York Sanjoy Baruah University of Vermont Azer Bestavros Boston University Riccardo Bettati Texas A&M University Erik Cota-Robles Intel Corporation Siamack Haghighi Intel Corporation Farnam Jahanian University of Michigan Mike Jones Microsoft Research Arkady Kanevsky MITRE Corporation Jane Liu University of Illinois at Urbana Champaign Cliff Mercer Navio Communications Daniel Mosse' University of Pittsburgh Keith Marzullo University of San Diego Sang Lyul Min Seoul National University, Korea Guru Parulkar Washington University at St. Louis Chakkalamattam J Paul IBM Corporation Krithi Ramamritham University of Massachusetts Lui Sha Software Engineering Institute Chia Shen Mitsubishi Electric Research Labs Sang Son University of Virginia Harrick Vin University of Texas at Austin Farn Wang Academia Sinica, ROC Wei Zhao Texas A&M University *IEEE Approval Pending ------------------------------------------------------------------------------ Message 6; Postmarked Wed Sep 4 14:35:31 1996 From: son@cs.virginia.edu Subject: CFP: Journal of Integrated Computer-Aided Engineering Content-Length: 1964 CALL FOR PAPERS Journal of Integrated Computer-Aided Engineering Special Issue on REAL-TIME ENGINEERING SYSTEMS The Journal of Integrated Computer-Aided Engineering seeks papers on all aspects of real-time engineering systems for a special issue planned to be published in December 1997. We are especially interested in innovative solution of engineering problems through integration of new and emerging real-time computing technologies. The interested authors are invited to submit manuscripts based on their recent results. Suggested topics include, but are not limited to, the following: * Real-Time Operating Systems * Real-Time Communications * Fault-Tolerance and Dependability * Scheduling and Resource Management for Real-Time Engineering Systems * Formal Methods for Specification and Verification * Languages and Tools for System Developments * Databases to Support Time-Critical Systems * Case Studies and Practical Experiences from Applications * Integration of Technologies for Engineering Problems Papers should describe original work, which should not have been published previously in a journal or currently submitted for publication elsewhere. All manuscripts should include a separate title page containing the following information: paper title, full name, affiliations, complete addresses, phone and fax numbers, and email addresses of the authors, as well as upto 150 words abstract and a list of key words that identify the central issues of the manuscript contents. Important Dates January 15, 1997: Five copies of the manuscripts are due April 15, 1997: Notice to authors about the decision. June 1, 1997: Final version with signed copyright forms are due Submit 5 copies of the manuscript by January 15, 1997 to the Guest Editor: Prof. Sang H. Son Department of Computer Science Thornton Hall University of Virginia Charlottesville, Virginia 22903 USA son@cs.virginia.edu Phone: (804) 982-2205 Fax: (804) 982-2214 ------------------------------------------------------------------------------ Message 7; Postmarked Thu Sep 12 02:02:07 1996 Subject: CAV'97 call for papers From: orna Grumberg Content-Length: 1836 CALL FOR PAPERS CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV 97) June 22--25, 1997 Haifa, ISRAEL This conference is the ninth in a series dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. SUBMISSION INFORMATION The conference will include contributed papers, tool presentations, and invited lectures. Submissions are invited in two categories: A. Regular papers B. Tool presentations Authors may submit a paper by mailing electronically a self contained Postscript version to the address cav97-submit@cs.technion.ac.il (strongly encouraged whenever possible for speeding up the reviewing process), or by sending seven (7) hard-copies of the submission to Program Chair: Orna Grumberg Re: CAV 97 Computer Science Dept. Room 471, Fishbach building Technion Haifa 32000 Israel IMPORTANT DATES Submission deadline (firm): January 6, 1997 Notification of acceptance: March 10, 1997 Proceedings version of accepted papers due: April 10, 1997 Further information about the conference will be available at http://www.cs.technion.ac.il/~cav97/cav97.html Information about Haifa, the conference location, is available at http://www.insite.co.il/tour/haifa/haifa.htm ------------------------------------------------------------------------------ Message 8; Postmarked Thu Sep 19 10:47:04 1996 From: hammer@win.tue.nl (Dieter K. Hammer) Subject: WPDRTS'97 CFP Content-Length: 15044 JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (THE 5TH INTERNATIONAL WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (WPDRTS) AND THE 3RD WORKSHOP ON OBJECT-ORIENTED REAL-TIME SYSTEMS) April 1, 2, and 3, 1997, Geneva, Switzerland at The 11th IEEE International Parallel Processing Symposium (IPPS) CALL FOR PAPERS: 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 (related to parallel and distributed real-time systems) include: -ADA 95 -MULTIMEDIA -ARCHITECTURE -NEW PARADIGMS -BENCHMARKING -OBJECT ORIENTATION (REAL-TIME) -COMMAND AND CONTROL SYSTEMS -REENGINEERING -COMMUNICATIONS AND NETWORKING -RUN-TIME SYSTEMS -DATABASES (REAL-TIME) -SIGNAL AND IMAGE PROCESSING -EMBEDDED SYSTEMS -SOFTWARE ARCHITECTURES -FAULT TOLERANCE -SYSTEMS ENGINEERING -FORMAL METHODS -TOOLS AND ENVIRONMENTS -LANGUAGES (REAL-TIME) -VALIDATION AND SIMULATION To submit an original research paper, send to the appropriate Program Chair four hard copies of your complete manuscript (not to exceed 10 pages). Review of manuscripts will be handled by an appropriate member of the Program Committee, so please include a list of key words and phrases indicating which subject areas are addressed by your manuscript. Also, be sure to include your postal and email addresses and telephone and fax numbers. Manuscripts must be received by November 15th, 1996. Notification of review decisions will be mailed by Dec. 20, 1996. Camera-ready papers are due January 24, 1997. Proceedings will be available at the Workshop. Included below in this call for papers is a statement of a distributed real- time problem. In addition to papers, potential solutions to this real-time problem are being solicited. An award of $ 500,- will be presented at the workshop for the best solution. In order to restrict the scope and to make the various solutions more comparable, solutions should cover one of the areas system architecture, high-level design or special technical solutions for a critical system area. Participants may submit both a paper and a proposed solution. Team solutions from institutions or organizations are welcome in the competition. Some of the better solutions (as judged by the program committee) will be presented during the problem session. There will be a question and answer period during the problem session where participants can address questions about the presented solutions to proposers of the solutions. Submitted proposed solutions should include a description of a mathematical model or simulation of the proposed solution that lends some degree of credence to the proposed solution's ability to actually solve the problem. This description should not exceed 15 pages. Clarification of questions regarding the problem statement will be handled by the Program Committee. Questions should be forwarded to one of the Program Chairs. Interpretations that may affect all proposed solutions will be provided to all who have made a previous inquiry or have notified one of the Program Chairs that they wish to receive problem statement interpretations. GENERAL CHAIRS: Dieter K. Hammer Dept. of Mathematics and Computing Science Eindhoven Univ. of Technology, The Netherlands Internet: hammer@win.tue.nl Lonnie R. Welch Computer Science & Engineering Dept. The University of Texas at Arlington, USA Internet: welch@cse.uta.edu PROGRAM CHAIRS Guenter Hommel (Chair for Europe and Africa) Computer Science Department Berlin University of Technology Franklinstr. 28/29 D-10587 Berlin Germany Phone: +49 30.314.73110 Fax: +49 30.314.21116 Internet: hommel@cs.tu-berlin.de Tadashi Ae (Chair for the Pacific Rim) Electrical Engineering Faculty of Engineering Hiroshima University 1-4-1 Kagamiyama Higashi-Hiroshima, 739 Japan Phone: +81 824.24.7680 Fax: +81 824.22.7195 Internet: ae@aial.hiroshima-u.ac.jp Norman R. Howes, (Chair for the Americas) Institute for Defense Analyses 1801 N. Beauregard Street Alexandria, VA 22311, USA Phone: +1 703.845.6660 Fax: +1 703.845.6788 Internet: howes@ida.org The Workshop on Parallel and Distributed Real-Time Systems (WPDRTS) is held in conjunction with the 11th IEEE International Parallel Processing Symposium (IPPS). IPPS is sponsored by the IEEE Technical Committee on Parallel Processing and is held in cooperation with ACM SIGARCH. WPDRTS is held in cooperation with the IEEE Technical Committee on Parallel Processing, the IEEE Technical Committee on Real-Time, and the IEEE Technical Committee on Engineering of Computer-Based Systems. The workshop is sponsored by the Naval Surface Warfare Center Dahlgren Division. Current information concerning IPPS and WPDRTS may be retrieved from the Web using the URL: http://cuiwww.unige.ch/~ipps97/ ############################################################################ CALL FOR SOLUTIONS DISTRUBUTED REAL-TIME PROBLEM STATEMENT The problem is to design a distributed air defense system that is capable of simultaneously handling up to 10,000 "tracks" of possible "threats (targets)," up to 1,000 known threats (tracks that have previously been identified as targets), and up to 100 engagements where an engagement means that a defensive weapon system is being employed against a known target. Tracks may include many things other than threats, like civilian aircraft in the area, friendly aircraft, decoys, birds, etc., as well as real threats. This system is to consist of 10 "mobile nodes" each of which can handle at least 1,000 tracks, 100 targets and 10 engagements. These nodes will be deployed throughout the battlespace and will cooperate in providing the overall air defense. The nodes will be interconnected by a relatively low bandwidth media (500 Kb/sec) due to the need to encrypt all transmissions. Each node can have a single processor, a multiple processor computer or consist of a LAN of individual computers (e.g., workstations). Each node will be deployed with a battery of defensive weapons (e.g., missiles). This battery will consist of 10 launchers. Each defensive weapon requires guidance from its associated node in order to home in on its target. It must receive guidance update information at least once per second after it has been launched. If it does not receive a guidance update for over a three second period then it can be assumed to be "lost." The differences in orders of magnitude from 100 to 1000 to 10,000 are merely reflections of physical limitations of the problem. Since there are a total of 100 launchers, this is the maximum number of engagements that can occur simultaneously. It is recognized that it is impossible to implement a single node system that can handle the entire air defense problem. Furthermore, such a single node system would represent a single point of failure. The intent is to field a survivable, reliable system. Reliance is placed on the mobility of the nodes and the fact that the enemy will not always know where all the nodes are prior to an enemy strike. It is understood that if the enemy directed all of their effort at a single node they could overwhelm it. Overloaded nodes should be able to hand off exess load to nodes that are underutilized in order to process the most critical functions. The nodes get their information about tracks from three sources. First, each node has its own radar system, second, it gets track information from other overloaded nodes and third, there is a satellite battlefield surveillance system that downlinks encrypted track information at up to 10 Mb/sec. There exists an "uplink" station near the battlespace that can uplink data to the satellite system for subsequent downlinking. The nodes can communicate with this uplink station just as they would with any other node (500 Kb/sec.) but the uplink station only uplinks data in 64 KByte segments when a 64 KByte buffer is full or after 1 second, whichever comes first. Tracks that are uplinked are broadcast to all nodes. There are associated communication and processing delays with both direct transmission of tracks from one node to another and and from one node to the uplink station and then on to all nodes. Track data (tracks) consist of 256 bytes of information which includes a unique identifier plus all the relevant information about the track (e.g., coordinates, velocity, various attributes). There needs to be a method for assuring that the target information is consistent among nodes in the event that the area of operation of one or more nodes overlaps. It is desirable that all track information be consistent among nodes, but as a minimum all target information must be consistent. This capability is needed to assure that multiple batteries will not engage the same target simultaneously and that all nodes can distinguish friendly tracks from targets. For this purpose, one of the attributes is a target number which is initialized to zero, but assigned a unique target number greater than zero if it is identified as a target. It may be assumed that there are other such attributes (e.g., a "friendly" number or a "commercial aviation" number) to account for other categories of tracks within this 256 byte track segment if such an attribute is necessary for the author's algorithms. Each local radar subsystem, due to its physical characteristics, produces information on tracks in its local region once a second. So this part of the problem is periodic in nature. However, tracks can "appear" aperiodically "on the radar screen" and also vanish aperiodically. Consequently, during any given one second interval, the system does not know how many local tracks it is going to receive. It is possible that it will receive more than the 1,000 tracks it is designed to handle. Also, overload tracks are received aperiodically from other nodes. Track information from the satellite surveillance system is also received periodically once a second. There is a requirement that once a track "appears" from any source, that within 2 seconds, it must be tested to determine if the track is a target or not. The tests that are performed to make this determination may not be conclusive, in which case, within another second, the track may still be on the radar and need to have the processing continued to try to determine if the track is a target. These tests are based on certain attributes like the radar cross-section of the track, its velocity and its position. Each second, a yet unidentified track may contain more information than it did during the last one second interval that may allow for a successful classification. This goes on until the track either disappears from the screen, or possibly gets so close that it is automatically classified as a target. When a track is classified as a target, it then has to be "monitored" once a second each time the radar "illuminates" the target. All targets get illuminated approximately once a second, but since the targets are moving with respect to the radar the time interval between successive illuminations may not be constant and therefore need not be strictly periodic for an individual target. During this monitoring of the track, additional tests are run to determines the relative lethality of the target which influences the significance of the target. Finally, suppose that once a target is identified that it must be engaged within 2 seconds provided there is a weapon system available to engage it with priority being given to engaging the most important threats first, and that for the targets that are currently engaged, guidance update information has to be relayed to the defensive weapon every 100 milliseconds while it is homing in on the target. Even tracks from the local radar must be periodically correlated. This has to do with the fact that tracks frequently "cross" on the display corresponding to points in time where the radar cannot distinguish between two physically distinct tracks and therefore may not know, for instance, what direction applies to which track without doing a "correlation" calculation. Correlations between local tracks and those received from other nodes or the surveillance system must be done to assure the consistency of track information among nodes. A track from a remote node may turn out to be one of the local tracks the node already knows about. For each requirement corresponding to the various deadlines of 2 seconds, 1 second and 100 milliseconds, there is a significance associated with the requirement. It should be possible for the engagement controllers (users) to dynamically change these priorities. If the calculation associated with one of the 1,000 tracks misses its deadline, this normally would not be as serious as if the processing associated with one of the 100 targets missed its deadline, which in turn would not be as significant as one of the engaged weapons (in flight missile) missed its guidance update deadline. Not all threats have the same lethality (one attribute of a target). One incoming target may have the capability to wipe out the whole air defense system while another may only have the capability to degrade its performance thereby influencing the significance of the target. The air defense system is also responsible for protecting other assets in the area as well as itself. Some identified targets may not be approaching the air defense system but moving toward one of these assets. The value of the asset then affects the significance of the target. How close a target is to the asset(s) it is threatening also affects the significance of the target. The air defense system must be designed to defend against the targets of highest significance first. To complicate the situation, it is possible the enemy may field thousands of decoys, or the system may have to be used in congested areas (e.g., the Persian Gulf) where the friendly aircraft in the vicinity together with civilian traffic and enemy threats temporarily exceeds the capacity of the system in one way or another, i.e., more threats than 100 or more engageable targets than 10. It is therefore impossible to design such a system so that it will never encounter overload. ------------------------------------------------------------------------------ Message 9; Postmarked Mon Sep 30 05:03:27 1996 From: Herman Geuvers Subject: School on Embedded Systems Nov '96: Call for Participation Content-Length: 4119 SCHOOL on EMBEDDED SYSTEMS 1996 European Educational Forum Veldhoven, The Netherlands, November 25 -- 29, 1996 (Info by WWW: http://www.win.tue.nl/win/cs/ipa/activities/) General Information ------------------- The School on Embedded Systems is the first event organised by the European Educational Forum (EEF), a joint initiative of the three interuniversitary research schools BRICS (Basic Research In Computer Science) from Denmark, IPA (Institute for Programming research and Algorithmics) from the Netherlands, TUCS (TUrku centre for Computer Science) from Finland. The aim of the EEF is the organisation of educational training activities directed at such an audience. Embedded systems are computer systems that form an integral part of a larger system like a production cell, a controller for a home heating system, a television set or an aeroplane. The term `embedded system' thus encompasses a broad class of systems, ranging from simple microcontrollers to large and complex multi-processors and distributed systems. In general engineering terms, embedded systems are used for the control of industrial or physical processes. This means that one can design and reason about embedded systems only if one takes the behaviour of their environment into account. In computer science terms, embedded systems are distributed reactive systems. Typically, embedded systems have to react to stimuli from their environment in real-time. This can be highly nontrivial in situations where a lot of signal processing must be carried out on the inputs in order to compute the outputs (e.g., multi-media applications). Consequently, real-time issues often play a major role in the design and analysis of embedded systems. The School on Embedded Systems aims at the training of young researchers in the main trends in Embedded Systems, so that they become familiar with the latest developments in the field. Leading researchers from both industry and academia give lectures (tutorials) covering formal methods, design methods and techniques and applications. Program Committee ----------------- Ralph Back, Abo Akademi University, FI, Ed Brinksma, University of Twente, NL, Dieter Hammer, University of Eindhoven, NL, Kim Larsen, University of Aalborg, DK, Mogens Nielsen, University of Aarhus, DK, Kaisa Sere, University of Kuopio, FI, Frits Vaandrager, University of Nijmegen, NL (chair). Location and Accommodation -------------------------- Veldhoven is a small city close to the city of Eindhoven, in the south of the Netherlands. The event takes place in the Conference Center `de Koningshof' in Veldhoven. The addres of de Koningshof: Locht 117, 5500 AC Veldhoven, NL Phone: +40-2537475 Fax: +40-2545515 The cost of accommodation is Dfl. 766,- from Monday November 25 until Friday November 29 for a double room. For a double room, Dfl. 100,- extra will be charged. The cost of accomodation includes all meals and coffee/tea during the breaks. For those who want to stay an extra night (from Sunday to Monday or from Friday to Saturday), an additional Dfl 122, per night will be charged. Registration ------------ The registration fee covers the proceedings and the costs of social events. Moreover, for members of IPA, the registration fee also covers the cost of accommodation. Registration Registration and Payment and Payment received by received after October 15, 1996 October 15, 1996 IPA member (*) Dfl 495,- Dfl 595,- BRICS/TUCS member (**) Dfl 100,- Dfl 200,- Other (**) Dfl 500,- Dfl 600,- (*) Includes social event, proceedings and accommodation (**) Includes social event and proceedings Please send in the Registration Form (see below) by e-mail or by fax. For Further Information and for the Program ------------------------------------------- by e-mail, ipa@win.tue.nl by WWW, http://www.win.tue.nl/win/cs/ipa/activities/ ------------------------------------------------------------------------------ Message 10; Postmarked Mon Oct 7 18:49:07 1996 From: Phillip C-Y Sheu Subject: WORDS 97: CFP Content-Length: 3565 WORDS 97 Third International Workshop on Object-oriented Real-time Dependable Systems February 6-7, 1997 Balboa Bay Club Newport Beach, California, U.S.A. [Web Page] http://www.eng.uci.edu/dream/words97.html THEME This workshop, which is the third in the highly successful WORDS series, continues its theme in integrating three computer system engineering technologies (CSETs): Object-oriented CSET, Real-time CSET, and Dependable CSET. For inclusion in the workshop program, contributions that present significant advances in integrating any two of the three component technology fields are invited. Industrial applications such as multimedia interactive services that facilitate such integrations are also encouraged to be addressed. The workshop is intended to be a forum for substantial exchange of newly recognized research issues, advanced promising formulations and research progress reports which may be of conceptual, theoretical, innovative design, or experimental nature, and represent technological or scientific advances. The workshop will have a limited number of participants, probably not exceeding 50, of whom about a half will be invited participants. A selection of appropriate papers will be recommended for publication in a special issue of IJSKE (the International Journal of Software Engineering and Knowledge Engineering) and another magazine. TOPICS OF INTEREST Topics, as they relate to at least two of the three CSET's (object-oriented CSET, real-time CSET, and dependable CSET) are of interest to the Workshop. Some example topics include object-oriented real-time system requirement and specification,integration of time into formal object models, tools for structuring active and/or real-time objects, OS support for object-oriented systems with real-time or dependability requirements, system resource allocation for real-time or dependable objects, testing and evaluation of temporal objects, database architecture for real-time or highly dependable services, multimedia and network applications, object-oriented and real-time simulations, and interoperability. PAPER SUBMISSIONS Position papers are solicited from potential par- ticipants of this workshop. Papers must be written in English and printed using at least 11-point type and 1-1/2 line spacing. Papers from potential participants who are interested in detailed presentation of research results of 3-15 page length in manuscript, including figures. Potential participants who prefer to serve as panelists or commentators may submit position papers of 1 - 3 page length. Authors are requested to submit five hard copies of their manuscript, and also email the abstract and the full addresses of the author(s), before October 20, 1996 to: Prof. Phillip C-Y Sheu, Department of Electrical and Computer Engineering, University of California, Irvine, CA 92697, USA Phone: +1-714-824-2660, Fax: +1-714-824-2321, Email: sheu@ece.uci.edu Authors will be notified of the program committee deci- sion by November 20, 1996. The revised copy for inclusion in the preliminary proceedings (not to be treated as an official publication but rather a collection of working papers) to be distributed at the workshop will be due December 15, 1996. The final camera-ready copy for the IEEE Workshop Proceedings will be due 3 weeks after the workshop. We expect that the proceedings will be printed by April 30, 1997. Proposal for Panel Sessions are also solicited. ------------------------------------------------------------------------------ Message 11; Postmarked Mon Oct 7 23:04:02 1996 From: Kim Taejin Subject: RTCSA'96 information Content-Length: 2339 ------------------------------------------------------------------ __ __ __ __ __ ' __ __ Third International Workshop /_/ / / /_ /_/ /_/ /_ on Real-Time Computing Systems /\ / /_ __/ / / __/ /_/ and Applications ------------------------------------------------------------------ Advance Program & CALL FOR PARTICIPATION Third International Workshop on Real-Time Computing Systems and Applications Oct. 30 - Nov. 1, 1996 Seoul National University Seoul, Korea Sponsored by Korea Information Science Society In Cooperation with IEEE Computer Society Technical Committee on Real-Time Systems IEEE RTCSA'96 Home Page http://cselab.snu.ac.kr/RTCSA96 The International Workshop on Real-Time Computing Systems and Applications (RTCSA) has become an annual international forum for exchanging and disseminating recent development in real-time computing. The emphasis has been to bring together researchers and practitioners from academia, industry and government in order to advance the science of real-time computing and promote its applications. RTCSA '96 is the third workshop and will be held at Seoul National University, Korea, October 30 - November 1, 1996. The proceedings contain the technical papers selected for presentation at the workshop. They cover a variety of topics in real-time computing, including multimedia, communications, databases, formal methods, fault tolerance, timing analysis, operating systems, programming environments and scheduling. The technical program also includes five invited talks that address important real-time issues, such as distributed real-time systems, temporal QOS guarantees, ATM networks, scheduling and software architecture. The invited talks are by Hans Hansson (Uppsala University, Sweden), Farnam Jahanian (University of Michigan, USA), Jane Liu (University of Illinois, USA), Doug Locke (Lockheed Martin Corporation), and Hideyuki Tokuda (Keio University, Japan). General Co-Chairs Program Co-Chairs Hide Tokuda Insup Lee Heung-Soon Ihm Heonshik Shin For more information (including program and registration form), please check http://cselab.snu.ac.kr/RTCSA96 ------------------------------------------------------------------------------ Message 12; Postmarked Fri Oct 11 04:34:24 1996 From: wedde@carmin.informatik.uni-dortmund.de (Prof. Horst F. Wedde) Subject: 9th EUROMICRO Workshop on Real-Time Systems Content-Length: 4032 9th EUROMICRO Workshop on Real-Time Systems; Toledo/Spain, June 11-13, 1997 Dear colleague, As the Program Chair of the 1997 EUROMICRO Workshop on Real-Time Systems I would like to invite you to submit a paper to this excellent international conference which is held in the wonderful scenic and cultural environment of Toledo. I feel that a report some of your current work could make a significant contribution to the scientific discussion. For more information on the workshop, I attach an ASCII version of the Call for Papers. Also, a WWW version can be found under http://ls3-www.informatik.uni-dortmund.de/RTS97/ . Looking forward to seeing you in Toledo, Horst F. Wedde Program Chair, EUROMICRO Workshop on Real-Time Systems ____________________________________________________________________ 9TH EUROMICRO WORKSHOP ON REAL TIME SYSTEMS Beatriz Hotel Toledo, Spain June 11-13th 1997 ____________________________________________________________________ CALL FOR PAPERS The ninth Euromicro Workshop on Real Time Systems is a forum aimed at covering state-of-the-art research and development in real time computing, which, through the progress in areas such as multi-media systems, is more and more emerging as an essential discipline in the field of computer science and engineering. TOPICS OF INTEREST include but are not limited to: Specification and Design: behavior specification; description formalisms; design and verification methodologies; performance evaluation and verification; concurrent engineering. Hardware: architectures; real-time oriented devices; coprocessors; timing engines; hardware assisted scheduling. Software: design and analysis; debugging; languages; operating systems; distributed systems; scheduling; monitoring; software reuse; object oriented approaches. Communication: communication protocols; protocol engines; analysis tools; development tools. Applications: multi-media systems; distributed real-time information systems / data bases; embedded systems for automation; sensors / actuators; knowledge-based systems; digital signal processing; animation and simulation. SUBMISSION OF PAPERS Prospective authors are encouraged to e-mail the LaTeX or uuencoded Postscript version of their full paper to the program chairman. If electronic submission is not possible, five hardcopies of the full paper should be sent. The material should be unpublished and not under submission elsewhere. The paper should not exceed 4000 words, and include an abstract of up to 150 words. The title page should clearly show the name, mailing address, the e-mail address and fax number of the author to contact. In the cover letter the topic areas should be pointed out, to which the paper makes contributions. The following declaration should be added: All necessary clearances for the publication of this paper have been obtained. If accepted, the author will prepare the final manuscript in time for inclusion in the proceedings and will personally present the paper at the workshop. The deadline for submissions is November 15, 1996. Authors will be notified of acceptance by February 7, 1997. Camera-ready versions of the full papers will be required by March 14, 1997. The proceedings will be published by IEEE Computer Society. Papers exceeding 8 pages (in special IEEE format) will be charged NLG 100 per page in excess. SPECIAL SESSIONS Proposals of special sessions or panels are welcome. Please send suggestions to the program chairman before the paper submission deadline. IMPORTANT DATES Submission of paper or panel / special session proposals: November 15, 1996 Notification of acceptance: February 7, 1997 Camera-ready full paper due: March 14, 1997 MORE INFORMATION More information on the Workshop and the final Program can be requested from the Euromicro Office or the Program Chairman. ------------------------------------------------------------------------------ Message 13; Postmarked Sun Oct 13 01:46:37 1996 From: Nandit Soparkar Subject: DART'96: Call for participation Content-Length: 7474 Event: Workshop on Databases: Active & Real-Time (Concepts meet Practice) (DART'96) Location: Doubletree Hotel, Rockville, Maryland Date: November 15, 1996. (The day following CIKM'96) Association: 5th Int'l Conference on Information & Knowledge Management 1996. CIKM'96 is sponsored by ACM SIGART & SIGIR, in cooperation with CAIR/KAIST and DISA. Contact: Prof. Nandit Soparkar Prof. Krithi Ramamritham (Program Chair) (General Chair) EECS Department CS Department Univ of Michigan, Ann Arbor Univ of Massachusetts, Amherst soparkar@eecs.umich.edu krithi@cs.umass.edu (313) 647-4849 (413) 545-0196 Web URL: http://www.eecs.umich.edu/~soparkar/Dart96/ Registration via CIKM'96 which has the URL http://www.cs.umanitoba.ca/~dbgroup/cikm96/ Scope: Applications such as manufacturing automation, automated stock-trading, avionics, medical informatics, intelligent transportation systems, telecommunications, multimedia systems, workflow systems, etc. make substantial use of databases but require support beyond those provided by traditional databases. These include support for timeliness and for rule-based activiation of tasks -- topics that are being investigated by researchers working on active and real-time database technologies. However, the understanding of the application requirements, the available technology, and the nexus between research and practice, are still nascent. This one-day workshop is to provide a forum whereby practitioners and researchers can exchange ideas -- primarily with a focus on data management issues in applications with active and real-time requirements. Rather than being a forum in which to report only new research results, this workshop is to provide a means for researchers to understand the needs that application developers have, and for developers to learn about solutions available today. This should assist in the discussion of specific issues, problem areas, and potential solutions, and provide impetus for further research as well as the transition of available technology. In order to promote the discussions, we have chosen brief papers that describe technical contributions in the area w.r.t. research, on-going work, implementation efforts etc. The selected papers will be provided to the participants at the Workshop, and will be published subsequently by ACM. The workshop will consist of brief invited and paper presentations in the first half of the day, followed by in-depth discussions during the latter half of the day. The suggested topics included, but were not limited to: Practice - Research - Manufacturing technology Triggers and constraints Multimedia applications Real-time concurrency control Avionics systems Quality of service Process control Distributed data management Telecommunications Scheduling for data accesses Intelligent transportation Object-oriented paradigms Medical informatics Specifications and tools Real-time Web applications Interactions with OS & network Program stock-trading Reliability and dependability Synchronous collaboration Monitoring and activation Invited Speakers: (Topics and abstracts to be announced shortly) Alex Buchmann (TU Darmstadt) S Chakravarthy (Univ Florida) Umesh Dayal (HP Labs) Madhur Kohli (Bellcore) Hank Korth (Bell Labs) Doug Locke (Lockheed Martin) James Moyne (DTM Michigan) Hiro Shimakawa (Mitsubishi, Japan) Sang Son (Univ Virginia) Tentative Program: 08:00 am - 08:15 am - Coffee 08:15 am - 08:30 am - Chairs' opening remarks 08:30 am - 12:15 am - Invited presentations (nine, 15 min each), select position papers (nine, 5 min each); with a short break 12:15 pm - 01:30 pm - Lunch 01:30 pm - 05:00 pm - Focus groups (three, Practice/Applications), focus groups (three, Concepts/Technologies); with a short break 05:00 pm - 05:15 pm - Closing remarks Focus Group Topics: Practice / Applications: a. Manufacturing process automation b. Telecommunications & Multimedia c. Internet-based applications Concepts / Technologies: a. Programming & middleware support b. Active & rule-based systems c. Real-time data management List of Accepted Papers: (Selection based on reviews and discussion potential) "Adaptive Real-Time Transactions and Risk-Based Load Control" Dogdu, Oszoyoglu CSE Dept, Case Western Res Univ, Cleveland "Incorporation of Multimedia Capabilities in Distributed Real-Time Applications" Gonzalez, Sen, Ramamritham, Stankovic CS Dept, Univ Massachusetts, Amherst "RODAIN: A Real-Time Object-Oriented Database System for Telecommunications" Taina, Raatikainen CS Dept, Univ Helsinki, Finland "The Monitoring of Complex Active Rules with Vector Representation" Kim, Kim, Lee CS Dept, Korea Adv Insti Sci & Tech, S Korea "Research Issues in Real-Time DBMS in the Context of Electronic Commerce" Konana, Gupta, Whinston MSIS Dept, Univ Texas, Austin "Escalations in Workflow Management Systems" Panagos, Rabinovich AT&T Labs - Research, New Jersey "Using Petri Nets for Rule Termination Analysis" Zimmer, Meckenstock, Unland C-LAB Paderborn and Univ GH Essen, Germany "Sensor Data Management in Manufacturing Systems" Parikh, Shin, Soparkar EECS Dept, Univ Michigan, Ann Arbor "Porting an Expert Database Application to an Active Database: An Experience Report" Obermeyer, Warshaw, Miranker Adv Res Labs, Univ Texas, Austin "Design of a Knowledge Base for Network Monitoring" Singhal, Mishra, Weiss AT&T Network & Computing, New Jersey "Timely and Fault-Tolerant Data Access from Broadcast Disks: A Pinwheel-Based Approach" Baruah, Bestavros CS&EE Dept, Univ Vermont and CS Dept, Univ Boston "Why Commercial Database Systems are NOT Real-Time Systems" Jhingran IBM Watson Res Center, New York "Impact of Timing Constraints on Real-Time Database Recovery" Huang, Gruenwald IBM Roanoke and CS School, Univ Oklahoma, Norman "Behavioral Situations and Active Database Systems" Front, Roncancio, Giraudin Lab Logiciel, Grenoble, France "Process Systems and Databases" Berztiss CS Dept, Univ Pittsburg, Pittsburg "An Architecture and Two New Research Problems in ARCS Databases" Datta, Chakravarthy, Thomas, Viguier Univ Arizona, Tucson and Univ Florida, Gainesville "Active Real-Time Database Management for Command and Control Applications" Gengo, Hughes, Krupp, Schafer, Squadrito, Thuraisingham Mitre Corp, USA "Production Information Management for Batch Manufacturing Plants based on ECA Mechanism and View Generation" Takada, Shimakawa, Asano, Takegaki Mitsubishi Elec Corp, Japan "Project Synopsis: Evaluating STRIP" Adelberg, Garcia-Molina CS Dept, Stanford Univ, Palo Alto "Real-Time System Design using Complementary Processing Design Methodology" Trout, Tai, Lee Superior Prog Services, Houston Program Committee: Elisa Bertino (Univ Milano) Azer Bestavros (Boston Univ) Alejandro Buchmann (Tech Univ Darmstadt) Stefano Ceri (Politec di Milano) Umesh Dayal (HP Laboratories) Aleks Gollu (PATH, UC Berkeley) Le Gruenwald (Univ Oklahoma) H V Jagadish (AT&T Research) Anant Jhingran (IBM Research) Madhur Kohli (Bellcore) Jane Liu (Univ Illinois) Doug Locke (Lockheed Martin) James Moyne (DTM, Michigan) Banu Ozden (Bell Labs, Lucent) Gultekin Ozsoyoglu (Case West Res Univ) S Seshadri (Ind Inst Tech Bombay) Sang Son (Univ Virginia) Bhavani Thuraisingham (Mitre) Ozgur Ulusoy (Bilkent Univ) ------------------------------------------------------------------------------ Message 14; Postmarked Thu Oct 3 13:47:45 1996 From: jeffords@itd.nrl.navy.mil (Ralph D. Jeffords) Subject: 3rd IEEE Int'l Symp on Requirements Engineering Content-Length: 3006 Third IEEE International Symposium on Requirements Engineering Annapolis, Maryland, USA 6 - 10 January 1997 Preliminary Program The Third IEEE International Symposium on Requirements Engineering (RE'97) provides a forum for researchers and practitioners to discuss requirements engineering, the branch of software engineering concerned with methods, techniques, and tools for eliciting, specifying, and analyzing software requirements. Featured this year is an industrial program consisting of industry experience reports, a panel on the requirements problem in industry, 5 tutorials, and a tools exhibit. The symposium also features 21 research papers, a minitutorial, 2 workshops, a panel on change, and a doctoral consortium. The symposium site is historic downtown Annapolis, 30 miles (50 km) east of Washington, D.C. SCHEDULE Monday (6 Jan.): Doctoral Consortium; Monday, Tuesday (6-7 Jan.): Tutorials; Wednesday, Thursday, Friday (8-10 Jan.): Technical Program INVITED SPEAKERS ---------------- Anthony Hall (Praxis) "What's the Use of Requirements Engineering?" Colin Potts (Georgia Inst. Tech.) "Requirements Models in Context" John Rushby (SRI International) "Calculating with Requirements" David Harel (Weizmann Institute of Science) "Will I Be Pretty, Will I Be Rich? Theory vs. Practice in Systems Engineering" TUTORIALS --------- Making Requirements Measurable -- Bashar Nuseibeh (Imperial College ) and Suzanne Robertson (Atlantic Systems). Requirements Specification and Analysis With SCR -- Stuart Faulk (Univ. of Oregon) and Connie Heitmeyer (Naval Research Lab.). Software Requirements Specification and System Safety -- Mats Heimdahl (Univ. of Minnesota) and Jon Reese (Univ. of Washington). Requirements Traceability -- Anthony Finkelstein (City Univ., London) and Richard Stevens(QSS). Object-Oriented Requirements Specification -- Roel Wieringa (Free Univ. Amsterdam). MINITUTORIAL ------------ Model Checking and Requirements - Daniel Jackson (Carnegie Mellon Univ. ). PANELS ------ Impact of Environmental Evolution on Requirements Changes -- Chair: Nazim Madhavji, McGill Univ. Industrial Priorities for Requirements Engineering Research -- Chair: Steve Miller, Rockwell-Collins. WORKSHOPS --------- Scenario-Based RE Methods. Software on Demand: Issues for RE. TOOLS EXHIBIT ------------- Chairs: Charles Payne, Dwight Colby, Secure Computing Corp. DOCTORAL CONSORTIUM ------------------- Chair: Myla Archer, Naval Research Lab. ORGANIZING COMMITTEE -------------------- General Chair: Connie Heitmeyer (Naval Research Lab) heitmeyer@itd.nrl.navy.mil Program Chair: John Mylopoulos (Univ. of Toronto) jm@cs.toronto.edu Industrial Chair: Stuart Faulk (Univ. of Oregon) faulk@cs.uoregon.edu For more information and registration materials: http://www.itd.nrl.navy.mil/conf/ISRE97 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------