Subject: IEEE-CS TC-RTS Newsletter for Thu Jan 26, 1995 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. best@cs.bu.edu (Prof. Azer Bestavros) (93 lines) RTSS'95 Call for Papers............................................ 3 2. "Robert Swarz" (74 lines) News Release: DEC/IBM and Real-Time................................ 96 3. laplante@sun490.fdu.edu (Phil Laplante) (138 lines) WRTP'95............................................................ 170 4. Flaviu Cristian (28 lines) Postdoctoral Fellow Position Available............................. 307 5. Mike Hinchey (216 lines) ICECCS'95.......................................................... 335 6. rich@cs.UMD.EDU (Richard Gerber) (232 lines) CFP: ACM SIGPLAN Languages, Compilers & Tools for Real-Time Syste.. 552 2nd CFP: CONCUR 95................................................. 660 7. pw@montefiore.ulg.ac.be (Pierre Wolper) (108 lines) CAV 95 call for papers............................................. 783 8. "Bruce McMillin" (78 lines) Special Issue, MLCS - Formal Methods in Logic for Responsive Syst.. 891 9. Yehuda Yair (174 lines) Anonymous FTP reports on a Top-Layer Approach to Real-Time......... 970 10. Frits.Vaandrager@cwi.nl (85 lines) Workshop on Real-time and Hybrid Systems........................... 1144 11. Insup Lee (245 lines) Call for Papers: High Performance Distributed Systems.............. 1228 12. Arne Skou (88 lines) CFP - TACAS (TAPSOFT'95 Satellite - reminder)...................... 1473 13. cn2@arch4.ho.att.com (130 lines) Community Networking Call for Participation........................ 1562 14. kader@laas.fr (Abd-El-Kader Sahraoui) (82 lines) 13th IFAC Workshop on Distributed Computer Control Systems........ 1692 15. babin@ift.ulaval.ca (Gilbert Babin) (96 lines) Academic Position - Computer Science............................... 1774 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Tue Jan 24 16:09:53 1995 From: best@cs.bu.edu (Prof. Azer Bestavros) Subject: RTSS'95 Call for Papers 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 Hughe, 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 Mon Nov 21 12:00:28 1994 From: "Robert Swarz" Subject: News Release: DEC/IBM and Real-Time DIGITAL EQUIPMENT CORPORATION AND IBM ANNOUNCE MICROKERNEL AGREEMENT MAYNARD, MASS., October 25, 1994 -- Digital Equipment Corporation and International Business Machines (IBM) today announced an agreement to exploit IBM's microkernel technology for use in real-time and embedded applications. The agreement enables both companies to expand their capabilities to produce microkernel-based solutions for the embedded, real-time, desktop and next-generation environments. By sharing resources and using common microkernel technology, both companies will be able to deliver solutions which are portable across environments, while reducing expense and time-to-market. Under the agreement, IBM will provide its microkernel technology to Digital. Digital's Real-time Engineering Group (which is based in Marlboro, Massachusetts) will exploit and adapt the microkernel for use in real-time and embedded applications. This microkernel will serve as the base for a next-generation distributed real-time operating system currently in development at Digital. Digital's new real-time operating system is intended to address a broad range of more complex distributed and scalable real-time and embedded applications on diverse computing platforms, including Alpha AXP, Intel and PowerPC. Larry Cabrinety, Vice President of Digital's Components and Peripherals Business Unit said, "Our agreement with IBM will combine the expertise and resources of both companies to produce microkernel-based solutions for the embedded and real-time environments. This is a tremendous opportunity." "We expect our Real-time Engineering group to be the first to exploit IBM's improvements to Mach-based microkernel technology in next-generation real-time product development. Digital's approach will rapidly increase application capabilities and cost-effectiveness for our customers. Continuing a long tradition of preserving customer investments, Digital's plans ensure interoperability of its next generation real-time product with its current real-time products," said Bill Armitage, vice president of the Digital's Embedded and Real-time Business. "Digital and others are helping IBM build commercial microkernel technology for real-time, embedded desktop and future environments," said Lee Reiswig, president, IBM Personal Software Products. "Digital will work with us on the microkernel technology for real-time and embedded systems, with the objective of giving users of those systems the benefits of a common microkernel optimized for their applications." As an enabling technology, the IBM microkernel and Digital's adaptations will further open computing platforms of both companies to third-party suppliers. Working with microkernel-based solutions, real-time and embedded users can realize several major advantages, including a richer software development environment and faster time-to-market. "It makes sense for IBM and Digital to pool their resources and expertise to develop a common microkernel technology," said Wendy Rauch, president of Emerging Technologies, Inc., a Dix Hills, New York-based market analysis firm covering real-time UNIX technology. "It would be counterproductive for each organization to develop separate, proprietary microkernels and then create an industrial standard by reconciling them in the face of legacy applications," she said. Digital will release additional details of its plans for the technology after December 1, 1994. ------------------------------------------------------------------------------ Message 3; Postmarked Tue Nov 22 10:35:07 1994 From: laplante@sun490.fdu.edu (Phil Laplante) Subject: WRTP'95 ********** WRTP'95 ********** WRTP'95 ********** WRTP'95 ********** __________________________________________________________________ | | | 20th IFAC/IFIP Workshop on | | | | REAL TIME PROGRAMMING | | | | WRTP'95 | | | | Location: Fort Lauderdale, Florida, USA, November 6-10, 1995 | | | | | | FIRST ANNOUNCEMENT AND CALL FOR PAPERS | |________________________________________________________________| Chairs: P.A. Laplante Chair Dept. of Mathematics and Computer Science Fairleigh Dickinson University Madison, NJ 07940 USA Tel.: (201) 593-8680 Fax: (201) 593-8886 E-mail laplante@fdu.edu W.A. Halang FernUniversitaet, Faculty of Electrical Engineering D-58084 Hagen, Germany Tel.: +49-2331-987-372 Fax: +49-2331-987-375 E-mail: wolfgang.halang@fernuni-hagen.de PROGRAM COMMITTEE (IPC) L. Motus, EE A. Stoyenko, USA J. de la Puente, E M. Rodd, UK M. Hinchey, UK G. Suski, USA B. Furht, USA B. McMillin, USA K. Man, HK S. Bologna, I J. Skubich, F LOCAL ORGANIZING COMMITTEE B. Furht A. Stoyenko B. McMillin SCOPE The workshop will consist of formal presentations, discussions and informal meetings covering recent advances and current issues in theory, applications, and technology of real-time programming. It is to promote interaction among researchers and practitioners and to evaluate the maturity of new directions in real-time software. The conference is being held in conjunction with the first International Conference on Complex Computer System (ICECCS), which is sponsored by the IEEE TSC on Complex Computer Systems. The topics to be covered at the workshop include, but are not restricted to: * Advances in real-time programming languages * Requirements engineering methods for real-time systems * Software design methods for predictable behaviour * Real-time scheduling and resource management * Real-time operating systems * Real-time communication architectures, incl. MAP and Fieldbus * Verification and validation, esp. of timing properties * Dependability issues * Industrial applications and experience * Evaluation of current real-time systems * Real-time (control) systems coping with challenging time constraints EXTENDED ABSTRACTS The submission of extended abstracts (800 -- 1200 words) is invited. They should address the topics outlined above and focus on insights and lessons gained from recent research and practical experience. Position papers describing new ideas, promising approaches, and work in progress are considered particularly appropriate. The abstracts should outline the contribution that the author intends to make at the Workshop. The submitted texts are to be sent by electronic mail in the form of plain ASCII files, i.e., without any mark-up. If e-mail is not available, plain ASCII files may be mailed on MS-DOS diskettes. FULL-LENGTH PAPERS Full papers will be prepared according to the instructions (using a certain LaTeX style and electronic submission) that will be sent to the authors together with the notification of acceptance. Accepted papers must be presented in person at the Workshop. PROCEEDINGS Proceedings will be available at the conference. PARTICIPATION Attendance will be limited to approx. 60 active workers in the field. Participants are requested to register in advance not later than July 15, 1995. IMPORTANT DATES Extended abstracts due by ..................... February 15, 1995 Notification of acceptance .................... March 15, 1995 Registration .................................. April 15, 1995 Full papers due by ............................ July 15, 1995 Workshop ...................................... November 6-10, 1995 COPYRIGHT CONDITIONS: The material submitted for presentation at an IFAC workshop must be original, not published or being considered elsewhere. All papers accepted for presentation will appear in the Preprints of the meeting and will be distributed to the participants. Papers duly presented will be archived and offered for sale, in the form of Postprint volumes, by Elsevier Science Ltd., Oxford, UK. The papers which have been presented will be further screened for possible publication in the IFAC journals Automatica and Control Engineering Practice, or in other, IFAC affiliated journals. The abstracts of all papers presented will also appear in Control Engineering Practice. Copyright of material presented at an IFAC meeting is held by IFAC. Authors will be sent a copyright transfer form. Automatica, Control Engineering Practice and, after these, IFAC affiliated journals have priority access to all contributions presented. However, if the author is not contacted by an editor of these journals, within three months after the meeting, the author is free to re-submit the material for publication elsewhere. In this case, the paper must carry a reference to the IFAC meeting where it was originally presented. ********** WRTP'95 ********** WRTP'95 ********** WRTP'95 ********** ------------------------------------------------------------------------------ Message 4; Postmarked Tue Nov 22 17:18:29 1994 Subject: Postdoctoral Fellow Position Available From: Flaviu Cristian Postdoctoral Fellow Position Available An opportunity for postdoctoral research is available in the TEAM project at the University of California, San Diego. The project investigates concepts, methods, and tools that will enable the confident construction (design, implementation, validation) and maintenance (evolution, change, upgrading) of highly dependable distributed computing systems. We are interested in attracting an outstanding research scientist, capable of both conceptual innovation and practical implementation work. A PhD in Computer Science is required. Experience with distributed and fault-tolerant systems is a plus. Please send a curriculum vitae (including a statement of research goals and accomplishments) and the names of three references to: Prof. Flaviu Cristian Computer Science and Engineering University of California, San Diego 9500 Gilman Dr. Dept 0114 La Jolla, California 92093-0114 internet: flaviu@cs.ucsd.edu ------------------------------------------------------------------------------ Message 5; Postmarked Mon Nov 28 10:20:28 1994 Subject: ICECCS'95 From: Mike Hinchey Preliminary Announcement and Call for Papers 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 Thu Dec 1 18:33:13 1994 From: rich@cs.UMD.EDU (Richard Gerber) Subject: CFP: ACM SIGPLAN Languages, Compilers & Tools for Real-Time Systems ****************************************************************************** CALL FOR PAPERS ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems (In Conjunction with ACM SIGPLAN PLDI/PEPM) La Jolla, California June 21-22, 1995 ACM SIGPLAN LCT-RTS '95 is an interface between two dynamic fields of computer science and engineering: programming languages and real-time systems. The time is right for this workshop: top researchers in these areas are addressing many similar problems, but with slightly different perspectives and technologies. LCT-RTS provides a forum where these researchers can share their results and directions, and where they can potentially form new collaborations based on common interests. MOTIVATION: Until recently real-time systems development was the province of experienced specialists, who were faced with a variety of custom kernels, non-standard languages and vendor-specific device interfaces. System integration inevitably involved a complicated process of taking timing measurements, hand-tuning the code, and then re-measuring. These ad-hoc techniques have not scaled to support modern systems. There is a growing desire to adopt advanced design strategies, standard kernels, reusable modules, generic languages and the like. Also, the majority of real-time developers is longer drawn from the ranks of embedded controls experts; rather, it is composed of animators, physicists, video producers, musicians, medical technicians, automotive engineers, manufacturing engineers, etc. New software approaches are needed to support these new systems, and this new generation of real-time programmers. THE WORKSHOP: ACM SIGPLAN LCT-RTS '95 is devoted to investigating software technologies for contemporary real-time systems. Original submissions are invited in all areas relevant to this theme, including (but not restricted to) the following topics: * Programming Languages for Real-Time: Industrial and Research * Design: Requirements, System Specification, Analysis * Exception Handling: Semantics, Policies, Mechanisms * Prototyping Languages * Timing Analysis: Static and Dynamic Approaches * Scheduling Analysis * Realtime on RISC: Caches, Register Windows, Pipelines * Realtime Memory Management and Garbage Collection * Support for Parallelism and Data Placement * Program Transformation and Optimization for Real-Time Performance * Profiling, Measurement and Debugging * System Integration and Testing Of particular interest are case studies, or experimental results based on application-building experiences; for example in interactive graphics, imaging, manufacturing, etc. Papers should report new research, and should not exceed 5000 words (approximately 10 pages typeset 10-point on 16-point spacing, or 15 typewritten double-spaced pages). Short papers are also welcomed, which describe existing implementations, work-in-progress, or new problems and important issues. Short papers should not exceed 3000 words (6 pages). All accepted papers will be presented at the workshop and published in the proceedings, which will be distributed at the workshop. SUBMISSION: Please submit seven (7) copies of papers, to: ACM SIGPLAN LCT-RTS Attn: Richard Gerber Department of Computer Science University of Maryland College Park, MD 20742 USA Papers will be reviewed the program committee for appropriateness of content and presentation. Proceedings will be distributed at the workshop. IMPORTANT DATES Submission of draft paper: 23 January 1995 Notification of acceptance: 22 March 1995 Final version due: 15 May 1995 PROGRAM COMMITTEE Alan Burns (University of York) Richard Gerber, Co-Chair (University of Maryland) Rajiv Gupta (Univ of Pittsburgh) Mary Hall (Caltech) Connie Heitmeyer (Naval Research Lab) Insup Lee (University of Pennsylvania) Al Mok (University of Texas at Austin) Thomas Marlowe, Co-Chair (Seton Hall University, NJIT RTCL) Steve Tjiang (Synopsys Inc.) PROGRAM CO-CHAIRS Richard Gerber Thomas Marlowe Department of Computer Science Department of Mathematics University of Maryland Seton Hall University College Park, MD 20742, USA South Orange NJ 07079, USA telephone: +1 301 405 2710 telephone: +1 201 761 9784 fax: +1 301 405 6707 fax: +1 201 761 9596 rich@cs.umd.edu marlowe@cs.rutgers.edu Postmarked Fri Dec 16 23:25:43 1994 From: rich@cs.UMD.EDU (Richard Gerber) Subject: 2nd CFP: CONCUR 95 ****************************************************************************** CALL FOR PAPERS CONCUR '95 Sixth International Conference on Concurrency Theory Philadelphia, Pennsylvania, USA August 21-24, 1995 The purpose of CONCUR '95 is to bring together researchers, developers, and students in order to advance the science of concurrency theory and promote its application. Submissions are invited in all areas of semantics, logics, and verification techniques for concurrent systems. Potential topics include, but are not limited to, process algebras, Petri nets, true concurrency, shared-memory and message-passing formalisms, operational and denotational models, programming language semantics, probabilistic and real-time processes, hybrid systems, concurrent logic and constraint programming, fairness, temporal logics, compositional analysis techniques, and verification tools. Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be published by Springer-Verlag. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. CONCUR '95 will feature for the first time electronic submission of papers. Uuencoded dvi or postscript (tm) files should be e-mailed to: concur95-submit@cs.sunysb.edu When electronic submission is not possible (due, e.g., to lack of internet access), five (5) hardcopies of the paper should be sent to the postal address given below. Submissions should contain a draft of a full paper of no more than 15 typed pages (11pt or 12pt, single-spacing, single-column, fullpage or a4 margins) accompanied by a one-page abstract. The mailing addresses (both postal and electronic), telephone number and fax number (if available) of the author to whom correspondence should be sent should be clearly indicated. IMPORTANT DATES Submission of draft paper: 1 March 1995 Notification of acceptance: 1 May 1995 Final version due: 1 June 1995 SUBMISSION ADDRESSES electronic: concur95-submit@cs.sunysb.edu hardcopy: CONCUR '95 Attn: Scott Smolka Dept. of Computer Science SUNY at Stony Brook Stony Brook, NY 11794-4400 USA telephone: +1 516 632 8453 fax: +1 516 632 8334 PROGRAM COMMITTEE B. Bloom (Cornell University) R. Cleaveland (North Carolina State University) P. Degano (University of Pisa) R. van Glabbeek (Stanford University) R. Gerth (Technical University of Eindhoven) S. Graf (VERIMAG, Grenoble) J.F. Groote (University of Utrecht) C. Heitmeyer (Naval Research Laboratory) T. Henzinger (Cornell University) H. Hungar (University of Oldenburg) L. Jategaonkar Jagadeesan (AT&T Bell Labs) A. Jeffrey (Sussex University) I. Lee, co-chair (University of Pennsylvania) J. Parrow (Swedish Institute of Computer Science) A. Rabinovitch (Tel Aviv University) D. Sangiorgi (University of Edinburgh/INRIA-Sophia Antipolis) S. Schneider (University of London) A. Skou (University of Aalborg) S. Smolka, co-chair (SUNY Stony Brook) E. Stark (SUNY Stony Brook) B. Thomsen (ECRC) M. Young (Purdue University) CONFERENCE CO-CHAIRS Insup Lee Scott A. Smolka Dept. of Computer and Information Sci. Department of Computer Science University of Pennsylvania SUNY at Stony Brook Philadelphia, PA 19104-6389, USA Stony Brook, NY 11794-4400, USA telephone: +1 215 898 3532 telephone: +1 516 632 8453 fax: +1 215 898 0587 fax: +1 516 632 8334 lee@cis.upenn.edu sas@cs.sunysb.edu PUBLICITY CHAIR TUTORIALS CHAIR Rich Gerber Dale Miller Department of Computer Science Dept. of Computer and Information Sci. University of Maryland University of Pennsylvania College Park, MD 20742, USA Philadelphia, PA 19104-6389, USA telephone: +1 301 405 2710 telephone: +1 215 898 1593 e-mail: rich@cs.umd.edu e-mail: dale@cis.upenn.edu FURTHER INFORMATION Plain text, dvi, and postscript versions of this Call For Papers as well as the latest information on CONCUR '95 can be obtained electronically via: E-MAIL: concur95@cis.upenn.edu FTP: ftp.cis.upenn.edu (158.130.12.3) -- pub/concur95 WWW: http://www.cis.upenn.edu/concur95/concur95.html ------------------------------------------------------------------------------ Message 7; Postmarked Thu Dec 22 10:03:36 1994 Subject: CAV 95 call for papers From: pw@montefiore.ulg.ac.be (Pierre Wolper) CALL FOR PAPERS CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV '95) Liege, BELGIUM July 3 - July 6, 1995 (LaTeX and Postscript(tm) versions of this Call for Papers are available by anonymous FTP from ftp.montefiore.ulg.ac.be (139.165.16.58) in directory pub/cav95) This conference is the seventh in a series dedicated to the advancement of the theory and practice of computer-assisted formal verification. It is centered around the theme that computer assistance is essential for a wider use of verification techniques, but encourages all styles of verification approaches and a variety of application areas. It covers the spectrum from theory to concrete applications, with an emphasis on verification tools and the algorithms and techniques that are needed for their implementation. The conference will include contributed papers, invited papers, tutorials, and tool demonstrations. The boundaries of the conference are not rigid. In the past, papers on the following topics have been enthusiastically received. Application areas: synchronous and asynchronous circuits, computer arithmetic, protocols, distributed algorithms, real-time systems, hybrid systems. Tools and Methods based on: state-space exploration, model-checking, automated deduction, and theorem proving. Theoretical issues: decidability of verification problems for a variety of formalisms, computational complexity results, verification algorithms. However, any paper that is of potential interest for computer-aided verification will be considered. SUBMISSION: Authors may submit a paper by mailing ELECTRONICALLY a self contained Postscript(tm) version to the address cav95-submit@montefiore.ulg.ac.be (strongly encouraged whenever possible for speeding up the reviewing process) AND by sending five (5) copies of the submitted paper to the Program Chairman. UNPRINTABLE ELECTRONIC submissions for which paper copies are not received will not be considered. The length is limited to twelve (12) typed pages (with normal font sizes, line spacing, margins, etc.) Each submission should provide sufficient detail so that the program committee can assess the merits of the contribution. Simultaneous submission to other conferences with proceedings, or submission of material that has already been published elsewhere is not allowed. The deadline for submission is January 20, 1995. Authors will be notified of acceptance by March 19, 1995. The accepted papers will be published in the conference proceedings (Springer-Verlag Lecture Notes in Computer Science series). Program Chairman: Pierre Wolper Universite de Liege Institut Montefiore, B28 Grande Traverse, 10 B-4000 Liege BELGIUM cav95@montefiore.ulg.ac.be Program Committee: R. Alur, AT&T Bell Labs, USA R. Brayton, U. of California, Berkeley, USA C. Courcoubetis, U. of Crete & ICS-FORTH, Greece W. Damm, C. v. Ossietzki U., Oldenburg, Germany R. de Simone, INRIA, Sophia-Antipolis, France R. Devillers, Free U. of Brussels, Belgium E. Allen Emerson, U. of Texas, USA S. Garland, MIT, USA O. Grumberg, Technion, Israel N. Halbwachs, VERIMAG, France T. Henzinger, Cornell U., USA R. Koymans, Philips Res. Labs, The Netherlands G. Leduc, U. of Liege, Belgium K. McMillan, Cadence Berkeley Labs, USA J. Parrow, SICS, Sweden N. Shankar, SRI International, USA F. Somenzi, U. of Colorado, Boulder, USA B. Steffen, U. of Passau, Germany P. Varaiya, U. of California, Berkeley, USA M. Vardi, Rice U., USA T. Yoneda, Tokyo Inst. of Technology, Japan Steering Committee: Edmund Clarke, Carnegie Mellon U., USA Robert Kurshan, AT&T Bell Labs, USA Amir Pnueli, Weizmannn Institute, Israel Joseph Sifakis, VERIMAG, France ------------------------------------------------------------------------------ Message 8; Postmarked Thu Dec 22 14:19:56 1994 Subject: Special Issue, MLCS - Formal Methods in Logic for Responsive Systems From: "Bruce McMillin" Call for Papers The Journal of Methods of Logic in Computer Science Special Issue: Formal Methods in Logic for Responsive Systems A responsive computing system is one which responds to internal programs or external inputs in a timely, dependable and predictable manner. These systems are a hybrid of real-time, distributed, secure, safety-critical, and fault-tolerant systems. In such a system, any failure can cause catastrophes ranging from financial loss and loss of privacy to physical damage and loss of life. Thus, it is important to ensure that the system is not only correct, but remains correct at run time, under abnormal circumstances. The major difficulty facing designers is the complexity inherent in responsive computing systems. In practice, informal approaches are often used which can result in latent failures, under-specified systems, or inconsistencies. One way to counteract these problems is to bring the idea of rigor and formalism from traditional systems engineering fields into the development of software through the use of formal methods. Formal methods of logic, in particular, can be used to rigorously synthesize, specify, verify, debug, and model responsive computing systems. However, formal methods of logic are usually dismissed as the domain of academicians and viewed as irrelevant or not applicable to the design and implementation of large-scale software projects due to their mathematical complexity. To bring these two opposing camps together, work that emphasizes and reinforces the point that formal methods can, and should, be used in the practical construction of high quality, reliable distributed software is of interest. This special issue will bring together papers in the following areas that support the use of formal methods of logic in the construction of responsive computing systems: o Formal Specification/Verification/Refinement Techniques o Requirements Specification o Assertional Reasoning and Executable Assertions o Model Checking o Testing and Debugging (Predicate Detection) o Tool Support o Formal Semantics of Concurrency/Recovery o Compositional Proof Systems o Distributed Systems Security o Experience Reports Papers should, ideally, emphasize results that can be applied to the construction of actual responsive computing systems (although, work is in no way solely limited to experience reports). Please submit six copies of your manuscript to the guest editor by June 1, 1995: Bruce McMillin Computer Science Department (516)-632-8334 (FAX) State University of New York at Stony Brook (516)-632-8218 (Office) Room 1420 Computer Science Building (516)-632-8471 (Secretary) Stony Brook, NY 11794-4400 USA e-mail(bruce@cs.sunysb.edu) Instructions for submitting papers: Papers should not exceed 30 double spaced pages. Papers should not have been previously published, nor currently submitted elsewhere for publication. Papers should include a title page containing title, authors' names and affiliations, postal and e-mail addresses, telephone numbers and Fax numbers. Papers should include a 300 word abstract and 5-10 keywords and be written in the IEEE Transactions style. Each paper will be peer-reviewed by at least three referees. [Note: If you are willing to referee papers for this special issue, please send a note with your research interest to the guest editor.] Notification of acceptance will be sent by September 1, 1995; final versions will be due by October 15, 1995. The special issue will be published in the 2nd Quarter 1996. ------------------------------------------------------------------------------ Message 9; Postmarked Thu Jan 19 10:46:41 1995 From: Yehuda Yair Subject: Anonymous FTP reports on a Top-Layer Approach to Real-Time The following reports are now available via anonymous ftp at the following site: ftp.technion.ac.il in the directory: pub/supported/ee/Computers +--------------------------------------------------------------+ | Department of Electrical Engineering | | Technion - Israel Institute of Technology | | Technion City, Haifa 32000, ISRAEL | +-------------+--------------+---------------------------------+ | eepub946.ps | Jair Jehuda | A Top-Layer Architecture for | | 20 pages | Daniel Berry | ATLAS | +-------------+--------------+---------------------------------+ | eepub945.ps | Jair Jehuda | Hybrid Bandwidth Scheduling for | | 21 pages | Gilad Koren | Distributed Real-time Systems | +-------------+--------------+---------------------------------+ | eepub943.ps | Jair Jehuda | Automated Meta-Control for | | 30 pages | Amos Israeli | Adaptable Real-Time Software | +-------------+--------------+---------------------------------+ | eepub947.ps | Jair Jehuda | An Analytic Model for | | 23 pages | | Estimating QDP Performance | +-------------+--------------+---------------------------------+ | eepub944.ps | Jair Jehuda | Markovian Thoughts on Software | | 20 pages | | Meta-Control | +-------------+--------------+---------------------------------+ Each of these reports describe different aspects of a portable and adaptable top-layer architecture, which integrates distributed hard real-time scheduling and best-effort adaptations, to maximize system gain for varying computational resources and dynamic environments. The research reflected in this report has been carried out in partial requirements for my D.Sc. dissertation "A Top-Layer Architecture for Dynamic Real-Time Software", advised by Daniel M. Berry, Amos Israeli, and Dror Zernik. Comments on any of these reports will be gratefully welcomed, and should be sent to: +---------------------------------------+--------------------------+ | Jair Jehuda | jehuda@tx.technion.ac.il | | Department of Electrical Engineering | home tel: 972-6-782072 | | Technion - Israel Inst. of Technology | work tel: 972-4-294751 | | Technion City, Haifa 32000, ISRAEL | dept fax: 972-4-323041 | +---------------------------------------+--------------------------+ Following are abstracts for each of these reports: ------------+---------------------------------------------------------------- | This paper introduces the ATLAS testbed and its top-layer | architecture, which has been designed to demonstrate the | feasibility of a top-layer approach for a particular class | of complex distributed real-time software applications | which support multiple modes of operation. A {\em top-layer} A Top-Layer | approach departs from a conventional {\em layer-by-layer} Architecture| approach in that it attempts to achieve predictable for | real-time behavior by focusing only on the application layer. ATLAS | ATLAS is a fully portable real-time application which | synthesizes MIDI-controlled music for an arbitrary set of Jair Jehuda | musical instruments on any of several distributed platforms. Daniel Berry| The resource requirements of MIDI-controlled music are | dynamic and unpredictable, and available platform resources EE PUB 946 | are also assumed to vary with time. ATLAS receives as input | a database of multiple-choice synthesis methods for each 20 pages | intrument, where each method is known to produce a given S/N | (signal-to-noise) ratio. Any number of online MIDI interfaces | can then dictate when and how any of these instruments should | be played. Primary ATLAS objectives are to dynamically select | synthesis methods which will maximize the output S/N ratio | without overloading available resources. Temporal correctness | is guaranteed even though run-time requirements and resources | are dynamic and not known {\em a priori}. This is facilitated | by a flexible top-layer architecture which incorporates | performance profiling, hybrid bandwidth scheduling, fully | automated software meta-control, integrated monitoring, and a | virtual real-time platform. We describe each of these elements | and show how they interact to provide predictable real-time | software which is portable, adaptable, and capable of maximizing | system value. ------------+---------------------------------------------------------------- | Hybrid {\em bandwidth scheduling} is a scalable method for | dynamically guaranteeing real-time schedules on a distributed | platform. A real-time software application is decomposed into | a set of independently-scheduled subsystem aggregates, called | {\em jobs}, which share any number of shared memory processing | nodes, called {\em clusters}. Each job consists of a task set, Hybrid | with an arbitrary static or dynamic real-time scheduling Bandwidth | solution, capable of guaranteeing feasible schedules for that Scheduling | task set if provided a given {\em bandwidth} of computational for | resources. Several jobs can then reliably share any given Distributed | cluster if the sum of their bandwidths do not exceed the Real-Time | cluster capacity. This is facilitated by using any of several Systems | possible policies to dynamically interleave the job schedules | on each cluster. We show how interleaving overhead can be fully Jair Jehuda | accounted for within each job's bandwidth so that all schedules Gilad Koren | are maintained regardless of how they are distributed amongst | the clusters. The dynamic partitioning of jobs to clusters is EE PUB 945 | thus greatly simplified by being converted into a conventional | {\em binpacking} problem which has several well-known 21 pages | approximate solutions. A complex scheduling problem is thus | decomposed into several smaller scheduling problems which can | be resolved independently. ------------+---------------------------------------------------------------- | The software meta-controller, is an online agent responsible | for dynamically adapting an application's software configuration | to best accommodate varying runtime circumstances. The software | application is viewed as a set of {\em jobs}, in which each job | may have several operational {\em modes}. The runtime platform | is viewed as a set of processing {\em clusters}, in which each Automated | cluster has a set of available resource {\em capacities}. Meta-Control| Each job mode is prescribed a qualitative {\em reward} and a for | quantitative resource {\em bandwidth}. The software Adaptable | meta-controller is charged with selecting modes for each job Real-Time | to maximize the system {\em value}, i.e. total reward, while Software | maintaining {\em clusterability}, i.e. that job sets can be | assigned processing clusters without exceeding currently Jair Jehuda | available resources. The {\em automated} meta-control problem Amos Israeli| is shown to be a composite binpacking and multiple-choice | knapsacking problem and is therefore NP-hard. This is why EE PUB 943 | current experimental meta-controllers are generally rule-based | or semi-automatic, with inherently limited capabilities. 30 pages | To provide a {\em practical} basis for a fully automated | software meta-control, we introduce here a two approximation | algorithms, QDP and \GG, which solve integrated mode selection | and clustering in very reasonable polynomial time. We also show | how absolute performance can be measured for both algorithms | and we use Monte Carlo analysis to suggest that expected system | values produced by both algorithms are generally suboptimal by | no more than a few percent. Our flexible software meta-control | model is also shown to be readily applied to a wide range of | time-sensitive applications. ------------+---------------------------------------------------------------- | The purpose of this paper is to provide an analytic model for | appraising the empirical performance of any given software | meta-controller policy for a given system state, and for | specifically estimating performance for a QDP (Quantized | Dynamic Programming) policy. QDP is one of two practical An Analytic | approximation algorithms that we have devised for making online Model for | meta-control decisions which attempt to maximize system value Estimating | for any given system state. A policy's performance is equal to QDP | the system value provided by that policy divided by the optimal Performance | system value in that state. Computing the optimal system value | is intractable, so we provide a statistical model for estimating Jair Jehuda | it. QDP uses a combination of bandwidth quantization, dynamic | programming, and conventional binpacking techniques to provide EE PUB 947 | system values which we show to be statistically $\epsilon$- | approximate as a function of the bandwidth quantum, $\Quantum$. 23 pages | We then use extensive Monte Carlo experimentation to verify | our model. Finally, we show how our current version of QDP can | be improved to realize its statistically $\epsilon$-approximate | potential. ------------+---------------------------------------------------------------- | In this paper, we identify and resolve two novel {\em Markov | decision problems} in the field of software meta-control. | We begin by providing a brief introduction to the software | meta-control problem and to current \GG and QDP-based policies. | Overall, {\em all} of these policies generally produce Markovian | near-optimal online software meta-control decisions at Thoughts | reasonable cost, but their relative performance varies with On | circumstance. This brings us to the {\em adaptive policy-making} Software | problem, where we seek an optimal adaptive software meta-control Meta-Control| policy for a given software application when runtime | circumstances are not a priori known. This semi-Markov Jair Jehuda | decision problem is solved by adapting a follow-the-leader | scheme borrowed from Markov renewal programs. We then show how EE PUB 944 | the timing complexity of QDP-based policies can be significantly | reduced by modeling its final phase as a Markov decision 20 pages | problem. This problem is referred to as the {\em best-effort | QDP} problem and it is resolved by proving that a very simple | stationary policy can maximize the expected QDP reward for any | given response time. Experimental Monte Carlo results indicate | that our solutions to both of these problems are indeed very | effective in the software meta-control context. ------------+---------------------------------------------------------------- ------------------------------------------------------------------------------ Message 10; Postmarked Fri Jan 20 10:49:15 1995 From: Frits.Vaandrager@cwi.nl Subject: Workshop on Real-time and Hybrid Systems First announcement: The Second European Workshop on Real-time and Hybrid systems Grenoble, France, 31.5-2.6.1995 Hybrid systems, namely systems in which computers interact with the physical world, are becoming more and more common in all application domains. The analysis and design of such systems require a synthesis of ideas, concepts, mathematical theories and tools that are currently spread over distinct disciplines, most notably Computer Science and Control Theory. The goal of this meeting is to contribute to the reapproachment between those disciplines, by inviting together computer scientists and control persons to an informal meeting in which various approaches to the problem will be presented and discussed. \hfill The emphasis in this workshop, sponsored by the ESPRIT-NSF project HYBRID EC-US-043, will be on two issues: -- What are the differences between the type of questions asked in program verification (purely discrete systems) and in control theory (purely continuous systems)? What are the explicit and implicit assumptions behind the answers? What is the role of formal methods (or other tools such as simulators) in actual engineering practice in both types of systems? -- Case studies and tool demonstration: participants are encouraged to prepare small real-world examples of hybrid control problems and demonstrate on those examples how their proposed methodology works. Tools for automatic analysis and simulation of hybrid systems will be presented. It is highly recommended that the goal of building bridges between disciplines be kept in mind. The presentation should be as clear as possible for the non-expert in the presenter's discipline, rather than a demonstration of virtuosity in his or her particular technical niche. The following speakers will present review/tutorial talks on various relevant aspects of hybrid systems: Eugene Asarin (Inst. for Problems of Information Transmission, Russian Academy of Science, Moscow, Russia), Zvi Artstein (Department of Mathematics, Weizmann Institute, Rehovot, Israel), Michel Fliess (Laboratory of Signals and Systems, Gif-sur-Yvette, France), Bud Mishra (Courant Institute, New York University, USA), Anil Nerode (Mathematical Sciences Research Institute, Cornell University. Ithaca, USA), Amir Pnueli (Department of Computer Science, Weizmann Institute, Rehovot, Israel), Frits Vaandrager (CWI, Amsterdam, Holland). The meeting will be rather informal and those who wish to present their work are requested to send a short abstract (3-6 pages) to the selection committee. Others who wish to participate or demonstrate a tool should send (preferably by e-mail) a short description of their interests and previous work on hybrid systems to the selection committee. The deadline is {\bf 15.3.95}. Proceedings will be distributed only for the participants. The registration fees have not yet been determined but they will not be prohibitive (around 1000 FF including lunches). Organizing committee: Oded Maler, Ahmed Bouajjani. Selection committee: Mats Andersson (Lund), Albert Benveniste (Rennes), Ahmed Bouajjani (Grenoble, co-chair), Oded Maler (Grenoble, co-chair), Amir Pnueli (Rehovot and Grenoble), Anders Ravn (Lyngby), Hans Rischel (Lyngby), Joseph Sifakis (Grenoble). For further information contact: Oded Maler, VERIMAG, Miniparc ZIRST, 38330 Montbonnot, France. Phone: +33 76909635 Fax: +33 76413620 E-mail: Oded.Maler@imag.fr ------------------------------------------------------------------------------ Message 11; Postmarked Fri Jan 20 11:36:40 1995 Subject: Call for Papers: High Performance Distributed Systems From: Insup Lee 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 -------------------------------------- END ---------------------------------- ------------------------------------------------------------------------------ Message 12; Postmarked Tue Jan 24 16:21:27 1995 Subject: CFP - TACAS (TAPSOFT'95 Satellite - reminder) From: Arne Skou C A L L F O R P A P E R S T A C A S WORKSHOP ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS University of Aarhus, Denmark MAY 19-20, 1995 This workshop is organized as a satellite activity of the TAPSOFT'95 conference, May 22--26, University of Aarhus. The aim of the workshop is to bring together researchers and practitioners interested in the development and application of tools and algorithms for specification, verification, analysis and construction of distributed systems. The overall goal of the workshop is to compare the various methods and the degree to which they are supported by interacting or fully automatic tools. Special sessions for demonstration of verification tools will be planned. The topics of the workshop include (but are not limited to): - Refinement-based verification and construction techniques - Compositional verification methodologies - Analysis and verification via theorem-proving - Decision procedures for verification and analysis - Specification formalisms, including process algebras and temporal and modal logics - Analysis techniques for real-time and/or probabilistic systems - Approaches for value-passing systems - Tool sets for verification and analysis - Case studies Authors are invited to submit an extended abstract not exceeding fifteen pages by March 1, 1995. Authors will be notified of acceptance by April 10, 1995. A final version of selected papers may be published after the workshop. Electronic submission is encouraged via email. The submission should be sent to Arne Skou (ask@iesd.auc.dk) in two seperate files: - Your original file (LaTeX, troff, etc.) - An encapsulated postscript file which can be printed by any postscript device. Alternatively, submissions may be sent by ordinary mail (five copies required) to: Arne Skou Aalborg University Department of Mathematics and Computer Science Fredrik Bajersvej 7 9220 Aalborg DENMARK The TAPSOFT'95 conference and its satellite workshops are hosted by BRICS, a centre of the Danish National Research Foundation at the Computer Science Departments of Aarhus and Aalborg Universities. Organization Committee Arne Skou BRICS, Aalborg University Denmark Programme Committee Ed Brinksma Kim Larsen Twente University BRICS, Aalborg University The Netherlands Denmark Bernhard Steffen Rance Cleaveland University of Passau North Carolina State University Germany U.S.A. ------------------------------------------------------------------------------ Message 13; Postmarked Fri Dec 16 19:34:47 1994 From: cn2@arch4.ho.att.com Subject: Community Networking Call for Participation ============================================================================= Call for Participation ============================================================================= SECOND INTERNATIONAL WORKSHOP ON COMMUNITY NETWORKING INTEGRATED MULTIMEDIA SERVICES TO THE HOME June 20-22, 1995 Princeton, New Jersey, USA Sponsored by the IEEE Communications Society* In collaboration with ACM SIGCOMM* Community networking concerns the network infrastructures that will bring integrated multimedia services to home users. Community networking differs in many ways from enterprise networking in its services, technologies, and economics. In contrast to enterprise networking applications, community networking services will not necessarily be work oriented and will range from entertainment to shopping to information services. At present, community networking technology is driven by the requirements of video-on-demand, most notably high bandwidth (compared to narrowband), bandwidth asymmetry, and the delay-jitter constraints imposed by today's limited-storage TV set-top devices. As various other services develop, community networking will evolve to include integrated multimedia communication and user-to-user applications. Community networking must also provide access to resources located outside the community, in an increasingly global repository of information of every conceivable type. This workshop will give researchers and professionals the chance to share their views and advance the state of the art in this field. RELEVANT AREAS: Contributions are encouraged in the five areas listed below with relevant topics: 1. APPLICATIONS AND REQUIREMENTS: types of applications; coding; set-top operating systems; QoS networking requirements (symmetric/asymmetric bandwidth, delay, and losses); security and privacy; service models; user interface and navigation facilities. 2. LOCAL DISTRIBUTION TECHNOLOGY: topology; fiber/cable/UTP/wireless; modulation, bandwidth allocation; MAC (reverse channel); role of ATM; dependencies on equipment/network in the home (e.g., TV set-top). 3. ADDRESSING, SIGNALING, AND UPPER-LAYER PROTOCOLS: local vs. global addressing; the service provider view vs. the common carrier view: the video-dialtone gateway; role of B-ISDN protocols; network- and transport-layer protocols; network management; APIs. 4. INTERNETWORKING AND ARCHITECTURE: the gateway: accessing other networks (data, telephone); server placement and network optimization; the regional distribution centers; testbeds; network traffic models; network cost structure and its implications on service pricing; medium- and long-term network evolution; the impact of regulatory constraints. 5. COMMUNITY ASPECTS, OPPORTUNITIES FOR GROWTH: the success of community networking depends of the degree to which it meets community needs and invites the full participation of community members; community needs, desires and aspirations; networking approaches that have worked well in the past and others that have not; obstacles to success that need to be overcome. INSTRUCTIONS FOR SUBMITTING ABSTRACTS: Please send via electronic mail a detailed abstract (up to 3 pages in ASCII or PostScript) describing a position statement in one of the areas above to cn2@arch4.ho.att.com Note that submissions longer than the limit above will not be reviewed. Only if electronic submission is impossible, a hardcopy version may be sent to: Joel Winthrop AT&T Bell Laboratories 101 Crawfords Corner Rd., RM 1K-306 Holmdel, NJ 07733, USA Participation in the workshop will be by invitation only based on the Program Committee's review of position statements. Some of the authors will be asked to submit papers and to present them during the workshop. Workshop size limitation may preclude attendance of all authors of multi-author abstracts. DATES: Deadline for submitting abstracts . . . . . . . . March 17, 1995 Acceptance notification . . . . . . . . . . . . . April 17, 1995 Papers due (limited to 8 pages) . . May 19, 1995 PROGRAM COMMITTEE: Program Chair: Joel Winthrop AT&T Bell Labs, Holmdel, New Jersey Publication Chair: Vince Lesch AT&T Bell Labs, Holmdel, New Jersey Committee Members: Joydeep Bose National Computer Board, Singapore Jurgen Brommelhoff Digital Equipment Corporation G. Keith Cambron Pacific Bell Andrew Davidson Phillips Interactive Media of America Jeff H. Derby IBM Corporation Alexander D. Gelman Bellcore Riccardo Gusella Hewlett-Packard Laboratories, Palo Alto, California Gordon Kerr BT Labs Andrew Laursen Oracle Corporation Andrew Lippman MIT, Media Lab Tetsuya Miki NTT Transmission Systems Laboratories Mario Morino Morino Foundation Martin De Prycker Alcatel Bell Telephone, Antwerp, Belgium David Skellern Macquarie University, Sydney Albert J. Stienstra Philips Research Mario P. Vecchi Time Warner Cable, Inc. William E. Wall Scientific-Atlanta, Inc. * Approval Pending ------------------------------------------------------------------------------ Message 14; Postmarked Mon Jan 16 12:28:01 1995 From: kader@laas.fr (Abd-El-Kader Sahraoui) Subject: 13th IFAC Workshop on Distributed Computer Control Systems *********************************************************************** DCCS'95 : 13th IFAC Workshop on Distributed Computer Control Systems TOULOUSE-BLAGNAC, FRANCE , 27-29 September 95 ********************************************************************** Scope : The workshop will consist of formal presentations, discussion and informal meetings covering recent advances and current issues in theory, applications , and technology of distributed computer control systems. The topics to be covered include, but are not restricted to : - The role of real-time in DCCS specifications - Analysis and design methods for DCCS, including software methods - Scheduling methods for DCCS - Real-time distributed operating systems - Testing and validation - Dependability issues of DCCS - Industrial application and experience with DCCS Participation Attendance will be limited to a maximum of 60 participants. Preference will be given to those who submit abstracts or express interest in organising specific sessions or panel discussions. Participants are requested to register in advance not later than 30 June 1995 Extended abstracts Offers of papers are welcome from individuals and groups on the topics outlined above. Five copies of an extended abstract in English (1000-2000 words) should be received by the workshop secretariat not later than 1 March 95. Please include e-mail and fax numbers with the author's address. Papers Full papers are to be prepared according to the instructions that will be sent to the author. Accepted papers must be presented in person at the workshop. Each registered participant will be provided with a copy of the preprint volume including all accepted papers. Copyright The copyright of all accepted papers is automatically transferred to IFAC. Papers are also considered for publication in the IFAC journal Automatica and Control Engineering Practice. Important dates : Extended abstracts- Papers due..........................01 March 95 Selection and invitation................................15 May 95 Registration............................................30 June 95 Full papers due.........................................30 June 95 Workshop................................................27-29 September 95 Sponsor International Federation of Automatic Control Organised BY AFCET with support from LAAS-CNRS Toulouse and IUT-B Blagnac International Program committee Chair : Prof J.A. De La Puente, ETSI Telecomunicacion Madrid (Spain) L.Boullart (B), A. Crespo (E), A. Burns (UK), F. Cristian (USA), F. De Paoli (I), J.C. Fabre (F), M. Inamoto (J), L. Ivanyoe (H), A.Keijzer (NL), H. Kopetz (A), W. Kwon(K), R.Lauber (G), I.McLeod (SA), J. Mercier (F), A. Mok (USA), L. Motus (Es), S. Narita (J), G. Qin (USA), K. Ramamrithan(USA), M.G.Rodd (UK), G. Suski (USA), J.P.Thomesse (F), G. Zhao( Singapore). National Organising committee A.E.K Sahraoui , Chairman J. Alcouffe, E. Dufour, M.T.Ippolito, M. Tuffery, D. Vielle Correspondence DCCS'95 SECRETARIAT LAAS-CNRS 7, AVENUE COLONEL ROCHE 31 077 TOULOUSE, FRANCE CEDEX TEL : 33 61 33 63 11 FAX : 33 61 55 35 77 E-MAIL : dccs95@laas.fr ------------------------------------------------------------------------------ Message 15; Postmarked Thu Jan 26 13:30:51 1995 From: babin@ift.ulaval.ca (Gilbert Babin) Subject: Academic Position - Computer Science ASSISTANT PROFESSOR The Department of Computer Science seeks candidates for a full-time tenure-track faculty position at the Assistant Professor level. Duties involve: Lecturing in Computer science at all levels Supervising students at all levels Participating in other academic activities Initiating research projects Qualifications: Applicants must have received, or be about to receive, a Ph.D. in Computer Science; Applicants should have a strong publication record; Preference will be given to applicants whose research interests lie in applied software engineering, namely: software quality assurance and control, software metrics, embedded and real-time systems; Experience in teaching at the university level and the ability to communicate*. By virtue of its equal opportunity program, Laval University intends to attribute half of its vacant positions to women. In accordance with the requirements of the Ministry of Immigration of Canada, this offer is destined primarily for Canadian citizens or landed immigrants. Candidates should send their resume to: Pierre Marchand Departement d'informatique Faculte des sciences et de genie Pavillon Adrien-Pouliot Universite Laval Sainte-Foy (Quebec) CANADA G1K 7P4 FAX: (418) 656-2324 _______________________ * The teaching language at Laval University is French. ============================================================================== S.V.P. AFFICHER PROFESSEURE, PROFESSEUR Le departement d'informatique desire combler un poste de professeur regulier. Description du poste: Enseigner a tous les cycles en informatique Encadrer des etudiantes et des etudiants a tous les cycles Participer aux autres activites universitaires Mener des activites de recherche Qualifications: Detenir un Ph.D. en informatique ou etre sur le point de l'obtenir; Avoir effectue des publications dans des revues scientifiques avec comite de lecture; La preference sera accordee a des candidates ou candidats ayant une orientation de recherche en genie logiciel applique: controle et assurance de la qualite, metriques du logiciel, systemes embarques et temps reel; Experience de l'enseignement de l'informatique au niveau universitaire et aptitude a communiquer*. En vertu de son programme d'acces a l'egalite, l'Universite Laval entend consacrer la moitie de ses postes vacants a l'engagement de femmes. En accord avec les exigences du Ministere de l'immigration du Canada, cette offre est destinee en priorite aux citoyennes et citoyens canadiens et aux residentes et residents permanents du Canada. Les personnes interessees a poser leur candidature doivent la faire parvenir a: Pierre Marchand Departement d'informatique Faculte des sciences et de genie Pavillon Adrien-Pouliot Universite Laval Sainte-Foy (Quebec) CANADA G1K 7P4 FAX: (418) 656-2324 _______________________ * La langue d'enseignement a l'Universite Laval est le francais. ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* END OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ The TC-RTS repository is maintained by Azer Bestavros at Boston University WWW Home Page of the TC-RTS is at: http://cs-www.bu.edu/pub/ieee-rts/Home.html Internet address for anonymous FTP to the TC-RTS repository is: cs-ftp.bu.edu Contributions to this forum should be sent via E-mail to: IEEE-RTTC@cs.bu.edu Requests / inquiries should be sent via E-mail to: IEEE-RTTC-request@cs.bu.edu ------------------------------------------------------------------------------