Subject: IEEE-CS TC-RTS Newsletter for Tue Feb 06, 1996 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Mikael Berndtsson (117 lines) Proceedings from ARTDB-95.......................................... 3 2. tdcl@bu.edu (20 lines) NOSSDAV'95 as Lecture Notes in CS.................................. 119 3. best@cs.bu.edu (Azer Bestavros) (21 lines) Advances in Real-Time Databases (Technical Report)................. 140 4. Lui Sha (42 lines) Re: Open Position at SEI .......................................... 160 5. Azer Bestavros (best@cs.bu.edu) (52 lines) Open Faculty Positions at Boston University........................ 202 6. hinchey@homer.njit.edu (Michael Hinchey) (89 lines) Post-Doctoral Position in Complex Real-Time Systems................ 255 7. best@cs.bu.edu (118 lines) CFP: 17th Real-Time Systems Symposium (RTSS'96).................... 344 8. srivas (138 lines) FMCAD96: Call For Papers........................................... 462 9. hinchey@homer.njit.edu (Michael Hinchey) (174 lines) CFP: Second IEEE International Conference on ECCS.................. 600 10. Matz Kindahl (130 lines) Call for Papers - FTRTFT '96, remainder............................ 774 11. hinchey@homer.njit.edu (Michael Hinchey) (66 lines) IEEE Press Book Series............................................. 904 12. best@cs.bu.edu (Azer Bestavros) (235 lines) Advance program for Workshop on Real-Time Databases (RTDB'96)...... 970 13. hfk@research.att.com (Hank Korth) (74 lines) PDIS'96 Call for Tutorials......................................... 1204 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Mon Dec 4 10:45:55 1995 From: Mikael Berndtsson Subject: Proceedings from ARTDB-95 Content-Length: 2687 Proceedings of the First International Workshop on Active and Real-Time Database Systems (ARTDB-95) In cooperation with ACM - The First Society in Computing Sponsored by ACT-NET http://www.his.se/ida/ARTDB-95/ .... is now available from Workshops in Computing Series, Springer-Verlag. The volume contains 4 invited papers, 11 revised full papers from a total of 22 submissions, and two short summaries; the moderated session and the closing session. AUTHORS M. Berndtsson and J. Hansson (Eds.) TITLE Active and Real-Time Database Systems (ARTDB-95) ORDER INFORMATION Springer-Verlag London Ltd., Sweetapple House, Catteshall road, Tel: +44-01483-418822 Godalming, Fax: +44-01483-415151 Surrey. GU7 3DJ Email: {alex, sarah, postmaster}@svl.co.uk Price: #37.00 (UK) Soft cover, 266 pages ISBN 3-540-19983-7 CONTENTS ======== Invited Talks ------------- Ten Years of Activity in Active Database Systems: What Have We Accomplished? U. Dayal Optimizing Active Database Transactions: A New Perspective F. Llirbat and E. Simon A Case for Better Language and Compiler Support for Real-Time Database Systems A. D. Stoyenko and T. J. Marlowe The Origin of TCs K. Ramamritham Paper Presentations ------------------- Time Issues in Advanced Workflow Management Applications of Active Databases H. Jasper, O. Zukunft and H. Behrends Optimization of Active Rules with Parallelism C. Collet and J. Machado Object Oriented Real-Time Database Design and Hierarchical Control Systems M. L. B. Perkusich, A. Perkusich and U. Schiel Temporal Conditons with Retroactive and Proactive Updates M. Deng, A. P. Sistla and O. Wolfson Issues in Active Real-Time Databases M. Berndtsson and J. Hansson On Providing Soft and Hard Real-Time Capabilities in an Active DBMS H. Branding and A. P. Buchmann An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS T. Weik and A. Heuer A Uniform Model to Express the Behaviour of Rules with Different Semantics S. Comai, P. Fraternali, G. Psaila and L. Tanca An Efficient Real-time Optimistic Concurrency Control Protocol K-W. Lam, K-Y Lam and S-L. Hung Data Placement, Logging and Recovery in Real-Time Active Databases R. M. Sivasankaran, K. Ramamritham, J. A. Stankovic and D. Towsley An Evaluation of Network Access Protocols for Distributed Real-Time Database Systems V. Ulusoy Moderated Session and Closing Session ------------------------------------- System Issues in Supporting Active Real-Time Databases S. H. Son Wrap-up Statement A. P. Buchmann --Mikael Berndtsson and Jvrgen Hansson General Co-Chairs, ARTDB-95 ------------------------------------------------------------------------------ Message 2; Postmarked Tue Dec 12 18:08:35 1995 Subject: NOSSDAV'95 as Lecture Notes in CS From: tdcl@bu.edu Content-Length: 344 The proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV'95) are now revised, and available in print as: Lecture Notes in Computer Science series, Vol. 1018 Springer-Verlag, ISBN: 3-540-60647-5 (http://www.springer.de) Tom Little Riccardo Gusella Program Chairs ------------------------------------------------------------------------------ Message 3; Postmarked Mon Feb 5 13:45:37 1996 From: best@cs.bu.edu (Azer Bestavros) Subject: Advances in Real-Time Databases (Technical Report) Content-Length: 611 A section of the next issue of SIGMOD Record will be dedicated to recent and on-going work on Real-Time Database Systems. This section of SIGMOD Record is also avaialble as a Technical Report from Boston University at the URL listed below: http://cs-www.bu.edu/techreports/96-003-rtdbs-sigmod-record --Azer /\ Boston Univ/Computer Science Dept V:617-353-9726 __ / \/\ 111 Cummington st Boston MA 02215 F:617-353-6457 /|_) _|_____ / \ \/\ Http://cs-www.bu.edu/faculty/best E: best@bu.edu /_|_)es|avros / \ \ \___________________________________________________/ |zer ------------------------------------------------------------------------------ Message 4; Postmarked Mon Nov 13 21:37:06 1995 Subject: Re: Open Position at SEI From: Lui Sha Content-Length: 1350 Position: Member of Technical Staff Visa Requirement: US Citizen or Permanent Resident Program: Disciplined Engineering Project: Open and Dependable Systems Department: Software Engineering Institute, CMU We are seeking a self motivating person to participate in the development and transition of advanced system evolution technologies for dependable real time applications. A BS degree in EE/CS/ECE is required. Advanced degrees in real-time fault tolerant computing and experience in system programming is desirable. Occasional travel in support of project demonstrations is expected. The following specific skills and experience are required or desirable: o A working knowledge of communication protocols, e.g. TCP/IP, is required. Knowledge of C++, Ada, POSIX and POSIX real-time extensions, and real-time communication protocols is desirable. o Experience with real time and fault tolerant applications is desirable. o Experience with PC hardware and and ability to troubleshoot system and communication software is desirable. o Experience with several operating systems: Unix, DOS, Windows and the development or modification of device drivers is desirable. If you are interested in this position, please send your resume to Dr. Lui Sha Software Engineering Institute Carnegie-Mellon University 4500 5th Avenue Pittsburgh PA 15213 ------------------------------------------------------------------------------ Message 5; Postmarked Tue Jan 30 19:55:25 1996 Subject: Open Faculty Positions at Boston University From: Azer Bestavros (best@cs.bu.edu) Content-Length: 2175 BOSTON UNIVERSITY Department of Computer Science Applications are invited for two tenure-track assistant professorships beginning September 1996. Qualifications required of all applicants include: a PhD in Computer Science; a strong research record; commitment to research and teaching; and a research interest in networking, algorithms, data visualization/navigation, or a closely related area. The Computer Science Department currently consists of 10 faculty, and offers BA, MA, and PhD programs. Our research interests include parallel, distributed, and real-time systems; parallel languages and compilers; networks; image and video computing; logic of computation; and theoretical computer science. The Department has excellent computing resources which include Sun and SGI workstations and servers, as well as dedicated laboratories for research in distributed systems, real-time systems, and graphics. In the last year the department has been the recipient of significant grants for research infrastructure and for graduate student support. We have a close association with other groups on campus working on aspects of computing, and access to University facilities including an SGI POWER CHALLENGEarray supercomputer, and campus wide high speed networks (FDDI and HiPPI). Additional information on the department and this search is available from http://cs-www.bu.edu. Review of applications will begin immediately and will continue until the position is filled. Qualified applicants should send a detailed resume and arrange for at least three references to be sent to: Faculty Search Committee Computer Science Department 111 Cummington Street Boston University Boston, MA 02215 Please include a cover letter which states the names of your references and your major area of specialization. Electronic submission of letters of reference is preferred; please arrange for letters to be sent in ASCII to search96@cs.bu.edu, with subject line "Reference Letter for ". These positions are offered pending final university approval. Boston University is an Equal Opportunity/Affirmative Action employer. ------------------------------------------------------------------------------ Message 6; Postmarked Tue Dec 15 22:06:26 1995 From: hinchey@homer.njit.edu (Michael Hinchey) Subject: Post-Doctoral Position in Complex Real-Time Systems Content-Length: 3075 NEW JERSEY INSTITUTE OF TECHNOLOGY Real-Time Computing Laboratory Post-Doctoral Position in Complex Real-Time Systems The Real-Time Computing Lab at the New Jersey Institute of Technology has a vacancy for a post-doctoral researcher, for a period of up to three years, commencing on, or at a mutually agreeable date after, January 1, 1996. This position would be ideally suited to a candidate who wishes to build upon her or his record in a rather unique environment of collaborative fundamental/experimental research. Areas of interest include compilation, languages, formal methods, tools, architectures, environments and scientific visualization suitable for application to the engineering of complex real-time systems. A demonstrated publishing record and the ability to actively participate in the experiments of a collaborative R&D environment are a significant advantage. Strong communication skills, both written and oral, are desirable. The Real-Time Computing Laboratory, established in 1990, builds on the combined strength of five regular and four visiting faculty and sixteen Ph.D. students, in addition to many Masters students. To date, external funding of approximately US$2M, from ONR, NSF, NATO, NSWC, Honeywell, AT&T, Bellcore, Siemens and other organizations, has augmented strong University support, enabling a wide-variety of projects to be undertaken. Lab students and faculty collaborate closely with industry, government laboratories and other universities. Lab members are very active in professional circles and organize a number of successful events in real-time computing and engineering of complex computer systems. For further information and to apply, prospective candidates are encouraged to contact any of the Lab faculty, particularly those members with interest in their field of research. Additional information is also available via the WWW at: http://rtlab12.njit.edu:8000/rtcl_pub_html/Mosaic/act/welcome.html Faculty List : Sanjoy Baruah sanjoy@cis.njit.edu, +1-201-596-3378 scheduling theory, multimedia Michael Hinchey hinchey@cis.njit.edu, +1-201-596-5750 formal methods, software engineering, CASE tools Phillip Laplante laplante@njit.edu}, +1-609-894-9311 x7640 real-time imaging, visualization, software/systems engineering Thomas Marlowe (Chief Scientist) marlowe@inis.njit.edu}, +1-201-596-3397 compilers, languages \& environments, static analysis Jose Salinas salinas@code20.nl.nuwc.navy.mil real-time imaging & VR, fault-tolerant, dependable systems Richard Scherl scherl@cis.njit.edu, +1-201-596-2657 intelligent search & planning, logic Ami Silberman silber@vienna.njit.edu}, +1-201-596-3382 operating systems & environments, tools Alexander Stoyenko (Director) alex@rtlab12.njit.edu, +1-201-596-5765 languages & tools, complex real-time systems & software Grace Tsai tsai@alpha.fdu.edu,+1-201-692-2483 formal methods, simulation Roger von Hanwehr rovon@vulcan.njit.edu VR, high-performance hardware ------------------------------------------------------------------------------ Message 7; Postmarked Fri Jan 12 13:55:05 1996 From: best@cs.bu.edu Subject: CFP: 17th Real-Time Systems Symposium (RTSS'96) Content-Length: 3667 CALL FOR PAPERS 17th IEEE Real-Time Systems Symposium December 4-6, 1996 Washington. DC USA Sponsored by IEEE Computer Society TC on Real-Time systems SCOPE: The purpose of this symposium is to bring together researches and developers from academia, industry and government to advance the science and technolo- gy of real-time computing. Papers on all aspects of real-time computing are sought, including operating and scheduling, fault-tolerance, databases, pro- gramming languages, tools, communication networks, architectures, performance modeling, formal methods, case studies, and applications. Of particular in- terest are reports describing practical experiences and experimental results based on system building efforts, and real-time issues in applications such as avionics, multimedia, robotics, automated process control and manufactur- ing. SUBMISSIONS: Paper should describe original work, and be 20 double-spaced pages (5,000 words) or less in length. Synopses (5 double-spaced pages or less in length) of real-time applications, experimental results, and practical experiences in the design and development of real-time systems are also invited. The synopses should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach. All accepted submissions will appear in the proceedings, and the Best Paper will be awarded at the symposium. Please send an electronic version (postscript file) or 5 copies of the manuscript to the program chair. A single cover paper should be included which contains: paper title, full name, affiliations, complete address, phone and fax numbers, and email addresses of the authors, as well as upto 150 words abstract. In addition, a text file containing the title and abstract should be emailed to the program chair. Professor Sang H. Son Department of Computer Science University of Virginia Charlottesville, Va 22903 email: son@cs.virginia.edu phone: (804)982-2205 IMPORTANT DATES Deadline for papers/Synopses May 1,1996 Acceptance Letters July 25,1996 Camera-Ready Papers September 15,1996 Symposium December 4-6, 1996 WORKSHOP and EXHIBITION: Workshop on Resource Allocation Problems in Multimedia Systems is being organized to be held immediately before the symposium, December 3. For more information about the workshop, contact Kevin Jeffay (jeffay@cs.unc.edu). In addition, an exhibition of hardware and software products for real-time systems will be held in conjunction with the symposium. For the exhibition, contact Doug Locke (locke@lfs.loral.com). \*------------------------------------------------------------------------*\ General Chairs: Alan Burns UK. Yann-Hang Lee, USA. Program Chair: Sang H. Son, USA. Treasure: Walt Heimerdinger, USA. Publicity Chair: Steve Liu, USA. Industrial Chair: Doug Locke, USA. Local Arrangements Chair: Richard Gerber, USA. Ex-Officio: Al Mok, USA. Program Committee: Azer Bestavros, USA. Richard Gerber, USA. Ching-Chih Han, USA. Hans Hansson, Sweden. Jennifer Hou, USA. Farnam Jahanian, USA. Mathai Joseph, UK. Dilip Kandlur, USA. Hermann Kopetz, Austria. Insup Lee, USA. John Lehoczky, USA. Jorg Liebeherr, USA. Kwei-Jay Lin, USA. Jane Liu, USA. Doug Locke,USA. Keith Marzullo, USA. Raj Rajkumar, USA. Karsten Schwan, USA. Alan Shaw, USA. Heonshik Shin, Korea. Kang Shin, USA. Jack Stankovic, USA. Kenji Toda, Japan. Farn Wang, Taiwan. Vic Wolfe, USA. Hui Zhang, USA. RTSS'96 WWW page at http://cs-www.bu.edu/pub/ieee-rts/rtss96/ ------------------------------------------------------------------------------ Message 8; Postmarked Fri Jan 12 13:25:52 1996 From: srivas Subject: FMCAD96: Call For Papers Content-Length: 5918 +-------------------------------------------------------+ | | | CALL FOR PAPERS | | | | The International Conference on | | | | Formal Methods in Computer-Aided Design: | | (FMCAD -- Successor to TPCD) | | | | Palo Alto, CA, USA | | 6 - 8. November 1996 | | | | In cooperation with IFIP WG 10.5 | | | +-------------------------------------------------------+ FOCUS AND OBJECTIVES ==================== International Conference on Formal Methods in Computer-Aided Design '96 (FMCAD '96) is a forum for presenting state-of-the-art tools and techniques based on formal methods for computer-aided design of hardware. The location of the conference provides a unique opportunity for researchers in the field to interact with engineers from the Silicon Valley semiconductor and CAD companies. The objective is to cover all relevant formal aspects of work in computer-aided system design including verification, synthesis and testing. A special focus of this conference will be on the integration of complementary techniques and tools. The conference, will cover original research in this area, as well as case studies, technology transfer, and other practical experiments. It is intended to publish the Proceedings in time for distribution at the conference in the Springer LNCS series. Specific technical areas of FMCAD '96 include, but are not limited to: * New hardware verification techniques based on theorem proving, state exploration, model-checking, and BDDs * Correct by construction approaches to hardware design, such as synthesis and transformation * Hybrid approaches that integrate synthesis and verification or different verification techniques * Integration of formal methods with CAD tools, such as synthesis, simulation, and design exploration * Formal verification techniques for hardware description languages, such as VHDL, Verilog * Case studies and application of formal methods in industry This conference is a sequel in a series of IFIP WG 10.2/10.5 sponsored conferences with similar themes that have been most recently held in 1992 and 1994 under the banner ``Theorem Provers In Circuit Design.'' The intended audience includes workers in the field of hardware verification and synthesis as well as practising digital designers with an interest in formal methods. The conference will include contributed research papers, invited talks, tutorials, and tool demonstrations. INVITED SPEAKERS ================ (1) David Dill, Stanford University, USA (2) Kurt Keutzer, Synposys Inc., USA (3) J S. Moore, Computational Logic Inc., USA PAPERS: 15 page, 11-point limit with abstract, containing original research in sufficient detail to assess its merits and relevance. Simultaneous submission to other conferences or journals and submission of previously published material are not allowed. TUTORIALS: 4 page abstract, 15 page, 11-point for final. We encourage presentations of tools on a suitable set of completely worked out examples. Submit in electronically self-contained Postscript to: fmcad96@csl.sri.com. Email submission is strongly encouraged for speeding up the reviewing process. When this is not possible, send seven hard-copies to: PAPERS TUTORIALS -------------- -------------- Mandayam Srivas Albert Camilleri Re: FMCAD '96 Re: FMCAD '96 SRI International (EL-262) HEWLETT-PACKARD COMPANY M/S 5596 333 Ravenswood Avenue 8000 FOOTHILLS BOULEVARD Menlo Park, CA 94025, USA ROSEVILLE CA 95747-5596, USA Email: srivas@csl.sri.com Email: ac@hprpcd.rose.hp.com Tel: +1 415-859-6136 Tel : +1 916 785 8488 Fax: +1 415-859-2844 Fax : +1 916 785 3096 Please direct all paper and program inquiries to fmcad96@csl.sri.com. Registration questions may be directed to vijay@lsil.com. For more information see our World Wide Web home page at http://www.csl.sri.com/FMCAD96. IMPORTANT DATES: Submission deadline (firm): April 15, 1996 Notification of acceptance: June 17, 1996 Proceedings version of accepted papers due: July 15, 1996 ORGANIZERS: Program Chair: Mandayam Srivas, SRI International, USA Tutorials Chair: Albert Camilleri, Hewlett Packard Company, USA Registration Chair: Vijay Nagasamy, LSI Logic Inc., USA PROGRAM COMMITTEE: D. Borrione (TIMA, France) R. Brayton (University of California, Berkeley, USA) R. Bryant (CMU, USA) R. Camposano (Synposys Inc., USA) L. Claesen (IMEC, Belgium) E. Clarke (CMU, USA) C. Delgado Kloos (Universidad Politecnica de Madrid, Spain) M. Fujita (Fujitsu Labs, USA) S. German (IBM, Yorktown Heights, USA) M. Gordon (University of Cambridge, UK) O. Grumberg (Technion, Haifa, Israel) W. Hunt (Computational Logic, Inc., USA) S. Johnson (University of Indiana, USA) R. Kumar (FZI, Karlsruhe, Germany) M. Leeser (Northeastern University, USA) P. Loewenstein (Sun Microsystems, USA) K. McMillan (Cadence Berkeley Lab, USA) C. Seger (Intel, Oregon, USA) J. Staunstrup (Technical University, Denmark) V. Stavridou (Queen Mary and Westfield College, UK) P.A. Subrahmanyam (AT&T, USA) J. Van Tassel (NSA, Washington DC, USA) ------------------------------------------------------------------------------ Message 9; Postmarked Tue Dec 15 22:06:26 1995 From: hinchey@homer.njit.edu (Michael Hinchey) Subject: CFP: Second IEEE International Conference on ECCS Content-Length: 5994 Call for Papers ICECCS' 96 Second IEEE International Conference on Engineering of Complex Computer Systems Held jointly with 6th CSESAW, 4th IEEE RTAW Montreal, Quebec, Canada, October 21-25, 1996 Sponsored by: IEEE Computer Society, (IEEE Technical Segment Committee on Engineering of Complex Computer Systems) ----------------------------------------------------------------------------- ICECCS'96 General Chair Alexander Stoyenko New Jersey Institute of Technology alex@vulcan.njit.edu CSESAW'96 Chair N.D. Hoang Naval Surface Warfare Center Dahlgren Division IEEE RTAW'96 Chair Ling Guan, University of Sydney Jose Salinas, Naval Undersea Warfare Center Jacques Skubich, INSA Lyons PC Co-Chairs (The Americas) Rick Honendorf, Ontario Hydro Kelvin Nilsen, Iowa State University PC Co-Chairs (Europe & Africa) Bernd Kramer, Fern Universitat, Hagen Kevin Ryon, University of Limerick PC Co-Chair (Asia/Oceania) Yoshiaki Kakuda, Osaka University Industrial/Exhibits Chair Thomas Bihari AMT Systems Engineering, Inc. teb@amt.columbus.oh.us Tutorials Chair Neville Dean, Anglia Polytechnic University Local Arrangements Chair John Harauz, Ontario Hydro Publicity Chair Michael Hinchey New Jersey Institute of Technology hinchey@cis.njit.edu ----------------------------------------------------------------------------- Program Committee: T. Ae V. Alagar S. Andler R. Bettati T. Bihari J. Bowen S. Chakravarthy S. Chodrow M. Colnaric L. da F. Costa K. Davis N. Dean P. Devanbu M. Eshaghian B. Furht J. Gaffney D. Gillies H. Gommaa P. Gopinath L. Guan J. Harauz W. Halang H.-L. Hausen M. Hinchey N. D. Hoang R. Hohendorf S. Howell J. Jehuda Y. Kakuda A. Kavensky B. Kramer P. Laplante K. Man T. Marlowe J. McDermid R. Milovanovic P. Moretto L. Motus P. Nesi K. Nilsen R. Nord D. Parnas M. Pezze P. Poon V. Prasanna J. de La Puente T. Risch K. Ryan J. Salinas R. Scherl N. Schneidewind J. J. Schwarz J. Skubich A. Stoyenko N. Suri H. Toetenel G. Tsai J. Vasell J. Voas P. Voldner S. White J. Zalewski ----------------------------------------------------------------------------- Description: IEEE Computer Society's Second International Conference on the Engineering of Complex Computer Systems (ICECCS'96) is to be held in Montreal, Quebec, Canada, in October 1996, jointly with the 6th Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW'96) and the 4th IEEE Workshop on Real-Time Applications (RTAW`96). 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. 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. Tracks/Mini-Tracks/Sessions: A number of tracks/mini-tracks are anticipated, chaired by PC members, as follows: * AI and Intelligent Systems (P. Devanbu, R. Scherl) * Architectures, Tools, Environments and Languages (S. Chodrow,T. J. Marlowe, J. Vasell) * Database and Data Management (S. Andler, S. Chakravarthy) * Dependable Real-Time Systems (J. J. Schwarz, N. Suri) * Formal Methods (P. Nasi, H. Toetenel, G. Tsai) * Heterogeneous Computing (M. Eshaghian) * Software Engineering, Re-engineering, Re-use (M. Hinchey, J. McDermid) * Standards (W. Halang, P. Voldner) * Systems Engineering (T. Bihari, R. Milovanovic, P. Poon) * Virtual Reality, Multimedia, Real-Time Imaging (L. da F. Costa, B. Furht, P. Laplante) Submissions: 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 eight copies, by April 15th, 1996 to: Alexander Stoyenko Real-Time Computing Laboratory Department of Computer and Information Science New Jersey Institute 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) Authors will be notified by July 15, 1996. ----------------------------------------------------------------------------- ICECCS'96 is generously supported by: ONR, Naval Surface Warfare Center, Honeywell, and Real-Time Computing Laboratory at NJIT. ----------------------------------------------------------------------------- ------------------------------------------------------------------------------ Message 10; Postmarked Wed Jan 17 09:55:57 1996 From: Matz Kindahl Subject: Call for Papers - FTRTFT '96, remainder Content-Length: 4919 Call for Papers FTRTFT'96 4th International School and Symposium Formal Techniques in Real Time and Fault Tolerant Systems Sept 9-10 (School) and Sept 11-13 (Symposium) 1996, Uppsala, Sweden OBJECTIVES Computer systems are becoming increasingly widespread in real-time and safety-critical applications. Such systems are characterized by the crucial need to manage their complexity in order to produce reliable designs. Formal techniques offer a foundation for systematic design of complex systems. They have beneficial applications throughout the engineering process, from the capture of requirements through specification, design, coding and compilation, down to the hardware which embeds the system into its environment. Their use may presuppose novel system architectures and design principles. The school and symposium are devoted to considering the problems and the solutions in safe system design, and to examining how well the use of advanced design techniques and formal methods for design, analysis and verification serves in relating theory to practical realities. This is the fourth in a line of International Schools and Symposia, previous were held at Warwick 1989, at Nijmegen 1992, and at Lübeck 1994. Proceedings of these symposia are published as volumes 331, 571, and 863 in the LNCS series by Springer Verlag. SUBMISSIONS Paper Submissions are invited for the Symposium on the development and use of formal techniques and mathematical reasoning in design of real time, fault-tolerant and/or embedded systems, covering all stages from requirements analysis to hardware and/or software implementation. In addition to general topics, special themes of this symposium will be: * Verification Tools and/or Algorithms for Real Time and Fault Tolerant Systems * Tools and Algorithms Supporting Formal Methods * Requirements for and Verification of Safety-Critical Systems * Scheduling and Timing Constraints in Real Time Systems * Formal Methods for Real Time and Fault Tolerant Systems in Industrial Practice. * Fault Tolerance * Hybrid Systems * Synchronous Languages - their Theory and Tools * Case Studies in Application of Methods Six copies of a paper, not exceeding 20 double-spaced standard pages, accompanied by a one-page abstract should reach the program committee co-chair at the below address no later than March 1, 1996. Mailing addresses (postal, fax, and electronic) of corresponding author should be indicated on each copy. Notification of Acceptance by May 15. Final text by June 30. Accepted papers will be published in the LNCS series by Springer Verlag. TOOLS DEMONSTRATIONS Demonstrations of software tools that support formal approaches to the development of real time, fault-tolerant and/or embedded systems are invited for the school and symposium. Proposers should contact the Tools Demonstration Chair. VENUE School and Symposium will be held in the city of Uppsala (population ca. 140.000). Uppsala is located 70 km north of Stockholm and 35 km north of Stockholm Arlanda international airport. FOR MORE INFO Consult our WWW page at: http://www.docs.uu.se/ftrtft96/ PROGRAM COMMITTEE A. Burns (Univ. of York), C. Dwork (IBM Almaden), T. Henzinger (Cornell Univ., Ithaca, N.Y.),, J. Hooman (Eindhoven Univ. of Technology), B. Jonsson (co-chair) (Uppsala Univ.), M. Joseph (Univ. of Warwick), B. Kurshan (AT&T/Bell Labs, New Jersey), K. Larsen (Aalborg Univ.), N. Leveson (Univ. of Washington), A. Mok (Univ. of Texas, Austin), E.R. Olderog (Univ. of Oldenburg), J. Parrow (co-chair) (Royal Inst. of Technology, Stockholm), Z. Peng (Linköping University) A. Pnueli (Weizmann Inst., Rehovot), A.P. Ravn (DTU, Lyngby), W.-P. de Roever (Univ. of Kiel), F. Schneider (Cornell Univ., Ithaca, N.Y.), J. Sifakis (IMAG-LGI, Grenoble), J. Torin (Chalmers Univ. of Technology), J. Vytopil (Kath. Univ., Nijmegen) K.-E. Ĺrzén (Lund Univ. of Technology) ORGANIZING COMMITTEE Parosh Abdulla: Publicity Per Gunningberg: Local Organization Hans Hansson: Sponsorship Wang Yi: Tools Demonstrations STEERING COMMITTEE M. Joseph (Univ. of Warwick) A. Pnueli (Weizmann Inst., Rehovot) H. Rischel (DTU, Lyngby) W.-P. de Roever (Univ. of Kiel) J. Vytopil (Kath. Univ., Nijmegen) ADDRESSES Program Committee Co-Chair Tools Demonstration Chair Bengt Jonsson Wang Yi Uppsala University Uppsala University Dept. of Computer Systems Dept. of Computer Systems Box 325, S-751 05 Uppsala, Sweden Box 325, S-751 05 Uppsala, Sweden tel: + 46 18 - 183157 tel: + 46 18 - 183110 fax: + 46 - 18 - 550225 fax: + 46 - 18 - 550225 e-mail: bengt@docs.uu.se e-mail: yi@docs.uu.se ------------------------------------------------------------------------------ Message 11; Postmarked Tue Dec 15 22:06:26 1995 From: hinchey@homer.njit.edu (Michael Hinchey) Subject: IEEE Press Book Series Content-Length: 2897 Preliminary Announcement IEEE Press Book Series in Engineering of Complex Computer Systems: Fundamentals, Techniques, and Applications Series Content and Scope: ------------------------ Complex computer systems are becoming common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, and health care. 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 to address different aspects of the system. Although important results have been achieved in different areas, there is an increasing need to integrate these results in a coherent manner. The goal of this series is to bring together industrial, academic, and government experts from various disciplines, to determine how problems and solution techniques interact within the whole system. Authors are sought from among researchers, practitioners, tool developers and users, and technology transition experts. IEEE Series in Engineering of Complex Computer Systems: ------------------------------------------------------ This series will be the first of its kind to organize the far-flung and wide-ranging information on engineering of complex computer systems into one collection. The series will cover as much of this rather ambitious area as possible, beginning with an introductory volume, and progressing to detailed treatments of many topics and areas of interest, including fundamentals, software and systems engineering, tools, applications, and case studies. A significant effort will be invested to ensure a strong, interdisciplinary approach to the series. It is clear that the challenges and opportunities presented by the interdisciplinary area of engineering of complex computer systems are hot items in the scientific press. The IEEE Press Series in Engineering of Complex Computer Systems will provide a convergence point for practitioners in target areas, and help satisfy the curiosity of those scientists and engineers seeking to explore new and exciting technologies. Prospective authors are encouraged to contact the series editors in the first instance. Series Editors: -------------- Prof. Alexander D. Stoyenko Phil Laplante, PE, PhD Director, Real-Time Computing Lab Dean, Dept. of Computer & Information Science Burlington County College/NJIT New Jersey Institute of Technology Technology and Engineering Center University Heights 3331 State Highway 38 Newark NJ 07102, USA Mount Laurel, NJ 08054, USA (201) 596-5765 (609) 222-9311 ext 7640 (201) 596-5777 (fax) (609) 222-1537 (fax) alex@rtlab12.njit.edu laplante@njit.edu ------------------------------------------------------------------------------ Message 12; Postmarked Mon Feb 5 11:44:31 1996 From: best@cs.bu.edu (Azer Bestavros) Subject: Advance program for Workshop on Real-Time Databases (RTDB'96) Content-Length: 7936 Advance Program of RTDB'96 First Workshop on Real-Time Databases: Issues and Applications March 7-8, 1996 The Sutton Place Hotel, Newport Beach, California, USA --------------------- Day 1 (March 7, Thursday) ------------------ Session I. Temporal Constraints and Issues -------- 8:30 - 10:00 * Maintaining Temporal Consistency: Issues and Algorithms Ming Xiong, J. Stankovic, K. Ramamritham, D. Towsley, R. Sivasankaran Dept. of Computer Science, Univ. of Massachusetts * Databases for Active Rapidly Changing data Systems (ARCS): Augmenting Real-Time Databases with Temporal and Active Characteristics Anindya Datta Dept. of MIS, University of Arizona, Tuscon * Probabilistic Real-Time Data Access with Interval Constraints Lei Zhou, Kang G. Shin, Elke A. Rundensteiner and Nandit Soparkar Electrical Engineering and Computer Science, University of Michigan Session II. Real-Time Database Applications -------- 10:30 - 12:30 * Toward Real-Time Performance in a Scalable, Continuously Available Telecom DBMS Oystein Torbjornsen, Svein-Olf Hvasshovd and Young-Kuk Kim Telenor R&D and Sintef Delab, Norway * The RAPID Case Study: Requirements for and the Design of a Fast-Response Database System Antoni Wolski, Janne Karvonen and Anton Puolakka VTT Information Technology, Finland * Databases in Control and Simulation Esa Falkenroth, Peter Loborg, Anders Torne Dept. of Computer and Information Science, Linkoping University, Sweden * Unbundling RTDBMS functionality to support WWW-Applications Holger Branding and Alejandro P. Buchmann Computer Science Department, Technische Hochschule Darmstadt Session III Panel & Discussions -------- 1:30 - 3:00 Session IV Scheduling Techniques for RTDB -------- 3:30 - 5:30 * Performance_Polymorphic Execution of Real-Time Queries Thomas Padron-Mccarthy and Tore Risch Department of Computer and Information Science, Linkoping University, Sweden * Value-cognizant Admission Control Strategies for Real-Time DBMS Azer Bestavros and Sue Nagy Computer Science Department, Boston University * Modelling and Construction of Real-Time Database Schedulers P.D.V. van der Stok, J. van der Wal, A.T.M. Aerts, S.A.E. Sassen and M.P. Bodlaender Eindhoven University of Technology Department of Mathematics and Computing Science, Netherlands * Logic-enhanced Memory Database: A Simulation Study H. Agusleo and N. Soparkar Electrical Engineering and Computer Science, University of Michigan ** Banquet ---- 6:30 ------------------------ Day 2 (March 8, Friday) ------------------ Session V RTDB Models and Benchmark -------- 8:30 - 10:00 * Modelling Costs for a MM-DBMS Sherry Listgarten and Marie-Anne Meimat Hewlett-Packard Laboratories * Deriving Design Constraints from a System Services Model for a Real-Time DBMS Jonas Mellin, Jorgen Hansson and Sten F. Andler Department of Computer Science, University of Skovde, Sweden * Real-Time Database Benchmark Design for Avionics Systems Ching-Shan Peng and Kwei-Jay Lin and Carolyn Boettcher Dept. of Electrical and Computer Engineering, Univ. California, Irvine and Hughes Aircraft Company Session VI Transaction Issues -------- 10:30 - 12:30 * A Worst-Case Behavior Analysis for Hard Real-Time Transactions Jeongyoujng Byun, Andy Wellings and Alan Burns Department of Computer Science, Dongguk University at Kyungju and Department of Computer Science, University of York. * Priority Assignment for Sub-transaction in Distributed Real-time Databases Victor C. S. Lee, Kam-yiu Lam, Benjamin C. M. Kao, Kwok-wa Lam and Sheung-lun Hung Department of computer Science, City University of Hong Kong and the University of Hong Kong * Scheduling Value-Based Transactions in Real-Time Main-Memory Databases Shin-Mu Tseng, Y. H. Chin and Wei-Pang Yang Institute of Computer and Information Science and Institute of Computer Science, National Tsing Hua University * A Framework for Cooperative Real-Time Transactions Huang-Cheng Kuo and Gultekin Ozsoyglu Dept. of Computer Engineering and Science, Case Western Reserve University Session VII Concurrency Control Issues --------- 1:30 - 3:30 * Efficient Object Sharing in Real-time Systems James H. Anderson, Srikanth Ramamurthy, Mark Moir and Kevin Jeffay Department of Computer Science, University of North Carolina * Towards Priority Ceilings in Object-Based Semantic Real-Time Concurrency Control Michael Squadrito, Lisa Cingiser DiPippo and Victor Ray Wolfe MITRE Corporation and Dept. of Computer Science, University of Rhode Island * An Update-Frequency-Valid-Interval Partition Checkpoint Technique for Real-Time Main Memory Databases Jing Huang and Le Gruenwald School of Computer Science, University of Oklahoma * Locking Based Concurrency Control for Integrated Real-Time Database Systems D. Hong, S. Chakravarthy and T. Johnson Computer and Information Science and Engineering Department, U. Florida Session VIII Open Issues and Discussions --------- 4:00 - 5:00 ******************************************************************* RTDB'96 Registration Form -- Register Today! Name ______________________________________________________________ Affiliation _______________________________________________________ Mailing Address____________________________________________________ ____________________________________________________ City/State/Zip/Country ____________________________________________ Daytime Phone Number __________________ Fax Number ________________ E-mail address ____________________________________________________ _____ Do not include my mailing address on workshop attendee lists. Workshop Registration Fee (Please check appropriate fee) Advance (until 2/26) On-site Regular registration ___ US $250 ___ US $325 Full-time Student (no dinner) ___ US $100 ___ US $100 Amount due: $_____________________ *Guest tickets for dinner and lunches will be available on-site. Please tell us if you have any special meal request: (e.g. vegetarian) _____________________________________________________________________ Please make check payable to "Real-Time Data Bases Workshop". (All payments must be in US dollars, drawn on US banks.) Return the registration form and check to: Joyce Woodworth 1304 West Springfield Avenue Department of Computer Science University of Illinois Urbana, IL 61801 Phone: 217 244-6813 Fax: 217 244-6500 Email: woodwort@cs.uiuc.edu ************************************************************* Workshop Hotel The Sutton Place Hotel 4500 MacArthur Blvd. Newport Beach, CA 92660 Phone: 1-800-243-4141 Local Phone: 1-714-476-2001 Fax: 1-714-476-0153 Rates: (special rate for RTDB'96 before February 21, 1996) Single $95 Double $95 Hotel Transportation From Orange County Airport: Go to the hotel reservation station in the luggage pickup area. Use the courtesy phone to the hotel and ask for free shuttle. From the Los Angles Airport (LAX): Call Super-Shuttle 1-800-200-6655 to make reservation LAX <-> Sutton Place Hotel is $20/person one way or $69/van (for up to 7 people) Driving Information: LAX -> Century Blvd -> Freeway 405 South (to San Diego) -> (after 45 minutes) Exit on MacArthur Blvd South (turn left) -> Turn left on Birch St. -> Immediately turn right on the entrance to the hotel Maps and other local information will be available on: http://www.eng.uci.edu/ece/rtdb/rtdb96.html ************************************************************** ------------------------------------------------------------------------------ Message 13; Postmarked Mon Feb 5 15:34:53 1996 Subject: PDIS'96 Call for Tutorials From: hfk@research.att.com (Hank Korth) Content-Length: 2499 Call for Tutorials Fourth International Conference on PARALLEL AND DISTRIBUTED INFORMATION SYSTEMS December 18-20, 1996 Eden Roc Resort & Spa, Miami Beach, Florida Sponsored by: IEEE Computer Society IEEE Technical Committee on Data Engineering ACM SIGMOD ******************************************************************* * World Wide Web page: http://panda.cs.binghamton.edu/pdis96.html * ******************************************************************* The Conference will include two half-day tutorials. Proposals for tutorials will be considered on subjects relating to the theme of the conference. Topics areas include (but are not limited to): * high-performance online transaction processing * data integration and warehousing * online analytical processing and data mining * parallel query optimization and scheduling * parallel and distributed object management * data distribution and replication * multimedia databases * parallel and distributed document management * storage system administration and tuning * tertiary storage management * data management on networks of workstations * mobile and disconnected clients * business workflow management * extended transaction models and management * distributed middleware * interoperability and heterogeneous systems * directory services and information discovery * information and resource brokering * WWW-based query processing * distributed real-time and active database systems * highly available large-scale systems * applications on parallel and distributed systems Tutorial proposals should consist of the following: Tutorial title Instructor(s) and their affiliations Summary (no more than one page) List of other venues at which the proposed tutorial has been or is scheduled to be presented. This list should be updated if it changes while the proposal is under consideration. Feel free to include additional materials (such as lengthier summary, URL for slides, etc.) if desired. Proposals should be sent to the PDIS Tutorial Chair by hardcopy or electronic mail: Hank Korth AT&T Bell Laboratories Room 2T-214 600 Mountain Avenue, P.O. Box 636 Murray Hill, NJ 07974-0636 hfk@research.att.com voice: +1-908-582-7791 fax: +1-908-582-5809 Deadline for submissions is April 22, 1996. ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------