Subject: IEEE-CS TC-RTS Newsletter for Tue Sep 03, 1996 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Azer Bestavros (798 lines) From the Editor: TC Membership List Updates........................ 3 RTSS'96: Advance Program & Call For Participation.................. 127 RTSS'96 Work In Progress Session (CALL FOR PAPERS)................. 751 2. Raj Rajkumar (161 lines) RTAS'96: Call For Papers........................................... 803 3. Frank Mueller (49 lines) Technical Report: WCET-Analysis For Set-Associative Caches......... 962 4. Azer Bestavros (59 lines) Technical Report: Load Profiling in Distributed RT Systems......... 1011 Technical Report: Pinwheel Scheduling for Broadcast Disks.......... 1047 5. sokolsky@cccc.com (Oleg Sokolsky) (50 lines) Call for Collaboration on New Technology for RT Specification...... 1070 6. "Mike Groth" (48 lines) TOC Real-Time Systems 11:1......................................... 1120 7. (18 lines) PhD position on formal performance modelling....................... 1167 8. hanene@swen.uwaterloo.ca (Hanene Ben-Abdallah) (53 lines) RT Research Fellowship at Linkoping University, Sweden............. 1186 9. Insup Lee (57 lines) Postdoc Position at U Penn......................................... 1239 10. Ahmed Bouajjani (50 lines) Workshop on Hybrid and Real-Time Systems........................... 1296 11. "FORTE-PSTV'96" (59 lines) FORTE/PSTV'96: Program And Call For Participation.................. 1346 12. Herman Geuvers (72 lines) School on Embedded Systems, November 1996, Veldhoven NL............ 1404 13. David Whalley (68 lines) LCT-RTS '97: Call for Papers ...................................... 1477 14. hinchey@homer.njit.edu (Michael Hinchey) (78 lines) ICECCS'96 Call for Participation................................... 1545 15. d.latella@cnuce.cnr.it (Diego Latella) (87 lines) AMAST RTS'97: Preliminary Announcement And Call For Papers......... 1623 16. Matz Kindahl (46 lines) FTRTFT '96: Program and Final Call for Participation............... 1710 17. "Carlos Eduardo Pereira" (40 lines) WRTP96: Advance Program............................................ 1756 18. srivas (38 lines) FMCAD'96: Preliminary Program Announcement......................... 1796 19. CEO21CSInc@aol.com (82 lines) WORDS'97: Call For Papers.......................................... 1834 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Fri Aug 23 09:11:28 1996 From: Azer Bestavros Subject: From the Editor: TC Membership List Updates Content-Length: 3600 In an attempt to update its databases, the IEEE Computer Society is requesting that all Technical Committee members renew their memberships by DECEMBER 31, 1996. I am enclosing below the notice I received regarding this database update. Please make sure you renew your membership in the TC on Real-Time Systems (and up to 3 other technical committees), by completing the form included below. Please send the completed form to k.neal@computer.org ((Please DO NOT send this form To The IEEE-CS TC-RTS)) Thank you for taking the time, --Azer ------------------------------------------------------------------------------ MEMBERSHIP RENEWAL BY DECEMBER 31, 1996 -- To serve our membership the best way we can with limited resources, we must periodically ensure that those of you who receive this newsletter and other information continue to be interested in being part of TC__. Every few years, we will ask that you renew your membership in the technical committee to remain on the list. Renew now by completing and returning the TC application form enclosed by mail, fax, or email. You only need to submit one form for all TCs you belong to, as long as you check the appropriate boxes (up to four). Members who do not respond by December 31, 1996 will be removed from the TC list(s). The form below is also available at http://www.computer.org/tab/tcapplic.htm ------------------------------------------------------------------------------ First (Given) Name: Middle (Patronymic) Name: Last (Family) Name: Suffix: Prefix (Dr./Mr./Mrs./Ms./Miss/Prof/Other): __________________________________________________________________________ Company/Organization: Office Street Address (Please use street addresses over P.O.): City: State/Province: Country: Postal Code: Office Phone(s): Office Fax(ex): Email Address(es)(Internet accessible): Web Address(es): __________________________________________________________________________ Home Address (optional): City: State/Province: Country: Postal Code: Home Phone(s): Home Fax(es): __________________________________________________________________________ Enter IEEE Member Number: [ ]I am a member of the Computer Society Please Note: Only current Computer Society members are eligible to receive Technical Committee newsletters. PLEASE SELECT UP TO FOUR OF THE FOLLOWING: (Only the first four you select will be recorded.) TECHNICAL COMMITTEES [ ]TCCX - Complexity in Computing [ ]TCCM - Computational Medicine [ ]TCCA - Computer Architecture [ ]TCCC - Computer Communications [ ]TCCE - Computer Elements [ ]TCCGM - Computer Generated Music [ ]TCCG - Computer Graphics [ ]TCCL - Computer Languages [ ]TCCP - Computer and System Packaging [ ]TCDE - Data Engineering [ ]TCDA - Design Automation [ ]TCDP - Distributed Processing [ ]TCECBS - Engineering of Computer Based Systems [ ]TCFT - Fault-Tolerant Computing [ ]TCMS - Mass Storage Systems [ ]TCMF - Mathematical Foundations of Computing [ ]TCMARCH - Microprogramming and Microarchitecture [ ]TCMCOMP - Microprocessors and Microcomputers [ ]TCMC - Multimedia Computing [ ]TCMVL - Multiple Valued Logic [ ]TCOS - Operating Systems and Application Environments [ ]TCPP - Parallel Processing [ ]TCPAMI - Pattern Analysis and Machine Intelligence [ ]TCRT - Real-Time Systems [ ]TCSP - Security and Privacy [ ]TCSIM - Simulation [ ]TCSA - Supercomputing Applications [ ]TCTT - Test Technology [ ]TCVLSI - VLSI TECHNICAL COUNCILS [ ]TCSE-Software Engineering TASK FORCES [ ]TFDL - Digital Libraries [ ]TFYF - YUFORIC (Youth Forum in Comp. Science & Engineering) ______________________________________________________________________________ Please Send Form To: k.neal@computer.org IEEE Computer Society 1730 Massachusetts Ave, NW Washington, DC 20036-1992 Phone: (202) 371-0101 FAX: (202) 728-9614 Postmarked Wed Jul 24 08:55:19 1996 From: Azer Bestavros Subject: RTSS'96: Advance Program & Call For Participation Content-Length: 24129 ------------------------------------------------------------------------------- __ __ __ __ , __ __ /_/ / /_ /_ /_//_ 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 Postmarked Wed Jul 24 08:55:19 1996 From: Azer Bestavros Subject: RTSS'96 Work In Progress Session (CALL FOR PAPERS) Content-Length: 8877 ** NOTICE NEW DEADLINE ***** NOTICE NEW DEADLINE ***** NOTICE NEW DEADLINE ** ------------------------------------------------------------------------------ ---. --- ,--.,--. / .--. .-- 17th IEEE Real-Time Systems Symposium | | | | | | | | December 4-6, 1996 |--' | `--.`--. `--| |--. Washington, DC | \ | | | | | | | \ | `--'`--' `--' `--' SESSION ON WORK IN PROGRESS Sponsored by IEEE-CS TC-RTS Call for Contribution ------------------------------------------------------------------------------ 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 emailed 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 ------------------------------------------------------------------------------ ------------------------------------------------------------------------------ Message 2; Postmarked Fri Aug 23 08:55:19 1996 Date: Wed, 24 Jul 1996 08:55:15 -0400 From: Raj Rajkumar To: IEEE-RTTC@cs.bu.edu Subject: RTAS'96: Call For Papers ------------------------------------------------------------------------------ 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 ---------------------------------------------------------------------------- Contents Objectives Best Student Paper Award Submissions Important Deadlines Symposium Organizers ---------------------------------------------------------------------------- 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. Voice: 412-268-8707 Fax: 412-268-5574 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 Last revised: Thu Aug 15 1996 by raj+@cs.cmu.edu ------------------------------------------------------------------------------ Message 3; Postmarked Mon Aug 26 04:04:06 1996 From: Frank Mueller Subject: Technical Report: WCET-Analysis For Set-Associative Caches Content-Length: 2005 I'd like to announce the availability of a the tech report "Generalizing Timing Predictions to Set-Associative Caches" by F. Mueller in TR 96-66 Institut f. Informatik, Humboldt-University, Aug 1996 available via WWW http://www.informatik.hu-berlin.de/~mueller/publications.html with the following abstract: Hard real-time systems rely on the assumption that the deadlines of tasks can be met -- otherwise the safety of the controlled system is jeopardized. Several scheduling paradigms have been developed to support the analysis of a task sets and determine if a schedule is feasible. These scheduling paradigms rely on the assumption that the worst-case execution time (WCET) of hard real-time tasks be known {\em a-priori}. In the past years, research in the static prediction of WCET has been extended from unoptimized programs on simple CISC processors to optimized programs on pipelined RISC processors, and from uncached architectures to direct-mapped instruction caches. The work presented here goes one step beyond the previous research by introducing the first framework to handle WCET prediction for {\em set-associative caches}. Generalizing the work of static cache simulation of direct-mapped caches to set-associative caches, a formalization of the new method is given and the operational characteristics are presented and discussed by example. Furthermore, WCET predictions for several programs are presented by combining the static cache analysis for set-associative caches with a timing analysis tool. This approach has the advantage that cache configuration details are handled by static cache simulation but remain transparent to the timing analyzer. Overall, this work fills another gap between realistic WCET prediction of contemporary cached architectures and its use in schedulability analysis for hard real-time systems. -- Frank Mueller Humboldt-Universitaet zu Berlin E-Mail : mueller@informatik.hu-berlin.de WWW URL: http://www.informatik.hu-berlin.de/~mueller ------------------------------------------------------------------------------ Message 4; Postmarked Mon Aug 26 04:04:06 1996 From: Azer Bestavros Subject: Technical Report: Load Profiling in Distributed RT Systems Content-Length: 1631 Title: Load Profiling in Distributed Real-Time Systems Author: Azer Bestavros Date: August 1, 1996 URL: http://www.cs.bu.edu/techreports/96-017-load-profiling.ps.Z Abstract: Load balancing is often used to ensure that nodes in a distributed systems are equally loaded. In this paper, we show that for real-time systems, load balancing is not desirable. In particular, we propose a new load-profiling strategy that allows the nodes of a distributed system to be unequally loaded. Using load profiling, the system attempts to distribute the load amongst its nodes so as to maximize the chances of finding a node that would satisfy the computational needs of incoming real-time tasks. To that end, we describe and evaluate a distributed load-profiling protocol for dynamically scheduling time-constrained tasks in a loosely-coupled distributed environment. When a task is submitted to a node, the scheduling software tries to schedule the task locally so as to meet its deadline. If that is not feasible, it tries to locate another node where this could be done with a high probability of success, while attempting to maintain an overall load profile for the system. Nodes in the system inform each other about their state using a combination of multicasting and gossiping. The performance of the proposed protocol is evaluated via simulation, and is contrasted to other dynamic scheduling protocols for real-time distributed systems. Based on our findings, we argue that keeping a diverse availability profile and using passive bidding (through gossiping) are both advantageous to distributed scheduling for real-time systems. Postmarked Mon Aug 26 04:04:06 1996 From: Azer Bestavros Subject: Technical Report: Pinwheel Scheduling for Broadcast Disks Content-Length: 767 Title: Pinwheel Scheduling for Fault-tolerant Broadcast Disks in Real-time Database Systems Author: Sanjoy Baruah (U of Vermont) and Azer Bestavros (Boston U) Date: August 22, 1996 URL: http://www.cs.bu.edu/techreports/96-023-pinwheel-bdisks.ps.Z Abstract: The design of programs for broadcast disks which incorporate real-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disks is defined. It is shown that designing programs for broadcast disks specified in this model is closely related to the scheduling of pinwheel task systems. Some new results in pinwheel scheduling theory are derived, which facilitate the efficient generation of real-time fault-tolerant broadcast disk programs. ------------------------------------------------------------------------------ Message 5; Postmarked Fri Jul 5 14:45:17 1996 From: sokolsky@cccc.com (Oleg Sokolsky) Subject: Call for Collaboration on New Technology for RT Specification Content-Length: 2295 New Technology for Specification and Analysis of Real-Time Systems We have developed a software engineering tool for formal specification and verification of distributed real-time systems using a process- algebraic formalism. We believe that our approach offers a great promise for ensuring that real-time systems will behave correctly. The formalism can be used to express directly quantitative timing constraints within a specification. Our approach is different from most other formal specification paradigms in that several useful notions such as priorities, interrupts and exceptions are incorporated into the formal model. In addition, our approach allows modular and hierarchical specifications and is especially effective for large scale specifications. The specification language is based on a simple set of graphical primitives that provide intuitive visualization of specifications. The tool implements several analysis techniques that can be used to show the functional and temporal correctness of a specification. In particular, the analysis of temporal correctness takes scheduling policy into consideration. We are seeking cooperation of organizations that are interested in benefiting from early participation in this technology. Our goal is to explore the applicability of our tool to real-life problems and to better understand the strengths and weeknesses of the tool. So, we are looking for test cases of distributed systems with real-time requirements. As a result of our cooperation, we intend to return to you a visual formal specification of your system, as well as results from the analysis of behavioral properties such as absence of deadlocks, conformance with timing requirements, etc. If you would like to get more information, please email to Oleg Sokolsky at sokolsky@cccc.com. -- ----------------------------------------------------------------+ Oleg Sokolsky, Ph.D. sokolsky@cccc.com | Computer Scientist oleg@cs.sunysb.edu | | Computer Command & Control Co. work: (215)854-0128 | 2300 Chestnut St. Su.230 fax: (215)854-0665 | Philadelphia, PA 19103 | ----------------------------------------------------------------+ ------------------------------------------------------------------------------ Message 6; Postmarked Wed Jul 17 09:29:05 1996 From: "Mike Groth" Subject: TOC Real-Time Systems 11:1 Content-Length: 916 Table of Contents: Real-Time Systems Volume 11, Number 1, July 1996 Daniel L. Kiskis and Kang G. Shin, A Synthesis Workload for a Distributed Real-Time System 5 Ismael Ripoll, Alfons Crespo, and Aloysius K. Mok, Improvement in Feasibility Testing for Real-Time Tasks 19 Kazunori Takashio and Mario Tokoro, Least Suffering Strategy in Distributed Real-Time Programming Language DROL 41 Rajiv Gupta and Madalene Spezialetti, A Compact Task Graph Representation for Real-Time Scheduling 71 Contributing Authors 103 For more information, please contact: In North & South America: Kluwer Academic Publishers 101 Philip Drive Norwell, MA 02061 U.S.A. Tel: (617) 871-6600 Fax: (617) 871-6528 E-mail: kluwer@wkap.com Rest of World: Kluwer Academic Publishers P.O. Box 322 3300 AH Dordrecht, the Netherlands Tel: (31) 786 392 392 Fax: (31) 786 392-254 E-mail: services@wkap.nl ------------------------------------------------------------------------------ Message 7; Postmarked Thu Jul 11 12:09:05 1996 Subject: PhD position on formal performance modelling From: Content-Length: 528 PhD position on formal performance modelling for telecomms networks. There is a case award PhD available with BT and the School of Computer Studies, University of Leeds to examine compositional approaches to performance modelling in telecomms networks. The project would especially suit someone interested in Concurrency theory or Queueing theory or with experience in related mathematical and computational areas. The award will be a standard CASE and involve collaboarting with the BT research Laboratories at Martelsham. ------------------------------------------------------------------------------ Message 8; Postmarked Tue Aug 6 13:49:42 1996 From: hanene@swen.uwaterloo.ca (Hanene Ben-Abdallah) Subject: RT Research Fellowship at Linkoping University, Sweden Content-Length: 1854 The Swedish government has made a few research fellowships possible in the area of computer science. In particular our institute have received funding for one position in real-time systems. The intention with these positions is to give young PhD's the possibility to do research for 3+3 years nominally in order to merit themselves for tenure positions. A second intention is to strongly encourage female applicants (in practice it is a requirement) The salary is negotiable, but corresponds to somewhat less than an assistant professor and is of course dependent upon earlier experience etc. This kind of position "normally" means that the person having it will most probably be able to find a tenure position at our department or somewhere else. The direction of research is rather free, but should be connected to some research group of the department. Swedish universities are currently expanding their curricula for systems oriented undergraduate and graduate studies. Linkoping University has the largest Computer Science dept in Sweden - about 100 graduate students, 35 faculty giving 130 courses throughout the university and with 60% of the budget to research. The department has been expanding since the start in 1984 and we're currently strenghtening our position in the real-time/embedded systems area. If you want to browse us via the web: http://www.ida.liu.se and RTSLAB can be found under http://www.ida.liu.se/labs/rtslab/. The position is currently under formal handling and an official ad will come soon. If you or somebody you know are/is interested in real-time research I would strongly encourage you to contact me soon. Best regards, Ass. Professor Anders Torne RTSLAB Dept of Computer and Information Science Linkopings Universitet S-581 83 Linkoping, Sweden Email: ato@ida.liu.se Tel: +46 13 282365 Fax: +46 13 284020 ------------------------------------------------------------------------------ Message 9; Postmarked Fri Aug 9 06:48:24 1996 From: Insup Lee Subject: Postdoc Position at U Penn Content-Length: 1572 POSTDOCTORAL RESEARCH JOB at The University of Pennsylvania Department of Computer and Information Science The Logic and Computation Group of the University seeks applications for a Postdoctoral Research Student with an interest in the application of formal methods in software engineering. Particular areas of interest include: 1. Theory relevant to SE: especially semantic specification techniques. 2. The construction of tools: such as automated reasoning tools and logic-based systems for testing or other SE activities. 3. The application of tools: such as the use of automated reasoning tools to prove properties of languages or programs. 4. The development of standards for programming and specification languages or the formalization of standards. 5. Domain application of formal methods: such as specifying security, safety, and real-time properties. The term of the position is 1 year with an option to renew for an additional year. A starting date before January of 1997 is expected; candidates should have completed all thesis requirements by that time. A competitive salary will be offered. We will also consider applications to support sabbatical leaves at Penn for researchers in this area. Please send a complete CV including addresses for at least three references to one of the following people: Carl Gunter gunter@cis.upenn.edu http://www.cis.upenn.edu/~gunter Insup Lee lee@cis.upenn.edu http://www.cis.upenn.edu/~lee/home_lee.html Dale Miller dale@cis.upenn.edu http://www.cis.upenn.edu/~dale ------------------------------------------------------------------------------ Message 10; Postmarked Mon Jul 8 10:37:04 1996 From: Ahmed Bouajjani Subject: Workshop on Hybrid and Real-Time Systems Content-Length: 1956 First Call for Papers International Workshop on Hybrid and Real-Time Systems (HART'97) March 26-28, 1997 Grenoble, France During the last couple of years, the interest in hybrid (discrete continuous) models for modern control systems has been steadily growing. These are systems in which physical devices interact with controllers which incorporate discrete as well as classical components. Research on hybrid systems tries to meet the challenges of such complex systems by offering various formal models that employ continuous and discrete components such as timed and hybrid automata, piecewise-linear dynamical systems, etc., and by investigating the application of classical control and computer science notions and techniques (e.g., modelling, stability analysis, verification, control synthesis, simulation) to these models. The hybrid nature of the models encourages the use of diverse mathematical tools originating from both computer science (e.g., logic and theorem proving, automata and graph algorithms) and more traditional mathematics and engineering (dynamical systems, control theory, linear algebra, symbolic computation). Such techniques should be present in future tools for automating some of the activities associated with the design of hybrid systems. The three-day workshop will combine invited talks and presentations of accepted submissions. Submissions are invited in all areas pertaining to the formal verification and control of embedded systems. Topics include, but are not limited to, formal models and specification languages, algorithmic and deductive verification, control and optimization, simulation and testing, design and synthesis, complexity and decidability issues, automatic and interactive tools, experimental results and applications. For more information send an Email message to hart97@imag.fr ------------------------------------------------------------------------------ Message 11; Postmarked Wed Jul 10 06:03:29 1996 From: "FORTE-PSTV'96" Subject: FORTE/PSTV'96: Program And Call For Participation _____ ___ ____ _____ _____ ______ ____ _______ ___ ___ __ | ___/ _ \| _ \_ _| ____| / / _ \/ ___|_ _\ \ / ( ) _ \ / /_ | |_ | | | | |_) || | | _| / /| |_) \___ \ | | \ \ / /|/ (_) | '_ \ | _|| |_| | _ < | | | |___ / / | __/ ___) || | \ V / \__, | (_) | |_| \___/|_| \_\|_| |_____/_/ |_| |____/ |_| \_/ /_/ \___/ FORTE/PSTV'96 PROGRAM and CALL FOR PARTICIPATION IFIP TC6/WG6.1 Joint International Conference on FORMAL DESCRIPTION TECHNIQUES (IX) for Distributed Systems and Communication Protocols, and PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (XVI) Kaiserslautern, Germany, October 8-11, 1996 URL: http://www.informatik.uni-kl.de/aggotz/forte.pstv96 FORTE/PSTV'96 will address Formal Description Techniques (FDTs) applicable to communication protocols and distributed systems (such as Lotos, SDL, Estelle, ASN.1, TTCN, Z, automata, process algebras, logics). The conference will be a forum for presentation of the state of the art in theory, application, tools and industrialization of FDTs, and will provide an excellent orientation for newcomers. For the first time, the hitherto separate conferences FORTE and PSTV will be combined into a joint edition. The conference offers the presentation of 24 research papers, 4 industrial usage reports, 5 tutorials and a number of tool demonstrations. Invited talks will be given by Andre Danthine (University of Liege, Belgium), Manfred Broy (TU Munich, Germany), Ed Brinksma (University of Twente, The Netherlands), and Lothar Mackert (IBM, Germany). Tutorials will be held on October 8 only. Tool presentations will take place in parallel with the conference presentations on October 9 to 11, 1996. Participants will receive the final proceedings published by Chapman & Hall, the official publisher of IFIP TC6/WG6.1 proceedings, at the conference. FORTE/PSTV'96 is organized by the University of Kaiserslautern and sponsored by IFIP TC6/WG6.1. Financial supporters are: Deutsche Forschungsgemeinschaft (DFG), Siemens, Deutsche Telekom, SUN Microsystems, Q-Labs, and the Stadtsparkasse Kaiserslautern. Content-Length: 122 For more information check the conference Home Page at URL: http://www.informatik.uni-kl.de/aggotz/forte.pstv96 ------------------------------------------------------------------------------ Message 12; Postmarked Mon Jul 22 08:47:05 1996 Subject: School on Embedded Systems, November 1996, Veldhoven NL From: Herman Geuvers Content-Length: 2736 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ European Educational Forum SCHOOL on EMBEDDED SYSTEMS Veldhoven, The Netherlands, November 25 -- 29, 1996 Preliminary Announcement +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 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. A common denominator of all three research schools is the training of Ph.D. students and young researchers. 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. Sensors continuously gather information from the environment. The service of the embedded system is to process this information and to signal the actuators in accordance with the mechanisms of the controlled process. 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. Further Information =================== For further information, contact by e-mail, ipa@win.tue.nl by WWW, http://www.win.tue.nl/win/cs/ipa/ ------------------------------------------------------------------------------ Message 13; Postmarked Thu Jul 25 10:34:47 1996 From: David Whalley Subject: LCT-RTS '97: Call for Papers Content-Length: 2824 Call for Papers ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems http://www.cs.pitt.edu/~gupta/lct-rts97.html Las Vegas, Nevada, 15 June, 1997 (In Conjunction with ACM SIGPLAN PLDI and PPoPP) ACM SIGPLAN LCT-RTS '97 is an interface between two dynamic fields of computer science and engineering: programming language implementation and real-time systems. Researchers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCT-RTS is intended to expose researchers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact. Until recently real-time systems development was performed by experienced specialists using a variety of custom kernels, non- standard languages, and vendor-specific device interfaces. 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 real-time developers is no longer composed of embedded control experts. New software approaches are needed to support these new systems and provide appropriate tools for real- time programmers. Original submissions are invited in all areas relevant to this theme. Appropriate topics include (but are not restricted to) the following aspects of real-time systems. * Programming languages for real-time applications * Real-time design, specification, analysis * Exception & interrupt handling for real-time * Timing analysis: static & dynamic * Program optimization for real-time performance * Real-time profiling, measurement, & debugging * Real-time scheduling analysis * Real-time memory management & garbage collection * Language support for imprecise computation * Real-time on RISCs: caches, pipelines, windows * Real-time system integration & testing * Support for partitioning, mapping, & compression Papers should report new research and should not exceed 5000 words (approximately 10 typeset on 16-point spacing, or 15 typewritten double-spaced pages). Short papers that describe existing implementations or work-in-progress, or outline new problems or important issues are also welcome. Short papers should not exceed 3000 words (6 pages). All accepted papers will be presented at the workshop and published in the proceedings, which will be distributed at the workshop. For more information check the Workshop's home page at http://www.cs.pitt.edu/~gupta/lct-rts97.html ------------------------------------------------------------------------------ Message 14; Postmarked Mon Aug 5 11:25:21 1996 From: hinchey@homer.njit.edu (Michael Hinchey) Subject: ICECCS'96 Call for Participation Content-Length: 2998 Second IEEE International Conference on Engineering of Complex Computer Systems Held jointly with 6th CSESAW, 4th IEEE RTAW and SES'96 Montreal Bonaventure Hilton, Montreal, Quebec, Canada October 21-25, 1996 Sponsored by IEEE Computer Society and IEEE Technical Committee on Complexity in Computing Description: IEEE Computer Society's Second International Conference on the Engineering of Complex Computer Systems (ICECCS'96) is to be held in Montreal, Quebec, Canada, in October 1996, jointly with the 6th Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'96), the 4th IEEE Workshop on Real-Time Applications (RTAW'96), and the IEEE Forum on Software Engineering Standards Issues (SES'96). Scope: Complex computer systems are becoming common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. These systems frequently include distributed, heterogeneous networks, and are driven by requirements on performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns, and other areas. Such requirements frequently conflict, and satisfaction of these requirements requires managing the tradeoffs among them during system development and throughout the entire system life. The goal of this conference is to bring together industrial, academic, and government experts from these various disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. Long-term research, near-term complex system requirements and promising tools, and existing complex systems and commercially available tools will be examined on a level playing field. Keynote Speakers: - Bertram Neville Brockhouse, McMaster University, Canada (Nobel Prize in Physics 1994) - David Gries, Cornell University, USA - Ric Holt, University of Toronto Technical Program includes 76 papers from academia, industry and government sectors, and two panels of high current interest: - New Paradigms - Building Safety into Systems Applications Exhibits: State-of-the-art ECCS tools will be exhibited. Tutorials are planned as follows: - Improved Software Testing with the Use of Metrics by Al Sorkowitz - Software Design for Client/Server and Distributed Applications by Hassan Gomaa - JAVA - Part I: The Java Programming Language by Guy L. Steele Jr. - Part II: Java for Embedded Real-Time Development by Kelvin Nilsen - Concepts and Use of the Common Object Request Broker Architecture by Bernd Kraemer - Software Reliability Engineering for Client-Server Systems by Norman F. Schneidewind Registration form and detailed information are available via WWW: http://www.rtl.njit.edu/iceccs96.html e-mail requests: iceccs96@rtlab12.njit.edu ------------------------------------------------------------------------------ Message 15; Postmarked Tue Aug 6 13:52:59 1996 From: d.latella@cnuce.cnr.it (Diego Latella) Subject: AMAST RTS'97: Preliminary Announcement And Call For Papers Content-Length: 4045 PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software. Towards a mathematical transformation-based development ______________________________ May 21-23, 1997, Ciutat de Mallorca, Mallorca Celebrating Ramon Llull (1232-1316) Motivation The term mathematically-based transformation will be given here a wide interpretation. Correctness-preserving transformations, proofs, specification and design refinement, optimization transformations, allocation-mapping, and many other development activities will be encompassed. Real-Time Concurrent and Distributed Software (CDS) development is usually divided into distinct phases such as Specification, Design, Simulation, Verification, Allocation-Mapping, Coding, etc. Although this is convenient, current methodology tends to blur the common characteristics of many of these phases. The exploitation of the commonalities of these phases by a mathematically-based development will lead to robust systems and simplifications. Therefore, research that leads to a unifying methodology for the development of these phases is highly desirable. There are many disparate efforts directed towards the development of a mathematical methodology for CDS development, pursued by various authors who follow different directions in their research. But the variety of approaches is not conducive to the development of a unifying methodology. Consequently, designers of real-world systems still keep a certain distance from the theoretical approaches described in the literature, which are applied mostly by academics. The unifying methodology supported by mathematically-based transformations is worth exploring in order to bring formal methods closer to industry. Goals Preceded by other three successful workshops which launched a valuable initiative in the area of real-time and concurrent systems, the 4th AMAST Workshop on Real-Time Systems, further referred by the acronym ARTS'97, has as its major goal the promotion and sharing of current efforts and experiences in the application of either existing or novel theories, methods, and tools to real-life projects. Therefore, presentation of work leading to, or facilitating, a mathematical transformation-based development, in the above sense, is encouraged. Hence, real-time aspects and progress properties of CDS's will be the theme of ARTS'97. To do so, the organizers seek to bring together top researchers on CDS's, mathematicians, computer scientists, and control and other engineers from all areas of interest, to evaluate previous achievements and to give new directions for further research. As in all AMAST conferences and workshops, particular emphasis will be given to algebraic and logical foundations of software technology. Our final goal is to show that algebraic and logical methodology provides a practically viable and attractive alternative to the current approaches to software engineering of concurrent and distributed systems. A systemic approach has potential to bring a solid foundation to the concepts used in the design and implementation process of these systems. For more information, please contact Miquel Bertran Program Committee Chair, ARTS'97 Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software. General Systems Development (GSD) Pg. Manuel Girona 71 08034 - Barcelona, Spain Phone: 34-3-2801935 Fax: 34-3-2804227 e-mail: 100140.2140@Compuserve.com ------------------------------------------------------------------------------ Message 16; Postmarked Wed Aug 7 04:49:47 1996 From: Matz Kindahl Subject: FTRTFT '96: Program and Final Call for Participation Content-Length: 1471 FTRTFT'96 4th International School and Symposium Formal Techniques in Real Time and Fault Tolerant Systems Sept 9-10 (School) and Sept 11-13 (Symposium) 1996, Uppsala, Sweden PROGRAMME and CALL FOR REGISTRATION OBJECTIVES Computer systems are becoming increasingly widespread in real-time and safety-critical applications. Such systems are characterized by the crucial need to manage their complexity in order to produce reliable designs. Formal techniques offer a foundation for systematic design of complex systems. They have beneficial applications throughout the engineering process, from the capture of requirements through specification, design, coding and compilation, down to the hardware which embeds the system into its environment. Their use may presuppose novel system architectures and design principles. The school and symposium are devoted to considering the problems and the solutions in safe system design, and to examining how well the use of advanced design techniques and formal methods for design, analysis and verification serves in relating theory to practical realities. This is the fourth in a line of International Schools and Symposia, previous were held at Warwick 1989, at Nijmegen 1992, and at Lübeck 1994. Proceedings of these symposia are published as volumes 331, 571, and 863 in the LNCS series by Springer Verlag. FOR MORE INFORMATION PLEASE CHECK http://www.docs.uu.se/ftrtft96/ ------------------------------------------------------------------------------ Message 17; Postmarked Fri Aug 9 14:20:32 1996 From: "Carlos Eduardo Pereira" Subject: WRTP96: Advance Program Content-Length: 1137 ADVANCE PROGRAM 21st IFAC/IFIP WORKSHOP ON REAL_TIME PROGRAMMING WRTP`96 Hotel Serra Azul 4-6 November 1996 Gramado - RS, Brazil SCOPE The workshop will consist of formal presentations, discussions and informal meetings covering recent advances and current issues in theory, applications, and technology of real-time programming. It is to promote interaction among researchers and practitioners and to evaluate the maturity of new directions in real-time software. The topics to be covered at the workshop include, but are not restricted to: Advances in real-time programming languages Requirements engineering methods for real-time systems Software design methods for predictable behaviour Real-time scheduling and resource management Real-time operating systems Real-time communication architectures, incl. MAP and Fieldbus Verification and validation, esp. of timing properties Dependability issues Industrial applications and experience Evaluation of current real-time systems Real-time (control) systems coping with challenging time constraints For more information check http://www.cesup.ufrgs.br/DELET/wrtp96.html ------------------------------------------------------------------------------ Message 18; Postmarked Mon Aug 19 17:55:16 1996 From: srivas Subject: FMCAD'96: Preliminary Program Announcement Content-Length: 1552 A Forum for State-of-the-art Tools and Techniques Based on Formal Methods for Computer-Aided Design of Hardware +---------------------------------------------------------------------+ | FMCAD '96 | | | | International Conference on Formal Methods in Computer-Aided Design | | (Successor to Theorem Provers in Circuit Design) | | | | 6 -- 8 November | | Holiday Inn, Palo Alto, California, USA | | In the Heart of Silicon Valley | +---------------------------------------------------------------------+ Sponsored by SRI International * IFIP WG 10.5 * Cadence Berkeley Labs * Hewlett-Packard Company LSI Logic Corporation * Rockwell International Synopsys, Inc. * Texas Instruments, Inc. INTENDED PARTICIPANTS: Researchers as well as practicing digital design engineers interested in hardware verification, synthesis and testing. General Information: http://www.csl.sri.com/FMCAD96; tel: +1 415/859-5924; fax: +1 415/859-2844; email: burgess@csl.sri.com. ------------------------------------------------------------------------------ Message 19; Postmarked Wed Aug 21 13:14:34 1996 From: CEO21CSInc@aol.com Subject: WORDS'97: Call For Papers Content-Length: 2889 CALL FOR PAPERS 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. Sponsored by: IEEE Computer Society TC on Distributed Processing 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 are: - 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 depend- able objects - Testing and evaluation of temporal and dependability properties - Database architecture for real-time or highly- dependable services - Multimedia and network applications - Object-oriented, real-time simulations - Interoperability. - Experience on automobile, avionics, industrial and medical applications Other related issues that are important to the design and implementation of object-oriented real-time dependable sys- tems are all welcome. For more information, please check with Prof. Phillip C-Y Sheu Department of Electrical and Computer Engineering University of California Irvine, CA 92697, USA +1-714-824-2660 +1-714-824-2321 (fax) sheu@ece.uci.edu ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------