Subject: IEEE-CS TC-RTS Newsletter for Wed Feb 21, 1996 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. son@bbibbi.cs.virginia.edu (58 lines) Postdoctoral Research Position at University of Virginia........... 3 2. (25 lines) Open Positions in Stockholm, Sweden................................ 61 3. Azer Bestavros (245 lines) RTDB'96: Advance Program (deadline in few days).................... 86 4. "Dr. Jose Salinas" (100 lines) CFP: Fourth Annual IEEE Workshop on Real-Time Applications......... 331 5. Kevin Jeffay (160 lines) CFP: Second Symposium on Operating Systems Design and Implementat.. 431 6. Insup Lee (178 lines) CFP: Workshop on Real-Time Computing Systems and Applications...... 591 7. Matz Kindahl (132 lines) Call for Papers - FTRTFT '96....................................... 769 8. broggi@Verdi.Eng.UniPR.IT (Alberto Broggi) (215 lines) CFP: Hawaii Intl Conf: ENGINEERING COMPLEX COMPUTER SYSTEMS........ 901 9. gabrielw@dc.uba.ar (Gabriel Wainer) (24 lines) Invitation to join Real-Time list in Spanish....................... 1116 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Tue Jan 30 15:44:36 1996 From: son@bbibbi.cs.virginia.edu Subject: Postdoctoral Research Position at University of Virginia Content-Length: 1901 POSTDOCTORAL RESEARCH POSITION ON PREDICTABILITY AND SCHEDULING IN REAL-TIME DATABASE SYSTEMS University of Virginia Department of Computing Science Charlottesville, VA 22903 The Real-time Systems Research Group of the University of Virginia is looking for a research associate for a research project on predictable transaction processing. The objective of the project is to design and develop a transaction model and processing schemes for active real-time database systems and extend the existing RTDB system to support predictability and temporal consistency. As such, it encompasses the fields of (a) real-time scheduling, (b) database management, and (c) operating systems. We are seeking one research associate with special expertise in real-time database systems and/or scheduling to join our team. Appointment will initially be for one year, renewable based on performance and availability of funds. We are especially interested in individuals with the following qualifications: * A Ph.D. degree (or in the last stages of obtaining it) in computer science * Preferably prior research on real-time systems with particular emphasis on real-time data management and scheduling * Ability to work in a team environment interacting with graduate students on a daily basis. Unfortunately, the position does require U.S. citizenship. For more information on the projects, please see our WWW page: http://www.cs.virginia.edu/~son/. Interested candidates should send a vita, names of four references and reprints of published papers that are related to the project topic to: Prof. Sang H. Son Department of Computing Science University of Virginia Charlottesville, VA 22903 USA Fax: 804-982-2214 Email: son@cs.virginia.edu The starting date is open to discussion, however we would like to have someone in place no later than April 1, 1996. ------------------------------------------------------------------------------ Message 2; Postmarked Wed Feb 21 08:54:00 1996 From: Subject: Open Positions in Stockholm, Sweden Content-Length: 621 Dear Colleagues, This is to advertise open positions at the Royal Institute of Technology, Stockholm: A full chair (professor) in Teletraffic Systems and three lectureships (lektorat) in Teleinformatics of which two are focussed on Telecommunication Systems and one on Computer Systems. The closing dates are this week, but it is normally enough to send just a short fax and supply CV and reprints etc. within a few weeks. Please forward this to any you think could be interested. Information about the positions, our department, and how to apply can be found at http://www.it.kth.se/misc/jobs/ Joachim Parrow ------------------------------------------------------------------------------ Message 3; Postmarked Wed Feb 21 09:01:17 1996 From: Azer Bestavros Subject: RTDB'96: Advance Program (deadline in few days) Content-Length: 8107 Please notice the approaching deadlines for early registration and hotel reservation. --Azer 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 General Chair: Jane Liu Program Co-Chair: Sang H. Son Kwei-Jay Lin --------------------- 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 4; Postmarked Wed Feb 7 14:58:18 1996 From: "Dr. Jose Salinas" Subject: CFP: Fourth Annual IEEE Workshop on Real-Time Applications Content-Length: 3468 Fourth Annual IEEE Workshop on Real-Time Applications Montreal Bonaventure Hilton Montreal, Quebec, Canada October 21-25, 1996 Description: This workshop (RTAW '96), run in conjunction with the annual Complex Systems Engineering Synthesis and Assessment Technology Workshop (CSESAW '96) and the Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), is the fourth in its 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, panels and discussions, 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, domain specific methodology, medical, process control, manufacturing, energy, aerospace, petro-chemical, telecommunications, and pharmaceutical. Workshop Co-Chairs: Ling Guan, University of Sydney Jose Salinas, Naval Undersea Warfare Center Jacques Skubich, Institut National des Sciences Appliquees de Lyon Program Committee: Thomas Choinski, Naval Undersea Warfare Center, New London Alfons Crespo, Universidad Politecnica Valencia Vincent David, Centre d'Etudes Atomiques de Saclay Gunter Hommel, TU Berlin Daniel Juttelstad, Naval Undersea Warfare Center, Newport Abd-El-Kader Sahraoui, LAAS - CNRS Phillip Laplante, New Jersey Institute of Technology/BCC S H Leung, City University of Hong Kong David Levy, University of Sydney Shaoying Liu, Hiroshima City University Fabrizio Lombardi, Texas A&M University Tomasz Szmuc, Academy of Mining and Metallurgy Cracow Theodor Tempelmeiner, FachHochschule Rosenheim Wilson Wen, Telstra Research Laboratories Submissions and Presentations: Presenters will be chosen on the basis of position papers. Each position paper should be 1 to 5 pages long, and will (1) clearly specify the problem with respect to the application environment, requirements, and external process characteristics, (2) present the solutions, and (3) discuss unsolved problems. All submissions should be made, in five copies, by April 22, 1996 to one of the following: The Americas: Europe & Africa: Jose Salinas Jacques Skubich Code 2153, Bldg 80 L3I - INSA Naval Undersea Warfare Center Batiment 502 New London, CT 06320 20 Avenue Albert Einstein USA 69621 Villeurbanne Cedex FRANCE Tel: (860) 440 - 4755 Tel: (+33) 72 43 84 86 Fax: (860) 440 - 5987 Fax: (+33) 72 43 85 18 salinas@starbase.nl.nuwc.navy.mil Jacques.Skubich@if.insa-lyon.fr Asia & Oceania: Ling Guan Department of Electrical Engineering University of Sydney NSW 2006 AUSTRALIA Tel: (612) 93 51 21 54 Fax: (612) 93 51 38 47 ling@ee.su.oz.au Deadline for notification of acceptance will be made by June 17, 1996 Sponsored by: IEEE CS TC on Real-Time Systems With much appreciated support from: Honeywell Naval Surface Warfare Center Office of Naval Research Real-Time Computing Laboratory at NJIT Institute for Systems Integration at NJIT ------------------------------------------------------------------------------ Message 5; Postmarked Mon Feb 12 21:47:24 1996 From: Kevin Jeffay Subject: CFP: Second Symposium on Operating Systems Design and Implementation Content-Length: 6239 Announcement and Call for Papers Second Symposium on Operating Systems Design and Implementation (OSDI '96) October 29-November 1, 1996 Seattle, Washington, USA Sponsored by the Usenix Association Co-sponsored by ACM SIGOPS and IEEE TCOS After a successful first OSDI symposium, the next OSDI will continue to focus on practical issues related to modern operating systems. OSDI brings together professionals from academic and industrial backgrounds, and has become the perfect forum for issues concerning the design and implementation of operating systems for modern computing platforms such as workstations, parallel architectures, mobile computers, and high speed networks. The OSDI symposium emphasizes both innovative research and quantified experience in operating systems. We seek papers describing original work concerning the design, implementation and use of modern operating systems. Besides mature work, we encourage submissions describing exceptionally promising well-grounded speculative work, or enlightening negative results. Topics of interest include, but are not limited to: OS structure and organization OS kernel internals, servers and applications Distributed and mobile computing Multiprocessor and parallel systems Communications Storage Management and I/O systems Security in distributed systems Scalability and availability Heterogeneous systems Performance and optimizations Language support for OS OS interaction with HW architecture OS support for embedded systems OS support for real time and multimedia Interaction of OS and applications *Program Committee Karin Petersen, Xerox PARC (co-Chair) Willy Zwaenepoel, Rice Univ. (co-Chair) Peter Chen, Univ. of Michigan Richard Draves, Microsoft Research Carla Ellis, Duke Univ. Jim Gray, Microsoft Bay Area Lab. Kevin Jeffay, Univ. of North Carolina David Johnson, CMU Jay Lepreau, Univ. of Utah Ed Felten, Princeton Univ. Jeff Mogul, DEC WRL Marc Shapiro, INRIA John Wilkes, HP Labs John Zahorjan, Univ. of Washington *Important Dates Full papers due: May 7, 1996 Notification to authors: July 29, 1996 Revised papers due for shepherding: August 19, 1996 Camera-ready full papers due: September 16, 1996 *Submission Process Authors are required to submit full papers by May 7, 1996. Submitted papers should be no longer than 14 pages, spaced no closer than 6 lines per inch (e.g. , standard 10 point font on 12 point baseline), single- or double-column format. Longer submissions will be discarded without review. Very similar pape rs must not have been published or submitted for publication elsewhere. All submissions will be held in the highest confidentiality prior to publication. Papers accompanied by so-called ``non-disclosure agreement'' forms are not acceptable and will be returned unread. The papers will be judged on significance, originality, clarity, relevance, and correctness. The committee will favor papers with reproducible results, especially those supplying detailed data and explanations, or offering to make data sets or source code available. Accepted papers will be shepherded through an editorial review process by a member of the program committee. Authors of accepted papers will be expected to provide an HTML page containing the abstract and links to their paper, slides, and software, if available. Thi s will later be collected into an electronic version of the symposium. Potential authors are encouraged to contact osdi-info@usenix.org or +1 510-528-8649, and to consult http://www.usenix.org/osdi-96 for additional guidance about the submission and review process. *Where to submit Submission of all papers must be made in both paper and electronic form. Fifteen (15) paper copies (double sided if possible) of the paper must be sent to Willy Zwaenepoel Department of Computer Science Rice University 6100 S. Main St. Houston, TX 77005, USA and one electronic copy in Postscript (not ASCII) must be submitted by electronic mail to osdi-papers@cs.rice.edu. For administrative reasons (not blind reviewing), every submission (in both its paper and electronic form) should include one additional page containing: (i) p aper title and authors, indicating any who are full time students, and (ii) for the author who will act as the contact to the program committee, his or her name, paper mail address, daytime and evening phone numbers, e-mail address and fax number, if available. The cover sheet mailed with the electronic paper submission should be in ASCII to facilitate accurate on-line book keeping and should be included in the same electronic mail message as the Postscript file containing the paper. All submissions will be acknowledged by May 21, 1996. If your submission is not acknowledged by this date please contact the program chairs promptly at osdi@cs.rice.edu. *Symposium Overview The symposium will consist of one day of tutorials, followed by 2.5 days of single-track technical sessions with presentations of the refereed papers, and a half day workshop on a topic yet to be determined. One of the technical sessi ons will be dedicated to work-in-progress presentations and will be described in la ter announcements. The refereed papers will be published in the Proceedings, provid ed free to technical session attendees and available for purchase from Usenix. Th e Proceedings will be distributed to SIGOPS and TCOS members. A few papers of particular merit will be selected to receive an award and will be published in the IEEE TCOS Bulletin. *Registration Materials Materials containing all details of the technical and tutorial programs, registration fees and forms, and hotel information will be mailed beginning in August 1996. If you wish to receive the registration materials, please contact Usenix at: Usenix Conference Office 22672 Lambert Street, Suite 613 Lake Forest, CA 92630 USA +1 714-588-8649; Fax: +1 714-588-9706 Internet: conference@usenix.org ------------------------------------------------------------------------------ Message 6; Postmarked Sat Feb 17 17:39:00 1996 From: Insup Lee Subject: CFP: Workshop on Real-Time Computing Systems and Applications Content-Length: 6293 CALL FOR PAPERS Third International Workshop on Real-Time Computing Systems and Applications October 30 - November 1, 1996 Seoul, Korea Objectives ---------- The purpose of this third international workshop is to bring together researchers and developers from academia, industry, and government for advancing the technology of real-time computing systems and applications. The workshop has several goals: * to investigate advances in real-time systems and applications; * to promote interaction among real-time systems and applications; * to evaluate the maturity and directions of real-time system technology. Workshop attendees will explore the best current ideas on real-time computing systems and applications. Papers describing new ideas, promising approaches, experiences with practical and research systems, and work in progress are considered particularly appropriate. Proposals for panel sessions are also solicited. Topics of the workshop include - real-time requirements and designs specifications; - scheduling and resource management; - real-time operating systems; - real-time software systems and programming environments; - real-time networking and communications; - real-time architectures and databases; - multimedia computing; - responsive systems and fault-tolerant systems; - case studies and applications. Submissions ----------- Authors should submit an extended abstract, not exceeding 2500 words (10 double-spaced pages), by electronic mail in postscript to one of the Program Co-Chairs by June 10, 1996. The cover page should contain the title, author's full name(s), affiliation, address, telephone number, fax number, e-mail address, an abstract and keywords. The same content of the cover page should also be emailed separately in plain ASCII text. It is recommended to use UNIX system to compress and uuencode as follows: "compress name.ps; uuencode name.ps.Z name.ps.Z > fileformail." You may also submit 5 copies of the paper to one of the Program Co-Chairs only if electronic submission is not possible. The paper should focus on insights and lessons gained from recent research and practical experience in real-time computing systems and applications. Proposals for panel sessions should be e-mailed to the program co-chairs. Authors will be notified of acceptance by July 18, 1996. Camera ready copies of accepted papers will be required by August 19, 1996. Accepted papers will be published in the Proceedings by IEEE Computer Society Press. Workshop timetable ------------------ Submission deadline June 10, 1996 Acceptance notification July 18, 1996 Camera ready papers due August 19, 1996 Workshop October 30-Novemver 1, 1996 Sponsored by (Approval pending) ---------------------------------- Korea Information Science Society In cooperation with (Approval pending) -------------------------------------- Information Processing Society of Japan IEEE Computer Society Technical Committee on Real-Time Systems The Institute of Electronics, Information and Communication Engineers Supported by (Approval pending) ------------ TRON Association, Japan Korea Science and Engineering Foundation Organization ------------ General Co-Chairs: Hideyuki Tokuda (Keio Univ., Japan) Heung-Soon Ihm (Hyundai Electronics Industry Co.) Program Co-Chairs: Heonshik Shin Department of Computer Engineering College of Engineering Seoul National University Seoul 151-742, Korea Tel: +82-2-880-7295 Fax: +82-2-886-7589 E-mail: shinhs@ce2.snu.ac.kr Insup Lee Department of Computer and Infomation Science University of Pennsyvania Philadelphia, PA 19104-6389 Tel: +1-215-898-3532 Fax: +1-215-898-0537 E-mail: lee@central.cis.upenn.edu Program Committee: Tadashi Ae (Hiroshima Univ., Japan) Sang Kyoon Cha (Seoul National Univ., Korea) Kyung-Hee Choi (Ajou Univ., Korea) Ling Guan (Univ. of Sidney, Australia) Dieter K. Hammer (Eindhoven Univ. of Technology, Netherlands) Yoshiaki Kakuda (Osaka Univ., Japan) Jong Kim (Pohang Institute of Technology, Korea) Moon Hae Kim (Konkuk Univ., Korea) Tei-Wei Kuo (National Chung Cheng Univ., Taiwan) Sungyoung Lee (Kyunghee Univ., Korea) Kwei-Jay Lin (Univ. of California, Irvine, USA) Lennart Lindh (Univ. of Eskilstuna, Sweden) Jane Liu (Univ. of Illinois, USA) Doug Locke (Loral Federal Systems, USA) Al Mok (Univ. of Texas, USA) Tatsuo Nakajima (JAIST, Japan) Kyu-Ho Park (KAIST, Korea) John A. Stankovic (Univ. of Massachusetts, USA) Ichiro Suzuki (Univ. of Wisconsin, Milwaukee, USA) Hiroaki Takada (Univ. of Tokyo, Japan) Eiichi Takahashi (Electrotechnical Lab., Japan) Morikazu Takegaki (Mitsubishi Electric Corp., Japan) Farn Wang (Academia Sinica, Taiwan) Tutorial Chair: Sang Hyuk Son (Univ. of Virginia, USA) Local Arrangement Chair: Sang-Lyul Min (Seoul National Univ., Korea) Finance Chair: Seung-Min Yang (Soongsil Univ., Korea) Publicity Co-Chair: Seog Park (Sogang Univ., Korea) Kenji Toda (Electrotechnical Lab., Japan) Publication Chair: Seongsoo Hong (Seoul National Univ., Korea) Executive Committee: Wook Hyun Kwon (Seoul National Univ., Korea) Kang G. Shin (Univ. of Michigan, USA) Heonshik Shin (Seoul National Univ., Korea) Sang H. Son (Univ. of Virginia, USA) Kenji Toda (Electrotechnical Lab., Japan) Hideyuki Tokuda (Keio Univ., Japan) Advisory Committee: Kane Kim (UC Urvine, USA) Kern Koh (Seoul National Univ., Korea) Seung-Kyu Park (Ajou Univ., Korea) Mario Tokoro (Keio Univ./Sony CSL, Japan) Yoshinori Yamaguchi (ETL, Japan) RTCSA'96 WWW home page at "http://happy.snu.ac.kr/RTCSA96/" and mirror page at "http://tron.is.s.u-tokyo.ac.jp/RTCSA96/". ----------------------------------------------------------------------------- ------------------------------------------------------------------------------ Message 7; Postmarked Wed Feb 21 08:53:33 1996 From: Matz Kindahl Subject: Call for Papers - FTRTFT '96 Content-Length: 5042 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 (University of York), C. Dwork (IBM Almaden), T. Henzinger (Cornell University, Ithaca, N.Y.), H.Hansson (Uppsala University), J. Hooman (Eindhoven University of Technology), B. Jonsson (co-chair) (Uppsala University), M. Joseph (University of Warwick), B. Kurshan (AT&T/Bell Labs, New Jersey), K. Larsen (Aalborg University), N. Leveson (University of Washington), A. Mok (University of Texas, Austin), E.R. Olderog (University 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 (University of Kiel), F. Schneider (Cornell University, Ithaca, N.Y.), J. Sifakis (IMAG-LGI, Grenoble), J. Torin (Chalmers University of Technology), J. Vytopil (Kath. University, Nijmegen), K.-E. Ĺrzén (Lund University of Technology) ORGANIZING COMMITTEE Parosh Abdulla: Publicity Per Gunningberg: Local Organization Hans Hansson: Sponsorship Wang Yi: Tools Demonstrations STEERING COMMITTEE M. Joseph (University of Warwick), A. Pnueli (Weizmann Inst., Rehovot), H. Rischel (DTU, Lyngby), W.-P. de Roever (University of Kiel), J. Vytopil (Kath. University, 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 8; Postmarked Wed Feb 21 08:54:43 1996 From: broggi@Verdi.Eng.UniPR.IT (Alberto Broggi) Subject: CFP: Hawaii Intl Conf: ENGINEERING COMPLEX COMPUTER SYSTEMS Content-Length: 8452 CALL FOR PAPERS * ENGINEERING COMPLEX COMPUTER SYSTEMS * Thirtieth Annual HAWAII INTERNATIONAL CONFERENCE ON SYSTEMS SCIENCES HICSS - 30 Maui, Hawaii, January 7-10, 1997 Papers are invited for the Minitrack on ENGINEERING COMPLEX COMPUTER SYSTEMS as part of the Advanced Technology track at the Hawaii International Conference on System Sciences (HICSS). 1. PURPOSES Modern computer systems and applications embody many different characteristics and properties that are currently addressed, studied, and optimized independently. Nevertheless, although it is of basic importance to focus on these aspects independently, as a whole these properties feature a complex interrelationship, and thus a higher-level view of the complete project becomes mandatory. While perhaps some of the earlier computer systems could be described, designed and implemented with a particular focus on one objective (such as fault-tolerance or timeliness), or using a single method (such as Structured Programming), it is very questionable whether such modern and future applications can be. Nowadays almost all electronic products are becoming more and more software based: complex computer systems are becoming common in many sectors, such as manufacturing, communications, defense, transportation, aerospace, hazardous environments, energy, health care, etc. These systems feature a number of different characteristics (such as distributed processing, heterogeneous computational paradigms, high speed networks, novel bus systems, or special-purpose hardware enhancements in general) and performance requirements (such as real-time behavior, fault tolerance, security, adaptability, development time and cost, long life concerns). The concurrent satisfaction of the systems requirements have a considerable impact on the hardware characteristics and vice-versa. The analysis of the complete project, as a whole, is a major point in the design of the computer system itself and plays a basic role throughout the entire system life. The ECCS Minitrack will 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. 2. ADDRESSED TOPICS: Papers are solicited on all major aspects of ECCS including specifying, designing, prototyping, building, testing, operating, maintaining, and evolving of complex computer systems, including: * Software engineering, re-engineering, reverse engineering * Complex real-time architectures, tools, environments and languages * AI and intelligent systems * Database and data management * Dependable real-time systems * Virtual reality, multimedia, real-time imaging * Algorithms, optimization and analysis * Analytical techniques * Megaprogramming, visual programming * Performance estimation, prediction and optimization * Prototyping and testing techniques * Formal methods and formal specification techniques * Hardware/software co-design * Communications, networking, mobile computing * Highly heterogeneous, distributed and parallel platforms * Case studies and project reports 3. MINITRACK COORDINATORS Alberto Broggi Alexander D. Stoyenko Dip. Ingegneria dell'Informazione Real-Time Computing Laboratory, CIS Universita` di Parma New Jersey Institute of Technology I-43100 Parma, Italy Newark, New Jersey 07102 USA Fax: +39 - 521 905723 Fax: (201) 596-5777 Email: broggi@CE.UniPR.IT Email: alex@vulcan.njit.edu Papers should be submitted to: Alberto Broggi HICSS'97 ECCS Coordinator Dipartimento di Ingegneria dell'Informazione Universita` di Parma, Viale delle Scienze I-43100 Parma, Italy 4. FURTHER AND UP-TO-DATE INFORMATION: Further information about the ECCS Minitrack are available at the following WWW address: http://WWW.CE.UniPR.IT/hicss/eccs If you wish to receive automatic updates about this event, please send Email to: broggi@CE.UniPR.IT indicating "ECCS" as subject. * INSTRUCTIONS FOR SUBMITTING PAPERS: 1. Submit 6 (six) copies of the full paper, consisting of 20 - 25 pages double-spaced including title page, abstract, references and diagrams directly to the minitrack coordinator. 2. Do not submit the paper to more than one minitrack. The paper should contain original material and not be previously published or currently submitted for consideration elsewhere. 3. Each paper must have a tile page which includes the title, full name of all authors, and their complete addresses including affiliation(s), telephone number(s) and e-mail address(es). 4. The first page of the paper should include the title and a 300-word abstract. * DEADLINES: March 15, 1996: Abstracts submitted to track coordinators for guidance and indication of appropriate content: authors unfamiliar with HICSS or those who wish additional guidance are encouraged to contact any coordinator to discuss potential papers. June 1, 1996: Full papers submitted to the appropriate track, or minitrack coordinator. August 31, 1996: Notification of accepted papers mailed to authors. October 1, 1996: Accepted manuscripts, camera-ready , sent to minitrack coordinators; one author from each paper must register by this time. November 15, 1996: All other registrations must be received. Registrations received after this deadline may not be accepted due to space limitation. * CONFERENCE PROCEEDINGS: The conference Proceedings are published and distributed by IEEE Computer Society. The ENGINEERING COMPLEX COMPUTER SYSTEMS Minitrack is part of the Advanced Technology. For more information on the Advanced Technology Track contact: Ralph H. Sprague, Jr. E-mail: sprague@hawaii.edu Voice: (808) 956-7082 Fax: (808) 956-9889 * OTHER CONFERENCE TRACKS There are three other majors tracks in the conference: Software, Digital Documents, and Information Systems. The Information Systems Track has several minitracks that focus on a variety of research topics in Collaboration Technology, Decision Support and Knowledge-Based Systems, and Organizational Systems and Technology. For more information on the other tracks, please contact: Software Technology Track: Hesham El-Rewini rewini@unocss.unomaha.edu Digital Documents Track: M. Stuart Lynn msylnn@ucop.edu Information Systems Track: Ralph H. Sprague, Jr. sprague@hawaii.edu Jay F. Nunamaker, Jr. nunamaker@bpa.arizona.edu Eileen Dennis (Track Assistant) edennis@uga.cc.uga.edu The purpose of HICSS is to provide a forum for the interchange of ideas, research results, development activities, and applications among academicians and practitioners in computer-based systems sciences. The conference consists of tutorials, advanced seminars, presentations of accepted papers, open forum, tasks forces, and plenary and distinguished guest lectures. There is a high degree of interaction and discussion among the conference participants because the conference is conducted in a workshop-like setting. For more information on the conference, please contact the conference coordinator: Barbara Edelstein College of Business Administration University of Hawai'i 2404 Maile Way Honolulu, HI 96822 Voice: (808) 956-3251 Fax: (808) 956-9685 E-mail: hicss@hawaii.edu or visit the World Wide Web page: http://www.cba.hawaii.edu/hicss ------------------------------------------------------------------------------ Message 9; Postmarked Fri Feb 16 02:25:31 1996 From: gabrielw@dc.uba.ar (Gabriel Wainer) Subject: Invitation to join Real-Time list in Spanish Content-Length: 639 This message is to invite you to join tiempo-real@dc.uba.ar, a mailing list discussing Real-Time topics in spanish. The main aim of this mailing list is to favor the interchange of information between Real-Time researchers and specialists of in spanish language (including bibliography discussion, calls for papers, technical reports, invitation to conferences, and so on). The mailing list has been created in June 1995, and by the moment more than 200 spanish-speaking specialists have joined us (most from Spain, Argentina and Mexico). To subscribe, send a message to str-adm@dc.uba.ar including your name and e-mail address. ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------