Subject: IEEE-CS TC-RTS Newsletter for Thu Mar 31, 1994 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. ZALEWSKI_J%18439@nic.the.net (56 lines) A Real-Time Systems Syllabus....................................... 3 2. ken@minster.york.ac.uk (104 lines) Report available via FTP........................................... 59 DPhil thesis available via FTP..................................... 103 3. alanje@cogs.susx.ac.uk (Alan Jeffrey) (27 lines) Technical report available by ftp or WWW........................... 162 4. Vijay Saraswat (62 lines) Jobs in Xerox Corporate Research in Rochester, New York............ 189 5. Hans Hansson (54 lines) Visiting Position at the University of Uppsala..................... 251 6. Tom Henzinger (24 lines) Postdoctoral position.............................................. 305 7. best@cs.bu.edu (Azer Bestavros) (111 lines) CFP: RTSS'94 ...................................................... 330 8. krithi@nirvan.cs.umass.edu (krithi) (244 lines) WRTP'94............................................................ 441 9. reeves@eos.ncsu.edu (63 lines) CFP: IEEE Parallel and Distributed Technology ................... 685 10. son@bbibbi.cs.virginia.edu (258 lines) 11th IEEE Workshop on Real-Time Operating Systems and Software..... 748 11. Jukka.Karjalainen@vtt.fi (456 lines) EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS............................ 1006 12. welch@vienna.njit.edu (Lonnie Welch) (223 lines) Program: Second Workshop on Parallel and Distributed RT Systems.... 1462 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Thu Feb 24 14:45:56 1994 From: ZALEWSKI_J%18439@nic.the.net Subject: A Real-Time Systems Syllabus Advertisement for the Newsletter The following three files, of interest to Real-Time Systems educators and engineers, are available via anonymous ftp from: cs.bu.edu:/IEEE-RTTC/public/ syllabus.ps ----------- A complete syllabus for an undergraduate Real-Time Systems course, in a format compatible with ACM/IEEE-CS Computing Curricula '91 document (Tucker A.B. (Ed.), Computing Curricula 1991. Report of the ACM/IEEE-CS Joint Curriculum Task Force, ACM/IEEE, New York, 1990, ISBN 0-8186-2220-2). First, a high-level course description, as required for Advanced and Supplemental Topics, is provided, and next, an example implementation of the detailed syllabus is given for this Subject Area in a form required for Core Courses. The Knowledge Units include: - Real-Time Development Methodologies - Real-Time Language Constructs - Real-Time Kernels - Real-Time Hardware Architectures. textbooks.ps textbooks.tex ------------- This note (available in both postscript and TeX formats) consists of three sections. The first two sections contain reviews of two books recommended for use in undergraduate courses: "Real-Time Systems" by Halang and Sacha, and "Real-Time Systems Design and Analysis" by Laplante. The third section is a list of references to reviews, I wrote, of other books one may choose for use in teaching courses on real-time systems or other related subject, such as software engineering or concurrent programming. Their selection is quite diverse and includes books that cover such topics as high-level soft- ware development, through books on programming language issues and principles of concurrent programming, as well as operating systems and hardware archi- tectures. questionnaire.ascii ------------------- Results of a survey on Real-Time Systems education. Includes a summary of responses to 18 questions concerning materials, textbooks, tools, languages and operating systems used, etc. Janusz Zalewski University of Texas-Permian Basin zalewski_j@utpb.pb.utexas.edu (915)367-2219 ------------------------------------------------------------------------------ Message 2; Postmarked Fri Feb 25 05:02:34 1994 From: ken@minster.york.ac.uk Subject: Report available via FTP The following report is available by FTP: "Adapting and Evaluating Algorithms for Dynamic Schedulability Testing", by C. McElhone, report YCS 225, Department of Computer Science, University of York, February 1994 (26 pages) from the following site: minster.york.ac.uk (IP address 144.32.128.41) in the directory: /pub/realtime/papers in the file: YCS225.ps.Z The file is stored in compressed postscript format so be sure to set binary mode when FTPing the report. The abstract of the report is as follows: "This report describes an investigation into methods of dynamic schedulability testing. A sporadic task which arrives at a processor must be either rejected or guaranteed to be schedulable alongside the set of tasks already executing on the processor. There already exist algorithms for the static schedulability testing of a task set before run-time. This report describes how these may be adapted to make use of dynamic scheduling data, and thus provide an optimal schedulability test for incoming sporadic tasks. The adapted algorithms trade off complexity with pessimism. Their performance may be improved by combining them in a hybrid algorithm. Further performance improvements may be made in all of the algorithms by inserting a timeout in order to limit their worst-case execution time. It is found that the hybrid algorithm still consistently outperforms all of the other adapted algorithms. The hybrid algorithm is then chosen for an investigation into the parameters which determine the optimum value of the performance-enhancing timeout. Finally, this optimum value is made use of, in an investigation into the effect on total processor utilisation, of changing the proportions of periodic and sporadic utilisations." Subject: DPhil thesis available via FTP The postscript for the following DPhil (doctoral) thesis is available: "Fixed Priority Scheduling of Hard Real-Time Systems", by K. W. Tindell The abstract of the thesis is as follows: "Hard real-time systems are those in which there are critical deadlines by which results must be made available. In general, these results are made available after some request for contended resources: for example, obtaining disk blocks from a shared disk drive, transmitting a message across a network, or executing a piece of code on a multi-tasking computer. The critical problem is to determine a priori the worst-case timing behaviour of a given request. In this thesis we develop a priori analysis for systems dispatched according to fixed priorities. This analysis determines the worst-case response time for a given request of a resource. Examples of resources that are analysed are processors, disk drives, and communications networks. Requests for resources can be sporadic, periodic, bursty, and have phasing relationships between requests of different types. Further, the analysis also indicates when precedence constraints and exclusion constraints between requests are satisfied. The analysis is extendible to other time-critical resource requests, and to extended computational models where there are softer timing constraints." The postscript is available via FTP from minster.york.ac.uk (144.32.128.41) in the directory /pub/realtime/papers/thesis/ken The files are as follows: intro.ps.Z (29 pages) Title, Abstract, Contents, Introduction, and Review ch3to4.ps.Z (31 pages) Chapters 3 and 4 ch5.ps.Z (29 pages) Chapter 5 ch6.ps.Z (25 pages) Chapter 6 ch7to8.ps.Z (27 pages) Chapters 7 and 8, Conclusions, and Appendix refs.ps.Z (3 pages) References Paper copies of the thesis are available from the Departmental Librarian: Ian Patrick (Librarian), Department of Computer Science, University of York, YO1 5DD England e-mail: ilp@minster.york.ac.uk There are a number of other reports, papers, and theses available at the same site. The file /pub/realtime/papers/INDEX lists these. Be sure to set binary mode when FTPing the compressed postscript files. -- Ken Tindell Internet : ken@minster.york.ac.uk Computer Science Dept., Local FTP site: minster.york.ac.uk University of York, Tel. : +44-904-433377 YO1 5DD, UK Fax. : +44-904-432708 ------------------------------------------------------------------------------ Message 3; Postmarked Thu Mar 17 16:45:25 1994 Subject: Technical report available by ftp or WWW From: alanje@cogs.susx.ac.uk (Alan Jeffrey) A technical report: A complete axiomatization of timed bisimulation for a class of regular timed behaviours Luca Aceto and Alan Jeffrey is available by anonymous ftp from ftp.cogs.susx.ac.uk in pub/reports/compsci/cs0494.ps.Z. If you have access to the World Wide Web (for example using Mosaic) and would like to browse an index of COGS reports, the COGS home page is http://www.cogs.susx.ac.uk/ from which you can select the `list of technical reports'. Alan. Alan Jeffrey Tel: +44 273 606755 x 3238 alanje@cogs.susx.ac.uk School of Cognitive and Computing Sciences, Sussex Univ., Brighton BN1 9QH, UK ------------------------------------------------------------------------------ Message 4; Postmarked Fri Mar 4 10:06:17 1994 Subject: Jobs in Xerox Corporate Research in Rochester, New York From: Vijay Saraswat The Research & Technology Integration group within Xerox has 3 openings for exceptional individuals with interest and experience in the domain of embedded, real-time machine control software. These people will work within a growing Research and Technology Integration team, in direct participation with product development teams in Rochester NY, and in close collaboration with the Scientific and Engineering Reasoning research group in the Xerox Palo Alto Research Center [PARC]. These groups will work collaboratively to evolve a cross-product architecture for machine control that will, within the context of current and future product development activities, enable dramatic productivity and product improvements through commonality, reuse, and rapid development and integration of new technologies and methodologies. We are looking to hire people who, as a combined team: - bring a leadership perspective to individual contributor work, - possess very good inter-personal skills, - are very strong in software architecture and in object-oriented, real-time software development and methodologies, - have demonstrated mastery of the C++ language, - have experience in achieving software reuse in product development contexts, - possess a strong software engineering background, with applied experience in implementing software development processes and utilizing software metrics, - have experience through the full software development life cycle in a product development context, and - bring experience to the task of developing a conceptual analysis of the domain of embedded, reactive, real-time machine control software (in the area of reprographics systems, such as digital color copiers and printers). The PARC collaborators bring to the project, among other things, rigorous techniques for representing and reasoning about real-time systems that arise from their work in combining constraint languages with synchronous programming languages. The overall team is expected to contain a skill-base that can synergistically integrate and build on these techniques and methodologies for model-based software development. These jobs are located in Rochester, New York. The positions are currently open and we are looking to fill them immediately. Candidates should have an MS, PhD, or equivalent experience in Computer Science (preferred) or related discipline. To apply, send resume and any additional information to: Gregg Bonikowski Manager, Software Engineering & Technology Applications 1350 Jefferson Road, MS 801-27C Henrietta, NY 14623 email: gregg@eso.mc.xerox.com Xerox is an affirmative action, equal opportunity employer. ------------------------------------------------------------------------------ Message 5; Postmarked Thu Mar 10 04:10:32 1994 Subject: Visiting Position at the University of Uppsala From: Hans Hansson VISITING RESEARCH POSITION at the UNIVERSITY of UPPSALA, Sweden The department of Computer Systems at Uppsala University offers a position as visiting researcher starting in Autumn 1994. Uppsala is located 70 km north of Stockholm. The departments of computer systems, computing science, mathematics, numerical analysis, and automatic control, have been located together on a newly renovated campus. Research at the department of Computer Systems is focussed on - formal methods and tools for design and analysis of distributed systems, real-time systems, and hardware circuits. We have been active in the areas of automatic verification, process algebra, timing analysis, semantics, and transformational program development. - implementation support for the development of real-time systems. (work is conducted in an Ada-based programming environment) - Neural networks (applications of networks for decision support in telecommunication networks, and hardware implementation of neural networks) - techniques for efficient implementation of communication protocol software Researchers at the department inlude Parosh Abdulla, Lars Asplund, Ivan Christoff, Linda Christoff, Hans Hansson, Bengt Jonsson, Joachim Parrow(20%), Wang Yi, and a number of Ph.D. students. We participate in ESPRIT collaboration projects and working groups. The neighbouring department of Computing Science is conducting research in the area of logic programming. The position is intended for one (possibly two) years. We seek an applicant with a PhD and a research record in area(s) that are relevant to the research at the department. Areas that would be welcome are: - Formal program development and semantics for distributed and real-time systems - Real-time systems - Neural networks Interested? Please send CV and state your interests and requirements by e-mail, fax or physical mail. Bengt Jonsson Uppsala University Dept of Computer Systems Box 325 S - 751 05 Uppsala, Sweden, fax: +46 - 18 - 55 02 25 e-mail: bengt@docs.uu.se ------------------------------------------------------------------------------ Message 6; Postmarked Thu Mar 17 11:07:56 1994 Subject: Postdoctoral position From: Tom Henzinger A postdoctoral position for the academic year 1994-95 is available at Cornell University in the Department of Computer Science. The position is for research on the computer-aided verification of concurrent, real-time, and hybrid systems. Requirements are a strong background in concurrency theory and significant systems building experience. Applicants should send a vita and have three letters of reference to be sent to Tom Henzinger Assistant Professor Computer Science Department Cornell University Ithaca, NY 14853 tah@cs.cornell.edu ------------------------------------------------------------------------------ Message 7; Postmarked Sat Feb 26 10:14:12 1994 From: best@cs.bu.edu (Azer Bestavros) Subject: CFP: RTSS'94 15th IEEE Real-Time Systems Symposium December 7-9, 1994 San Juan, Puerto Rico ANNOUNCEMENT AND CALL FOR PAPERS The purpose of this symposium is to bring together researchers and developers from academia, industry and government to advance the science and technology in real-time computing. 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 interests are reports describing practical experiences and experimental results based on system building efforts, and real-time issues in applications such as avionics, multimedia, robotics, automated process control and manufacturing. Papers should describe original work, and be 20 double-spaced pages (5,000 words) or less in length. Synopses (5 double-spaced pages or less in length) of real-time applications, experimental results, and practical experiences in the design and development of real-time systems are also invited. The synopses should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach. All accepted submissions will appear in the proceedings. Please send 5 copies of your submission to arrive by April 29, 1993 -- a FIRM deadline -- to the program chair at the following address. (Please include e-mail and fax number with the author's address.) Krithi Ramamritham, RTSS94 Dept. of Computer Science, LGRC Campus Box 34610 University of Massachusetts Amherst MA 01003-4610 e-mail: rtss94@cs.umass.edu Phone: (413) 545-0196 FAX: (413) 545-1249 Sponsor: IEEE Computer Society Technical Committee on Real-Time Systems General Chair: Farnam Jahanian, University of Michigan Program Chair: Krithi Ramamritham, University of Massachusetts, Amherst Program Committee: George Avrunin, Univ. of Mass. Amherst Azer Bestavros, Boston Univ. Alex Buchmann, Tech. Hochschule, Darmstadt Alan Burns, Univ. of York Flaviu Cristian, UC San Diego Wolfgang Halang, Fern Univ. Jayant Haritsa, Indian Institute of Science Michelle Hugue, Trident Systems Kane Kim, UC Irvine Hermann Kopetz, Tech. Univ. Vienna Christian Koza, Alcatel Austria John Lehoczky, CMU Jay Lala, Draper labs Jane Liu, Univ. of Illinois, Urbana Miroslaw Malek, Univ of Texas, Austin Al Mok, Univ of Texas, Austin Frank Olken, Lawrence Berkeley Labs Raj Rajkumar, SEI Parmesh Ramanathan, Univ. of Wisconsin Karsten Schwan, Georgia Tech. Alan Shaw, Univ of Washington Chia Shen, Mitsubishi Electric Research Labs Kang Shin, Univ. of Michigan Lorenzo Strigini, IEI-CNR, Pisa Jay Strosnider, CMU Morikazu Takegaki, Mitsubishi Electric Hide Tokuda, Keiu Univ. Satish Tripathi, Univ. of Maryland Frits Vaandrager, CWI, Amsterdam Tetsuo Wasano, NTT Victor Yodaiken, New Mexico IMT Publicity Chair: Wei Zhao (zhao@cs.tamu.edu), Texas A&M University Industrial Chair: Prabha Gopinath, Honeywell Local Arrangements Chair: Sandra Ramos-Thuel, AT&T Treasurer: Walter Heimerdinger, Honeywell Ex-Officio: Jack Stankovic (RTS-TC Chair) IMPORTANT DATES FIRM deadline for Papers/Synopses -- April 29, 1994 Acceptance Letters -- July 22, 1994 Camera-Ready Papers -- September 15, 1994 Symposium -- December 7-9, 1994 A one-day workshop on the ``Composability of Fault-Resilient Real-Time Systems'' is also being planned, to be held December 6, 1994. For further details, please contact Michelle Hugue (meesh@nemo.cs.umd.edu). ------------------------------------------------------------------------------ Message 8; Postmarked Sat Feb 26 11:48:36 1994 From: krithi@nirvan.cs.umass.edu (krithi) Subject: WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** __________________________________________________________________ | | | 19th IFAC/IFIP Workshop on | | | | REAL TIME PROGRAMMING | | | | WRTP'94 | | | | Isle of Reichenau, Lake Constance, Germany, 22--24 June 1994 | | | | | | ANNOUNCEMENT AND PROGRAMME | |________________________________________________________________| SPONSOR International Federation of Automatic Control (IFAC), Technical Committee on Computers, Working Group on Real Time Programming CO-SPONSOR International Federation of Information Processing (IFIP), Working Group 5.4 on Industrial Software Quality and Certification INTERNATIONAL PROGRAMME COMMITTEE (IPC) Chair: W.A. Halang FernUniversitaet, Faculty of Electrical Engineering D-58084 Hagen, Germany Tel.: +49-2331-987-372 Fax: +49-2331-987-375 E-mail: wolfgang.halang@fernuni-hagen.de Members: S. Bologna, I M. Colnaric, SLO W. Ehrenberger, D C. Heitmeyer, USA Ph. Laplante, USA H. Lawson, S K. Man, HK L. Motus, Estonia J. de la Puente, E M. Rodd, GB W. Schaufelberger, CH H. Schweinzer, A L. Simoncini, I J. Skubich, F J. Szlanko, H T. Szmuc, PL H. Wedde, D (Panel chair) NATIONAL ORGANISING COMMITTEE (NOC) Chair: K. Mangold, ATM Computer GmbH, Konstanz Members: R. Henn H. Rzehak Th. Tempelmeier H. Weber KEYNOTE SPEAKER A.D. Stoyenko, USA PARTICIPATION Attendance will be limited to approx. 60 active workers in the field. Participants are requested to register as soon as possible. Registrations are considered on a first-come-first-served basis. LOCATION The Reichenau is an island in Lake Constance, the latter being shared by Austria, Germany and Switzerland. The island can easily be reached by frequent boat services from Konstanz, which is also the closest major train station. The most conveniently located and nearest international airport is Zurich. There are frequent train departures from the station located in the airport to Konstanz. LANGUAGE English will be the working language of the workshop and will be used for the proceedings, the presentations and discussions. No simultaneous translation will be provided. CORRESPONDENCE All correspondence should be addressed to the IPC chairman. Electronic mail should be used whenever possible. ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 PROGRAMME Session 1: DISTRIBUTED SYSTEMS ------------------------------ 1. An Architecture of a MAP Stack for Real Time Applications K. Vijayananda, G. Berthet, and R. Prasad 2. Spatio-Temporal Constraints in Fieldbus: Requirements and Current Solutions J.-D. Decotignie and P. Raja 3. Transport Protocol for Real-time Multimedia Communication J.M. Ng and N.T.C. Yu 4. An Environment for Distributed Prototyping of Real Time Systems A. Alonso, J.C. Duenas, G. Leon, and J.A. de la Puente Session 2: SCHEDULING --------------------- 1. Least-Space-Time-First Scheduling Algorithm: A Policy for Non-Simple Real-Time Tasks in Multiple Processor Systems B.-C. Cheng and A.D. Stoyenko 2. A Schedulability Algorithm for Data Flow, Hard Real Time Distributed Programs R. Davoli and L.-A. Giachini 3. Integrating Best Effort and Fixed Priority Scheduling N.C. Audsley, A. Burns, R.I. Davis, and A.J. Wellings 4. Configuration of Real-Time Applications A.-M. Deplanche and D. Creusot Session 3: VERIFICATION AND VALIDATION -------------------------------------- 1. Two Proof Methods for the GRAFCET Language P. Le Parc, B. Queguineur, and L. Marce' 2. Comparing RTL and FNLOG-Timing Properties in Real-Time Systems A. Sowmya 3. Hybrid Systems Modelling and Validating Using GRAFCET and State-Charts; The Cruise Control Application Case D. Razafindramary, R. Boissier, B. Dima, and T. Soriano 4. Towards Recursive Block Diagrams P. Caspi Session 4: SOFTWARE DEVELOPMENT ------------------------------- 1. Mapping PEARL's High-Level Real Time Constructs to a C Run-Time Library under Real Time UNIX R. Belschner, C.E. Pereira, and P. Schlatter 2. Visual Methods in Real-Time Programming M.G. Hinchey 3. A Distributed Task-Oriented Real-Time Programming System G. Schrott 4. Concepts for a Real-Time Structured Database Query Language (RT-SQL) P.J. Fortier Session 5: OPERATING SYSTEMS ---------------------------- 1. MMOSS: Soft Real-Time Operating System Support in a Multimedia Communication Subsystem C. Fan 2. BED: A Multithreaded Kernel for Embedded Systems P. Burgess, M.J. Livesey, and C. Allison 3. On Real-Time Operating Systems: How to Compare Performance? M. Maechtel 4. An Architecture Supporting Real-Time Programming and Implementations S. Mostert Session 6: CONCEPTS AND ARCHITECTURES ------------------------------------- 1. Conceptual Design of an Architecture for Hard Real Time Computing H.-P. Meske 2. Synchronized UTC for Distributed Real-Time Systems U. Schmid 3. Data Acquisition for Real-Time Process Control Systems M.D. van der Laan 4. Task-Configuration of a Pearl-Based Programmable Controller for Process-Automation G. Thiele, H.J. Beestermoeller, L. Renner, M. Dorno, D. Popovic ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 ********** WRTP'94 REGISTRATION FORM Please send this form before 1 March 1994 Name: ______________________________________ First name: ________________ Position: _______________________________________________________________ Organisation: ___________________________________________________________ Address: ________________________________________________________________ ________________________________________________________________ ________________________________________________________________ Postal Code: ______________City: ________________________________________ Country: ________________________________________________________________ Fax: __________________________ Phone: _____________________________ E-mail: ________________________________________________________________ I shall come : ___ alone ___ with ___ accompanying person(s) I want to share a double room with: _____________________________________ Registration fee: DM 500 in a single room DM 400 sharing a double room DM 300 for conference, lunches, and social programme only The registration fee includes lodging and full board for 2 days, conference, preprints, and social programme. Students and participants from Central and Eastern European and from developing countries may apply for a modest discount. Please book early, because the capacity of the conference hotel is limited and other hotels are slightly more expensive. Please send your remittance in form of a crossed cheque (may be a Eurocheque) in German marks only to: Prof. W. A. Halang, Fernuniversitaet, D-58084 Hagen, Germany Date: __________ ------------------------------------------------------------------------------ Message 9; Postmarked Tue Mar 8 09:32:11 1994 From: reeves@eos.ncsu.edu Subject: CFP: IEEE Parallel and Distributed Technology ******************************************************************* * C A L L F O R P A P E R S * * * * IEEE Parallel and Distributed Technology * * * * Special Issue: PARALLEL AND DISTRIBUTED REAL-TIME COMPUTING * * WINTER, 1994 * * * * Editors: Kang Shin and Douglas S. Reeves * ******************************************************************* IEEE Parallel and Distributed Technology will publish a special issue on parallel and distributed real-time computing in Winter 1994, edited by Kang Shin of the University of Michigan and Douglas S. Reeves of North Carolina State University. P&DT seeks highly readable articles on any topic in this area, including: * Formal models of real-time concurrency * Verification and schedulability analysis * Multi-processor scheduling techniques * Workload partitioning and task assignment * Synchronization techniques and concurrency control * Real-time communication in LANs, WANs, and MANs * Programming techniques * Resource sharing, migration, and identification in real-time * Architectures and hardware support * Applications, including distributed real-time databases, parallel computers for control systems, and distributed multi-media Tutorials, surveys, case studies, and summaries of projects and designs are also welcome. All manuscripts will undergo a refereeing process consistent with that of archival publications, and all accepted articles will be edited by P&DT staff editors. Articles should be no more than about 5000 words, and should have approximately 10-12 references. +---------------------------------+ | SUBMISSION DATE: APRIL 20, 1994 | +---------------------------------+ To submit an article, send 8 complete double-spaced copies and a cover letter with the name of the corresponding author to Douglas S. Reeves Associate Editor, IEEE Parallel and Distributed Technology North Carolina State University Dept. of Computer Science Campus Box 8206 Raleigh, NC 27695 USA fax: 919 515 7896 email: reeves@eos.ncsu.edu ------------------------------------------------------------------------------ Message 10; Postmarked Thu Mar 17 12:03:08 1994 From: son@bbibbi.cs.virginia.edu Subject: 11th IEEE Workshop on Real-Time Operating Systems and Software 11th IEEE Workshop on Real-Time Operating Systems and Software May 18-19, 1994 Holiday Inn Crowne Plaza, Seattle, WA ADVANCE PROGRAM May 18 (Wednesday) 7:30 Registration and Continental Breakfast 8:15 Opening Remarks 8:30 Invited Talk: Nancy Leveson, University of Washington, on "Software Safety" 9:30 Session I: Operating Systems I (Chair: Karsten Schwan, Georgia Tech.) Predictable Spin Lock Algorithms with Preemption Takada, Hiroaki and Sakamura, Ken User-Level Real-Time Threads Oikawa, Shuichi and Hideyuki, Tokuda Experience with a Prototype of the POSIX Minimal Realtime System Profile Baker, T.P., Mueller, Frank, and Rustagi, Viresh 10:30 Break 11:00 Session II: Scheduling I (Chair: Ted Baker, Florida State) Using End-to-End Scheduling Approach to Schedule Tasks with Shared Resources in Multiprocessor Systems Sun, Jun, Bettati, Riccardo, and Liu, Jane W.-S. Appropriate Mechanisms for the Support of Optional Processing in Hard Real-Time Systems Audsley, N.C., Davis, R.I., Burns, A., and Wellings, A.J. A Linear Time Online Task Assignment Scheme for Multiprocessor Systems Burchard, Almut, Oh, Yingfeng, Liebeherr, Jorg, and Son, Sang H. 12:00 Lunch 1:30 Session III: General (Chair: Mike Jones, Microsoft) Constructing a Heterogeneous Real-Time System Mostert, Sias Using SDL in Embedded Systems Design: A Tool for Generating Real-Time OS pSOS based Embedded Systems Applications Software Huang, Ye, Hughes, Michael, Karrlson, Jone, and Hydbom, Olle Practical Formal Development of Real-Time Systems Bradley, Steven, Henderson, William, Kendall, David, and Robson, Adrian Real-Time Communication in FDDI-Based Reconfigurable Networks Zhao, Wei, Kumar, Amit, Agrawal, Gopal, Kamat, Sanjay, Malcom, Nicholas, and Chen, Biao 3:00 Break 3:30 PANEL: Real-Time Education Chair: Wei Zhao (Texas A & M) 6:30 Banquet ***************************** May 19 (Thursday) 7:30 Registration and Continental Breakfast 8:30 Session IV: Timing Analysis (Chair: Stuart Faulk, SPC) Correlation Analysis Techniques for Refining Execution Time Estimates of Real-Time Applications Gupta, Rajiv and Gopinath, Prabha Issues of Advanced Architectural Features in the Design of a Timing Tool Lee, Byeong-Do, Lim, Sung-Soo, Min, Sang Lyul, Park, Chang Yun, Shin, Heonshik, and Kim, Chong Sang Timing Analysis of Superscalar Processor Programs Using ACSR Choi, Jin-Young, Lee, Insup, and Kang, Inhye 9:30 Session V: Scheduling II (Chair: Hide Tokuda, CMU) Task Scheduling for Real-Time Multi-Processor Simulations Borriello, Gaetano, and Miles, Daniel M. Successful Use of Rate Monotonic Theory on a Formidable Real Time System Doyle, Larry and Elzy, Jon Temporal Protection in Real-Time Operating Systems Mercer, Cliff, Rajkumar, Ragunathan, and Zelenka, Jim 10:30 Break 11:00 PANEL: Real-Time Bench Marks Chair: Karsten Schwan (Georgia Tech) 12:00 Lunch 1:30 Session VI: Operating Systems II (Chair: Keith Marzullo, UCSD) On Latency Management in Time-Shared Operating Systems Jeffay, Kevin An Argument for a Runtime Layer in SPARTA Design Wisniewski, Robert W. and Brown, Christopher M. Real-Time Platforms and Environments For Time Constrained Flexible Manufacturing Stankovic, J.A., Ramamritham, Krithi, and Zlokapa, Goran 2:30 Session VII: Concurrency Control (Chair: Vic Wolfe, U. Rhode Island) A Mixed Locking/Abort Protocol for Hard Real-Time Systems Shu, LihChyun and Young, Michal Window-Consistent Replication for Real-Time Applications Rexford, Jennifer, Mehra, Ashish, Dolter, James, and Jahanian, Farnam Using Data Similarity to Achieve Synchronization for Free Kuo, Tei-Wei and Mok, Aloysius K. 3:30 Break 4:00 PANEL: If scheduling is so important, why aren't folks beating a path to our door? Chair: Kevin Jeffay (University of North Carolina) 5:00 Closing --------------- 11th IEEE Workshop on Real-Time Operating Systems and Software May 18-19, 1994 Holiday Inn Crowne Plaza, Seattle, WA General Information Over the past 10 years, the RTOSS meetings have accumulated a good tradition of unusually dense and substantial discussions on hot real-time issues, notably on problems and experiences in system design and development. This year the workshop will be held in the Holiday Inn Crowne Plaza which is conveniently located in downtown Seattle, in the heart of all centers of cultural activities in this unique metropolitan area. Remember the movie "Sleepless in Seattle?" The exact street address is: 1113 6th Avenue Seattle, WA 98101-3048 Directions: The Holiday Inn is at 6th Avenue and Seneca Street. From Seattle-Tacoma Airport, there is a Grayline Express to the hotel every half an hour. It costs $7.00 for one way, and $12.00 for round trip. From south (or Seattle-Tacoma Airport), take I-5 and exit at Union Street. Follow to 5th Avenue and turn left. Follow to Spring Street and turn left. Then left at 6th Avenue, then left unto Seneca. From East, follow I-90 to Madison Street exit and turn left. Turn right at first light onto 6th, travel two blocks and turn left onto Seneca. From North, exit I-5 at Seneca Street. The room rates for participants will be $93.00 per night and room (single or double). Reservations can be made through calling 1-800-521-2762 (or (206) 464-1980) or through fax (206) 223-3750. Please be sure to mention your participation in the IEEE workshop in order to obtain the above rate. Also, the reservation should be made before May 3. After this date you cannot rely on getting the same favorable conditions. It is recommended to make your reservation earlier. Registration Form (RTOSS'94) I want to register with the 11th IEEE Workshop on Real-Time Operating Systems and Software. Name: _________________________________________ Address: _________________________________________ _________________________________________ _________________________________________ phone: _________________________________________ fax: _________________________________________ e-mail: _________________________________________ IEEE/CS membership #: ______________________________ Enclosed is a check made out to IEEE Workshop RTOSS'93 with the amount of (check one) IEEE-CS member Non-member Student early registration (check received before April 30, 1994) o $180.00 o $240.00 o $120.00 late/ on-site registration (check received after April 30, 1994) o $230.00 o $290.00 o $150.00 The fee includes the workshop proceedings, 1 banquet, 2 breakfasts, coffee breaks between sessions. _____________________________ signature/ date Please mail this form to: Prof. Sang H. Son RTOSS'94 Dept. of Computer Science University of Virginia Charlottesville, VA 22903 USA You may fax this form to the number: (804) 982-2214 or e-mail it to: son@virginia.edu ------------------------------------------------------------------------------ Message 11; Postmarked Mon Mar 28 08:02:44 1994 From: Jukka.Karjalainen@vtt.fi Subject: EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS 6th EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS INVITATION TO EUROMICRO 94 WORKSHOP AND TUTORIAL ON REAL-TIME SYSTEMS June 15 - 17, Vaesteraas, Sweden The sixth Euromicro Workshop is to be a forum covering the state-of-the-art of research and development in the real-time domain which is becoming an essential discipline in the field of computer science and engineering. The interest in these topics is confirmed by the large number of papers submitted from 23 different countries. Parallel sessions have been avoided in the workshop to allow all delegates to follow all the presentations.This limited the number of papers that could be accepted. Each presentation will last 30 minutes including 10 minutes for questions. The workshop will provide many opportunities to have discussions and informal meetings. In addition to the various sessions, the program includes a keynote speech by Professor Jack Stankovic from the Department of Computer Science at the University of Massachusetts. In this he will present an approach to solving the dilemmas of flexibility and predictability , and how we may use abstraction yet carefully analyse timing properties in Real-Time Systems. On June 14,a day before the workshop starts, a tutorial session will be led by Professor Jack Stankovic. The tutorial program will be divided into eight 45 minutes sessions with the following contents: Introduction, Real-Time Requirements and Design, Real-Time Programming Languages, Real-Time Scheduling - Uniprocessors, Real-Time Scheduling - Multiple Processors, Real-Time Kernels, Multiprocessor Kernels and Architectures and Future Trends. A separate registration is required for the tutorial. For more information about the tutorial send a request to the Organizing Chairman on e-mail (llh@mdh.se). GENERAL INFORMATION Dates: Workshop dates: June 15-17, 1994 Registration: Wednesday, June 15 at 8.15-9.30 Tutorial date: June 14, 1994 Registartion: Tuesday, June 14 at 8.00-9.00 Tutorial close at 18.00 The University of Maelardalen, with about 4000 students, is located at Vaesteraas. Vaesteraas, a city of 120 000 inhabitants, is situated about 100 km west of Stockholm on lake Maelaren. Almost all Swedes speak English. Workshop venue The workshop will be held in the Congresscentre of Vaesteraas. Munkgatan 7, Vaesteraas, Sweden Tel: +4621 101100 (only during the workshop) Fax: +4621 101191 (only during the workshop) Travel and hotels Vaesteraas can be easily reached by bus from Stockholm, Arlanda airport, or by direct flight from Copenhagen to Vaesteraas, Haella airport (there are 4 flights every day without Saturday). Most of the hotels are situated in the center of Vaesteraas. Social event The mayor of Vaesteraas will host a reception at Vaesteraas City Hall on Wednesday evening. Climate The climate in June is usually warm and pleasant with daytime temperatures about 20 C. Currency The unit of currency in Sweden is the Swedish krona (Skr). At the beginning of March the rate of exchange was 7.9 Skr = 1 US$. Registration Kindly fill in the enclosed form. Please ensure that all relevant details are provided and return the form together with the appropriate fees to the Euromicro office as soon as possible. The registration fees are quoted in Dutch guilders (Dfl). Registration fees include scientific sessions, lunches, coffee served during the breaks, the reception at the City Hall of Vaesteraas and a copy of the workshop proceedings. Industrial or university demonstrations We invite you to demonstrate your own system. Send a request to the Organizing Chairman by e-mail (llh@mdh.se). Language English will be the working language for the workshop and will be used for the proceedings, the presentations and discussions. Other Events and Attractions Delegates will be able to attend tourist events in Vaesteraas or Stockholm both before and after the workshop. Swedish Railways provide a train service to Stockholm at approximately hourly intervals during the day, travel time 1 hr 15 min. A local carnival will be held in Vaesteraas, beginning on June16. Sponsors Ericsson ENEA DATA AB; OSE Real-Time Operating Systems ABB Corporate Research Swedish National Board for Industrial and Technical Development. Maelardalens University ORGANIZERS: PROGRAM CHAIRMAN Professor Ewald von Puttkamer Computer Science Department University of Kaiserslautern P.O.Box 3049 D 67653 Kaiserslautern, Germany tel. +49-631-205-2276 fax +49-631-205-2803 e-mail: puttkam@informatik.uni-kl.de ORGANIZING CHAIRMAN Lennart Lindh Department of Real-Time Computer Systems University of Maelardalen (Eskilstuna/Vaesteraas University) P.O Box 11 S 721 03 Vaesteraas, Sweden tel. +46-21-101457 fax +46-21-101460 e-mail: llh@mdh.se Eurmicro office attn. mrs Chiquita Snippe-Marlisa Registration ------------ Euromicro 94 Workshop on Real-Time Systems June 15-17, 1994 University of Maerdalen, Sweden Please Return this form as soon as possible to EUROMICRO Attn. Mrs. Chiquita Snippe-Marlisa P.O. Box 2346, 7301 EA Apeldoorn, The Netherlands Telefax +31-55-557393 Name ________________________________ Company/University ________________________________ Department ________________________________ Address ________________________________ City ________________________________ Country ________________________________ Telephone ________________________________ Telefax ________________________________ E-mail ________________________________ Date ________________________________ Signature ________________________________ if received before after 13 May 13 May Registration fee WORKSHOP __ EUROMICRO of IEEE member Dfl 600 Dfl 700 __ Non-member Dfl 700 Dfl 800 Registration fee TUTORIAL __ EUROMICRO of IEEE member Dfl 200 Dfl 250 __ Non-member Dfl 250 Dfl 300 The registration fees are quoted in Dutch guilders (Dfl) Payment made: 1. Charge my credit card: __ Eurocard __ Master Card __ Access __ Visa Number ____ ____ ____ ____ valid until: ______________________________________________ name of cardholder ________________________________________ Signature of cardholder: ______________________________________________ 2. By cheque DFL _______ enclosed made payable to Euromicro Apeldoorn The Netherlands Eurocheques must be signed on the back! 3. By bank draft DFL __________ to account nr. 59.31.42.063 of Euromicro, ABN AMRO Bank, Apeldoorn, The Netherlands. Please indicate participants name(s) and company name on cheque or bankdraft. Cancellations up to 20 May 90% refund Cancellations up to 8 June 10% refufund =================================================== Hotel reservation form: EUROMICRO 94 Workshop on Real-Time Systems June 15-17, 1994, Vaesteraas, Sweden Name: _____________________________________________ Company/University ________________________________ Address: __________________________________________ City: _____________________________________________ State/Country: ____________________________________ Tel: _________________ Fax: _______________________ =================================================== Requires the reservation of a room at the: single double Good Morning Hotel*** __Skr. 495 __Skr. 590 Hotel Arkad**** __Skr. 485 __Skr. 770 Stadhotellet***** __Skr. 995 __Skr. 1140 Note: please negotiate with the hotel about the special rate for the weekend. Date of arrival: ________________ Date of departure: ________________ = _________ nights ============================================================== IMPORTANT Please send or fax this form DIRECTLY TO THE HOTEL of your choice as soon as possible. Hotell Arkad **** Skr 485:--, singele room Oestermalmsgatan 25 Skr 770:--, double room 722 14 VAESTERAAS Tel +46 21 12 04 80 Fax +46 21 83 00 50 (central location, with walking distance to the workshop) Good Morning Hotel *** Skr 495:--, single room Sl}nb{rsgatan 1 Skr 590:--, double room 722 23 VAESTERAAS Tel +46 21 12 02 20 Fax +46 21 12 02 55 (3 km from city centre, good bus connections) Stadshotellet ***** Skr 995:--, single room Stora torget Box 19 Skr 1.140:-, double room 721 03 VAESTERAAS Tel +46 21 18 04 20 Fax +46 21 18 10 12 (central location, within walking distance to the workshop) _________________________________________________________________________ 6th EUROMICRO workshop on Real-Time Systems, Vesteraas,June 15-17, 1994 Wednesday,June 15 8.15 - 9.30 Registration 9.15 - 9.30 Opening of the workshop by Rector Lillemore Kim, University of Marlardalen 9.30 - 10.15 Keynote speach by Jack Stankovic "Flexibility versus Predictability in Real-Time Systems" Session chair : Ewald von Puttkamer 10.15 - 10.45 Coffee break 10.45 - 12.45 RT Specification and System design Session chair : Harald Lawsson - H.F.Wedde "Determining the Worst-Case Blocking Scenarios for Distributed Real-Time Programs" - M.Maranzana, J.J.Schwarz, J.J.Skubich, P.Szwed "Application Objects and Modularity in Real-Time Graphical Modeling" - R.Inal "Modular Specification of Real-Time Systems" - G.Fohler, Ch.Huber "Integration of RTL and Precedence Graphs with a Static Scheduler as Verifier" 12.45 - 14.00 Lunch 14.00 - 15.30 Mobile Robots Session chair : Ewald von Puttkamer - T.Balch, H.Forbes, K.Schwan "Dynamic Scheduling for Mobile Robots" - G.Magin, A.Russ "Supporting Real-Time Update of an Environment Representation for Autonomous Mobile Robots" -U.R.Zimmer, E.von Puttkamer "Realtime Learning on an Autonomous Mobile Robot with Neural Networks" 15.30 - 16.00 Coffee break 16.00 - 17.30 Scheduling I Session chair : Lorenzo Mezzalira - R.Prasad, L.Ruiz "Modeling and Scheduling Real-Time Control Systems with Relative Consistency Constraints" - C.Y.Choi, H.Shin, Y.Cho "Interprocessor-Blocking Independent Static Task Allocation for Shared-Bus Real-Time Multiprocessors" - C.Cardeira, Z.Mammeri "Using Neural Networks for Multiprocessor Real-Time Task Scheduling" 18.45 Reception at the Town Hall of Vesteraas Thursday,June 16 8.15 - 9.15 Synchronization Session chair : Lennart Lindh - R.Iorgulescu, R.E.Seviora "A Resynchronization Method for Real-Time Supervision" - A.Ciuffoletti, F.Gattai, R.Golinelli "Clock Synchronization in Virtual Rings" 9.15 - 10.15 Robot Programming Session chair : Ewald von Puttkamer - E.Rutten, E.Marchand, F.Chaumette "The Sequencing of Data Flow in SIGNAL: Application to Active Vision in Robotics" - L.Marce`, E.le Rest "A Software Architecture for Telerobotics" 10.15 - 10.45 Coffee break 10.45 - 12.45 RT Object Oriented Systems Session Chair : Horst F.Wedd - G.Caal, A.Divin "Implementing Graphical User Interfacees for Real-Time Applications with Concurrent Objects" _ R.Savola, T.Ihme, M.Heikkinen, M.Salmela, P.Pulli "Object Oriented Enhancement of Real-Time Software Using a Heterogenous Reengineering Approach" - C.E.Pereira "On Reasoning about Temporal Behavior and Timing Constraints within a Real-time Object-Oriented Requirements Engineering Phase" - E.Gyllenswaerd, CH.Eriksson "A Software Architecture for Complex Real-Time Systems" 12.45 - 14.00 Lunch 14.00 - 15.30 Advanced RT Applications Session chair : Jukka Karjalainen - K.Kaensaelae,J.-M.Hasemann "Simple and Robust: Fuzzy for Antislip" - T.Swoyer, A.Boxer "The MAXION Multiprocessor System" - M.S.Fragin, S.V.Gorbachev, M.B.Ignatiev, S.Y.Pamelov, Y.E.Sheinin "The Modular Multimicroprocessor System Architecture for the Power Turbine Control" 15.30 - 16.00 Coffee break 16.00 - 17.30 Scheduling II Session chair : Gianfranco Ciccarella - M.Silly "A Dynamic Scheduling Algorithm for Semi Hard Real-Time Environment" - A Burns, K.Tindell, A.J.Wellings "Fixed Priority Scheduling with Deadlines Prior to Completion" - C.C.Han, K.J.Lin Algorithms for Scheduling Computations with Secondary Deadlines to Minimize Penalty" Friday,June 17 8.15 - 10.15 Data Base and Knowledge Based Systems Session chair : Kwei-Jay Lin - K.Y.Lam, S.L.Hung "On Epsilon Serializable Locking Protocol for Concurrency Control in Real-Time Data Bases" - J.Lee, S.H.Son "Semantic-Based Concurrency Control for Real-Time Database Systems" _ T.Taipale, D.Foxvog "IRTC: Integration of Knowledge Engineering with Real-Time Control" - F.Barachini, G.Verteneul "Can Production Systems be Applied to Hard Real-time Applications ?" 10.15 - 10.45 Coffee break 10.45 - 12.45 Scheduling III Session chair : Alan Burns - S.S.Lin, K.J.Lin "Pinwheel Scheduling with Three Distinct Numbers" - M.Filali "The Derivation of Scheduling Algorithms from a Timing Model for Real-Time Applications" - P.Martineau, M.Silly "Scheduling in a Hard Real-Time System with Shared Resources" - S.L.Vieira, M.F.Maggalhaes "On-line Sporadic Task Scheduling in Hard Real-Time Systems" 12.45 - 14.00 Lunch 14.00 - 15.30 Operating Systems Session chair : Frederic Patricelli - P.Pesonen, V.Seppaenen "Object-Based Design of Embedded Software Using Real-Time Operating Systems" - H.Chetto "Guaranteed Deadlines with Dynamic Recovery Blocks in Distributed Systems" - J.Gorski, A.Wardzinski "Formal Specification and Verification of a Real-Time Kernel" 15.30 - 16.00 Coffee break 16.00 - 17.30 Timing Analysis Session chair : Anders Ravn - Z.Peng, A.Toerne "Timing Analysis and Conditional Scheduling in a Real-Time System Design Environment" - T.Kaldma, L.Motus, T.Tommingas, R.Paluoja, J.Tekko "Animation in CONRAD: Informal Analysis of Timing Properties" - L.Mezzalira, A.Morzenti "Relating Specified Timing Tolerances to Implementation Performances" Boat tour on Maelar lake ------------------------------------------------------------------------------ Message 12; Postmarked Wed Mar 30 10:09:23 1994 From: welch@vienna.njit.edu (Lonnie Welch) Subject: Program: Second Workshop on Parallel and Distributed RT Systems FINAL PROGRAM Second Workshop on Parallel and Distributed Real-Time Systems (PDRTS) April 28--29, 1993, Cancun, Mexico WORKSHOP CHAIRS Lonnie R. Welch The Institute for Integrated Systems Research Department of Computer & Information Science New Jersey Institute of Technology University Heights Newark, New Jersey 07102 USA (201) 596-5683 (office) -5777 (fax) E-mail: welch@vienna.njit.edu Dieter K. Hammer Department of Mathematics & Computing Science Eindhoven University of Technology P. O. Box 513 NL-5600 MB Eindhoven, The Netherlands 31 40 472734(office) -463992(fax) E-mail: hammer@win.tue.nl PROGRAM COMMITTEE Giovanni Cantone, University of Rome at Tor Vergata, Italy Klaus Ecker, Technical University of Clausthal, Germany Loe Feijs, Philips Research, Eindhoven, The Netherlands Robert Harrison, Naval Surface Warfare Center, U.S.A Mathai Joseph, University of Warwick, U.K Joerg Kaiser, GMD, Germany Jan van Katwijk, Delft University of Technology Gerard Le Lann, INRIA, France Jane W. S. Liu, University of Illinois, U.S.A. Mike Rodd, University of Wales, U.K Kang G. Shin, University of Michigan, U.S.A. Behrooz Shirazi, University of Texas, U.S.A Sang Son, University of Virginia, U.S.A John A. Stankovic, University of Massachusetts, U.S.A. Robert Steigerwald, U.S. Air Force Academy, U.S.A Alexander D. Stoyenko, New Jersey Institute of Technology, U.S.A Kenji Toda, MITI Electrotechnical Laboratory, Japan Jan Vytopil, University of Nijmegen, The Netherlands Sponsors The Naval Surface Warfare Center, Philips Research, Eindhoven, The Netherlands, OCE B. V. Venla, The Netherlands, The Institute for Integrated Systems Research at NJIT and Eindhoven University of Technology. IPPS'94 is organized in cooperation with IEEE Computer Society and its Technical Committee on Parallel Processing in cooperation with ACM SIGARCH. Schedule of Events: Thursday, April 28 10:00 AM - 10:45 AM Welcome - Dieter Hammer, Lonnie Welch Keynote speech 1 10:45 AM - 12:00 PM Multiprocessor & Distributed Operating Systems J. A. Stankovic, University of Massachusetts, U.S.A, "Adjustable Flow Control Filters and Refflective Memories as Support for Distributed Real-Time Systems"(long) E. J. Luit and J. M. M. Martin, Eindhoven University of Technology, The Netherlands, "A Convergence Function for Clock Synchronization Protocols" (long) J. C. Liu, J. Kim, Y. Chen ,Y. Hao, T. Kim and S. Lee, Texas A&M University, U.S.A, "The Advanced Distributed Ramp Metering System" (short) 3:00 PM - 5:00 PM Scheduling, Resource Allocation, and Optimization H. Streich, National Centre for Computer Science (GMD), Germany, "TaskPair-Scheduling: An Approach for Dynamic Real-Time Systems" (long) G. Yu, New Jersey Institute of Technology, U.S.A, "Concurrency Enhancement in Off-line Scheduling Construction"(short) C. Cardeira and Z. Mammeri, Ecole Nationale Supervieure d'Electricite et de Mecanique, France, "Hopfield and Tank Neural Networks for Multiprocessor Task Scheduling"(short) T. Tia and J. W. S. Liu, University of Illinois at Urbana-Champaign, U.S.A, "Task and Resource Assignment in Distributed Real-Time Systems"(long) E. Haddad, Virginia Polytechnic Institute and State University, U.S.A, "Real-Time Optimization of Distributed Load Balancing"(short) S. Ronngren, D. Lorts and B. Shirazi, University of Texas, Arlington, U.S.A, "Empirical Evaluation of Compound Static Scheduling Heuristics for Real-Time Multiprocessing" (short) 5:30 PM - 7:30 PM Databases & Multimedia & Methods S. H. Son, Y. K. Kim, D. W. George and M. Lehr, University of Virginia, U.S.A, "A Database Server for Distributed Real-Time Systems: Issues and Experiences" (long) G. Ramanathan, Brock University, Canada, "Scheduling Transactions in Real-Time Distributed Databases: A Dynamic Priority-based Algorthim" (short) P.D.V. van der Stok and P.T.A. Thijssen, Eindhoven University of Technology, The Netherlands, "Simulation of Distributed Real-Time Transactions" (short) B. Furht, Florida Atlantic University, U.S.A, "Real-Time Issues in Distributed Multimedia Systems" (long) N. Kosugi, K. Takashio and M. Tokoro Keio University, Japan, "Modification and Adjustment of Real-Time Tasks with Rate Monotonic Scheduling Algorithm", (short) C. Puchol and A. K. Mok, The University of Texas, Austin, U.S.A, "The Integration of Co ntrol and Dataflow Structures in Distributed Hard Real-Time Systems" (short) Friday, April 29 10:00 AM - 10:45 AM Keynote speech 2 10:45 AM - 12:00 PM Scheduling, Resource Allocation & Optimization C. Kelling and G. Hommel, Technical University of Berlin, Germany, "Modeling Priority Schemes with Timed Petri Nets" (long) S. K. Oh and G. H. MacEwen, Queen's University, Canada, "Compound Service Scheduling with Run-Time Adaptation in Real-Time Multiprocessor Distributed Systems" (short) J. Apsel, K. H. Ecker, Technical University of Clausthal and W. Halang, Fernuniversitat Hageng, Germany, "Throw Forward Task Scheduling Strategy in Real-Time Systems" (short) M. Adelantado, F. Boniol, M. Cubero-Castan, B. Lecussan, Onera-Cert/Deri, Toulou se, France, "Synchronous/Anytime Programming for Distributed Reactive Systems" (short) 1:30 PM - 2:15 PM Keynote speech 3 2:15 PM - 3:30 PM Object-Oriented Techniques and Complex Systems G. Li , APM/ANSA Ltd, Cambridge, U.K, J. Bacon, University of Cambridge, U.K, "Supporting Distributed Real-Time Objects" (short) B. Abou-Haidar, E. B. Fernandez, and T. B. Horton, Florida Atlantic University, U.S.A, "An Object-oriented Methodology for the Design of Control Software for Flexible Manufacturing Systems" (short) R. A. Steigerwald, C. A. Warack and D. A. Cook, US Air Force Academy, U.S.A, "Issues in Integrating Reusable Ada 9X Objects into Distributed Real-Time Systems"(short) N. E. Karangelen, Trident Systems Inc., Fairfax, VA, N. T. Hoang, US Naval Surface Warfare Center, U.S.A, "Representing System Behavior in Design and Analysis of Large Complex Real-Time Systems" (short) J. A. Caruso, Computer Sciences Corporation, U.S.A, "Partitioning Complex Real-Time Systems" (short) 4:00 PM - 6:00 PM Communications, Fault Tolerance & Hardware K. Toda, K. Nishida, E. Takahashi, N. Michell, and Y. Yamaguchi, MITI Electrotechnical Laboratory, Japan, "Implementation of a Priority Forwarding Router Chip for Real-Time Interconnection Networks" (long) Esposito, Italian Air Force Academy Italy and Vaccaro, Verdoscia, Instituto per la Ricerca sui Sistemi Informatici Paralleli, Italy, "A special Purpose Parallel System for Predictable Real-Time Systems" (short) H. T. Olnowich, IBM, U.S.A, "ALLNODE-RT: A Real-Time, Fault Tolerant Network" (short) J. Rexford, J. Dolter and K. Shin, The University of Michigan, U.S.A, "Hardware Support for Controlled Interaction of Guaranteed and Best-Effort Communication" (short) M. W. Mutka, Michigan State University, U.S.A, "Using Rate Monotonic Scheduling Technology for Real-Time Communications in a Wormhole Network" (short) H. Schepers, Eindhoven University of Technology, The Netherlands, "Verifying Fault Tolerant Real-Time Distributed Systems Compositionally" (short) G. Bruno, A. Castella, R. Agarwal, I. Pavesio, M. P. Pescarmona, Dipartimento di Automatica e Informatica Politecnico di Torino, Italy, "Using Modular Petri Nets for Developing Telecommunication Software" (short) 6:00 PM - 6:15 PM Closing Remarks Keynote speeches are each 45 minutes long. Long papers are allotted 30 minutes each, and short papers are given 15 minutes each. ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------