To: (Members of the IEEE-CS TC-RTS mailing list) Bcc: IEEE-RTTC-mailing-list@cs.bu.edu From: Bestavros@cs.bu.edu (Azer Bestavros, TC-RTS maintainer) Reply-To: IEEE-RTTC@cs.bu.edu (E-mail address for Newsletter posts) Return-Path: IEEE-RTTC-request@cs.bu.edu (E-mail address for service requests) Subject: IEEE-CS TC-RTS Newsletter for Sun Nov 20, 1994 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. yo5u@server.cs.virginia.edu (32 lines) Ph.D. Thesis available............................................. 3 2. Tom Henzinger (30 lines) World-Wide Verification Web ....................................... 34 3. Hussein Zedan (51 lines) RESEARCH FELLOW POSITION........................................... 65 4. yodaiken@sphinx.nmt.edu (Victor Yodaiken) (69 lines) Paper announcement................................................. 115 5. Eric Rutten (50 lines) Research report available.......................................... 184 6. Maciej.Koutny@newcastle.ac.uk (62 lines) Position at Newcastle.............................................. 234 7. Wei Zhao (438 lines) RTSS 94 Advance Program............................................ 297 8. Ted Baker (127 lines) IEEE Real-Time Technology and Application Symposium................ 735 9. rich@cs.UMD.EDU (Richard Gerber) (110 lines) CFP: ACM SIGPLAN Languages, Compilers & Tools for Real-Time Syste.. 862 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Wed Oct 12 16:19:12 1994 From: yo5u@server.cs.virginia.edu Subject: Ph.D. Thesis available. For those who are interested in real-time scheduling and fault-toleranting scheduling, I have put up my Ph.D. thesis in the following site for anonymous "ftp": ftp uvacs.cs.virginia.edu login with "anonymous" cd /net/ftp/pub/yo5u get Y_Oh_thesis.ps My thesis: "The Design and Analysis of Scheduling Algorithms for Real-time and Fault-tolerant Computer Systems.", Dept. of Computer Science, University of Virginia, May 1994. It can also be accessed through my home page at http://uvacs.cs.virginia.edu/~yo5u/ Thank you. --Yingfeng Oh ------------------------------------------------------------------------------ Message 2; Postmarked Sun Oct 16 19:00:36 1994 Subject: World-Wide Verification Web From: Tom Henzinger Dear friends, There is a WWW home page on formal methods research at Cornell with the URL http://www.cs.cornell.edu/Info/People/tah/formal_methods_at_cornell.html I would like to include links to related URLs at other sites, with the ultimate goal of creating a formal methods subweb.^1 If you know of relevant web pages (paper collections, bibliographies, projects, tools, case studies, etc.), please let me know. I would prefer pages of the type "Formal Methods at Cornell" over "The Cornell Computer Science Department" (too general) or "Tom Henzinger's Home Page" (too specific), as the former contains links to those faculty and project pages at Cornell that are concerned with formal methods. Also feel free to distribute this message. Thanks, Tom ^1 If such an effort exists already, I am ignorant of it, and we at Cornell would simply like to be linked in. ------------------------------------------------------------------------------ Message 3; Postmarked Tue Nov 1 07:24:25 1994 From: Hussein Zedan Subject: RESEARCH FELLOW POSITION RESEARCH FELLOW POSITION Applicants are invited for a 3-year EPSRC (Engineering and Physical Research Council) Research Fellowship to join an expanding research group investigating the use of Formal Methods for the development of computing systems. The group is currently holding various research grants from EPSRC, ESPRIT and industry (Smiths and ISI); and collaborating with several British Universities (Oxford, Newcastle and York). The current research grant is a collaborative project with the University of Newcastle and it aims to investigate compositional approaches to the specification and design of systems using ITL (Interval Temporal Logic) and its associtaed programming language Tempura. In particular, we aim to (o) develop appropriate abstractions for ITL, by which implementation-dependent aspects can be represented. Such abstractions should, among many things, allow the inclusion of multi time-scales which will be suitable for modelling loosely coupled system in which varying degrees of granularity can be modeeled. (o) identify a rich subset of the extended ITL that is executable and build a workable intreprter for it. (o) demonstrate the developed theory and the finished interpreter by application to the design and analysis of a fine-grained multi-threaded dataflow CPU which is being developed in Newcastle. The successful candidate is expected to be interested in Formal Methods. Competence in the programming langauges C and/or Lisp may be an advantage as would experience with Temporal Logic. Candidates are expected to have completed or about to complete a PhD in Computer Science. However, those with first class or 'good' secon class honours degree are also encouraged to apply and would be given the opportunity to register for a PhD degree. The post is available IMMEDIATELY and salary will be at an appropriate point on a scale (13,140 - 20,052), according to age, qualifications and experience. Application forms and further particulars could be obtained from the Personnel Office, Rodney House, 70 Mount Pleasent, Liverpool. Informal enquiries can be made directly to Prof. H Zedan (Tel. 051-2312266 or email: cmshzeda@livjm.ac.uk) ------------------------------------------------------------------------------ Message 4; Postmarked Fri Nov 11 13:09:14 1994 Subject: Paper announcement From: yodaiken@sphinx.nmt.edu (Victor Yodaiken) Readers of this list may be interested in reading a draft paper of mine called "Representations of Automata". It is available on www and via ftp. Comments appreciated. web :http//www.cs.nmt.edu/~yodaiken ftp minos.nmt.edu:/pub/yodaiken/represent.ps Victor Yodaiken yodaiken@chelm.nmt.edu ----------------------------------------------------------- >From the introduction. A {\em state dependent function} is a tree-structured mathematical object which defines a factorization of a state machine into simpler components and which can be used to model both the input/output behavior of a computer system and the design of that system from component parts. State dependent functions are, essentially, state machines in a form that is convenient for the task of specifying and verifying the designs of complex computer systems. While automata theory provides a rich mathematical basis for studying the properties of discrete computing systems, standard techniques for defining and composing automata are only practical for relatively simple systems. Many researchers in computer science have taken this limitation as an invitation to extend the classical notion of an automaton with ``concurrent" composition operations, program variables, timers, external schedulers, predicates on transitions and a variety of other complications. Tampering with automata theory, however, compromises the faithful and intuitive model of computation offered by classical automata -- a model that has proven to be of great practical utility in many areas of computer engineering and that is the subject of a deep mathematical theory connecting state machines, semigroups, regular languages, and primitive recursive functions. This paper describes a technique for {\bf presenting} state machines in an abstract and modular fashion that evades some of the limitations of traditional presentations. The technique is based on trees with functions from sequences to values at the leaves and certain recursive composition operators at the interior nodes. The functions model the input/output behavior of the lowest level components of a composite system and the tree structure models the architecture of the composite system. The trees rooted at any interior node can be ``multiplied out" to produce a sequence function that models the input/output behavior of a composite subsystem. These {\em sequence function trees} can be shown to correspond to factorizations of Moore machines (transducers) \cite{Moore}. A state dependent function is simply a sequence function tree with an associated, hidden, sequence variable representing the sequence of events that have driven a system from its initial state. Operators which cause the sequence function tree to be multiplied out and then applied to its sequence variable, and operators which append elements to the sequence variable, reset the sequence variable to the empty sequence, examine the output of a component, or splice in a second state dependent function, allow for concise definition and manipulation of state dependent functions. Computer systems, including those that exhibit real-time sensitive behavior and those constructed from concurrent subsystems can be specified in terms of state dependent functions using the the notation of standard ``working" mathematics and the intuitions of a Moore-machine model of computation. The methods described in this paper are, hopefully, simplified and clarified versions of methods introduced in \cite{Yoipl} and \cite{Yoams}. ------------------------------------------------------------------------------ Message 5; Postmarked Mon Nov 14 10:32:14 1994 Subject: Research report available From: Eric Rutten The following research report is available via anonymous FTP from ftp.irisa.fr as techreports/PI875.ps.Z (IRISA version) or from INRIA from site ftp.inria.fr as INRIA/publication/RR/RR-2383.ps.Z (or in paper copy from the authors): E. Marchand, E. Rutten, F. Chaumette. Applying the Synchronous Approach to Real Time Active Visual Reconstruction. Publication Interne IRISA, Rennes, no. 875, Octobre 1994; Rapport de Recherche INRIA, no. 2383, Novembre 1994. Abstract: In this paper, we apply the synchronous approach to real time active visual reconstruction. It illustrates the adequateness of Signal, a synchronous data flow programming language and environment, for the specification of a system dealing with various domains such as robot control, computer vision and programmation of hierarchical parallel automaton. More precisely, one application consists in the 3D structure estimation of a set of geometrical primitives using an active vision paradigm. At the level of camera motion control, the visual servoing approach (a closed loop with respect to vision data) is specified and implemented in Signal as a function from sensor inputs to control outputs. Furthermore, the 3D reconstruction method is based on the ``structure from controlled motion'' approach (constraining camera motion for optimal estimation). Its specification is made in parallel to visual servoing, and involves the delay mechanism of Signal for the specification of filters. This reconstruction involves focusing on each object; we thus present a perception strategy for connecting up several estimations, using tasks hierarchies interruption and time intervals in Signal. The integration of these techniques is validated experimentally by their implementation on a robotic cell, from which we present experimental results. Keywords: Synchronous language, real-time, visual servoing, structure from controlled motion, perception strategy. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Eric Rutten | room: 221 (Green 338) IRISA / INRIA | phone: +33 99 84 72 33 Campus de Beaulieu | fax: +33 99 38 38 32 F-35042 RENNES CEDEX - FRANCE | e-mail: rutten@irisa.fr ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ------------------------------------------------------------------------------ Message 6; Postmarked Mon Nov 14 13:36:30 1994 Subject: Position at Newcastle From: Maciej.Koutny@newcastle.ac.uk RESEARCH ASSISTANT Computer Engineering Dept Electrical & Electronic Engineering, University of Newcastle-upon-Tyne, U.K. Applications are invited for the post of Research Assistant on a three-year EPSRC-funded project in the area of applied formal systems design. Applicants should have a good degree in Electronic Engineering with a strong computing content, and it would be of advantage to have the following background: - Interest and experience in formal design methods, possibly including modal and temporal logics; - Experience in digital hardware design. Existing work at Newcastle includes projects in the area of formal design and verification techniques, and work in advanced computer design. The present applicant is sought for a new project which bridges both these areas, aiming to accomplish a provably-correct design for an existing CPU. Previous work at Newcastle in formal design has involved research on the use of Interval Temporal Logic, a formalism for reasoning about multi-level timing dependent hardware and software systems. Ongoing work includes the development of compositional properties to facilitate modular verification of the correctness of concurrent systems. Previous work in processor design has included the development of an advanced dataflow processor in ECL technology, as an exploratory vehicle for dataflow programming techniques and algorithms. The present project will involve the application of newly developed formal logic techniques to the redesign of the processor, and will be carried out in collaboration with Dr B.C. Moszkowski and Dr J.N. Coleman. The post is of approximately 3 years' duration, and carries a salary in the region of 15,000 pounds p.a. Potential applicants are welcome to contact Dr Coleman on 091 222 7860 or Dr Moszkowski by email address Ben.Moszkowski@ncl.ac.uk for an informal discussion prior to submitting an application, which should consist of a full C.V. together with the names and addresses of three referees. Applications will continue to be accepted until the post is filled, but an initial evaluation will be made on 12th December, 1994. They should be sent to Dr J.N. Coleman, Department of Electrical and Electronic Engineering, The University, Newcastle-upon-Tyne, NE1 7RU. ======================================================================== EMAIL: Maciej.Koutny@newcastle.ac.uk Maciej Koutny, PHONE: +44 91 222 7982 Department of Computing Science, FAX : +44 91 222 8232 University of Newcastle, TELEX: uk+53654-UNINEW_G Newcastle upon Tyne NE1 7RU, U.K. ------------------------------------------------------------------------------ Message 7; Postmarked Wed Nov 16 16:07:51 1994 From: Wei Zhao Subject: RTSS 94 Advance Program ADVANCE PROGRAM 15th IEEE Real-Time Systems Symposium December 7-9, 1994, San Juan, Puerto Rico Sponsored by IEEE Computer Society T.C. on Real-Time Systems ======================== A Letter From The Chairmen ========================= The purpose of RTSS is to provide an annual forum for exchanging emerging principles and practices underlying real-time computing. As in recent years, this year also we continue to witness the increasing interest in the area because of the better appreciation for the need for formal and scientific solutions for the highly interrelated problems involved in developing systems that have demanding correctness, dependability and timeliness characteristics. Many of the ideas that were formulated in academia in the recent past are being deployed in mainstream applications. This has given a major impetus to the field in which we are seeing a substantial number of new researchers tackling the many challenging problems that remain. All of these, on a worldwide scale, have led to RTSS attracting a large international contingent, in the program committee, in terms of the submissions, as well as in the acceptance of papers. We hope to see this trend reflected in the attendance as well. The technical program reflects recent developments in architecture, communication, databases, operating systems, performance, programming languages scheduling, and formal approaches for real-time applications. It also reflects an increased emphasis on system and tool implementation, evidencing a maturation of the underlying principles. To encourage the dissemination of findings in experimental development work, we have continued the synopses sessions from the previous three years. The conference will be preceded by the Workshop on Composability of Fault- Resilient Real-Time Systems, to be held December 6, 1994. Topics for discussion include the basic issue of design for composability and lessons learned in developing complex computing systems. Contact Michelle Hugue (meesh@cs.umd.edu) for details. We hope that you will join us in what promises to be a stimulating and important symposium. Farnam Jahanian Krithi Ramamritham General Chair Program Chair =========================== Conference Highlights =========================== * Workshop on Composability of Fault-Resilient Real-Time Systems. * Symposium on Real-Time Systems, including presentation of 22 papers and 10 synopses on Scheduling, Resource Management, Databases, Communications, Compilers, Formal Methods, Experimental Systems, Applications, Programming Languages, Tools, and Operating Systems. * IEEE Real-Time TC Business Meeting. For more information, contact Farnam Jahanian, Department of EECS, Univ of Michigan, Ann Arbor, MI 48109-2122, phone: 313 936-2974, rtss@eecs.umich.edu. ============================ Advance Program ================================ Tuesday, December 6 The Workshop on Composability of Fault-Resilient Real-Time Systems Contact Michelle Hugue (email: meesh@cs.umd.edu) for details. Wednesday, December 7 8:00-8:45am RTSS Registration and Continental Breakfast 8:45-9:00am Introduction and Remarks 9:00-10:30am Session 1: Scheduling and Resource Allocation I Chair: Raj Rajkumar, SEI/CMU * Efficient Aperiodic Service under Earliest Deadline Scheduling, M. Spuri and G. Buttazzo (Scuola Superiore S. Anna, Italy) * Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems, N. C. Audsley, R. I. Davis and A. Burns (University of York, U.K.) * Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems Using Slack Stealing, Sandra R. Thuel (AT&T Bell Labs) and John P. Lehoczky (CMU) 10:30-11:00am Coffee Break 11:00-12:00noon Session 2: Databases and Resource Management Chair: Sang Son, Univ of Virginia * Timeliness via Speculation for Real-Time Databases, Azer Bestavros and Spyridon Braoudakis (Boston University) * Resource Management for Continuous Multimedia Database Applications, J. Huang (Honeywell, Inc.) and D.-Z. Du (Univ. of Minnesota) 12:00-1:30pm Lunch 1:30-3:00pm Session 3: Communications I Chair: Chia Shen, MERL * Scaling and Performance of a Priority Packet Queue for Real-Time Applications, D. Picker and R. D. Fellman (UCSD) * A Priority Forwarding Router Chip for Real-Time Interconnection Networks, K. Toda, K. Nishida, E. Takahashi and Y. Yamaguchi (Electrotechnical Laboratory, Japan) * Multiple Route Real-Time Channels in Packet-Switched Networks, K. C. Kwan, and P. Ramanathan (Univ. of Wisconsin, Madison) 3:00-3:30pm Coffee Break 3:30-5:00pm Session 4: Compilers Chair: Doug Locke, Loral Federal Systems * Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real-Time Tasks, R. Gupta (Univ. of Pittsburgh) and M. Spezialetti (Lehigh Univ.) * An Accurate Worst Case Timing Analysis for RISC Processors, S.-S. Lim, Y. H. Bae, G. T. Jang, B.-D. Rhee, S. L. Min, (Seoul National Univ.), C. Y. Park (Chung-Ang Univ.), H. Shin, K. Park, and C. S. Kim (Seoul National Univ., S. Korea) * Compiler Transformations for Speculative Execution in a Real-Time System, M. Younis (NJIT), T. J. Marlowe (Seton Hall Univ.) and A. D. Stoyenko (NJIT) 7:00-10:00pm Buffet Banquet Thursday, December 8 8:00-8:45am Continental Breakfast 8:45-10:15am Session 5: Formal Methods Chair: Lui Sha, SEI/CMU * The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems, Constance Heitmeyer (Naval Research Laboratory), and Nancy Lynch (MIT) * Modeling and Analysis of Real-Time Ada Tasking Programs, James C. Corbett (University of Hawaii at Manoa) * Response-Time Bounds of Rule-Based Programs under Rule Priority Structure, R.-H. Wang, and A. K. Mok (UT, Austin) 10:15-10:45am Coffee Break 10:45-12:00noon Session 6: Experimental Systems and Applications Chair: Bhavani Thuraisingham, Mitre * A Solution to an Automotive Control System Benchmark, Hermann Kopetz (Technical University of Vienna, Austria) * Applying RMA to Improve a High-Speed, Real-Time Data Acquisition System, David del Val and Angel Vina (Universidad Autonoma de Madrid, Spain) * ARINC 659 Scheduling: Problem Definition, T. Carpenter, K. Driscoll, K. Hoyme, and J. Carciofini (Honeywell) 12:00-1:30pm Lunch 1:30-3:00pm Session 7: Tools Chair: Christian Koza, Alcatel, Austria * Bounding Worst-Case Instruction Cache Performance, R. D. Arnold, F. Mueller, D. B. Whalley (Florida State Univ), and M. G. Harmon (Florida A&M Univ.) * Deterministic Upperbounds of the Worst-Case Execution Times of Cached Programs, J.-C. Liu, and H.-J. Lee (Texas A&M Univ.) * Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes, R. Gerber, S. Hong and M. Saksena (Univ. of Maryland) 3:00-3:30pm Coffee Break 3:30-5:00pm Session 8: Scheduling and Resource Allocation II Chair: Michelle Hugue, Trident Systems * Scheduling Adaptive Tasks in Real-Time Systems, Kai Wang (Hughes Aircraft ), and T.-H. Lin (State Univ. of New York at Buffalo) * Dynamic End-to-End Guarantees in Distributed Real-Time Systems, M. D. Natale, and J. A. Stankovic (Umass at Amherst) * On-Line Scheduling to Maximize Task Completions, S. Baruah (Univ of Vermont), N. Sharma, and J. Haritsa (Indian Institute of Science, Bangalore, India) 7:00-8:00pm IEEE Real-Time TC Business Meeting Friday, December 9 8:00-8:45am Continental Breakfast 8:45-10:15am Session 9: Communications II Chair: Satish Tripathi, Univ. of Maryland * Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol, L. E. Moser and P. M. Melliar-Smith (UCSB) * Real-Time Communication Services in a DQDB Network, R. L. R. Carmo, F. Vasques, and G. Juanole (LAAS du CNRS, France) * Analysing Real-Time Communications: Controller Area Network (CAN), K. W. Tindell, H. Hansson (Univ. of Uppsala, Sweden), and A. J. Wellings (Univ. of York, U.K.) 10:15-10:45am Coffee Break 10:45-12:00noon Session 10: Formal Approaches and Languages Chair: Tom Lawrence, Rome Labs * Computing Quantitative Characteristics of Finite-State Real-Time Systems, S. Campos, E. Clarke, W. Marrero, M. Minea (Carnegie Mellon Univ.) and H. Hiraishi (Kyoto Sangyo Univ., Japan) * Verifying an Intelligent Structure Control System: A Case Study, W. M. Elseaidy, R. Cleaveland, and J. W. Baugh, Jr. (North Carolina State Univ.) * Flexible Real-time SQL Transactions, P. J. Fortier, (Umass at Dartmouth), V. F. Wolfe, and J. J. Prichard (Univ. of Rhode Island) 12:00-1:30pm Lunch 1:30-2:45pm Session 11: Operating Systems and Communications Chair: Jim Ready, Microtec Research Inc. * Supporting Real-Time Traffic on Ethernet, Tzi-cker Chiueh and Chitra Venkatramani (State Univ. of NY at Stony Brook) * Modeling DSP Operating Systems for Multimedia Applications, D. Katcher, K. Kettler and J.K. Strosnider (CMU) * Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers, B. Adelberg, H. Garcia-Molina (Stanford Univ.), and B. Kao (Princeton Univ.) =============================== Committees ================================== General Chair: Farnam Jahanian University of Michigan Program Chair: Krithi Ramamritham University of Massachusetts Treasurer: Walter Heimerdinger Honeywell Publicity Chair: Wei Zhao, Texas A&M University Industrial Chair: Prabha Gopinath Honeywell Local Arrang. Chair: Sandra R. Thuel AT&T Bell Labs Registration: Linda Buss RTS-TC Chair: Jack Stankovic University of Massachusetts Members of Program Committee: George Avrunin Azer Bestavros Alex Buchmann Alan Burns Flaviu Cristian Wolfgang Halang Jayant Haritsa Michelle Hugue Kane Kim Hermann Kopetz Christian Koza John Lehoczky Jay Lala Jane Liu Miroslaw Malek Al Mok Frank Olken Raj Rajkumar Parmesh Ramanathan Karsten Schwan Alan Shaw Chia Shen Kang Shin Lorenzo Strigini Jay Strosnider Morikazu Takegaki Hide Tokuda Satish Tripathi Frits Vaandrager Tetsuo Wasano Victor Yodaiken ================ RTSS '94 Conference Registration Form ============== Mail to: Linda Buss, RTSS'94 Registration, Rt. 1 Box 187B Menomonie, WI 54751 , Phone: (715) 235-0487, Fax: (715) 232-6244, Email: rtss@eecs.umich.edu Name: ____________________________________________________ Affiliation: ______________________________________________ Address: _________________________________________________ Phone: ______________________ Fax: ______________________ Email: ___________________________________________________ IEEE Membership No: ______________________________________ Workshop Fees: Category Before Nov. 21 After Nov. 21 IEEE Members $75 $95 Non-Members $90 $110 (No student rates available.) Symposium Fees: Category Before Nov. 21 After Nov. 21 IEEE Members $290 $360 Non-Members $375 $460 Full-time Students $95 $120 Workshop Fee: $ ____________________________________ Symposium Fee: $ ___________________________________ Total Due: $ _________________________________________ This year, registrations can also be done through email (rtss@eecs.umich.edu). Conference registration includes admission to conference, copy of proceedings, continental breakfasts, coffee breaks, and the welcoming banquet on Wednesday night. The workshop fees include continental breakfast, coffee breaks and a copy of the workshop proceedings. The student fee includes all the events of the symposium. To receive student rate, students are required to have advisor's name and signature at the time of registration. Advisor name: ____________________________________________ Signature: ________________________________________________ Written requests for refunds must be postmarked no later than Nov. 21, 1994. Refunds are subject to a $50 processing fee. All no-show registrations will be billed in full. Registrations after 11/21/94 will be accepted on-site only. NOTE: To save on postage, receipts will be given out at the conference. Payment can be made by check, money order, or credit card. Please make checks or money orders payable, in US currency, to RTSS'94. Credit Card: [] Visa [] Mastercard [] American Express Credit Card Number: ______________________________________ Cardholder Name: _________________________________________ Credit Card Expiration Date: _____________________________ Total Charges Authorized: ________________________________ Signature: _______________________________________________ ====================== RTSS'94 Hotel Reservation Form ============== Deadline: November 17, 1994 Mail to: Condado Plaza Hotel Attn: Reservation Department 999 Ashford Ave. San Juan, Puerto Rico 00902. Phone: (800) 468-8588 or (809) 791-1000 Fax: (809) 253-0178 Please complete all the information (type or print), and mail directly to the hotel. If faxing or phoning reservation, please mention IEEE Real Time Systems Symposium. RTSS'94 rates for each room for single or double occupancy are $123, plus 9% sales and occupancy tax. Accommodation desired: [] Single $123 [] Double $123 Name: __________________________________________________ Address: ________________________________________________ _______________________________________________ Phone: ______________________ Fax: ______________________ Arrival Date: _____________________________________________ Departure Date: __________________________________________ Share Room With: _______________________________________ Check-in is after 3:00pm, check-out is 12:00noon. A block of rooms has been reserved until November 17, 1994. After this date, room reservations will be accepted on a space available basis. The above special rates will also apply at least three days prior to and three days after the meeting dates based on availability to those who wish to extend their visit. 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 form of payment [] Visa [] Mastercard [] American Express [] Diners Club [] Discover [] Check/Money Order Credit Card Number: ______________________________________ Cardholder Name: ________________________________________ Credit Card Expiration Date: ________________________________ Total Charges Authorized: __________________________________ Signature: _______________________________________________ =========================== Conference Site =============================== The City Lying 1,000 miles southeast of Miami, between the Atlantic Ocean and the Caribbean Sea, Puerto Rico is the easternmost and smallest of the Greater Antilles. Although small in size (110-by-35 miles), Puerto Rico is a modern and progressive island that maintains the charm and hospitality of days gone by. Amidst its many graceful Old World buildings, flower-filled plazas, and sandy beaches, rise some of the finest medical, pharmaceutical and electronics manufacturing industries in the world. Puerto Rico enjoys year-round summer temperatures, averaging in the mid-80's November to May. Most days have brief showers but rarely is there a sunless day. December to March is the dry season. In addition to its welcoming tropical climate Puerto Rico's landscape offers an astonishing variety including a world-famous rain forest, desert terrain, beaches, mountains, caves, and rivers, all within a short distance from San Juan, the capitol city. San Juan, located on the northern coast of the island, is the main center for business, culture, and entertainment. The Condado Plaza Hotel and Casino is in the heart of San Juan's Condado area, one of Puerto Rico's premier beach and resort areas. The Condado is close to the airport and just minutes away from the Old San Juan National Historic district, a 500 year-old town with cobblestone streets lined by period homes, quaint shops, and Spanish military fortifications from the 16th century, including El Castillo del Morro and Forts San Cristobal and San Geronimo. The Hotel RTSS 94 will be held at the Condado Plaza Hotel and Casino, located in San Juan's Condado area, 7 miles west of the Luis Munoz Marin International Airport. The Condado Plaza Hotel is flanked by the Atlantic Ocean on one side and the Condado Lagoon on the other, offering beach and water sports for daytime entertainment. At night time, the Condado has a busy night life and cultural activities nearby. A block of rooms has been reserved from December 5 to December 9. The hotel room rate of $123 single or double will be in effect three days prior to the conference and three days after the conference subject to availability. Please use the enclosed reservation form and send directly to the hotel or phone the hotel directly at (800) 468-8588 or (809) 791-1000 to make reservations. Please note the November 17 deadline regarding hotel reservations to ensure receiving the conference room rate. Transportation San Juan's Luis Munoz Marin International Airport is located 7 miles from the Condado Plaza Hotel, about a 15-20 minute drive. Transportation by taxi to the hotel is approximately $10. Parking for hotel guests is $5.00 per day. Non-guest attendees may park at an hourly rate of $1.25 for the first hour and $0.95 for each additional hour or portion thereof. *********** See you in San Juan !!! ************ ------------------------------------------------------------------------------ Message 8; Postmarked Wed Oct 12 18:15:57 1994 From: Ted Baker Subject: IEEE Real-Time Technology and Application Symposium CALL FOR PAPERS =============== IEEE Real-Time Technology and Application Symposium =================================================== May 15-17, 1995 Chicago, Illinois RTAS'94 is the successor to the 11th Workshop on Real-Time Operating Systems and Software. Since the early 80's, we have witnessed an increased interest in real-time technology because of the need for scientific solutions for time-constrained information processing in various applications such as avionics, multimedia, robotics, automated process control, and manufacturing. Founded in 1983, the IEEE Workshop on Real-Time Operating Systems and Software (RTOSS) has been an important annual forum for exchanging information of emerging principles and practices underlying real-time technology. Consequently, we are seeing a substantial number of new researchers tackling the many challenging problems that remain. Due to the interest shown in, and the success of, the RTOSS, the IEEE technical committee on real-time systems has decided to convert RTOSS into a full symposium, the real-Time Technology and Applications Symposium. The purpose of this symposium is to bring together developers and researchers from universities, industry, and government to advance real-time technology and its applications. Papers on all aspects of real-time computing are sought, including operating systems and scheduling, fault-tolerance, databases, programming languages, tools, communication networks, architectures, performance modeling, formal methods, case studies, and applications. Of particular interest are papers detailing experiments and implementations. This year we are planning special sessions in the areas such as Intelligent Vehicle Highway Systems and Multimedia. Papers on these topics are especially encouraged. Manuscripts should be limited to 20 double spaced pages. Papers submitted to the Symposium should not be submitted elsewhere. Six copies of the paper should reach the program chair no later than January 7, 1995. Authors will be notified of acceptance by Feb 28, 1995. Final camera-ready manuscripts will be due by March 31, 1995. Proposals for two-hour tutorials in technical areas of the conference are also solicited. Tutorial proposals should be submitted to the program chair by January 7, 1995. Important Dates =============== Paper submission: Jan 7, 1995 Tutorial proposal submission: Jan 7, 1995 Acceptance notification: Feb 28, 1995 Final camera-ready manuscript: Mar 31, 1995 ORGANIZING AND PROGRAM COMMITTEES General Chair: Ted Baker Department of Computer Science (4019) Florida State University Tallahassee, FL 32306-4019 phone: 904 644-5452 email: baker@cs.fsu.edu Program Chair: Wei Zhao Department of Computer Science Texas A&M University College Station, TX 77843-3112 phone: 409 845-5098 email: zhao@cs.tamu.edu Treasurer: Ted Giering, Florida State University Publicity Chair: Raj Rajkumar, Software Engineering Institute, CMU Local Arrangements Co-Chairs: Jeffrey Tsai, University of Illinois at Chicago Chengwen Liu, DePaul University Ex-Officio: (RTS-TC Chairs) John Stankovic, University of Massachusetts at Amherst Al Mok, University of Texas at Austin Program Committee: Yahya Y. Al-Salqan West Virginia University Sadler Bridge Texas Transportation Institute/TAMU Alan Burns University of York Richard Gerber University of Maryland Prabha Gopinath Honeywell Inc Steve Howell Navy Surface Warfare Center Jiandong Huang Honeywell Inc Arkady Kanevsky Mitre Corporation Doug Locke Loral Federal Systems David Luginbuh AFOSR Jane Liu University of Illinois at Urbana Steve Liu Texas A&M University Al Mok University of Texas at Austin Kelvin Nilsen Iowa State University Krithi Ramamritham University of Massachusetts at Amherst Lui Sha Software Engineering Institute/CMU Kang Shin University of Michigan John Stankovic University of Massachusetts at Amherst Alexander D. Stoyenko NJ Institute of Technology Lonnie R. Welch NJ Institute of Technology Victor Wolfe University of Rhode Island Hui Zhang Carnegie Mellon University RTAS'95 is sponsored by the IEEE Technical Committee on Real-Time Systems, with assistance from the Office of Naval Research. ------------------------------------------------------------------------------ Message 9; Postmarked Tue Nov 1 18:22:57 1994 From: rich@cs.UMD.EDU (Richard Gerber) Subject: CFP: ACM SIGPLAN Languages, Compilers & Tools for Real-Time Systems ****************************************************************************** CALL FOR PAPERS ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (In Conjunction with ACM SIGPLAN PLDI/PEPM) La Jolla, California June 21-22, 1995 ACM SIGPLAN LCT-RTS '95 is an interface between two dynamic fields of computer science and engineering: programming languages and real-time systems. The time is right for this workshop: top researchers in these areas are addressing many similar problems, but with slightly different perspectives and technologies. LCT-RTS provides a forum where these researchers can share their results and directions, and where they can potentially form new collaborations based on common interests. MOTIVATION: Until recently real-time systems development was the province of experienced specialists, who were faced with a variety of custom kernels, non-standard languages and vendor-specific device interfaces. System integration inevitably involved a complicated process of taking timing measurements, hand-tuning the code, and then re-measuring. These ad-hoc techniques have not scaled to support modern systems. There is a growing desire to adopt advanced design strategies, standard kernels, reusable modules, generic languages and the like. Also, the majority of real-time developers is longer drawn from the ranks of embedded controls experts; rather, it is composed of animators, physicists, video producers, musicians, medical technicians, automotive engineers, manufacturing engineers, etc. New software approaches are needed to support these new systems, and this new generation of real-time programmers. THE WORKSHOP: ACM SIGPLAN LCT-RTS '95 is devoted to investigating software technologies for contemporary real-time systems. Original submissions are invited in all areas relevant to this theme, including (but not restricted to) the following topics: * Programming Languages for Real-Time: Industrial and Research * Design: Requirements, System Specification, Analysis * Exception Handling: Semantics, Policies, Mechanisms * Prototyping Languages * Timing Analysis: Static and Dynamic Approaches * Scheduling Analysis * Realtime on RISC: Caches, Register Windows, Pipelines * Realtime Memory Management and Garbage Collection * Support for Parallelism and Data Placement * Program Transformation and Optimization for Real-Time Performance * Profiling, Measurement and Debugging * System Integration and Testing Of particular interest are case studies, or experimental results based on application-building experiences; for example in interactive graphics, imaging, manufacturing, etc. Papers should report new research, and should not exceed 5000 words (approximately 10 pages typeset 10-point on 16-point spacing, or 15 typewritten double-spaced pages). Short papers are also welcomed, which describe existing implementations, work-in-progress, or new problems and important issues. 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. SUBMISSION: Please submit seven (7) copies of papers, to: ACM SIGPLAN LCT-RTS Attn: Richard Gerber Department of Computer Science University of Maryland College Park, MD 20742 USA Papers will be reviewed the program committee for appropriateness of content and presentation. Proceedings will be distributed at the workshop. IMPORTANT DATES Submission of draft paper: 23 January 1995 Notification of acceptance: 22 March 1995 Final version due: 15 May 1995 PROGRAM COMMITTEE Alan Burns (University of York) Richard Gerber, Co-Chair (University of Maryland) Rajiv Gupta (Univ of Pittsburgh) Mary Hall (Caltech) Connie Heitmeyer (Naval Research Lab) Insup Lee (University of Pennsylvania) Al Mok (University of Texas at Austin) Thomas Marlowe, Co-Chair (Seton Hall University, NJIT RTCL) Steve Tjiang (Synopsys Inc.) PROGRAM CO-CHAIRS Richard Gerber Thomas Marlowe Department of Computer Science Department of Mathematics University of Maryland Seton Hall University College Park, MD 20742, USA South Orange NJ 07079, USA telephone: +1 301 405 2710 telephone: +1 201 761 9784 fax: +1 301 405 6707 fax: +1 201 761 9596 rich@cs.umd.edu marlowe@cs.rutgers.edu ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University Internet address for anonymous FTP to the TC-RTS repository is: cs.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------