Subject: IEEE-CS TC-RTS Newsletter for Sun Mar 26, 1995 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Azer Bestavros (116 lines) The IEEE-CS TC-RTS Home Page....................................... 2 2nd Call for Papers: 16th IEEE Real-Time Systems Symposium......... 25 2. CZERNIENKO Terry (103 lines) ACCEPTED PAPERS - AMAST'95......................................... 118 3. nwosuck@harpo.wh.att.com (Kingsley Nwosu) (202 lines) CFP: 1995 International Workshop on Multi-Media DBMS (IW-MMDBMS'9.. 222 4. Frits.Vaandrager@cwi.nl (42 lines) Postdoctoral position at CWI....................................... 424 5. Mike Hinchey (214 lines) ICECCS'95.......................................................... 465 6. Insup Lee (251 lines) 29th HICSC: Distributed Real-time Systems track.................... 679 7. Eric A Maki (41 lines) Announcing A New Information Source for Real Time Publications!.... 931 8. Jukka.Karjalainen@tko.vtt.fi (Jukka Karjalainen) (589 lines) 7TH Euromicro workshop on REAL-TIME SYSTEMS........................ 972 9. welch@vienna.njit.edu (Lonnie Welch) (99 lines) ARTEWG Workshop on Distributed Systems Applications and Ada95...... 1561 10. Ragunathan Rajkumar (485 lines) IEEE Real-time Technology and Applications Symposium: Advance Pro.. 1659 11. welch@vienna.njit.edu (Lonnie Welch) (605 lines) JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS....... 2145 12. David Hull (835 lines) Advance Program: ICDCS95........................................... 2749 13. cn2@arch4.ho.att.com (129 lines) Community Networking Call for Participation........................ 3585 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Sun Mar 26 22:01:46 1995 Subject: The IEEE-CS TC-RTS Home Page From: Azer Bestavros Content-Length: 529 As many of you already know, the IEEE-CS Technical Committee on Real-Time Systems has a Home Page on the World-Wide Web (WWW). To access our Home Page use the following URL http://cs-www.bu.edu/pub/ieee-rts/Home.html Current statstics suggest an average of more than 50 accesses a day to our Home Page. If your research group maintains a home page on the WWW and you would like to link your page to the IEEE-CS TC-RTS Home Page, please send me the URL of that page. Comments and suggestions are welcome. Thanks. --Azer Postmarked Sun Mar 26 22:01:46 1995 Subject: 2nd Call for Papers: 16th IEEE Real-Time Systems Symposium From: Azer Bestavros Content-Length: 5564 CALL FOR PAPERS ---. --- ,--.,--. / .--. .-- | | | | | | | | 16th IEEE Real-Time Systems Symposium |--' | `--.`--. `--| `--. December 5-7, 1995 | \ | | | | | Pisa, Italy | \ | `--'`--' `--' `--' Sponsored by IEEE Computer Society TC on Real-Time Systems +----------------------------+ | | Scope: | General Chair | ----- | ------------- | The purpose of this symposium is to bring | Krithi Ramamritham, USA | together researchers and developers from aca- | | demia, industry, and government to advance the | Program Chairs | science and technology in real-time computing. | -------------- | Papers on all aspects of real-time compu- | Alan Burns, UK | ting are sought, including operating systems | Yann-Hang Lee, USA | and scheduling, fault-tolerance, databases, | | programming languages, tools, communication | Treasurers | networks, architectures, performance modeling, | ---------- | formal methods, case studies, and applications. | Walt Heimerdinger, USA | Of particular interests are reports describing | Ettore Ricciardi, Italy | practical experiences and experimental results | | based on system building efforts, and real-time | Publicity Chairs | issues in applications such as avionics, multi- | ---------------- | media, robotics, automated process control and | Azer Bestavros, USA | manufacturing. | Ken Tindell, Sweden | | | Submissions: | Industrial Chairs | ----------- | ----------------- | Papers should describe original work, and be 20 | Michelle Hugue, USA | double-spaced pages (5,000 words) or less in | Christian Koza, Austria | length. Synopses (5 double-spaced pages or less | | in length) of real-time applications, experi- | Local Arrangements | mental results and practical experiences in the | ------------------ | design and development of real-time systems are | Giorgio Buttazzo, Italy | also invited. Synopses should contain enough | Ettore Ricciardi, Italy | information for the program committee to under- | | stand the scope of the project and evaluate the | Ex-Officio | novelty of the problem or approach. All accept- | ---------- | ed submissions will appear in the proceedings. | Al Mok, USA | Please send 5 copies of the manuscript to one | | of the program co-chairs at the following ad- | Program Committee | dresses. A single cover page should be included | ----------------- | which contains: paper title, full name, affili- | Ted Baker, USA | ations, complete addresses, phone & fax numbers | Giorgio Buttazzo, Italy | and email addresses of the authors, as well as | Juan A. DeLaPuente, Spain | a 100 to 150 words abstract. In addition, a | Richard Gerber, USA | text file containing the title and abstract | Nicholas Halbwachs, France | should be emailed to the program co-chairs. | Hans Hansson, Sweden | | Connie Heitmeyer, USA | Professor Alan Burns | Jozef Hooman, Holland | Dept of Computer Science | Farnam Jahanian, USA | University of York | Kevin Jeffay, USA | York, Y01 5DD, England | Theodore Johnson, USA | Email: burns@minster.york.ac.uk | Mathai Joseph, UK | Phone: +44 (0)1904-432779 | Dilip Kandlur, USA | | Hermann Kopetz, Austria | Dr. Yann-Hang Lee | C. Mani Krishna, USA | Computer Information Sciences | Kwei-Jay Lin, USA | University of Florida | Fabio Panzieri, Italy | Gainesville, FL 32611 | David Powell, France | Email: yhlee@cis.ufl.edu | Lui Sha, USA | Phone: (904) 392-1536 | Parmesh Ramanathan, USA | | Hans Rischel, Denmark | Important dates: | Mike Rodd, UK | --------------- | Fred Schneider, USA | Deadline for Papers/Synopses: May 1, 1995 | Dennis Shasha, USA | Acceptance Letters: July 24, 1995 | Kang Shin, USA | Camera-Ready Papers: September 15, 1995 | Sang Son, USA | Symposium: December 5-7, 1995 | Jack Stankovic, USA | | Jay Strosnider, USA | Tutorials and Exhibition: | Reino Suonio, Finland | ------------------------ | Sandra Thuel, USA | Tutorials on real-time communications, real- | Kenji Toda, Japan | time posix, and formalisms, are being planned | Paulo Verissimo, Portugal | and will be held immediately before the sympo- | Andy Wellings, UK | sium. In addition, an exhibition of hardware & | Wei Zhao, USA | software products for real-time systems will be | | held in conjunction with the symposium. For +----------------------------+ more information contact Professor Alan Burns. RTSS'95 WWW home page is available at http://cs-www.bu.edu/pub/ieee-rts/rtss95/ ------------------------------------------------------------------------------ Message 2; Postmarked Tue Jan 31 22:01:46 1995 Subject: ACCEPTED PAPERS - AMAST'95 From: CZERNIENKO Terry Content-Length: 2940 Algebraic Methodology and Software Technology AMAST'95 The full program will be announced in the first week of March. ACCEPTED PAPERS An Algebraic Construction of the Well-Founded Model Rajiv Bagai and Rajshekhar Sunderraman Order-Sorted Algebraic Specifications with Higher-Order Functions. Anne Elisabeth Haxthausen Representing Verifying and Applying Software Development Steps using the PVS System , Axel Dold Context-Free Event Domains are Recognizable Eric Badouel, Philippe Darondeau, Jean-Claude Raoult Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY, Pierre Collete and E. Knapp Detecting Isomorphisms of Modular Specifications with Diagrams Catherine Oriat On Mechanizing Proofs within a Complete Proof System for Unity. Naima Brown and Abdelillah Mokkedem Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus Lalita Jategaonkar Jagadeesan and Radha Jagadeesan Verification in Continuous Time by Discrete Reasoning Luca De Alfaro and Zohar Manna Proving the Correctness of Behavioural Implementation Michel Bidoit, Rolf Hennicher Completeness Results for Two-Sorted Metric Temporal Logics Angelo Montanari and Maarten de Rijke Specification of the Unix Filing System: A Comparative Case Study Maritta Heisel Dynamic Matrices and the Cost Analysis of Concurrent Programs GianLuigi Ferrari and Ugo Montanari An Algebraic Development Technique for Information Systems Martin Gogolla and Rudolf Herzig Formal Development of a Minimal Register Allocation Algorithm Kent Lee and Hantao Zhang A Calculus of Communication with Broadcasting Yoshinato Isobe, Yutaka Sato and Kazuhito Ohmaki Higher-Order Narrowing with Convergent Systems, Christian Prehofer Symbolic Timing Devices, Annie Bergeron On the decidability of process equivalences for the pi-calculus Mads Dam Semantic Typing for Parametric Algebraic Specifications Maria Victoria Cengarle A Framework for machine-assisted user inferface P. Bumbulis, P.S.C. Alencar, D.D. Cowan, C.J.P. Lucena An Algebraic Framework for Developing and Maintaining Real-Time Systems Elizabeth Leonard and Amy E. Zwarico CPO Models for Infinite Term Rewriting A. Corradini and Fabio Gadducci Petri Nets, Traces, and Local Model Checking, Allan Cheng Encoding Natural Semantics in Coq, Delphine Terrasse Confluence and Concurrent Constraint Programming Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi A Generic Algebra for Data Collections Based on Constructive Logic P. Rajagopalan and C.P. Tsang Automated Reasoning about Parallel Algorithms using Powerlists Deepak Kapur and M. Subramaniam Mongruences and Cofree Coalgebras, Bart Jacobs Partial Order Programming (Revisited) Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon ------------------------------------------------------------------------------ Message 3; Postmarked Wed Feb 1 18:29:42 1995 From: nwosuck@harpo.wh.att.com (Kingsley Nwosu) Subject: CFP: 1995 International Workshop on Multi-Media DBMS (IW-MMDBMS'95) Content-Length: 5285 CALL FOR PAPERS *************** FIRST INTERNATIONAL WORKSHOP ON MULTI-MEDIA DATABASE MANAGEMENT SYSTEMS August 28-30, 1995 Blue Mountain Lake, NY (The Adirondacks) Sponsors: CASE Center, Syracuse Univ. in cooperation with: IEEE Computer Society ACM SIGMULTIMEDIA (pending) The rapid advances in many facets of Computer Technology have intensified Research and Development interests in Multi-Media Information Processing(MMIP). Despite the current existence of some forms of Multi-Media Systems, the true realization of MMIP rests on the ability to access and manipulate the multi-media objects. That can only be adequately addressed and achieved via Multi-Media Data Base Management Systems (MMDBMSs). For conventional text-based information, data access and manipulation have advanced considerably; however, for multi-media systems that incorporate continuous media objects, e.g., audio and video, and other media types like images, voice, and graphics, they pose novel problems. This workshop, which is intended to become an annual event, is a follow-up to the highly successful multi-media workshop held in conjunction with the ACM Annual Multi-Media Conference in San Francisco, California, in October 1994. The workshop will also feature two internationally reputable guest speakers. The workshop will emphasize on the issues relevant to designing, developing, and utilizing MMDBMSs especially the areas listed below. Areas of Interest: ================= Multi-Media Database Models Decomposition/Organization Strategies Storage Structures and Techniques System, Schema, and Functional Architectures Query Language Designs and Specifications Retrieval/Search Techniques/Strategies/Algorithms Metadata Management Query Optimization Application/User Interfaces Access Methods and Indexing Techniques Distributed Multi-Media Data Management Multi-media Data Synchronization QoS Delivery/Presentation Issues Performance Evaluation Data Compression Access Security Issues Object-Oriented Paradigms Information for Authors: ======================= Authors are invited to submit 4 copies of each paper not exceeding 25 double-spaced pages, including figures, pictures, etc. to Dr. Kingsley C. Nwosu (see address below). Each paper must include an abstract of less than 200 words. Previously published papers will not be considered. When deemed necessary and sufficient by an author, a paper may be an extended summary. Each author must clearly describe the nature of the work, significant contributions to the body of work, discuss the novel features, and its current status. A one page cover which contains the full name, affiliation, phone numbers, e-mail address, and full mailing address of each author must accompany each paper. The cover page must also indicate a contact author in the case of multiple authors. If a paper is accepted, the author(s) will prepare the final manuscript, as requested, in time for inclusion in the Workshop proceedings. Important Dates: =============== Papers due: Feb. 15, 1995. Notification of Acceptance: April 15, 1995. Camera-ready copies due: May 15, 1995. General Chair: ============== Prof. P. Bruce Berra Director, CASE Center, Suite 2-212, CST, Syracuse Univ., Syracuse, NY 13244. Program Chairs: ============== Dr. Kingsley C. Nwosu AT&T Bell Labs., 67 Whippany Rd., Rm. 2C-256, Whippany, NJ 07981-0903. Phone:(201)386-4211. Fax:(201)386-2182. email:nwosuck@harpo.wh.att.com Dr. Bhavani Thuraisingham The Mitre Corp., K329, Burlington Rd., Bedford, MA. 01730. Phone:(617)271-8873. email:thura@mitre.org Program Co-Chairs: ================= Prof. Rajiv Mehrotra Dept. of Mathematics & Computer Science Univ. of Missouri-St. Louis 8001 Natural Bridge Rd. St. Louis, MO 63121 Phone:(314)553-6343 email:rajiv@arch.umsl.edu Dr. Patrick Bobbie Dept of CIS, Florida A&M Univ. Tallahassee, FL 32307. Phone:(904)599-3022. email:bobbie@serel.cis.famu.edu Publications Chair: =================== Dr. Cyril Orji Computer Science Dept. Florida International Univ. Miami, FL. 33199. email:orji@geneva.fiu.edu Local Arrangements/Registration: =============================== Emileen Butler CASE Center Suite 2-212, CST, Syracuse Univ. Syracuse, NY 13244. Phone:(315)443-1062. Emily Yakawiak CASE Center Suite 2-212, CST Syracuse Univ. Syracuse, NY 13244. Phone:(315)443-1060. Program Committee: ================== P. Venkat Rangan (UCSD) A. Silberschatz (AT&T Bell Labs) Arif Ghafoor (Purdue Univ.) Philip S. Yu (IBM) Warren Sterling (AT&T GIS) Roger Chen (Syracuse Univ.) Ralf Steinmetz (IBM) A. Biliris (AT&T Bell Labs) Raj Yavatkar (U. KY) Tom Little (Boston Univ.) Alex Pentland (MIT Media Lab.) F. Golshani (Arizona State Univ) Surajit Chaudhuri (Hewlett Packard) Joseph Urban (Arizona State Univ.) Bill Grosky (Wayne St. U.) Grep Speegle (Baylor Univ) Dragutin Petkovic (IBM) Le Gruenwald (U. OK) Olivia R. Liu Sheng (U. Arizona) Son K. Dao (Hughes Research Lab) Ramesh Jain (UCSD) Soon Chung (Wright St. U.) Satya Prabhakar (Honeywell) C. Faloutsos (U. Maryland) S. Ghandeharizadeh (USC) Kelly Lyons (IBM) =========================================== thanks Kingsley C. Nwosu, PhD. AT&T Bell Labs. ------------------------------------------------------------------------------ Message 4; Postmarked Thu Feb 2 14:32:42 1995 From: Frits.Vaandrager@cwi.nl Subject: Postdoctoral position at CWI Content-Length: 1324 POSTDOCTORAL POSITION AT CWI: The project `Testing and Verification of Timed Systems' will be carried out jointly at the Tele-Informatics and Open Systems Group of the University of Twente and at the Department of Software Technology of CWI in Amsterdam. The project aims at the development of a coherent methodological framework for the validation of real-time distributed systems. The work will support both empirical and formal validation methods, i.e. testing and verification, thus allowing for the application of complementary strategies. For inspiration and evaluation the project will apply its validation methods on realistic real-time applications in consumer-electronics and the area of communication and application protocols. In the context of this project, which is supported by NWO/SION (Netherlands Organization for Scientific Research), a postdoctoral position is available at CWI for a period of two years. Requirements are a strong background in concurrency theory and a serious interest in the use of formal methods on real world applications. Applicants should send a vita and names+addresses of three references by surface mail to: Personeelsdienst van de Stichting Mathematisch Centrum Kruislaan 413 1098 SJ Amsterdam The Netherlands or via email to: Frits Vaandrager fritsv@cwi.nl ------------------------------------------------------------------------------ Message 5; Postmarked Fri Feb 3 15:14:50 1995 Subject: ICECCS'95 From: Mike Hinchey Content-Length: 7272 ICECCS'95 First IEEE International Conference on Engineering of Complex Computer Systems Southern Florida, USA, November 6--10, 1995 Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP Sponsored by: IEEE Computer Society (Technical Committees on Multimedia Computing, Programming Languages, Real-Time Systems, Software Engineering; Task Force on Engineering of Computer-Based Systems; in cooperation with IFAC COMPUT) Keynote Speaker: David Lorge Parnas, McMaster University ICECCS'95 General Chair Alexander Stoyenko New Jersey Institute of Technology alex@vulcan.njit.edu IFAC/IFIP WRTP'95 Chair Phillip Laplante Fairleigh Dickinson University laplante@fdumad.fdu.edu CSESAW'95 Chair Steve Howell Naval Surface Warfare Center Dahlgren Division showell@relay.nswc.navy.mil IEEE RTAW'95 Chair Prabha Gopinath Honeywell gopinath_prabha@ssdc.honeywell.com PC Co-Chairs (The Americas) Ted Lewis, Naval Postgraduate School lewis@cs.nps.navy.mil Bruce Shriver, Genesis 2 shriver@genesis2.com PC Co-Chair (Europe & Africa) Dieter Hammer Technical University of Eindhoven wsindh@win.tue.nil PC Co-Chair (Asia/Oceania) Tadashi Ae University of Hiroshima ae@csl.hiroshima-u.ac.jp Industrial/Exhibits Chair Thomas Bihari AMT Systems Engineering, Inc. teb@amt.columbus.oh.us Tutorials Chair Wolfgang Halang FernUniversitat Hagen Wolfgang.Halang@fernuni-hagen.de Local Arrangements Chair Borko Furht Florida Atlantic University borko@cse.fau.edu Publicity Chair Michael Hinchey University of Cambridge Mike.Hinchey@cl.cam.ac.uk Program Committee: T. Ae T. Bihari J. Bowen G. Cantone S. Chodrow E. Bertino D. Bhatt R. Freund B. Furht M. Eshaghian M. Evangelist P. Gopinath W. Halang D. Hammer M. Harmon A. Helal C. Heitmeyer M. Hinchey B. Holtcamp S. Horiguchi J. Huang Y. Kakuda H. Kasahara B. Kraemer P. Laplante J. Lavi H. Lee Y.-H. Lee T. Lewis K. Man T. Marlowe M. McElvany Hugue J. Miyao L. Motus K. Nilsen V. Nirkhe J. de la Puente M. Pezze J. Philipose V. Prasanna P. Ramanathan H. El Rewini M. Rodd J. Schwartz B. Shriver G. Suski S. Takegaki B. Thuraisingham H. Toetenel M. Tokoro J. Vasell S. White M. Wilson Y. Yamaguchi Description: IEEE Computer Society's inaugural International Conference on the Engineering of Complex Computer Systems (ICECCS'95) is to be held in Southern Florida, USA, in November 1995, jointly with the 5th Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'95), the 3rd IEEE Workshop on Real-Time Applications (RTAW`95) and the 20th IFIP/IFAC Workshop on Real-Time Programming (WRTP'95). Scope: Complex computer systems are becoming common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. These systems frequently include distributed, heterogeneous networks, and are driven by requirements on performance, real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns, and other areas. Such requirements frequently conflict, and satisfaction of these requirements requires managing the tradeoffs among them during system development and throughout the entire system life. In practice, many engineering disciplines must contribute to the construction of complex computer systems. Moreover, such systems cannot be based on a single technique. Different paradigms and methods are necessary for different parts of the system. Although important results have been achieved in different areas, there is an increasing need to integrate these results in a sensible way. The goal of this conference is to bring together industrial, academic, and government experts from these various disciplines, to determine how the disciplines' problems and solution techniques interact within the whole system. Researchers, practitioners, tool developers and users, and technology transition experts are all welcome. Long-term research, near-term complex system requirements and promising tools, and existing complex systems and commercially available tools will be examined on a level playing field. Cross-disciplinary and research-practice experiences and insights are of particular interest. An exhibit area for commercial tools and research prototypes is planned. Tracks/Mini-Tracks/Sessions: A number of tracks/mini-tracks are anticipated, chaired by PC members, as follows: -- Complex Real-Time Architectures, Tools, Environments and Languages (Marlowe, Nilsen, Ramanathan, Vasell) -- Dependable Real-Time Systems (Huang, McElvany Hugue) -- Database and Data Management (Bertino, Thuraisingham) -- Formal Methods (Bowen, Heitmeyer, Pezze) -- Heterogeneous Computing (Eshaghian, Freund) -- Re-engineering, Re-use, Reverse Engineering (Kraemer, Wilson) -- Systems Engineering/Engineering of Computer-Based Systems (Howell, Lavi) -- Virtual Reality, Multimedia, Real-Time Imaging (Furht, Laplante, H. Lee) Research, Technology and Application Topics: All aspects of the engineering of complex computer systems are of interest; these include, but are not limited to: -- Formal specification techniques -- Algorithms, optimization and analysis -- Performance estimation and prediction -- Reuse, reverse engineering, legacy applications -- Communications, mobile computing -- Massive databases and distributed systems -- Megaprogramming, visual programming -- Design methods, method integration -- Multimedia systems -- Metrics and project management -- Standards -- Tools and environments -- Prototyping and testing techniques -- Emerging technologies Both long (under 5000 words) and short (under 2500 words) submissions are welcome, including presentations of complete work, summaries of work in progress, position statements, exhibit proposals, tutorial proposals. A submission may address any combination of research, technology or applications within the ECCS area. Prospective participants are encouraged to contact and discuss their possible submissions with appropriate Chairs. All submissions should be made, in five copies, by April 30th, 1995 to: Alexander Stoyenko Real-Time Computing Laboratory Department of Computer and Information Science New Jersey Institue of Technology University Heights Newark, New Jersey 07102 USA alex@vulcan.njit.edu +1-201-596-3366 (office) +1-201-596-5777 (fax) Suggestions and questions concerning exhibits of research prototypes and commercially available tools and technology should be directed to: Thomas Bihari AMT Systems Engineering 1218 Kinnear Road Columbus, Ohio 43212 USA teb@amt.columbus.oh.us +1-614-486-7741 (office) +1-614-486-9459 (fax) ICECCS'95 is generously supported by the Office of Naval Research, the Naval Surface Warfare Center Dahlgren Division, Honeywell, and the Real-Time Computing Laboratory at NJIT. ------------------------------------------------------------------------------ Message 6; Postmarked Tue Feb 21 17:32:03 1995 Subject: 29th HICSC: Distributed Real-time Systems track From: Insup Lee Content-Length: 9548 Enclosed please find a copy of call-for-papers for 29th Hawaii International Conference on System Sciences. In particular, please note the minitrack 7 on DISTRIBUTED REAL-TIME SYSTEMS. Best regards, Insup Call For Papers and Referees in High Performance Distributed Systems: Design, Implementation, and Applications for the Software Technology Track of the 29th Hawaii International Conference on System Sciences, HICSS-29 Maui, Hawaii - January 3-6, 1996 ********************************************************************* This year, the Software Technology Track of HICSS-29 will focus on a broad selection of topics in the area of High Performance Distributed Systems: Design, Implementation, and Applications. This particular solicitation for the Software Track will provide a forum to discuss new advances in theory, design, implementation, use, application, and performance evaluation of high performance distributed systems. We invite papers that may be theoretical, conceptual, tutorial, or descriptive in nature. Those papers selected for presentation will appear in the Conference Proceedings. HICSS-29 is sponsored by the University of Hawaii. The Conference Proceedings are published by the IEEE Computer Society. A collection of the accepted papers will be considered for inclusion in a separately bound volume to be determined (publisher and exact dates of publication) at a later time. 1995 Deadlines ************** o A 300-word abstract by March 15 o Feedback to author on abstract by April 3 o Eight copies of the manuscript by June 1 o Notification of accepted papers by August 31 o Camera-ready copies of accepted manuscripts are due by October 2 Software Technology Track Co-Chairs =================================== Hesham El-Rewini Bruce Shriver Department of Computer Science HICSS-29 Co-Chairman University of Nebraska at Omaha 17 Bethea Drive Omaha, NE 68182 Ossining, NY 10562-1620 Phone: (402) 554-2852 Phone: (914) 762-3251 Fax: (402) 554-2975 Fax: (914) 941-9181 Email: rewini@unocss.unomaha.edu Email: shriver@genesis2.com Software Technology Track Advisory Committee ******************************************** - - - Dharma Agrawal, North Carolina State University, USA - - - Selim Akl, Queen's University, CANADA - - - Vicki Allan, Utah State University, USA - - - Jim Anderson, University of North Carolina, USA - - - Karsten M. Decker, Swiss Scientific Computing Center, SWITZERLAND - - - Hesham El-Rewini, University of Nebraska at Omaha, USA - - - Jeff Kramer, Imperial College, UK - - - Tore Larsen, Tromso University, NORWAY - - - Harlod W. Lawson, Lawson Foerlag & Konsult AB, SWEDEN - - - Joseph Leung, University of Nebraska-Lincoln, USA - - - Sape J. Mullender, University of Twente, NETHERLANDS - - - Wolfgang Schroeder-Preikschat, National Research Center for CS, GERMANY - - - Gregory A. Riccardi, Florida State University, USA - - - Bruce Shriver, Genesis2, Inc. & University of Southwestern Louisiana, USA - - - Alok Sinha, Microsoft, USA - - - David Skillicorn, Queen's University, CANADA - - - Ivan Stojmenovic, University of Ottawa, CANADA - - - Albert Y. Zomaya, The University of Western Australia, AUSTRALIA Instructions for Submitting Papers ********************************** Manuscripts should be 22-25 typewritten, double-spaced pages in length. Papers must not have been previously presented or published, nor currently submitted for journal publication. Each manuscript will be subjected to a rigorous refereeing process involving at least five reviewers. Manuscripts should have a title page that includes the title of the paper, full name(s) of author(s), affiliation(s), complete postal and electronic mail address(es), telephone and FAX numbers, and a 300-word abstract of the paper. Specific Topics and Minitrack Coordinators ****************************************** Submit your 300-word abstract and then eight copies of the paper to one of the following Minitrack Coordinators according to their areas of responsibility. Persons interested in refereeing in these areas should contact the Minitrack Coordinators directly. 1) APPROACHES TO PERSISTENCY IN DISTRIBUTED SYSTEMS Semantics of persistent objects, efficient and save type-handling, object addressing schemes, granularity of distribution, sharing and persistence, configurability of object stores, integration of parallel I/O, impact of new hardware development, distributed persistent applications. COORDINATOR ----------- Joerg Nolte, jon@trc.rwcp.or.jp Tsukuba Research Center of Real World Computing Partnership Tsukuba Mitsui Building, 1-6-1 Takezono, Tsukuba, Ibaraki 305, JAPAN 2) HIGH SPEED NETWORKS Design and analysis of distributed algorithms, transmission algorithms, static and dynamic routing, analysis of intermediate and endpoint functions, flow control, fault tolerance, reconfiguration techniques, embedding and mapping problems. COORDINATORS ------------ Evangelos Kranakis, kranakis@scs.carleton.ca School of Computer Science Carleton University Ottawa, ON, K1S 5B6, CANADA Danny Krizanc, krizanc@scs.carleton.ca School of Computer Science Carleton University Ottawa, ON, K1S 5B6, CANADA 3) PARALLEL AND DISTRIBUTED OPERATING SYSTEMS Parallel operating systems, support for repartitionable parallel architectures, locking mechanisms, distributed operating systems, microkernel organization, distributed deadlock detection, distributed mutual exclusion, distributed shared memory, coherency mechanisms, extensible caching policies, high performance communication protocols, light weight remote procedure calls. COORDINATORS ------------ Steve J. Chapin, sjc@mcs.kent.edu Department of Mathematics and Computer Science Kent State University Kent, OH 44242 Arthur B. Maccabe, maccabe@cs.unm.edu Department of Computer Science University of New Mexico Albuquerque, NM 87131-1386 4) OPTIMIZATION IN PARALLELIZING COMPILERS Loop transformation theory, program partitioning, task creation and scheduling in multithreaded multiprocessors, cache performance optimization and software prefetching at compile and run time, communication performance prediction and optimization for regular and irregular parallel computation, compile and run time support for task parallelism, automatic task definition and data distribution. COORDINATORS ------------ Balaram Sinharoy, balaram@vnet.ibm.com Systems Technology and Architecture Division IBM Corporation Poughkeepsie, NY 12601-5400 Boleslaw K. Szymanski, szymansk@cs.rpi.edu Department of Computer Science Rensselaer Polytechnic Institute Troy, NY 12180-3590 5) HETEROGENEOUS PROCESSING Applications, algorithms, programming paradigms, languages and compilers, Profiling, visualization, interconnection networks, prototype systems, frameworks for heterogeneous computing, debugging in heterogeneous environments, performance modeling and evaluation, benchmarking. COORDINATORS ------------ Y. M. Teo, teoym@iscs.nus.sg Dept. of Info. Systems and Computer Science National University of Singapore Kent Ridge, SINGAPORE 0511 Gary S. H. Tan, gtan@iscs.nus.sg Dept. of Info. Systems and Computer Science National University of Singapore Kent Ridge, SINGAPORE 0511 6) PARALLEL AND DISTRIBUTED SIMULATION Performance prediction and evaluation of distributed discrete event simulation protocols, simulation languages and tools, automated parallelization, adaptive protocols, dynamic load balancing and logical process migration, simulated direct execution of parallel codes, monitoring and debugging. COORDINATOR ----------- Alois Ferscha, ferscha@ani.univie.ac.at Institut Fuer Angewandte Informatik Universitaet Wien, Lanaugasse 2/8 A-1080 Vienna, AUSTRIA 7) DISTRIBUTED REAL-TIME SYSTEMS Specification, analysis and testing technologies, formal methods, applications, distribution and concurrency, operating system support, language and tool support, fault tolerance, performance modeling and analysis, safety aspects in real time systems. COORDINATORS ------------ Insup Lee, lee@cis.upenn.edu Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 10104 Krishna Kavi, kavi@cse.uta.edu Department of Computer Science Engineering University of Texas at Arlington Arlington, TX 76019-0015 Nikola Serbedzija, nikola@first.gmd.de GMD FIRST Rudower Chaussee 5, D-12489 Berlin, GERMANY 8) PARTITIONING AND SCHEDULING Static and dynamic scheduling, load balancing, communication and I/O scheduling, Partitioning and scheduling in scientific and engineering computing, scheduling tools, scheduling on workstation based networks, task migration, benchmarking and performance evaluation. COORDINATORS ------------ Ishfaq Ahmad, iahmad@cs.ust.hk Dept. of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, HONG KONG Horst D. Simon, horst@engr.sgi.com Silicon Graphics Mail Stop 7L-580, 2011 N. Shoreline Blvd. Mt. View, CA 94043 Tao Yang, hconf@cs.ucsb.edu Dept. of Computer Science University of California Santa Barbara, CA 93106 ------------------------------------------------------------------------------ Message 7; Postmarked Wed Feb 22 13:02:58 1995 From: Eric A Maki Subject: Announcing A New Information Source for Real Time Publications! Content-Length: 1300 Announcing A New Information Source for Real Time Publications! Kluwer Academic Publishers is proud to announce the availability of the Kluwer Academic Publishers Information Service. The Service, a gopher server located at gopher.wkap.nl, gives you instant access to our complete publications catalog, with information on more than 260 journals and 11,500 books. The Kluwer Academic Publishers Information Service allows readers of the IEEE-CS TC-RTS Newsletter to stay up-to-date with Kluwer's latest Real Time publications. The server contains complete information on our journal, REAL TIME SYSTEMS, including: * the complete table of contents (with forthcoming issues!) * aims and scope * instructions for authors * ordering information. The server also provides details on the latest additions to our REAL-TIME SYSTEMS book series (Consulting Editor: John Stankovic). The entire catalogue is searchable by subject, series, keyword, title, author, and date of publication. This completely free service is available at gopher.wkap.nl IP number 192.87.90.1 If you have any trouble reaching the server or have any questions about this service, please contact Eric Maki (emkluwer@world.std.com) or Peter Foppen (Foppen@wkap.nl). ------------------------------------------------------------------------------ Message 8; Postmarked Thu Feb 23 03:28:25 1995 From: Jukka.Karjalainen@tko.vtt.fi (Jukka Karjalainen) Subject: 7TH Euromicro workshop on REAL-TIME SYSTEMS Content-Length: 15315 7th EUROMICRO WORKSHOP ON REAL-TIME SYSTEMS IFAD, The International Science Park, Odense, Denmark June 14-16th 1995 ---- PROGRAM ---- ABOUT THE WORKSHOP Real-time Systems have been around ever since the first computers, and in particular microcomputers, entered the arena of control, substituting more and more for analog and electromechanical devices. Significantly, the gap between computer science, and the magic art of control is steadily narrowing, as the importance and complexity of correct temporal behaviour has been recognised. Scheduling still commands major interest, but specification, modeling and validation techniques are being given a growing attention, and development environments are finally being implemented, often through academic and industrial cooperation. The RTS workshop is aimed at providing an international forum for presentation and discussion of latest results in this field intersecting a wide range of concepts and applications. GENERAL INFORMATION Dates Workshop dates: June 14th-16th, 1995. Registration: Wednesday, June 14th at 8.30 - 9.30 am Reception: Wednesday June 14th at 7.30 pm in the City Hall Workshop Venue IFAD Forskerparken 10 DK-5230 Odense M Denmark Tel: +45 63 15 71 31 Fax: +45 65 93 29 99 e-mail: dorte@ifad.dk Travel The workshop will take place at IFAD, in the International Science Park, situated 5 km from the centre of Odense. Transfers will be arranged every morning and evening between the hotels and IFAD. Travelling to Odense Odense is situated in the middle of the island of Funen, about 150 km west of Copenhagen. By train: Odense has excellent rail connections every hour from/to Copenhagen (2 hours 35 min) and Fredericia (30 min), which are on international train routes. Seat reservations necessary. By car: Odense can be reached from the German border by car in approx. 1 1/2 hours (150 km) and from Copenhagen approx. 3 hours inclusive 1 hour by ferry across the Great Belt. Ferry reservation recommended. By air: Odense Airport is served by frequent flights from Copenhagen (35 min). Airport bus from/to Odense city. Climate Denmark has a temperate coastal climate which is influenced by the location near the Atlantic Ocean.. The winters are mild and the summers relatively cold. The springtime is usually dry while it often rains in the late summer and the autumn. Currency The unit of currency in Denmark is the Danish Crown (DKK). (1-US$ = 6 DKK) Registration Kindly fill in (a copy of) the enclosed Registration Form. Please ensure that all relevant details are completed 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 (NLG.). Registration fee includes scientific sessions, lunches, coffee served during the breaks, reception, and a copy of the proceedings. Accommodation The hotels in cat. A and B are situated in the city of Odense. Cat. C (Dalum Agricultural School) is located at 10 minutes walking distance from IFAD. In the last page of the program an Accommodation Reservation Form is included. Please, send or fax the form before May 1st, 1995 directly to the agency KongresBureau Fyn, Raadhuset, DK-5000 Odense C. Other Events The agency ``KongresBureau Fyn'' has planned a one-day tour for the Workshop participants to South Funen. Prices and conditions are specified in the Accommodation Reservation Form. Tour to SOUTH FUNEN - June 17th, 1995 10.00 am to 5.00 pm Departure from the hotels by coach. The tour will go through the green, rolling landscape, characterized by its well-kept woodland and agricultural areas, villages with ponds and thatched houses and a high concentration of manor houses. A cruise on the sound on board the veteran ship ``Helge'' will bring you to the beautiful small island of Taasinge, with a visit to Valdemars Castle, built by king Christian IV in 1640. This castle is now a museum, showing the history of a large manor house and its interiors through 350 years. Lunch at Hotel Troense, with a magnificent view of the South Funen archipelago. On the way back visit to one of the most remarkable manor houses, Egeskov Castle, built in 1554 on oak piles in the middle of a lake and today Europe's best preserved island Fort. Reception A reception will take place Wednesday June 14th at 7.30 pm in Odense City Hall. Sponsors Odense Steel Shipyard Ltd. TeleDanmark/Fyns Telefon REFERENCE ADDRESSES Program Chairman Lorenzo Mezzalira Politecnico di Milano Dip. Elettronica e Informazione Piazza Leonardo da Vinci 32 I-20133 Milano, Italy tel. +39-2-2399-3633 fax +39-2-2399-3411 e-mail mezzalir@elet.polimi.it Deputy Program Chairman Angelo Morzenti Politecnico di Milano Dip. Elettronica e Informazione Piazza Leonardo da Vinci 32 I-20133 Milano, Italy tel. +39-2-2399-3634 fax +39-2-2399-3411 e-mail morzenti@elet.polimi.it Organizing Chairman Benny Graff Mortensen The Inst. of Applied Comp. Sc. IFAD - Forskerparken 10 DK-5230 Odense M, Denmark tel. +45-63-15 71 31 fax +45-65-93 29 99 e-mail benny@ifad.dk Deputy Organizing Chairperson Anne Dorte Nielsen The Inst. of Applied Comp. Sc. IFAD - Forskerparken 10 DK-5230 Odense M, Denmark tel. +45-63-15 71 31 fax +45-65-93 29 99 e-mail dorte@ifad.dk Euromicro Manager Chiquita Snippe-Marlisa P.O. Box 2346 7301 EA Apeldoorn, The Netherlands Tel. +31 - 55 55 73 72 Fax +31 - 55 55 73 93 e-mail chiquita@info.vub.ac.be AUTOMATIC INFORMATION To receive information of the Workshop, mail a message to: dorte@ifad.dk specifying as subject: workshop inf TECHNICAL PROGRAM Wednesday June 14th 1995 8.30 - 9.30 - Registration 9.30 - 10.30 Keynote Session 1 Chairman: L. Mezzalira (I) Speaker: Prof.Joergen Staunstrup (DK) Hardware and Software Design, is there a difference ? 10.30 - 11.00 Coffee 11.00 - 12:30 Session 1 - Development Environments Chairman: P.A. Wiberg (S) IDERS: an integrated environment for the development of hard real-time systems H. Christensen, J.A. De la Puente, m: Pezzh, P.Pulli (I) A layered architecture for real-time applications P. Loborg, A. Torne (S) HyperReal One: the implementation, the environment and an example M. Agnoli, A. Poli, A. Verdino, F. Tisato (I) 12.30 - 14.00 Lunch 14.00 - 15.00 Session 2 - Operating Systems Chairman: L. Lindh (S) Dynamic replacement of software in hard real-time systems: practical assessments A. Alonso, I. Casillas, J. De la Puente (E) Measuring the real-time operating system performance K.M. Sacha (Polonia) 15.00 - 16.00 Open Forum Session 1 Chairman: L. Lindh (S) Visualisation of real-time software in host based simulation environment J. Leskela, M. Salmela, M. Heikkinen, J. Hyvarinen (SF) Using TOOMS/TROL for specifying a cellular phone G. Bucci, P. Nes (I) A scheduling problem language M. Levanto (SF) Cooperation mechanisms for scheduling complex real-time tasks in a distributed system L. Maillet, C. Fraboul (F) Fuzzy-control with PEARL-based multi-loop controller H.J. Beestermoeller, G. Thiele, J. Becker (D) A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs S. D'Angelo, E. Quadrini, G. Sechi, G. Tanzi (I) 16.00 - 18.00 Session 3 - Scheduling Chairman: A. Burns (UK) Pessimistic deadline ceiling protocol: a concurrency control protocol under earliest deadline-first scheduling J.Y. Kim, K. Koh (ROK) Issues in schedulability analysis of real-time systems R. Yerraballi, R. Mukkamala (USA) Scheduling intelligent tasks with optional parts in real-time envinronment H. Hassan, A. Crespo (E) Increasing schedulability in distributed hard real-time systems J.J. Gutierrez, H.M. Gonzales (E) 19.30 - RECEPTION In Odense City Hall Thursday June 15th 1995 8.30 - 10.30 Session 4 - Communications Chairman: G. Ciccarella (I) A performance study of several CSMA protocols for time constrain applications J.A. Gil, A. Pont (E) FSR - A fair switching architecture T. Pyssysalo, P. Raatikainen, J. Zidbeck (SF) MMS and time J. Akazan, Z. Mammeri (F) An environment to ease the use of MMS Z. Mammeri, J. Akazan (F) 10.30 - 11.00 Coffee 11.00 - 12:30 Session 5 - Modeling and Validation Chairman: J. Karjalainen (SF) Simulation of real-time scheduling at design levels J.C. Duenas, G. Leon (E) Property decomposition to speed-up analysis F. Calzolari, M. Pezze' (I) SAT - A schedulability analysis tool for real-time applications V.C. Gerogiannis, M.A. Tsoukarellas (GR) 12.30 - 14.00 Lunch 14.00 - 15.00 Session 6 - Specification Chairman: P. Pulli (SF) A distributed implementation of a mode switching control program M. Holdgaard, T.J. Eriksen, A.P. Ravn (DK) Using ObjectCharts to specify and design electronic systems J. Ernst (NL) 15.00 - 16.00 Open Forum Session 2 Chairman: P. Pulli (SF) SignalGTi: Implementing task preemption and time intervals in the synchronous data-flow language SIGNAL E. Rutten, F. Martinez (F) Hard real-time preemptive scheduling with high context switch cost J. Echague, J.J. Serrano, A. Crespo (E) Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems N. Zakhama (F) Transforming specifications: step towards implementation M. Kaaramees (Estonia) A real-time knowledge-based system using the synchronous approach C.A. A. Kaestner, J.M. Farines (BR) A Q-model approach to decomposition and aggregation of specifications of real-time systems R. Paluoja (Estonia) 16.00 - 18.00 Session 7 - Development Techniques Chairman: A. Ravn (DK) Architectural abstractions and time modelling in HyperReal F. De Paoli, F. Tisato (I) Real-time recursive procedures J. Blieberger, R. Lieger (A) An integrated technique for developing real-time systems J. Hooman (Estonia) Towards refinement in programming realtime systems N. Nissanke (UK) Friday June 16th 1995 8.30 - 10.30 Session 8 - Distributed Scheduling Chairman: H. Wedde (D) Hybrid algorithms for dynamic schedulability testing C. McHelhone, A. Burns, R. Davis (UK) A new method for optimization of allocation and scheduling in real- time applications M. Coli, P. Palazzari (I) Predicting real-time behavior for data-flow computations J. Johnsson, A. Olsson, J. Vasell (S) Analysis and improvement of task schedulability in hardware/software codesign J. Axelsson (S) 10.30 - 11.00 Coffee 11.00 - 12:30 Session 9 - Distributed Systems Chairman: E. Von Puttkamer (D) Meeting hard real-time constraints using a client-server model of interaction J.M. Adan, M. Magalhaes, K. Ramamritham (BR) Stochastic Petri Net evaluation techniques in plant automation: tuning the performance indices for distributed applications O. Botti, L. Capra, C. Bergomi (I) A multi-agent distributed real-time system for a microprocessor field-bus network G. Schrott (D) 12.30 - 14.00 Lunch 14.00 - 15.30 Session 10 - Data Base and Knowledge Based Systems Chairman: F. Patricelli (I) Performance studies of concurrency control in distributed real-time databases system on ATM networks V.C.S. Lee, K. Lam, S. Hung (HK) StarBase: a firm real-time database manager for time- critical applications S.H.Son, Y. Kim, M.R. Lehr, S.T. Shih, A.L. Williams (USA) A CAD tool to implement real-time fuzzy controllers on DSPs I. Del Campo, J.M. Tarela (E) 15.30 - 16.00 Coffee 16.00 - 18.00 Session 11 - Fault Tolerance Chairman: V.E.Grosspietch (D) Incremental experimentation: a methodology for designing and analyzing distributed safety-critical systems H. Wedde, J.A. Lind, A. Eiss (D) Kernel services approach to fault-masking in real-time applications M.J.P. Bekambo, J. Vouncks, G. Dekoninck, R. Cuyvers, R. Lauwereins, J. Peperstraete (B) MicroFailsafe (uFs) A system for achieving cost effective fault tolerance in microcontroller based equipment S.A. Skavhaug, O. Pettersen (N) One solution for the non-determinism problem in the sceptre 2 fault tolerance technique S. Bestaoui (F) 18.00 Closing of the Workshop Registration Form Euromicro 95 Workshop on Real-Time Systems, June 14-16th, 1995, Odense, Denmark 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 55 73 93 e-mail chiquita@info.vub.ac.be Please, print or type Name Company/Univ. Department Address City Country Telephone Telefax E-mail Date Signature Please, indicate participants name(s) and company name(s) on cheque or bankdraft. Cancellations up to May 20th,1995: 90% refund Cancellations up to June 5th, 1995: 10% refund if received before after May 5 May 5 Registration fee: EUROMICRO or IEEE member NLG. 600 NLG. 700 Non-member NLG. 725 NLG. 825 I want to become a EUROMICRO member NLG. 125 NLG. 125 The registration fees are quoted in Dutch guilders (NLG.) Payment made: 1. Charge my credit card: Eurocard Master Card Access Visa Number Valid until Name of cardholder Signature of cardholder 2. By cheque NLG. enclosed made payable to Euromicro - Apeldoorn - The Netherlands Eurocheques must be signed on the back! 3. By bankdraft: Transfer NLG. >From bank Accountnr. to accountnr. 59.31.42.063 of Euromicro, ABN AMRO Bank, Apeldoorn, The Netherlands. Accommodation Reservation Form Euromicro 95 Workshop on Real-Time Systems, June 14-16th, 1995, Odense - Denmark Please, return this form no later than May 1st, 1995 to: KongresBureau Fyn Raadhuset DK - 5000 - Odense C. - Denmark Phone +45 6612 7530 Telefax +45 6612 7586 Please, print or type Name Company/Univ. Address City Country Telephone Telefax Hotels: Please, circle the desired accommodation (bed and breakfast, V.A.T. included) Category Single room DKK / night Double room DKK / night A 720 890 B 395 - 435 535 - 550 C 259 418 Please reserve Double room(s) Single room(s) Arrival date Departure date Name of accompanying person(s) Payment: Directly to the hotel upon departure. Reservations will be made in the order received. Cancellations up to June 10th, 1995: !00% refund. Cancellation after June 10th, 1995 or non-appearance without cancellation: payment of 1 night. Tour to South Funen, June 17th, 1995 The cost of the tour (including lunch and V.A.T.) is DKK 360 per person. The proposed tour will be organised for a minimum number of 30 participants. The deposit will be fully refunded if tour is cancelled by the organizers. Please reserve persons = DKK for tour to South Funen Payment: 1. Enclosed by cheque DKK , drawn on a Danish Bank, made payable to Euromicro Workshop, KongresBureau Fyn Eurocheques must be signed on the back! 2. Charge my credit card: Eurocard Master Card Visa Number Valid until Name of cardholder Date Signature of cardholder ------------------------------------------------------------------ Jukka Karjalainen Jukka.Karjalainen@vtt.fi VTT Elektroniikka Puh. (981) 551 2401 Kaitoväylä 1, PL 1100 Fax (981) 551 2320 90571 Oulu NMT 949 580 301 ------------------------------------------------------------------ ------------------------------------------------------------------------------ Message 9; Postmarked Thu Feb 23 17:33:20 1995 From: welch@vienna.njit.edu (Lonnie Welch) Subject: ARTEWG Workshop on Distributed Systems Applications and Ada95 Content-Length: 3821 Announcing the ARTEWG Workshop on Distributed Systems Applications and Ada95 The Ada RunTime Environment Working Group (ARTEWG) of the Special Interest Group on Ada (SIGAda) of the Association for Computing Machinery (ACM) will hold a Workshop to discuss the needs for distributed systems software technology for high-tech applications and how the distributed systems features of Ada95 can respond to these needs. The workshop will be held on 21-23 April 1995 at the Radisson Hotel in Santa Barbara CA. The following application domains will be represented: FAA: Don Smith, Loral Federal Systems Medical Information Systems: Robert Leif, Ada_Med Manufacturing and Process Control: Jay Bayne, Elsag Bailey Commercial and Military Avionics: Keith Pratt, Boeing Radar and Tracking: Bob Kingan, Raytheon Financial and Banking: TBD Telecommunications: TBD Simulation and Interactive Training: TBD NASA: TBD In addition, Tucker Taft, Chief Language Designer of Ada95, will present an overview of Ada95 and its distributed systems features. The tentative agenda for the Workshop is: 21 April 1995 1200-1300 Lunch for invited experts 1330-1600 Introduction and overview of the Workshop; an overview of distribution facilities in Ada95 by Tucker Taft 1600-1630 Break 1630-1830 Presentations by invited experts 22 April 1995 0830-1030 Presentations by invited experts 1030-1100 Break 1100-1200 Presentations by invited experts 1200-1530 Lunch and midday break 1530-1700 Presentations by invited experts 1700-1730 Break 1730-1900 Presentations by invited experts 23 April 1995 0900-1030 Presentations by invited experts 1030-1100 Break 1100-1230 Presentations by invited experts 1230-1330 Lunch 1330-1430 Panel Session The results of the Workshop will be summarized and published in AdaLetters, the bi-monthly journal of SIGAda and a copy will be sent to all the attendees. Additionally the summary will be presented to the Joint Workshop Distributed Real-Time Systems (see below) on 24-26 April. In addition, the results of this Workshop should set an agenda for future exploration and cooperation. Ada practitioners and implementors from industry, vendor and academic community are invited to attend. Attendance is limited to 40 people. Guest reservations are $89 for single/double per night (an extra person is $20 extra per night). Cost of the workshop will be approximately $100 per person to be collected at the meeting. If you are interested in attending please contact Mike Kamrad (612.921.6908 or kamrad@cdev.com) by 20 March 1995. Then please contact the Radisson Hotel (805.963.0744) by 20 March 1995 for hotel reservations. Previous workshops by ARTEWG on real-time scheduling and safety software were very engaging and produced enlightening results. This promises to do the same. I look forward to your participation. Mike Kamrad, ARTEWG Chair PS: Subsequent to our Workshop will be the Joint Workshop On Parallel And Distributed Real-Time Systems (3rd Workshop on Parallel and Distributed Real-Time Systems and 7th International Real-Time Ada Issues Workshop) sponsored by the IEEE Computer Society and SIGAda. You are also invited to this Workshop, to be held on 24-26 April in Santa Barbara, where the latest in the state-of-the-art in distributed real-time software technology will be presented and discussed. This Workshop compliments our ARTEWG Workshop that discusses the problem space by discussing the solution space. Both Workshops provides those with an interest in distributed systems and Ada an excellent opportunity to see both sides of these technologies. If you are interested in attending this meeting, please contact Dr. Ted Baker (904.644.5452 or baker@ada.cs.fsu.edu) or Dr. Lonnie Welch (201.596.5683 or welch@vienna.njit.edu). ------------------------------------------------------------------------------ Message 10; Postmarked Mon Mar 6 13:51:10 1995 Subject: IEEE Real-time Technology and Applications Symposium: Advance Program From: Ragunathan Rajkumar Content-Length: 22147 PRELIMINARY PROGRAM IEEE Real-Time Technology and Applications Symposium Chicago, May 15 - 17, 1995 Sponsored by IEEE Computer Society T.C. on Real-Time Systems in cooperation with Office of Naval Research Table of Contents Conference Highlights Conference Organization Conference Program Tutorials Registration Form Hotel Reservation Form ========================== Conference Highlights ============================ Real-time systems are defined as those systems in which the correctness of the system depends not only on the logical result of computation but also on the time at which the results are produced. Examples include C4I, embedded systems, process control, avionics, multimedia, and intelligent vehicle and highway systems. This symposium is a major forum for the exchange of emerging principles and practices underlying real-time technology and its applications. The symposium consists of * five tutorials, * two panels, * thirty four paper presentations, and much more covering topics such as operating systems, standards, management, programming environments and tools, communication networks, architectures, performance modeling and measurements, and applications. For more information, contact Dr. Ted Baker, Department of Computer Science, Florida State University, Tallahassee, FL 32306-4019, phone (904) 644-5452, fax (904) 644-0058, email baker@cs.fsu.edu ========================= Conference Organization =========================== General Chair: Ted Baker, Florida State University Program Chair: Wei Zhao, Texas A&M University Treasurer: Ted Giering, Florida State University Publicity Chair: Raj Rajkumar, SEI/CMU Local Arrangements Co-Chairs: Jeffrey Tsai, Univ. of Illinois at Chicago Chengwen Liu, DePaul University Ex-Officio: (RTS-TC Chairs) John Stankovic, Univ. of Mass at Amherst Al Mok, University of Texas at Austin Program Committee Yahya Y. Al-Salqan, W. Virginia Univ. Sadler Bridge, Texas Trans. Institute Alan Burns, University of York Richard Gerber, University of Maryland Prabha Gopinath, Honeywell Inc Steve Howell, NSWC Jiandong Huang, Honeywell Inc Arkady Kanevsky, Mitre Corporation Jane Liu, Univ. of Illinois at Urbana Steve Liu, Texas A&M University Doug Locke, Loral Federal Systems David Luginbuhl, AFOSR Al Mok, University of Texas at Austin Kelvin Nilsen, Iowa State University Krithi Ramamritham, UMass. at Amherst Lui Sha, SEI/CMU Kang Shin, University of Michigan John Stankovic, UMass at Amherst Alexander D. Stoyenko, N.J.I. of Tech. Lonnie R. Welch, N. J. Inst. of Tech. Victor Wolfe, Univ. of Rhode Island Hui Zhang, Carnegie Mellon University ============================ Conference Program ============================= May 15, 1995, Monday 8:00-8:30AM Continental Breakfast 8:30-10:00AM Tutorial: Distributed Rate Monotonic Scheduling Lui Sha, Carnegie Mellon University 10:00-10:30AM Coffee Break 10:30-12:00PM Tutorial: Building Real-Time Applications Using POSIX Standards Doug Locke, Loral Federal Systems 12:00-1:30PM Lunch 1:30-1:45PM Opening Remarks (Ted Baker and Wei Zhao) 1:45-3:00PM Panel: Real-Time Technology in 1995 and 2005 Chair: Professor J. Stankovic, Univ. of Massachussetts at Amherst 3:00-3:30PM Coffee Break 3:30-5:00PM Session: Operating Systems, Chair: * Support for Real-TIme Computing Within General Purpose Operating Systems, G. Bollella, K. Jeffay, Univ. Of North Carolina at Chapel Hill * A Modeling Methodology for Real-Time/Multimedia Operating Systems, K. A. Kettler, D. I. Katcher, J. K. Strosnider, Carnegie Mellon University o Efficient Timing Management for User-Level Real-Time Threads, S. Oikawa, H. Tokuda, Keio University, Japan o Paradigm for Building Robust Real-Time Distributed Mission-Critical Systems, A. Kanevsky, P. Krupp, P. J. Wallace, MITRE Corp. 6:00-9:00PM Poster-Session and Reception * From Single to Multiprocessor Real-Time Kernels in Hardware, L. Lindh, J. Starner, J. Furunas, Malardalens University, Sweden * Real-Time UNIX Application Filestores, L. E. Heindel, V. A. Kasten, Bellcore * A Low Level Analysis of the Realtime MACH Distributed Operating System, J. Drummond, M. Wu, Naval Command, Control and Ocean Surveillance Center RDT&E Division (NRaD). * A Configurable Adjunct for Real-Time Systems, R. Mandler, Raytheon Company * A Submarine Based Configuration Driver Real-Time Data Acquisition and Display System, D. J. Sides, Johns Hopkins University * Testbed Setup, Signaling, and QOS Experiments on XUNET, F. Hidano, Univ. of California at Berkeley * The ControlShell Component-Based Real-Time Programming System, S. A. Schneider, V. W. Chen, Real-Time Innovations, Inc., and G. Pardo-Castellote Stanford University * RMDP -- A Real-Time CPU Scheduling Algorithm to Provide QoS Guarantees for Protocol Processing, R. Gopalakrishnan, G. M. Parulkar, Washington University at St. Louis * An Efficient Implementation of the Houh Transform for Detecting License Plates using DSP's, V. Kamat, S. Ganesan, Oakland University at Rochester * Multimedia Applications on FDDI Networks connected by ATM switch, J. Ng, Hong Kong Baptist University, Hong Kong, G. Nong, South China University of Technology, China ==== Tuesday, May 16, 1995 ==== 8:00-8:30am Continental Breakfast 8:30-10:10AM Session: Networking * The Real-Time Publisher/Subscriber Inter-Process Communication Model for Distributed Real-Time Systems: Design and Implementation, R. Rajkumar, M. Gagliardi, L. Sha, Carnegie Mellon University * Real-Time Communications Scheduling for Massively Parallel Processors, R. Games, A. Kanevsky, P. Krupp, L. Monk, MITRE Corp. * Real-Time Communication in FieldBus Multiaccess Networks, C. C. Han, K. Shin, University of Michigan at Ann Arbor o Applying Imprecise Algorithms to Real-Time Image Transmission, X. Huang, A. M.K. Cheng, University of Houston 10:10-10:40AM Coffee Break 10:40-12:10PM Session: Tools * A Real-Time System Description Language, D. Niehaus, J. Stankovic, K. Ramamritham, Univ. of Massachusetts at Amherst * A New Generation Modechart Verifier, J. Yang, A. Mok, D. Stuart, Univ. of Texas at Austin o A Model and Tools for Supporting Parallel Real-Time Applications in Unix Environments, R. W. Wisniewski, Univ. of Rochester, L. F. Stevens, Silicon Graphics Inc. o An Interactive Interface and RT-Mach Support for Monitoring and Controlling Resource Management, C. W. Mercer, R. Rajkumar, Carnegie Mellon University 12:15-1:30PM Lunch 1:30-3:10PM Session Resource Management * The Real-Time Behavior of Dynamic Memory Management in C++, K. Nilsen, H. Gao, Iowa State University * Distributed Synthesis of Real-Time Computer Systems, A. Abualsamid, R. Alqadi, P. Ramanathan, Univ. of Wisconsin at Madison * Probabilistic Performance Guarantee for Real-Time Tasks with Varying Computation Times, T. Tia, Z. Deng, M. Shankar, M. Storch, J. Sun, L.-C. Wu, J.W.-S. Liu, Univ. of Illinois at Urbana-Champaign o Real-Time Optimistic Concurrency Control Protocol with Dynamic Adjustment of Serialization Order, K. Lam, K. Lam, S. Hung, City University of Hong Kong, Hong Kong 3:40-5:15PM Session: Software Development * Design and Evaluation of a Window-Consistent Replication Service, A. Mehra, J. Rexford, H. Ang, F. Jahanian, Univ. of Michigan at Ann Arbor * The Design and Implementation of A Real-Time Object Management Interface, T. Kuo, National Chung Cheng Univ., Taiwan, A. Mok, Univ. of Texas at Austin * Improving the Efficiency of Supervision by Software Through State Aggregation, T. Savor, R. E. Seviora, Bell Canada Software Reliability Laboratory, Canada o A Feasibility Decision Algorithm for Rate Monotonic Scheduling of Periodic Real-Time Tasks, Y. Manabe, S. Aoyagi, NTT Basic Research Lab, Japan 5:30-7:00PM Tutorial: Intelligent on Intelligent Transportation Systems Ray Krammes, Texas Transportation Institute ==== Wendesday, May 17, 1995 ==== 8:00-8:30am Continental Breakfast 8:45-10:20AM Session: Industrial Applications * BASEMENT: a Distributed Real-Time Architecture for Vehicle Applications, H. Hansson, Uppsala Univ., S. W. Lawson, Lawson Forlag & Konsult AB, Sweden, Mikael Stromberg, Sven Larsson, Mecel AB, Sweden * Flexible Scheduling for Adaptable Real-Time Systems, R. Davis, S. Punnekkat, N. Audsley, A. Burns, University of York, UK * Non-Preemptive Scheduling of Messages on Controller Area Networks for Real-Time Control Applications, K. M. Zuberi, K. Shin, Univ. of Michigan at Ann Arbor o Real-Time Optimization at Diamond Interchanges, S. Venglar, T. Urbanik, Texas Transportation Inst., S. Liu, Texas A&M University 10:20-10:45AM Coffee Break 10:45-12:00PM Panel: Real-Time Technology: Bring IHVS to Reality Chair: Professor Steve Liu, Texas A&M Univ. 12:00-1:30PM Lunch 1:30-3:00PM Tutorial: Dynamic Memory Management for Real-Time Systems Kelvin Nilsen, Iowa State University 3:00-3:30PM Coffee Break 3:30-5:00PM Tutorial: Real-Time In-Vehicle Networking Technology and Issues Ken Tindell and Hans Hansson, Institutionen for Datorteknik, Uppsala Universitet, Sweden =============================== Tutorials ================================== Tutorial 1 Distributed Rate Monotonic Scheduling Lui Sha, Carnegie Mellon University May 15, Monday, 8:30-10:00AM Real-time computing systems are used to control telecommunication systems, defense systems, avionics and modern factories. Generalized rate-monotonic scheduling theory is useful technology. In this tutorial, we provide an up-to-date and self-contained review of generalized rate-monotonic scheduling theory, especially the use of this technology for distributed real time applications. We show how this theory can be applied in practical system development, where special attention must be given to facilitate the concurrent development by geographically distributed programming teams and the reuse of existing hardware and software components. This technology has been used successfully in many advanced technology programs and influenced the development of national standards such as Ada 9x, IEEE Futurebus+ and POSIX Real Time Extensions. DoD's 1991 Software Technology strategy refers to it as a "major payoff" of DoD sponsored R&D and states that "System designers can use this theory to predict whether task deadlines will be met long before the costly implementation phase of a project begins. It also eases the process of making modifications to application software." The former Acting Deputy Administrator of NASA, Aaron Cohen, stated in a 1992 speech, "Through the development of Rate Monotonic Scheduling, we now have a system that will allow (Space Station) Freedom's computers to budget their time, to choose between a variety of tasks, and decide not only which one to do first but how much time to spend in the process." ------------------------------------------------------- Tutorial 2 Building Real-Time Applications Using POSIX Standards Doug Locke, Loral Federal Systems May 15, Monday, 10:30-12:00noon Until recently, real-time applications generally used custom or proprietary operating systems to manage computing resources. Within the past two years, the ISO/IEEE Portable Operating System Interface Standard (POSIX) has been updated to provide for predictable, time-bounded facilities in a UNIX-like environment. Operating systems conforming to these standards are now available for many hardware platforms. This tutorial will introduce the facilities available in the POSIX 1003.1b (formerly 1003.4) Realtime Extensions and the POSIX 1003.1c (formerly 1003.4a) Threads standards for real-time applications. Answers to many frequently asked questions will be discussed, such as: - How should an application deal with concurrency? - How can concurrent application components synchronize with each other? - What scheduling mechanisms exist for real-time applications, and how should they be used? (covers semaphores, mutexes, condition variables, message passing, and signals) - How does the thread model differ from the process model, and what are their implications for real-time applications? - What facilities present obstacles to predictable application response? Instructor Biographical Sketch: Doug Locke, Ph.D., authored portions of the POSIX standards, and has acted as a technical reviewer throughout the balloting process for the real-time extensions. As a Senior Technical Staff Member at IBM's Federal Systems Company and Loral Federal Systems, he has been intimately involved in designing and building real-time systems for almost 30 years, including many aircraft, spacecraft, shipboard, command & control, sensor-based, and industrial control systems. ------------------------------------------------------- Tutorial 3 Intelligent on Intelligent Transportation Systems Ray Krammes, Texas Transportation Inst., Texas A&M Univ. May 16, Tuesday, 5:30-7:00PM The subject tutorial would provide an overview of Intelligent Transportation Systems (ITS) developments in the United States. ITS is an umbrella term for applications of advanced sensing, information processing, communications, and control technologies in surface transportation. Real-time information gathering, processing, and dissemination is central to ITS. Hence, ITS could be a promising area for Symposium participants. The tutorial would be oragnized into four sections: * Introduction -- define the scope and goals of ITS, describe the needs that motivated an emphasis on ITS in the most recent federal legislation defining U.S. surface transportation policy, and review the recent history of ITS. * Components of ITS -- describe in more details the components of ITS and the plan for their deployment. The organization of this section will parallel the National ITS Program Plan which identifies 28 user services in 6 bundles: travel and traffic management, public transportation management, electronic payment services, commercial vehicle operations, emergency management, and advanced vehicle safety systems. * ITS Architecture -- overview the two-phase ITS Architecture Development Program currently underway and initial architecture concepts. In Phase I, which is nearing completion, four teams are developing architecture concepts, independently and competitively. In Phase II, the team(s) with the most promising approach(es) will work in an open collaborative environment to develop a national architecture. * Research and Development Needs and Opportunities -- highlight ITS research currently underway, and summarize plans for future research and development. ---------------------------------------------------------------- Tutorial 4 Dynamic Memory Management for Real-Time Systems Kelvin Nilsen, Iowa State University May 17, Wed, 1:30-3:00PM Memory is the single most expensive component of many existing and future real-time systems. Making effective use of this resource is essential in order to maximize system flexibility and functionality within limited hardware budgets. This tutorial surveys and compares a number of dynamic memory management techniques that are compatible (to varying degrees) with real-time execution constraints. Special consideration is given to automatic memory defragmentation and garbage collection techniques, since these offer the potential of increasing system reliability while reducing the effort required by programmers to develop high quality modular and reusable real-time software components. ---------------------------------------------------------------- Tutorial 5 Real-Time In-Vehicle Networking Technology and Issues Ken Tindell and Hans Hansson, Institutionen for Datorteknik, Uppsala Universitet, Sweden May 17, Wenesday, 3:30-5:00PM In this tutorial we will talk about our experience with real-time networks for automobiles. The tutorial will describe the current trends in automotive control: current industrial practise, how multiprocessor system are increasing to be seen inside automobiles, and the potential benefits of in-car networking. We will describe the state of current vehicle networking technology, focusing on the ISO standard Controller Area Network. The tutorial will also cover the potential pitfalls in moving too hastily to distributed real-time vehicle control. In particular, we address the composibility and safety implications of connecting autonomous processors to a shared broadcast bus, and outline some potential solutions. ========================= Registration Form ================================== Mail to: Linda Buss, RTAS'95 Registration, Rt. 1 Box 187B Menomonie, WI 54751, Phone: (715) 235-0487, Fax: (715) 232-6244, Email: rtas95@ada.cs.fsu.edu Name: ____________________________________________________ Affiliation: ______________________________________________ Address: _________________________________________________ Phone: ______________________ Fax: ______________________ Email: ___________________________________________________ IEEE Membership No: ______________________________________ Category Before Apr 15 After Apr 15 IEEE Members Non-Members Full-Time Students Registrations can also be done through email (rtas95@ada.cs.fsu.edu). Conference registration includes admission to all the tutorials, conference, a copy of proceedings, continental breakfasts, coffee breaks, and the welcoming banquet on Monday night. 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 April 15, 1995. Refunds are subject to a processing fee. All no-show registrations will be billed in full. Registrations after 4/15/95 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 RTAS'95. Credit Card: [] Visa [] Mastercard [] American Express Credit Card Number: ______________________________________ Cardholder Name: _________________________________________ Credit Card Expiration Date: _____________________________ Total Charges Authorized: ________________________________ Signature: _______________________________________________ ====================== RTAS'95 Hotel Reservation Form ============== Deadline: April 23, 1995 Mail to: Bismarck Hotel, 171 West Randolph St. Chicago, IL 60601 phone: (312) 236-0123 or (800) 643-1500, fax: (312) 236-3177. Please complete all the information (type or print), and mail directly to the hotel. If faxing or phoning reservation, please mention RTAS'95. sales and occupancy tax. Accommodation desired: [ ] Single $70 [ ] Double $80 [ ] Triple $100 [ ] Quad $120 (Sales and occupancy tax is an additional 14.9%.) Name: __________________________________________________ Address: ________________________________________________ _______________________________________________ Phone: ______________________ Fax: ______________________ Arrival Date: _____________________________________________ Departure Date: __________________________________________ Share Room With: _______________________________________ Check-in is after 12:00pm, check-out is 12:00. A block of rooms has been reserved until April 23, 1995. After this date, room reservations will be accepted on a space available basis. 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 [] Check/Money Order Credit Card Number: ______________________________________ Cardholder Name: ________________________________________ Credit Card Expiration Date: ________________________________ Total Charges Authorized: __________________________________ Signature: _______________________________________________ IMPORTANT: Please REGISTER EARLY, or there is a risk you may not get a room. The block of rooms we have reserved is limited. If you have to stay at another hotel you may have to pay a lot more. ========================================================================== ------------------------------------------------------------------------------ Message 11; Postmarked Mon Mar 13 10:18:01 1995 From: welch@vienna.njit.edu (Lonnie Welch) Subject: JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS Content-Length: 19983 Call for Participation JOINT WORKSHOP ON PARALLEL AND DISTRIBUTED REAL-TIME SYSTEMS (3rd Workshop on Parallel and Distributed Real-Time Systems & 7th International Real-Time Ada Issues Workshop) April 24th to 26th Santa Barbara, California, USA PROGRAM OVERVIEW MONDAY, April 24th: 08:30AM - 08:35AM Opening 08:35AM - 09:30AM Invited Lecture 09:30AM - 10:00AM Break 10:00AM - 11:00AM Paper Session 1: Methodology (1hr) Chair: 11:00AM - 12:00AM Panel Discussion 1: "Automatic versus Manual Methods" Chair: 12:00AM - 01:30PM Lunch 01:30PM - 03:30PM Paper Session 2: Real-Time/Distributed Ada (2hrs) Chair: 03:30PM - 04:00PM Break 04:00PM - 06:00PM Round-Table Discussion 1: "How well does Ada support real-time distributed systems?" Chair: Anthony Gargaro, Software Engineering Institute 06:00PM - 07:30PM Dinner 07:30PM - 09:30PM Continued open discussion: "Ada and other Languages" "Support Issues for Real-Time Distributed Systems" TUESDAY, April 25th: 08:30AM - 09:30AM Paper Session 3: Networks (1hr) Chair: TBD 09:30AM - 10:00AM Break 10:00AM - 12:00AM Paper Session 4: Timing and Scheduling (2hrs) Chair: TBD 12:00AM - 01:30PM Lunch 01:30PM - 02:30PM Paper Session 5: Priority Assignment (1hr) Chair: TBD 02:30PM - 03:30PM Round-Table Discussion 2: "Solved and Open Problems in Real-Time Distributed Systems" Chair: TBD 03:30PM - 04:00PM Break 04:00PM - 06:00PM Panel Discussion 2: "New Paradigms for Concurrent Real-Time Systems" Chair: Norman R. Howes, Institute for Defense Analyses WEDNESDAY, April 26th: 08:30AM - 09:30AM Keynote at IPPS 09:30AM - 10:00AM Break 10:00AM - 11:00AM Paper Session 6: Applications (1hr) Chair: TBD 11:00AM - 12:00AM Panel Discussion 3: "Real-time Application Requirements" Chair: TBD 12:00AM - 01:30PM Lunch 01:30PM - 03:30PM Paper Session 7: Formal Methods (1.5hrs) + Start of short papers/work in progress session (.5hr) Chair: TBD 03:30PM - 04:00PM Break 04:00PM - 05:30PM Work-in-progress/Short papers (1,5hrs) Chair: TBD 05:30PM - 5:45PM Closing Remarks ============================================================================== DETAILED PROGRAM MONDAY, April 24th: 08:30AM - 08:35AM Opening ------------------------------------------------------------------------------ 08:35AM - 09:30AM Invited Lecture ------------------------------------------------------------------------------ 09:30AM - 10:00AM Break ------------------------------------------------------------------------------ 10:00AM - 11:00AM Paper Session 1: Methodology (1hr) Session Chair: TBD "On Building Distributed Soft Real-Time Systems" Ben Kao, Hector Garcia-Molina, and Brad Adelberg Stanford Univ. "Real-Time Design with Peer Tasks" Norman R. Howes and Jonathan D. Wood Inst. for Defense Analyses ------------------------------------------------------------------------------ 11:00AM - 12:00AM Panel Discussion 1: "Automatic versus Manual Methods" Session Chair: TBD ------------------------------------------------------------------------------ 12:00AM - 01:30PM Lunch ------------------------------------------------------------------------------ 01:30PM - 03:30PM Paper Session 2: Real-Time/Distributed Ada (2hrs) Session Chair: TBD "Towards Distributed Objects for Real-Time Systems" Anthony Gargaro Software Engineering Institute "On the Use of Ada Tasking in the Building of Satellite Control Software" Tullio Vardanega "Distributed and Parallel Execution in Ada 83" Richard Volz et al. Texas A&M University "Object Oriented Programming with Protected Types in Ada 9X" Andy Wellings University of York ------------------------------------------------------------------------------ 03:30PM - 04:00PM Break ------------------------------------------------------------------------------ 04:00PM - 06:00PM Round-Table Discussion 1: "How well does Ada support real-time distributed systems?" Session Chair: Anthony Gargaro, Software Engineering Institute ------------------------------------------------------------------------------ 06:00PM - 07:30PM Dinner ------------------------------------------------------------------------------ 07:30PM - 09:30PM Continued open discussion: "Ada and other Languages" "Support Issues for Real-Time Distributed Systems" ============================================================================== TUESDAY, April 25th: 08:30AM - 09:30AM Paper Session 3: Networks (1hr) Session Chair: TBD "Real-Time Networking over HIPPI" Riccardo Bettati and Anisoara Nica International Computer Science Institute "Real-Time Multimedia Network System using VLIW Hardware Stack Processor" Tadashi Ae, Kouji Nishimura, Reiji Aibara, Keiichi Sakai and Kiyoshige Nakamura Hiroshima University ------------------------------------------------------------------------------ 09:30AM - 10:00AM Break ------------------------------------------------------------------------------ 10:00AM - 12:00AM Paper Session 4: Timing and Scheduling (2hrs) Session Chair: TBD "Bounding the End-to-End Response Time in Multiprocessor Real-Time Systems" Jun Sun and Jane W.S. Liu Univ. of Illinois "Fault-Tolerant Scheduling Algorithm for Distributed Real-Time Systems" Tatsuhiro Tsuchiya, Yoshiaki Kakuda and Tohru Kikuno University of Osaka "Predictability of Program Execution Times on Superscalar Pipelined Architectures" Usha Chandra and Marion G. Harmon Florida A & M Univ. "Drawing Execution Graphs by Parsing" G.A.M. de Bruyn and O.S. van Roosmalen Eindhoven University of Technology ------------------------------------------------------------------------------ 12:00AM - 01:30PM Lunch ------------------------------------------------------------------------------ 01:30PM - 02:30PM Paper Session 5: Priority Assignment (1hr) Session Chair: TBD "Optimized Priority Assignment for Tasks and Messages in Distr. Hard Real-Time Systems" J.J.G. Garcia and M.G. Harbour Universidad de Cantabria "Zealous Priority Forwarding Scheme for Real-Time Multistage Interconnection Networks" Kenji Toda, Kenji Nishiada, Eiichi Takahashi, Yoshinori Yamaguchi Electrotechnical Laboratory ------------------------------------------------------------------------------ 02:30PM - 03:30PM Round-Table Discussion 2: "Solved and Open Problems in Real-Time Distributed Systems" Session Chair: TBD ------------------------------------------------------------------------------ 03:30PM - 04:00PM Break ------------------------------------------------------------------------------ 04:00PM - 06:00PM Panel Discussion 2: "New Paradigms for Concurrent Real-Time Systems" Chair: Norman R. Howes, Institute for Defense Analyses ============================================================================== WEDNESDAY, April 26th: 08:30AM - 09:30AM Keynote at IPPS ------------------------------------------------------------------------------ 09:30AM - 10:00AM Break ------------------------------------------------------------------------------ 10:00AM - 11:00AM Paper Session 6: Applications (1hr) Session Chair: TBD "Roo: A Framework for Real-Time Threads" C. Zimmermann and V. Cahill Trinity College "Design of a communication Scheme for a Distributed Controller Architecture Using Stochastic Petri Nets". C. Kelling, J. Henz and G. Hommel Berlin University of Technology ------------------------------------------------------------------------------ 11:00AM - 12:00AM Panel Discussion 3: "Real-time Application Requirements" Session Chair: TBD ------------------------------------------------------------------------------ 12:00AM - 01:30PM Lunch ------------------------------------------------------------------------------ 01:30PM - 03:30PM Paper Session 7: Formal Methods (1.5hrs) + Start of short papers/work in progress session (.5hr) Session Chair: TBD "A Specification Language for Parallel Real-Time Systems" Alok Choudhary, Vijay Gehlot, Bhagirath Narahari, Melissa Benincasa and Richard Metzger Syracuse Univ. "Atomic Broadcast: A case Study in Locative Temporal Logic" M. Wieczorek Univ. of Nijmegen "Verification of Schedulability of Real-Time Systems with Extended Time Petri Nets" Yasukichi Okawa and Tomohiro Yoneda Tokyo Institute of Technology ----------------------------------------------------------------------------- "Timing Insentitive Binary-to-Binary Migration Across Multiprocessor Architectures" Bryce H. Cogswell and Zary Segall Carnegie Mellon University "Scheduling Tasks in Real-Time Systems using Evolutionary Strategies" Garrison Greenwood, Christian Lang and Steve Hurley Western Michigan Univ. ------------------------------------------------------------------------------ 03:30PM - 04:00PM Break ------------------------------------------------------------------------------ 04:00PM - 05:30PM Work-in-progress/Short papers (1.5hrs) Session Chair: TBD "Enhancements to Throwforward Task Scheduling in Real Time Systems" J. Apsel, K. H. Ecker and W. Halang University of Clausthal "Avoiding Deadline Decay Under Transient Overloads" B. R. Swim, M. Tayli, M. Benmaiza and M. C. Woodward King Saud Univ. "Interprocess Communications in a Real Time Embedded Distributed Processor" David L. Andrews, Paul Austin, Peter Costello and David LeVan Univ. of Arkansas "A Study of Network Routers for Real-Time Parallel Computers" Arindam Saha and Raja Neogi Mississippi State Univ. ------------------------------------------------------------------------------ 5:30PM - 5:45PM Closing Remarks REGISTRATION INFORMATION The joint workshop on parallel and distributed rea-time systems will be held at the IEEE International Parallel Processing Symposium (IPPS). Registration for the joint workshop is included in IPPS registration. Details for IPPS registration are shown below: ------------------------------------------------------------------------ IPPS '95 - 9TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM APRIL 24-28, 1994 - FESS PARKER'S RED LION RESORT - SANTA BARBARA - CALIFORNIA - USA ------------------------------------------------------------------------ ADVANCE REGISTRATION PLEASE MAIL OR FAX TO: IEEE Computer Society VOX: (202) 371-1013 1730 Massachusetts Avenue, NW FAX: (202) 728-0884 Washington, DC 20036 Attn: CONFERENCE DEPARTMENT PLEASE PRINT: NAME: _______________________________________________________________ LAST/FAMILY FIRST M.I. NAME ON BADGE COMPANY: ____________________________________________________________ ADDRESS/MAILSTOP: ___________________________________________________ CITY/STATE/ZIP/COUNTRY: _____________________________________________ DAYTIME NUMBER: __________________ FAX NUMBER: ____________________ IEEE MEMBERSHIP NUMBER: ____________ E-MAIL: _______________________ DO YOU HAVE ANY SPECIAL NEEDS? ______________________________________ DO NOT INCLUDE MY MAILING ADDRESS ON:______ NON-SOCIETY MAILING LISTS ______ MEETING ATTENDEE LISTS ______________________________________________________________________________ PLEASE CIRCLE APPROPRIATE FEES: ..... SYMPOSIUM REGISTRATION FEES: _____________________________________________________ Advance Registration (Until March 24, 1995) Member Non-member Student $275 $345 $150 _____________________________________________________ Late/Onsite Registration (After March 31, 1995) Member Non-member Student $330 $415 $200 _____________________________________________________ ..... TUTORIAL REGISTRATION FEE: (Per tutorial) ADVANCE REGISTRATION (Until March 24, 1995) Member Non-member $150 $200 Late/Onsite Registration (After March 31,1995) Member Non-member $190 $235 ___________________________________________________________________________ CHECK TUTORIAL(S) YOU WISH TO ATTEND: MONDAY, APRIL 24TH ( ) 1. Architecture-Independent Data Parallel Computing on Coarse Grained Machines(AFTERNOON) TUESDAY, APRIL 25TH ( ) 2. Techniques and Tools for Performance Tuning of Parallel and Distributed Scientific Applications (MORNING) ( ) 3. Parallel Processing for Multimedia Information Systems (AFTERNOON) COMPUTE PAYMENT BELOW: Symposium Fee $_______ Tutorial Fee $_______ TOTAL ENCLOSED $_______ (in U.S. dollars) PAYMENT MUST BE ENCLOSED. PLEASE MAKE CHECKS PAYABLE TO IEEE COMPUTER SOCIETY. ALL CHECKS MUST BE IN U.S. DOLLARS DRAWN ON U.S. BANKS METHOD OF PAYMENT: _____ PERSONAL CHECK _____ COMPANY CHECK _____ TRAVELER'S CHECKS _____ AMERICAN EXPRESS _____ MASTERCARD _____ VISA _____ DINERS CLUB _____ PURCHASE ORDER (Original must accompany registration form.) CREDIT CARD NUMBER: ________________________________________________ EXP. DATE: _______________ CARDHOLDER NAME: _____________________________________________________ SIGNATURE: ____________________________________________________________ Written requests for refund must be received in the IEEE Computer Society office no later than March 24, 1995. Refunds are subject to a $50 processing fee. All no-show registrations will be billed in full. Registrations after March 31, 1995 will be accepted on-site only. (PLEASE MAKE HOUSING RESERVATIONS DIRECTLY WITH HOTEL. SEE REGISTRATION FORM.) ______________________________________________________________________ IPPS '95 HOTEL RESERVATION FORM FESS PARKER'S RED LION RESORT Please reserve accommodation for: Name:___________________________________________________ Mailing Address:__________________________________________________ Home/Business phone:____________________________________________________________ Arrival Date: __________________ Arrival Time:__________ Departing Date:_______________ IPPS '95 special group rates at Fess Parker's Red Lion Resort are $110 (singles & doubles), $125 (triples) and $140 (quadruples). These rates are available 2 days before and after the symposium. Reservations must be received prior to March 25, 1995 to be eligible for the group rate. Rates subject to 10% State & City tax. _____________________________________________________________________________ 9th International Parallel Processing Symposium April 24-28, 1995 - Santa Barbara, California - USA RESERVATIONS MAY BE CALLED IN OR FAXED TO THE RED LION. Vox: (805) 564-4333 x4316/ (800) 879 2929 Fax: (805) 564-4964 USE THIS FORM TO FAX OR MAIL. SEND ATTN: RESERVATIONS. Red Lion - 633 East Cabrillo Blvd - Santa Barbara, CA 93103 Check-in time is 4:00 pm. Check-out time is 12 noon. No reservation will be held after 6:00 pm unless guaranteed by deposit or major credit card. There is a 72-hour cancellation policy and any room held after 6:00 pm and not occupied will be charged to the guarantor. For credit card: Name of credit card (e.g., VISA)___________________________________________ Card Number________________________________ Expiration Date________________ Signature of Cardholder____________________________________________________ ****************************************************************** LOCATION ****************************************************************** SYMPOSIUM LOCATION Fess Parker's Red Lion Resort in Santa Barbara overlooks the Pacific Ocean in an area described as the American Riviera where the sun shines more than 300 days a year. Santa Barbara is an historic, village-like community situated one third of the way north along the coast from Los Angeles to San Francisco. Many shops, cafes, and museums are within walking distance of the Red Lion. The area's temperate climate creates ideal conditions for tennis, golf, and rollerskating, and the salty water supports surfing, sailing, and fishing. All of these activities and more - basketball, horseback riding, polo! - may be arranged right at Fess Parker's. Across the street the Cabrillo Path unwinds 22 miles for runners, walkers and cyclists (they rent bikes) and at the end of every day there is sunset watching! As shown on the map (opposite page), there are many places to visit in Santa Barbara. Local sightseeing can be done from open air trolleys, and tour boats to the Channel Islands depart daily from the nearby Stearns Wharf. If you have already toured Disneyland, Universal Studios, and Knott's Berry Farm, day trips in other directions include Hearst Castle, the Danish village of Solvang, and the wine country. AIR TRANSPORTATION The Red Lion provides free airport transportation from the Santa Barbara Airport which is located only 20 minutes from the hotel. The airport is served by American, American Eagle, Skywest/Delta connections, United, United Express and USAIR Express. All major airlines fly into Los Angeles International Airport (LAX) which is less than a 2 hour drive from Santa Barbara. GROUND TRANSPORTATION Many local attractions are within walking distance and, as noted, the downtown area is served by the Santa Barbara Trolley Company. For day trips, excursion buses and auto rentals may be arranged at the Red Lion. ACCOMMODATIONS The special IPPS '95 rates at Fess Parker's Red Lion Resort are $110 for singles and doubles, $125 for triples, and $140 for quadruples. These rates are also available 2 days before and after the symposium. Guest rooms are as little as thirty feet from the ocean with a view patio or balcony. The spacious rooms include double vanities, mini bars, and remote control TV. And as described above, there are recreational resources to meet everyone's interest. As we discovered in 1994, the special IPPS rate makes this resort setting an ideal location to have family and friends join you while you also enjoy symposium events. ************************************************ RELATED WORKSHOP ANNOUNCEMENT ************************************************ Announcing the ARTEWG Workshop on Distributed Systems Applications and Ada95 The Ada RunTime Environment Working Group (ARTEWG) of the Special Interest Group on Ada (SIGAda) of the Association for Computing Machinery (ACM) will hold a Workshop to discuss the needs for distributed systems software technology for high-tech applications and how the distributed systems features of Ada95 can respond to these needs. The workshop will be held on 21-23 April 1995 at the Radisson Hotel in Santa Barbara CA. The following application domains will be represented: FAA: Don Smith, Loral Federal Systems Medical Information Systems: Robert Leif, Ada_Med Manufacturing and Process Control: Jay Bayne, Elsag Bailey Commercial and Military Avionics: Keith Pratt, Boeing Radar and Tracking: Bob Kingan, Raytheon Financial and Banking: TBD Telecommunications: TBD Simulation and Interactive Training: TBD NASA: TBD In addition, Tucker Taft, Chief Language Designer of Ada95, will present an overview of Ada95 and its distributed systems features. The results of the Workshop will be summarized and published in AdaLetters, the bi-monthly journal of SIGAda and a copy will be sent to all the attendees. Additionally the summary will be presented to the Joint Workshop Distributed Real-Time Systems (see above) on 24-26 April. In addition, the results of this Workshop should set an agenda for future exploration and cooperation. If you are interested in attending please contact Mike Kamrad (612.921.6908 or kamrad@cdev.com) by 20 March 1995. ------------------------------------------------------------------------------ Message 12; Postmarked Fri Mar 24 14:54:18 1995 Subject: Advance Program: ICDCS95 From: David Hull Content-Length: 32711 ********************************************************************* ADVANCE PROGRAM THE 15TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS Vancouver, British Columbia, Canada May 30-June 2, 1995 ********************************************************************** This conference brings together developers and researchers from universities, industry and government to advance the science and technology in distributed computing. Its three-day technical program encompasses three parallel streams of technical sessions covering 60 papers on a broad range of subjects, four keynote addresses by distinguished speakers, and five panel sessions to stimulate discussion and interaction. CONFERENCE LOCATION The conference will be held at the Waterfront Hotel in downtown Vancouver, overlooking Vancouver Harbour, the north shore mountains and the famous Stanley Park. Vancouver Harbour is considered by travelers to be one of most beautiful in the world. The end of May is a prime time to visit Vancouver and the surrounding areas with friends or family. Plan to stay a few extra days and enjoy the beauty and friendliness of this world-class city. FOR MORE INFORMATION: Current conference information can be obtained electronically as follows: * URL: http://www-csc.uvic.ca/ICDCS-15.html * GOPHER: connect to www-csc.uvic.ca, select conferences, then ICDCS-15 * FTP: connect to www-csc.uvic.ca, logon as , password = If you are unable to access the conference information electronically, please contact Eric Manning EOW 321 Faculty of Engineering University of Victoria Victoria, B.C. CANADA, V8W 3P5 Phone: +1-604-721-6044 Fax: +1-604-721-8676 Email: eric.manning@engr.uvic.ca SDNE'95, WORKSHOP The Second International Workshop on Services in Distributed and Networked Environments will be held on June 5,6, 1995 in near-by Whistler, Canada. The workshop will have papers on topics related to providing services to end users and application developers, as well as reports on experimental work and presentations of new ideas and work in progress. Services can range from interactive lookup services for the Internet community to RPC or client/server based services for distributed and centralized computations running on networked systems. For more information on the workshop, contact Nigel Davies Computing Department, Lancaster University, Lancaster. LA1 4YR. U.K. Email: workshop@comp.lancs.ac.uk Phone : +44 524 65201 ext. 3132 ORGANIZING AND PROGRAM COMMITTEES - General Chair: Eric Manning, University of Victoria, Canada - Program Chair: Jane W. S. Liu, University of Illinois, USA * Distributed Systems Architecture Vice Chair, Andrew Grimshaw, University of Virginia, USA * Distributed Operating Systems Vice Chair, Edger Nett, GMD, Germany * Distributed Databases and Information Systems Vice Chair, Yahiko Kambayashi, Kyoto University, Japan * Communication Protocols Vice Chair, Wei Zhao, Texas A&M University, USA * Distributed Real-Time Systems Vice Chair, John P. Lehoczky, Carnegie Mellon University, USA * Distributed Algorithms and System Theory Vice Chair, Nancy Lynch, Mass. Institute of Technology, USA * Languages, Tools and Software Engineering Vice Chair, Thomas Rodden, Lancaster University, UK * Distributed System Services and Management Vice Chair, Joann J. Ordille, AT&T Bell Laboratories, USA * Fault Tolerance, Availability and Security Vice Chair, David Taylor, University of Waterloo, Canada * Performance of Distributed Systems Vice Chair, Satish K. Tripathi, University of Maryland, USA * New Applications Vice Chair, Hector Garcia-Molina, Stanford University, USA - Tutorial Chair: Mohamed Gouda, University of Texas at Austin, USA - Awards Chair: Ray Miller, University of Maryland, USA - Publicity Chair: Robert Ito, University of British Columbia, Canada - International Liaison Co-Chairs: * Liba Svobodova, IBM Zurich Research Laboratory, Switzerland * Vencent Lum, Chinese University, Hong Kong - Local Arrangement Chair: Son Vuong, University of British Columbia, Canada - Treasurer: Ali Shoja, University of Victoria, Canada - TC on Distributed Processing Chair: Joseph E. Urban, Arizona State University, USA - Steering Committee Chair: Ming T.(Mike) Liu, Ohio State University, USA ********************************************************************** TUTORIALS Three full-day tutorials on Tuesday, May 30 precede the conference. They are * Wireless and Mobile Networking, by D. B. Johnson, Carnegie Mellon University, USA * Cooperative Information Systems, by M. P. Singh and M. N. Huhns, MCC and University of Texas at Austin, USA * Software-Based Techniques for Fault Tolerance and Availability, by E. N. Elnozahy, Carnegie Mellon University, USA Abstracts of the Tutorials and Biographies of Speakers ---------------------------------------------------------------------- WIRELESS AND MOBILE NETWORKING + ABSTRACT: Mobile hosts such as laptop and palmtop computers are becoming widely available at very affordable prices, and many new wireless networking products and services are becoming available based on technologies such as spread-spectrum radio, infrared, cellular, and satellite. However, wireless networks have fundamentally different properties than typical wired networks, including higher error rates, lower bandwidths, nonuniform transmission propagation, increased usage costs, and increased susceptibility to interference and eavesdropping. Similarly, mobile hosts behave differently and have fundamentally different limitations than stationary hosts. For example, a mobile host may move and become disconnected from or change its point of connection to the network, and mobile hosts generally operate on limited battery power. This tutorial will focus on the challenges presented by these differences and on the network protocol solutions that address them. After reviewing the important properties of wireless networks and mobile hosts, we will summarize a number of wireless networking products or services available now or under development. We then address the problem of routing packets to mobile hosts in a large internetwork such as the Internet, and describe Mobile IP and CDPD as examples of protocols that support internetwork host mobility. Mobile IP is currently being developed by the IETF (Internet Engineering Task Force) as standard for mobile hosts in the Internet, and CDPD (Cellular Digital Packet Data) has been developed by a consortium of cellular telephone companies to support IP packet routing to mobile hosts over the existing AMPS cellular telephone system. Other topics covered in the tutorial will include the authentication requirements for mobile host internetworking, and the effect of wireless networks and host mobility on the performance of higher-layer protocols such as TCP. + SPEAKER: David Johnson is an Assistant Professor of Computer Science at Carnegie Mellon University. He received his Ph.D. degree in computer science from Rice University, and was a Research Scientist and Lecturer at Rice prior to joining the faculty at CMU. His areas of expertise include network protocols, distributed systems, and operating systems, and his current work concentrates on wireless and mobile networking protocols and on distributed system fault tolerance. ---------------------------------------------------------------------- COOPERATIVE INFORMATION SYSTEMS + ABSTRACT: Cooperative Information Systems (CIS) are concerned with the problems of constructing complex distributed systems of users, applications, and information resources, problems made more urgent by the rapid expansion of the infrastructure for wide-area computing. CIS embody a collection of powerful agent-based paradigms for constructing open information systems. Importantly, CIS are a generation beyond client-server computing, and they provide a way to incorporate legacy systems into modern information environments. This tutorial will introduce the CIS paradigms, focusing on key unsolved problems. It presents theories, architectures, languages, and techniques for achieving coordinated behavior among a decentralized group of providers, gatherers, and consumers of information, as well as the information flows that exist among them. It will describe successful applications in telecommunications, manufacturing automation, and information retrieval, and discuss upcoming applications over the world-wide web. This tutorial will guide practitioners seeking new ways to attack the problems engendered by heterogeneity and distribution, and access to external information. It will introduce graduate students and other researchers to a new area of agent-based technology, with lots of exciting and important problems. + PREREQUISITE KNOWLEDGE: No special background is assumed. + SPEAKERS: Michael N. Huhns received the Ph.D. in electrical engineering from the University of Southern California. He is a senior researcher at MCC and an adjunct professor in computer science at the University of Texas at Austin. He is the author of over 100 papers two books in Distributed Artificial Intelligence and enterprise information integration. Munindar P. Singh received the Ph.D. (in computer science from the University of Texas at Austin. He is a researcher at MCC, and an adjunct assistant professor in CS at the University of Texas. His expertise is in CIS, distributed artificial intelligence, and agent programming, and he has authored a book on Multiagent Systems. ------------------------------------------------------------------------ SOFTWARE-BASED TECHNIQUES FOR FAULT TOLERANCE AND HIGH AVAILABILITY + ABSTRACT: Recent advances in technology are making it possible to build efficient distributed systems and network multicomputers out of commodity workstations and high speed networks. This revolution has benefited numerous applications that follow the client/server model, and recently supercomputer applications have moved to networks of workstation clusters. Distributed systems and network multicomputers, however, are vulnerable to many failure modes, and traditional schemes for providing fault tolerance in these environments may be too expensive. These traditional solutions typically depend on redundant, custom-built hardware and special purpose operating systems. These techniques have proven their effectiveness for life-support systems and critical mission applications, but many distributed applications do not need such strict reliability guarantees. Furthermore, the desire of corporate organizations to become more competitive is motivating the adoption of efficient and economical solutions based on open systems and standards. Software-based techniques have the potential for providing the high availability and performance requirements for such applications at a low cost. These techniques can be broadly classified into three paradigms. The first paradigm follows the process-group approach and relies on multicast communication to add reliability to distributed systems. The ISIS system from Cornell is an example of this paradigm. The second paradigm centers around providing high availability in an application-transparent manner, allowing existing code that was written without consideration for reliability to automatically become fault tolerant. The third paradigm extends the proven technology of database transactions to general-purpose distributed applications. The tutorial covers each of these methods, and provides a neutral evaluation of each paradigm, including the types of applications where each paradigm has become successful as well as the limitations of each approach, which are often swept under the rug. The tutorial will emphasize practical issues and experience with implementation techniques for providing high availability. Examples from research prototypes that developed into commercial products will be used to show how each paradigm is implemented in the real world. The tutorial will also cover the emerging CORBA and DCE standards, which allow distributed applications to be implemented on top of open systems in a portable manner. The issues of providing fault tolerance under these standards will be discussed, as well as reports on early experience with writing highly available software under these standards. + SPEAKER: E.N. Elnozahy (Mootaz) obtained his Ph.D. from Rice University and is currently an assistant professor at the Department of Computer Science, Carnegie Mellon University. His expertise are in the areas of distributed computing, fault tolerance, and operating systems. He has worked on several projects in industry and academia, including HANFS at IBM TJ Watson, Manetho at Rice and Anatidae at Bellcore. He has received several awards. ********************************************************************* TECHNICAL PROGRAM ===================================================================== WEDNESDAY, MAY 31 7:30 Registration 8:30 Welcome 9:00 KEYNOTE ADDRESS Speaker: A. M. Van Tilborg, Office of Naval Research, USA Title: New Challenges in Distributed Computing --------------------------------------------------------------- 10:00 Morning Break --------------------------------------------------------------- 10:30 SESSION 1A: Tools and Environments Chair: Vincent Shen, Hong Kong University of Science & Technology, Hong Kong Software Tool Evaluation Methodology S. Hariri, S.-Y. Park, R. Reddy, M. Subramanyan, R. Yadav, G. Fox, Syracuse University, and M. Parashar, University of Texas at Austin, USA A Tool for Monitoring Heterogeneous Distributed Object Applications K. Zielinski, A. Laurentowski, J. Szymaszek, and A. Uszok, University of Mining and Metallurgy, Poland Integrating Visualization Support into Distributed Computing Systems B. Topol, J. T. Stasko, Georgia Institute of Technology, and V. Sunderam, Emory University, USA MASSIVE: A Distributed Virtual Reality System Incorporating Spatial Trading C. Greenhalgh and S. Benford, University of Nottingham, UK SESSION 1B: Real-Time Communication Chair: R. Gerber, University of Maryland, USA Real-Time Causal Message Ordering in Multimedia Systems F. Adelstein and M. Singhal, Ohio State University, USA A New Protocol for Bandwidth Regulation of Real-Time Traffic Classes in Internetworks J. Liebeherr, University of Virginia, I. F. Akyildiz, Georgia Institute of Technology, and D. Sarkar, University of Virginia, USA A Distributed Table-Driven Route Selection Scheme for Establishing Real-Time Video Channels C.-C. Chou and K. G. Shin, University of Michigan, USA Guaranteeing End-to-End Deadlines in ATM Networks A. Raha, S. Kamat, and W. Zhao, Texas A&M University, USA SESSION 1C: Consensus and Agreement Chair: E. Nett, GMD, Germany Fault-Tolerant External Clock Synchronization F. Cristian and C. Fetzer, University of California at San Diego, USA Efficient Failure Discovery with Limited Authentication M. Borcherding, University of Karlsruhe, Germany Causal Separators for Large-Scale Multicast Communication L. Rodrigues and P. Verissimo, Universidade Tecnica de Lisboa, Portugal Coterie Templates: A New Quorum Construction Method, W. K. Ng and C. V. Ravishankar, University of Michigan, USA --------------------------------------------------------------- 12:30 Lunch --------------------------------------------------------------- 2:00 SESSION 2A: Transaction Processing Chair: E. A. Delis, Queensland University of Technology, Australia Exploiting Transaction Semantics in Multidatabase Systems R. Rastogi, AT&T Bell Laboratories; H. F. Korth, Panasonic Technologies, Inc. and A. Silberschatz, AT&T Bell Laboratories, USA A Practical Technique for Asynchronous Transaction Processing W. Hseush, Columbia University and C. Pu, Oregon Graduate Institute, USA Distributed Lock Management for Mobile Transactions J. Jing, O. Bukhres and A. Elmagarmid, Purdue University, USA SESSION 2B: Communication Protocols and Software Chair: Y. Matsushita, Keio University, Japan MPI Programming Environment for IBM SP1/SP2 H. Franke, C. E. Wu, P. Pattnaik, and M. Snir, IBM T. J. Watson Research Center, USA I-TCP: Indirect TCP for Mobile Hosts A. Bakre and B. R. Badrinath, Rutgers University, USA Single Connection Emulation (SCE): An Architecture for Providing a Reliable Multicast Transport Service R. Talpade and M. H. Ammar, Georgia Institute of Technology, USA SESSION 2C: Mutual Exclusion and Deadlock Detection Chair, R. Lea, Sony Corporation, Japan Distributed K-Mutual Exclusion S. Bulgannawar and N. H. Vaidya, Texas A&M University, USA A Fast Distributed Modular Algorithm for Resource Allocation I. Rhee, University of Warwick, UK An Efficient Distributed Deadlock Detection Algorithm S. Lee, Samsung Electronics Co., Korea and J. L. Kim, Bell Communication Research, USA --------------------------------------------------------------- 3:30 Afternoon Break --------------------------------------------------------------- 4:00 PANEL SESSION 3A: Supporting Cooperative Work: New Challenges or Old Problems? Chair: T. Rodden, Lancaster University, UK PANEL SESSION 3B: Future Distributed Embedded and Real-Time Applications Will Be Adaptive: Meanings, Challenges and Research Paradigms Chair: A. Mok, University of Texas at Austin, USA --------------------------------------------------------------- 6:00 Reception --------------------------------------------------------------- THURSDAY, JUNE 1 8:00 Registration 8:30 KEYNOTE ADDRESSES Speaker: D. Ferrari, University of California at Berkeley, USA Title: What Services Will Integrated-Services Networks Offer? Speaker: B. Liskov, Massachusetts Institute of Technology, USA Title: to be determined --------------------------------------------------------------- 10:30 Morning Break --------------------------------------------------------------- 11:00 SESSION 4A: Real-Time Distributed Systems Chair: R. Rajkumar, SEI, Carnegie Mellon University Analysis of Resource Lower Bounds in Real-Time Applications R. Alqadi and P. Ramanathan, University of Wisconsin, USA Mission-Oriented Replication of Periodic Tasks in Distributed Real-Time Systems S-T. Cheng, S.-I. Hwang, and A. K. Agrawala, University of Maryland, USA A Framework for the Design of Scalable, Real-Time Distributed Systems S. Chatterjee and J. Strosnider, Carnegie Mellon University, USA SESSION 4B: Logging and Recovery Chair: D. Taylor, University of Waterloo, Canada Server Recovery Using Naturally Replicated State: A Case Study M. Devarakonda, B. Kish, and A. Mohindra, IBM Thomas J. Watson Research Center, USA Performance Evaluation of Three Logging Schemes for a Shared-Nothing Database Server K.-F. Wong, Chinese University, Hong Kong Message Logging: Pessimistic, Optimistic, and Causal L. Alvisi, Cornell University and K. Marzullo, University of California at San Diego, USA SESSION 4C: Performance of Communication Systems D. B. Johnson, Carnegie Mellon University, USA Comparing Kernel-Space and User-Space Communication Protocols on Amoeba M. Oey, K. Langendoen, and H. E. Bal, Vrije Universiteit Amsterdam, The Netherlands Techniques for Global Optimization of Message Passing Communication on Unreliable Networks N. Islam, IBM T. J. Watson Research Center, and R. H. Campbell, University of Illinois, USA A Thread-Based Interface for Collective Communication on ATM Networks C. Huang, Y. Huang and P. K. McKinley, Michigan State University, USA ------------------------------------------------------------------- 12:30 Lunch ------------------------------------------------------------------- 2:00 SESSION 5A: Object-Based Systems Chair: M. Ahamad, Georgia Institute of Technology, USA An Object-Based Distributed Computing Environment Based on a Reflective Architecture T. Yokoyama, M. Saito, M. Shimada, and S. Murata, Hitachi Research Laboratory, Hitachi, Japan A Multiversion Concurrent Object Model for Distributed and Multiuser Environments T. Hirotsu, H. Fujii, and M. Tokoro, Keio University, Japan Adaptive Placement of Method Executions within a Customizable Distributed Object-Based Runtime System M. Banatre, Y. Belhamissi, V. Issarny, I. Puant, and J.-P. Routeau, IRISA, France SESSION 5B: Remote Procedure Call and Group Communication Chair: A. Arora, Ohio State University, USA Constructing a Configurable Group RPC Service M. A. Hiltunen and R. D. Schlichting, University of Arizona, USA Newtop: A Fault-Tolerant Group Communication Protocol P. D. Ezhilchelvan, R. A. Macedo, and S. K. Shrivastava, University of Newcastle upon Tyne, UK Configuration-Level Optimization of RPC-based Distributed Programs T.-H. Kim and J. M. Purtilo, University of Maryland, USA SESSION 5C: Communication Systems Chair: Aloke Guha, Network Systems Corporation, USA Selective Broadcast Data Distribution Systems K. H. Yeung and T. S. Yum, Chinese University, Hong Kong An Efficient Optimal Reconfiguration Algorithm for FDDI-Based Networks S. Kamat, Texas A&M University, USA Distributed Management by Delegation G. Goldszmidt and Y. Yemini, Columbia University, USA ------------------------------------------------------------------- 3:30 Afternoon Break ------------------------------------------------------------------- 4:00 PANEL SESSION 6A: Intelligent Agents in Distributed Systems Co-Chairs: J. J. Ordille, AT&T Bell Laboratories, USA, and O. Drobnik, J.W. Goethe-University, Germany PANEL SESSION 6B: Fee-for-Service in Distributed Systems: Research and Policy Issues Chair: C. Clifton, Northwestern University, USA ------------------------------------------------------------------- 6:30 Cruise and Dinner =================================================================== FRIDAY, JUNE 2 8:00 Registration 8:30 KEYNOTE ADDRESS Speaker: Inder Gopal, Networked Applications Services, IBM, USA Title: to be determined ------------------------------------------------------------------- 9:30 Morning Break ------------------------------------------------------------------- 10:00 SESSION 7A: Monitoring and Testing Chair: B. H.C. Cheng, Michigan State University, USA Probing and Fault Injection of Protocol Implementations S. Dawson and F. Jahanian, University of Michigan, USA Test Sequence Generation from Formal Specifications of Distributed Programs R. H. Carver, George Mason University and K. C. Tai, North Carolina State University, USA Dynamic Techniques for Minimizing the Intrusive Effect of Monitoring Actions R. Gupta, University of Pittsburgh and M. Spezialetti, Lehigh University, USA EVEREST: An Event Recognition Testbed M. Spezialetti and S. Bernberg, Lehigh University, USA SESSION 7B: Distributed Databases Chair: J. E. Urban, Arizona State University, USA Distributed Join Processing Using Bipartite Graphs P. Scheuermann, Northwestern University and E. I. Chong, Digital Equipment Corp., USA General Design of Grid-Based Data Replication Schemes Using Graphs and a Few Rules O. Theel, University of California at Riverside, USA and H. Pagnia-Koch University of Darmstadt, Germany Maintaining Consistency of Data in Mobile Distributed Environments E. Pitoura and B. Bhargava, Purdue University, USA Specifying Weak Sets J. M. Wing and D. C. Steere, Carnegie Mellon Univeristy, USA SESSION 7C: Theory and Algorithms Chair: B. Patt-Shamir, Northeastern University, USA Distributed Algorithms for Detecting Conjunctive Predicates V. K. Garg and C. M. Chase, University of Texas at Austin, USA Characterizing and Detecting the Global States Seen By All the Observers of a Distributed Computation E. Fromentin and M. Raynal, IRISA, France Providing Sequentially-Consistent Shared Objects Using Group and Point-to-point Communication A. Fekete, University of Sydney, Australia; F. Kaashoek and N. Lynch, Massachusetts Institute of Technology, USA A Competitive Analysis for Retransmission Timeout S. Dolev, M. Kate, and J. L. Welch, Texas A&M University, USA ------------------------------------------------------------------- 12:00 Lunch ------------------------------------------------------------------- 1:30 SESSION 8A: Distributed Systems Architecture Chair: J. Torrellas, University of Illinois, USA Write Caching in Distributed File Systems K. Chen, R. B. Bunt, and D. L. Eager, University of Saskatchewan, Canada Parallel Processing on Networks of Workstations: A Fault-Tolerant, High Performance Approach P. Dasgupta, Arizona State University; Z. M. Kedem, New York University; and M. Rabin, Harvard University, USA Hardware for Fast Global Operations on Workstation Cluster Multicomputers D. V. Hall and M. A. Driscoll, Portland State University, USA SESSION 8B: Task Allocation and Load Balancing Chair: S. Tripathi, University of Maryland, USA Performance Impact of Scheduling Discipline on Adaptive Load Sharing in Homogeneous Distributed Systems S. Dandamudi, Carleton University, Canada Mapping Concurrently-Communicating Modules onto Mesh Multicomputers Equipped with Virtual Channels B.-R. Tsai and K. G. Shin, University of Michigan, USA An Efficient Task Allocation Scheme for Two-Dimensional Mesh-Connected Systems, S.-M. Yoo and H. Y. Youn, University of Texas at Arlington, USA SESSION 8C: Specification and Implementation of Protocols S. Chanson, University of British Columbia, Canada Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers H. Yamaguchi, K. Okano, T. Higashino, and K. Taniguchi, Osaka University, Japan Distributed Implementation of Multi-rendezvous in LOTOS Using the Orthogonal Communication Structure in Linda K. Naik, University of Aizu, Japan Specification of a Secured Multi-server MMS Protocol Y. Dakroury, J. P. Elloy, and R. Ricordel, Ain Shams University, Egypt ------------------------------------------------------------------- 3:00 Afternoon Break ------------------------------------------------------------------- 3:30 PLENARY PANEL SESSION: New Promises and Challenges Chair: L. D. Witte, SUNY at Stony Brook, USA ****************************************************************** ICDCS-15 Registration Form -- Register Today! Return the registration form to: ICDCS '95 Registration IEEE Computer Society 1730 Massachusetts Ave., N.W., Washington, DC 20036-1992 Fax: 202-728-0884 Name ______________________________________________________________ Affiliation _______________________________________________________ Mailing Address____________________________________________________ City/State/Zip/Country ____________________________________________ Daytime Phone Number __________________ Fax Number ________________ E-mail address ____________________________________________________ IEEE/CS Membership Number _________________________________________ Do not include my mailing address on: ___ Non-society mailing lists ___ Meeting attendee lists TUTORIALS-May 30 (All are full day - please check the tutorial(s) you wish to attend) ___ T1: Wireless and Mobile Networking ___ T2: Cooperative Information Systems ___ T3: Software-Based Techniques for Fault Tolerance Tutorial Registration Fees (Price is per tutorial - please check appropriate fee) Advance (until 4/29) Late(after 4/29) Member ___ US $325 ___ US $390 Nonmember ___ US $405 ___ US $485 Conference Registration Fees (Please check appropriate fee) Advance (until 4/29) Late(after 4/29) Member ___ US $395 ___ US $475 Nonmember ___ US $495 ___ US $575 Student ___ US $100 ___ US $100 Amount due: A. Conference Amount: $________ B. Tutorial Fee(s): $________ C.Total Enclosed (A+B) (in US dollars): $_________ Guest tickets for social events will be available on-site. Payment must be enclosed. Please make checks payable to IEEE Computer Society/ICDCS-15. All payments must be in US dollars, drawn on US banks. Method of Payment ___ Personal Check ___ Company Check ___ Traveler's Check ___ VISA ___ Mastercard __