Subject: IEEE-CS TC-RTS Newsletter for Thu Jan 02, 1997 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Azer Bestavros (172 lines) RTSS'96 WIP papers are available as a TR........................... 3 RTAS '97: Call for papers.......................................... 20 2. Tom DC Little (101 lines) NOSSDAV'97: Call for Papers........................................ 174 3. Albert Benveniste (51 lines) Formal Design of Safety Critical Embedded Systems ............... 276 4. Time-96 Workshop (77 lines) (DBWORLD) TIME-97: Final CFP....................................... 328 5. son@cs.virginia.edu (63 lines) CFP: Journal of Integrated Computer-Aided Engineering.............. 404 6. hinchey@homer.njit.edu (Michael Hinchey) (212 lines) CFP: RTAW'97....................................................... 467 CFP: ICFEM......................................................... 518 CFP: ICECCS........................................................ 625 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Thu Jan 02 10:10:03 1996 From: Azer Bestavros Subject: RTSS'96 WIP papers are available as a TR Content-Length: 336 The 14 work-in-progress papers presented during the WIP session of RTSS'96 are now available as a technical report from Boston University (TR-96-027), which can be accessed from http://www.cs.bu.edu/techreports/96-027-ieee-rtss96-wip/Home.html Please use the above to reference any of the work presented in that session. --Azer Postmarked Thu Jan 02 10:10:03 1996 From: Azer Bestavros Subject: RTAS '97: Call for papers Content-Length: 5588 Call For Papers Third IEEE Real-time Technology and Applications Symposium June 8-10, 1997 (tentative) Montreal, Canada Sponsored by The IEEE Computer Society Technical Committee on Real-Time Systems* in cooperation with the U.S. Office of Naval Research Objectives The IEEE Real-time Technology and Applications Symposium brings together real-time system developers and researchers from academia, industry and government to present the latest advances in real-time systems research, and discuss the practical challenges encountered and the solutions adopted. An exciting variety of mechanisms for discussion and interchange is planned, including tutorials, panel discussions, full-paper presentations and work-in-progress sessions. Full-length papers, work-in-progress abstracts and tutorial proposals on various aspects of real-time computing and communications are sought, ranging from multimedia applications, case studies, systems integration, application requirements, scheduling, operating systems, software engineering, dependability, databases, programming languages, system development tools, communications, performance modeling and formal techniques. Of particular interest are papers detailing experiments, implementations, and experiences in application domains such as multimedia, internet and wireless appliances, communications, process control, automated manufacturing, avionics, advanced highway systems, vehicular control and robotics. As in previous years, the best papers presented at the symposium will be selected for publication in respected IEEE journals. Best Student Paper Award A Best Student Paper Award, along with a cash honorarium, will be presented to a full-length paper with a student as the primary author. Please indicate in your full-length submissions if your paper was primarily authored by a student. Submissions Manuscripts to be considered for presentation as full papers should be limited to 20 double-spaced pages. Work-in-progress abstracts to be considered for presentation at an "Ongoing Work" session should be limited to 6 double-spaced pages. Six copies of each full-paper manuscript and work-in-progress abstracts should reach the program chair by January 17, 1997 at the following address: Raj Rajkumar School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213-3891 U.S.A. : 412-268-8707 Voice : 412-268-5574 Fax Email: raj+@cs.cmu.edu Proposals for half-day tutorials in technically appealing areas of the Symposium are also solicited. Tutorial proposals should be sumbitted to the program chair by January 31, 1997. Authors of all submissions will be notified of acceptance by March 17, 1997. In the case of full-length papers and work-in-progress abstracts, the final camera-ready copy for inclusion in the Symposium proceedings will be due on April 4, 1997. Any paper submitted to the Symposium must not have been published in or submitted to other technical conferences. For more information about the Symposium, send e-mail to jeffay@cs.unc.edu and for questions regarding conference submissions, send e-mail to raj+@cs.cmu.edu. The Web page for the conference can be accessed at http://www.cs.cmu.edu/~rtas97. Important Dates Event Deadline Paper submission January 17, 1997 Tutorial proposal submission January 31, 1997 Acceptance notification March 17, 1997 Final camera-ready manuscript April 4, 1997 Symposium Organizers General Chair: Kevin Jeffay, University of North Carolina at Chapel Hill Program Chair: Raj Rajkumar, Carnegie Mellon University Ex-Officio: (RTS-TC Chairs) Al Mok, University of Texas at Austin Doug Locke, Lockheed Martin Corporation Publicity Chair (America) Daniel Mosse', University of Pittsburgh Publicity Chair (Europe) Gerhard Fohler, Humboldt University, Germany Publicity Chair (Far East) Tei-Wei Kuo, National Chung Cheng University, ROC Program Committee Member Affiliation Neil Audsley University of York Sanjoy Baruah University of Vermont Azer Bestavros Boston University Riccardo Bettati Texas A&M University Erik Cota-Robles Intel Corporation Siamack Haghighi Intel Corporation Farnam Jahanian University of Michigan Mike Jones Microsoft Research Arkady Kanevsky MITRE Corporation Jane Liu University of Illinois at Urbana Champaign Cliff Mercer Navio Communications Daniel Mosse' University of Pittsburgh Keith Marzullo University of San Diego Sang Lyul Min Seoul National University, Korea Guru Parulkar Washington University at St. Louis Chakkalamattam J Paul IBM Corporation Krithi Ramamritham University of Massachusetts Lui Sha Software Engineering Institute Chia Shen Mitsubishi Electric Research Labs Sang Son University of Virginia Harrick Vin University of Texas at Austin Farn Wang Academia Sinica, ROC Wei Zhao Texas A&M University *IEEE Approval Pending ------------------------------------------------------------------------------ Message 2; Postmarked Sun Oct 20 17:10:03 1996 Subject: NOSSDAV'97: Call for Papers From: Tom DC Little Content-Length: 3963 * NOSSDAV'97 * * * * Call-for-Papers * * * * * * The 7th International Workshop on Network and Operating System * * Support for Digital Audio and Video (NOSSDAV 97) * * * * URL: http://www.arl.wustl.edu/NOSSDAV97/nossdav.html * * * * May 19 - 21 1997 * Objectives The 7th International Workshop on Network and Operating Systems Support for Digital Audio and Video (NOSSDAV 97) is the international workshop concerned with state of the art technology in networking and operating system support for multimedia systems. For seven years, NOSSDAV has proven to be an outstanding forum for researchers involved in building innovative multimedia systems, networks and applications on both the research and industrial front. Other topics that will be examined include "middleware" for multimedia, media toolkits, mobile communications, Virtual Reality (VR), real-time systems, software agents, digital libraries, and other digital media besides audio and video. A key aspect of the workshop is that it provides extensive discussion periods during which attendees can informally discuss their current work and future research directions. Traditionally, NOSSDAV has emphasized on high quality experimental research that prototypes systems to explore innovative solutions to the problems in the diverse areas of multimedia computing. NOSSDAV97 will continue this tradition. Relevant topics for the workshop include: * APIs and Continuous Media (CM) programming abstractions for multimedia * Cell-based system architectures * Communication protocols for multimedia * Distributed multimedia systems * End-to-end admission control * High-speed/ATM networks * Micro-kernel and OS support for real-time communications * Mobile multimedia systems * Multicast protocols and media scaling * Multimedia network interfaces * Multimedia-oriented desk, local and wide area networks * Multimedia and the Internet * Multimedia storage, server, and I/O architectures * Quality of service and synchronization frameworks * Resource management and reservation in the OS and network * Software agents for multimedia systems * TV set-top device communication * VOD system architecture * VR systems * Workstation and PDA architectures for multimedia Submissions Two types of submissions are solicited: position papers and research papers. For the purpose of paper review, position papers are restricted to three single-spaced ASCII pages. Research papers are restricted to an extended abstract no longer than five formatted postscript pages. Papers should be electronically mailed to NOSSDAV97@arl.wustl.edu. Only if electronic submission is impossible, papers may be sent to the following mailing address. Dr. Gurudatta M. Parulkar ATTN: NOSSDAV 97 Washington University Department of Computer Science Applied Research Laboratory Campus Box 1045 St. Louis, Missouri 63130 USA Please note that the proceedings of the workshop will be published as a book by Springer-Verlag and the best papers will be forwarded to selected journals for publication. Important Dates Submission Deadline: 15 January 1997 (A FIRM DEADLINE) Acceptance Notification: 15 March 1997 Final Paper Due: 15 April 1997 (A FIRM DEADLINE) Workshop: 19 - 21 May 1997 ------------------------------------------------------------------------------ Message 3; Postmarked Thu Oct 24 04:44:43 1996 From: Albert Benveniste Subject: Formal Design of Safety Critical Embedded Systems Content-Length: 1813 +-----------------------------------------+ | | | Workshop on | | | | Formal Design | | of | | Safety Critical Embedded Systems | | (FEmSys '97) | | | | 16-18 April 1997 | | Munich, Germany | | | +-----------------------------------------+ | | | First Announcement | | and | | Call for Exhibitors | | | +-----------------------------------------+ Scope of the workshop --------------------- Safety Critical Embedded Systems are becoming a major challenge for computer engineering. The increasing demand for embedding more functions as computer software calls for new design technologies. Several R&D projects have been devoted to these objectives in the last years, and new formal approaches are now proposed and operationally used, which range from specification, rapid prototyping and validation, down to code generation and testing. The two european projects Eureka-SYNCHRON and Esprit-SACRES have decided to help for the dissemination of these technologies through the organization of the Workshop on Formal Design of Safety Critical Embedded Systems>. For more information, please check http://set.gmd.de/EES/FemSys.html ------------------------------------------------------------------------------ Message 4; Postmarked Mon Nov 11 22:15:06 1996 Sender: owner-dbworld@cs.wisc.edu From: Time-96 Workshop Subject: (DBWORLD) TIME-97: Final CFP Content-Length: 2922 TIME-97 Fourth International Workshop on Temporal Representation and Reasoning Daytona Beach, Florida, USA May 10-11, 1997 FINAL CALL FOR PAPERS The purpose of this workshop is to bring together active researchers in the area of temporal representation and reasoning in Artificial Intelligence. Through paper presentations and discussions, the participants will exchange, compare, and contrast results in the area. The workshop is planned as a two day event to immediately precede FLAIRS-97 (Ninth Annual Florida Artificial Intelligence Research Symposium May 10-14; see http://erau.db.erau.edu/~towhid/workshops-97.html and the TIME Web page http://www.cs.uregina.ca/~temporal/index.html for details), or contact the program chairs at {morris,lina}@cs.fit.edu. Workshop participants are also encouraged to submit papers to FLAIRS and attend the conference. TIME-97 will be conducted as a combination of paper presentations, a poster session, invited talks and panel discussions. The format will provide ample time for discussions and exchange of ideas. Submission of high quality papers describing mature results or on-going work are invited for all areas of temporal representation and reasoning, including, but not limited to: temporal logics and ontologies temporal constraint reasoning temporal languages and architectures continuous versus discrete time point versus interval representations expressive power versus tractability belief and uncertainty in temporal knowledge temporal databases and knowledge bases temporal learning and discovery reasoning about actions and events time and nonmonotonism time and constraints time in problem solving (e.g. diagnosis, qualitative physics,...) multiple agents, communication, and synchronization applications To maximize interaction among participants, the size of the workshop will be limited. Accepted papers will be invited for full presentation or a poster presentation. All submissions must be received by December 5, 1996. Notification of acceptance or rejection will be sent to the first author (or designated author) by February 19, 1997. Prospective participants should submit 5 copies of a 6-8 page paper (indicating the selected areas) to: TIME-97 Program Chairs (Robert Morris and Lina Khatib) Computer Science Program Florida Institute of Technology 150 University Blvd. Melbourne, FL 32901 (407) 768-8000, Ext. 7290 {morris,lina}@cs.fit.edu Electronic submission is also permitted. Send a postscript file via anonymous ftp to: ftp://cs.fit.edu/pub/time97 ------------------------------------------------------------------------------ Message 5; Postmarked Wed Dec 11 09:19:38 1996 From: son@cs.virginia.edu Subject: CFP: Journal of Integrated Computer-Aided Engineering Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 1965 CALL FOR PAPERS Journal of Integrated Computer-Aided Engineering Special Issue on REAL-TIME ENGINEERING SYSTEMS The Journal of Integrated Computer-Aided Engineering seeks papers on all aspects of real-time engineering systems for a special issue planned to be published in December 1997. We are especially interested in innovative solution of engineering problems through integration of new and emerging real-time computing technologies. The interested authors are invited to submit manuscripts based on their recent results. Suggested topics include, but are not limited to, the following: * Real-Time Operating Systems * Real-Time Communications * Fault-Tolerance and Dependability * Scheduling and Resource Management for Real-Time Engineering Systems * Formal Methods for Specification and Verification * Languages and Tools for System Developments * Databases to Support Time-Critical Systems * Case Studies and Practical Experiences from Applications * Integration of Technologies for Engineering Problems Papers should describe original work, which should not have been published previously in a journal or currently submitted for publication elsewhere. All manuscripts should include a separate title page containing the following information: paper title, full name, affiliations, complete addresses, phone and fax numbers, and email addresses of the authors, as well as upto 150 words abstract and a list of key words that identify the central issues of the manuscript contents. Important Dates January 15, 1997: Five copies of the manuscripts are due April 15, 1997: Notice to authors about the decision. June 1, 1997: Final version with signed copyright forms are due Submit 5 copies of the manuscript by January 15, 1997 to the Guest Editor: Prof. Sang H. Son Department of Computer Science Thornton Hall University of Virginia Charlottesville, Virginia 22903 USA son@cs.virginia.edu Phone: (804) 982-2205 Fax: (804) 982-2214 ------------------------------------------------------------------------------ Message 6; Postmarked Thu Dec 12 16:13:24 1996 From: hinchey@homer.njit.edu (Michael Hinchey) Subject: CFP: RTAW'97 Content-Length: 1910 IEEE RTAW'97 5th IEEE Workshop on Real-Time Applications Villa Olmo, Como, Italy 8 - 12 September, 1997 Description: This workshop (RTAW '97), run in conjunction with the third annual IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'97), is the fifth in the series. The workshop is intended for industrial and government engineers and scientists, and for academic researchers involved with real-time technology and applications. We anticipate a wide range of presentations and discussion, aimed at bridging the knowledge gap between practitioners and researchers, at fostering better links between the communities, and at ultimately bringing about a better understanding of problems related to transfer of existing technology. Areas of interest include, but are not limited to, data acquisition, C3I, complex systems engineering, real-time multimedia applications, domain specific methodologies for the medical, process control, manufacturing, energy, aerospace, petro-chemical, telecommunications, and pharmaceutical industries. Workshop Co-Chairs: Sarah Chodrow, Emory University, USA Kim Man, City University of Hong Kong, Hong Kong Jean-Jacques Schwarz, IUT A - University Claude Bernard de Lyon, France Submissions: Papers should not exceed 6000 words. Five (5) copies should be sent by 3 March 1997 to: Mike Hinchey Real-Time Computing Laboratory Dept. of Computer and Information Science New Jersey Institute of Technology University Heights Newark, NJ 07102-1982, USA Notification of acceptance or rejection will be sent by 5 June, 1997. Sponsored by: IEEE Computer Society Technical Committee on Complexity in Computing Postmarked Thu Dec 12 16:13:51 1996 From: hinchey@homer.njit.edu (Michael Hinchey) Subject: CFP: ICFEM Content-Length: 3576 Call for Papers First IEEE International Conference on Formal Engineering Methods (ICFEM'97) 12-14 November 1997, Hiroshima, Japan Sponsored by IEEE Computer Society IEEE Technical Committee on Complexity in Computing In cooperation with Software Engineers Association of Japan Information Processing Society of Japan Hiroshima City University IEEE Asia-Pacific Region Invited Speakers (partial list) Cliff B. Jones, UK Richard Kemmerer, USA THEMES Formal methods have been extensively researched in academia, but their application in industry is very limited. A critical barrier is the poor understanding of how to merge academic advances in formal methods into how industry actually builds software. Practitioners also feel that existing formal methods are difficult to use and their application consumes prohibitive amounts of resources, particularly at start-up. However, compared with traditional informal or semi-formal methods, they have obvious advantages for the assurance of system quality. The important issues to address are how to improve existing formal methods to overcome the critical barrier, how to apply formal methods in an engineering manner, and how to support formal methods with intelligent CASE so that they can be easily and effectively used in industry not only for safety critical systems, but also for other complex computer systems. The objective of ICFEM'97 is to bring together researchers and practitioners from industry, academia, and government to advance the state of the art in addressing those issues and to encourage more applications of formal methods in industry. Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their support environments will also be considered: (1) Integration of formal methods with other methodologies (2) Formal specification languages (3) Formal verification (4) Rigorous review (5) Testing based on formal specifications (6) Software process with formal methods (7) CASE tools for formal methods (8) Validation of formal specifications (9) Specification evolution and refinement (10) Management based on formal methods (11) Applications of formal methods (12) Assessment of formal methods (including metrics and technology transfer). SUBMISSION INSTRUCTIONS The ICFEM'97 Program Committee selects original technical papers for publication in the proceedings of the conference to be published by IEEE Computer Society Press. All contributions will be reviewed and evaluated based on originality, technical quality, and relevance to the scope of the conference. Technical papers must be no longer than 6000 words (20 pages in A4 size, 12pt). All submissions must include a separate cover sheet which provides the title, authors, names, postal and electronic mail addresses, telephone and fax numbers, an abstract and a list of keywords. Submitted papers must be written in English and identify what is new and significant about the presented work. Six (6) copies of the papers should be sent by April 1, 1997 to either the conference general chair or program chair. IMPORTANT DATES: April 1, 1997: Deadline for receipt of submissions June 15, 1997: Notification of acceptance July 30, 1997: Final paper due Postmarked Thu Dec 12 16:13:55 1996 From: hinchey@homer.njit.edu (Michael Hinchey) Subject: CFP: ICECCS Content-Length: 4660 ICECCS'97 -------- Third IEEE International Conference on Engineering of Complex Computer Systems Held jointly with 5th IEEE Workshop on Real-Tine Applications (5th IEEE RTAW) Villa Olmo Como, Italy, Europe, September 8-12, 1997 Sponsored by: ------------ IEEE Computer Society IEEE Technical Committee on Complexity in Computing DESCRIPTION: -------------------- IEEE Computer Society's Third International Conference on the Engineering of Complex Computer Systems (ICECCS'97) is to be held in Como, Italy, in September 1997. SCOPE: ----------- Complex computer systems are common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. These systems are frequently distributed over heterogeneous networks, and are driven by many diverse 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 their satisfaction therefore requires managing the trade-off among them during system development and throughout the entire system life. The goal of this conference is to bring together industrial, academic, and government experts from these 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. The scope of interest includes long-term research issues, near-term complex system requirements and promising tools, and existing complex systems and commercially available tools will be examined on a level playing field. TRACKS/MINI-TRACKS/SESSIONS: ------------------ AI and Intelligent Systems (T. Ae, L. Guan) System and Software Architecture (R. Nord) Tools, Environments, and Languages (J.A. De La Puente, T. Marlowe, M.F. Younis) Complex and Real-time Database Systems and Data Management (S. Andler, S.Chakravarthy, K. Davis) Dependable Real-Time Systems (S. Faulk, R. Jacquart, N. Serbedzija) Formal Methods (A. Coen Porisini, R. De Nicola, S. Liu) Software Engineering, Re-engineering, Re-use (V.S. Alagar, P. T. Poon) Systems Engineering (T. Bihari, C.E. Pereira) Virtual Reality, Multimedia, Real-Time Imaging (L. Da Fontoura Costa) Technology Integration (A. Kanevsky) Networking, Complexity, and Protocol Engineering (Y. Kakuda) Distributed and Mobile Systems (J.Magee, S.C. Cheung) Software Process Improvement (H. Saiedian) Visual Languages and Tools (A. Schuerr) CSCW and HCI (F. De Paoli) Interoperability (D. Bolton, A. Finkelstein) Standards (J. Harauz) Neural Networks and Fuzzy Systems (Z. Chi) ESSI Industrial Software Best Practices (J.Bacquet) SUBMISSIONS: ----------- ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------