Subject: IEEE-CS TC-RTS Newsletter for Mon May 20, 1996 _______________________________________________________________________________ __ _ __ ___ ___ __ __ I E E E Technical Committee |\ | |_ | | (_' | |_ | | |_ |_) C S on Real-Time Systems | \| |__ |/\| ,_) |__ |__ | | |__ | \ _______________________________________________________________________________ Table of Contents Line ----------------- ---- 1. Azer Bestavros (20 lines) RTAS'96 Early Registration Deadline is TODAY (5/20/96)............. 2 2. Kevin Jeffay (502 lines) RTAS'96 Advance Program............................................ 22 3. andy@minster.cs.york.ac.uk (93 lines) CFP: 8th International Real-Time Ada Workshop...................... 525 4. Stefan Poledna (63 lines) New book "Fault-tolerant real-time systems: The problem of replic.. 618 5. kang@saul.cis.upenn.edu (Inhye Kang) (49 lines) Third International Workshop on Real-Time Computing Systems and A.. 681 6. Koren Gilad (99 lines) Bar-Ilan Workshop on RT and FT Systems............................ 736 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<* START OF THE IEEE-CS TC-RTS NEWSLETTER *>>>>>>>>>>>>>>>>>> ------------------------------------------------------------------------------ Message 1; Postmarked Tue May 20 02:40:53 1996 Subject: RTAS'96 Early Registration Deadline is TODAY (5/20/96) From: Azer Bestavros Content-Length: 481 Dear IEEE-CS TC-RTS reader: This is a reminder that the deadline for early registration for RTAS'96: The 2nd IEEE Real-Time Technology and Applications Symposium is TODAY. In a following message you will find the advance program and instructions on how to register via Email, Fax, etc. The URL for the conference is at "http://www.cs.unc.edu/~jeffay/rtas.html", and can be reached from the IEEE-CS TC-RTS home page at http://cs-www.bu.edu/pub/ieee-rts All the best, --Azer ------------------------------------------------------------------------------ Message 2; Postmarked Tue May 14 22:40:53 1996 Subject: RTAS'96 Advance Program From: Kevin Jeffay Content-Length: 19046 ADVANCE PROGRAM Second IEEE Real-Time Technology and Applications Symposium June 10-12, 1996 Boston, MA Sponsored by The IEEE Computer Society T. C. on Real-Time Systems in Cooperation with the Office of Naval Research Contents 1. Introduction 2. Technical Program 3. Tutorial Descriptions 4. Conference Organizers 5. Registration Form 6. Hotel Reservation 7. Local Information - Directions - About Boston City ======================= 1. Introduction ======================= Real-time systems are defined as those systems in which the correctness of the system depends not only on the logical result of computation but also on the time at which the results are produced. This symposium is a major forum for the discussion and evaluation of emerging principles and practices underlying real- time system development. This year, the main events of the symposium include: four tutorials, two panels, six sessions of technical papers, covering topics such as * Performance Engineering * Object-Oriented Modeling * ATM Support for Real-Time Applications * Systems Support For Multimedia Computing * System development and analysis tools * Operating systems and distributed systems * Formal methods and processor scheduling * Case studies and applications * Database and concurrency control * Software Engineering For other information, contact Prof. Wei Zhao, Dept of Computer Science, Texas A&M University, College Station, TX 77843-3112, phone: 409 845-5098, fax: 409 847 8578, email: realtime@cs.tamu.edu, or visit our home page at http://www.cs.unc.edu/~jeffay/rtas.html. ==================== 2. Technical Program ==================== Monday, June 10 8:00am - 8:30am Registration 8:30am - 8:45am Conference Chairs Welcome 8:45am - 10:25am Paper Session I - Case Studies and Applications * Putting Fixed Priority Scheduling Theory into Engineering Practice for Safety Critical Applications, I. Bate, A. Burns, University of York. * Building Real-Time Music Tools Visually With Sonnet D. Jameson, IBM T. J. Watson Research. * A Robotic Assembly Application on the Spring Real-Time System, C. Bickford, M. Teo, G. Wallace, J. Stankovic, K. Ramamritham, University of Massachusetts. * Implementation of a Hardware/Software Platform for Real-Time Data-Intensive Applications in Hazardous Environments. Case Study: Inspection of nuclear power plants, J. Conde, A. Garcia, A. Vina, Universidad de La Coruna, Spain. 10:25am - 10:50am Break 10:50am - 12:15am Paper Session II - Databases and Concurrency Control * Supporting Predictability in Real-Time Database Systems Y.-K. Kim, S. H. Son, University of Virginia. * AIDA-based Real-Time Fault Tolerant Broadcast Disks Azer Bestavros, Boston University * A Semantic-Based Concurrency Control Protocol for Real-Time Transactions, C.-S. Peng, K.-J. Lin, University of California - Irvine. 12:15noon - 1:45pm Lunch 1:45pm - 3:45pm Tutorial I - ATM Support For Distributed Real-Time Applications, Chia Shen, Mitsubishi Electric Research Laboratory 3:45pm - 4:15pm Break 4:15pm - 5:45pm Panel I - Evaluating Technology for Real-Time: Theory Meets Practice, Arkady Kanevsky, Mitre Corporation, Moderator 5:45pm - 6:15pm Break 6:15pm - 7:00pm IEEE TC on Real-Time Systems Business Meeting 7:00pm Reception Tuesday, June 11 8:30am - 10:30am Paper Session III - Software Engineering * The Design of an Open System with Distributed Real-Time Requirements, R. Ginis, V. Wolfe, J. Prichard, East Carolina University * A. Framework for Simulation of Concurrency Control Policy in Real-Time Systems, C. Lai, R. Callison, Oregon State University * Building Blocks for Designing for Evolvability: Evolving Real-Time Systems, M. Gagliardi, R. Rajkumar, L. Sha, Carnegie Mellon University. * Temporal Analysis and Object-Oriented Real-Time Software Development: A case study with ROOM/ObjecTime D. Gaudreau, P. Freedman, McGill College, Canada 10:30am - 11:00am Break 11:00am - 12:30noon Paper Session IV - Communications * Providing Message Delivery Guarantees in Pipelined Flit- Buffered Multiprocessor Networks, S. Balakrishnan, F. Ozguner, Ohio State University * Resource Management for Real-Time Communication: Making Theory Meet Practice, A. Mehra, A. Indiresan, K. Shin, University of Michigan. * Evaluation of Wireless Soft Real-Time Protocols M. Markowski, A. Sethi, University of Delaware. 12:30noon - 2:00pm Lunch 2:00pm - 4:00pm Tutorial II - Performance Engineering Real-Time Systems, Jay K. Strosnider, Carnegie Mellon University, Presenter 4:00pm - 4:30pm Break 4:30pm - 6:00pm Paper Session V - Real-Time System Development and Analysis Tools * CAISARTS: A Tool for Real-Time Scheduling Assistance M. Humphrey, J. Stankovic, University of Massachusetts. * DRTSS: A Simulation Framework for Complex Real-Time Systems M. Storch, J. Liu, University of Illinois. * Supporting the Specification and Analysis of Timing Constraints L. Ko, C. Healy, E. Ratliff, R Arnold, D. Whalley, Florida State University, Marion Harmon, Florida A&M University 6:00pm - 8:00pm Dinner 8:00pm - 10:00pm Panel II - Future Directions and Challenges in Real-Time Systems Research, Ragunathan Rajkumar, Carnegie Mellon University, Moderator Wednesday, June 12 8:30am - 10:00am Paper Session VI - Formal Methods and Processor Scheduling * Scalable Compositional Reachability Analysis of Real-Time Concurrent Systems, Farn Wang, Academia Sinica, Taiwan. * Mechanical Verification of Timed Automata: A Case Study M. Archer, C. Heitmeyer, Naval Research Laboratory. * Adding Instruction Cache Effect to Schedulability Analysis of Preemptive Real-Time Systems, J. Busquets, A. Wellings, U. Politecnica de Valencia, Spain. 10am - 10:30am Break 10:30am - 12:30noon Tutorial III - Real-Time Object-Oriented Modeling, Bran Selic, ObjecTime Limited, Presenter. 12:30noon - 2:00pm Lunch 2:00pm - 4:00pm Paper Session IV - Operating Systems and Distributed Systems * Predictable Communication Protocol Processing in Real-Time Mach, C. Lee, K. Yoshida, C. Mercer, R. Rajkumar, Carnegie Mellon University. * Efficient Worst Case Timing Analysis of Data Caching S. Kim, S. Min, R. Ha, Seoul National University. * EMERALDS: A Microkernel for Embedded Real-Time Systems K. Zuberi, K. Shin, University of Michigan. * RTCAST: Lightweight Multicast for Real-Time Process Groups T. Abdelzaher, A. Shaikh, F. Jahanian, K Shin, University of Michigan, ****** Best Student Paper Award Winner ****** 4:00pm Closing Remarks and Adjournment ================== 3. Tutorial Descriptions =================== Note that admission to all tutorials is included in the conference registration fee. Tutorial I: On ATM Support For Distributed Real-Time Applications Dr. Chia Shen, Mitsubishi Electric Research Laboratory This tutorial will give a brief introduction of the emerging ATM technology. Then the problem of applying ATM technology in designing distributed industrial plant control applications with integrated real-time communication requirements will be considered. In particular, it first examines (1) the design space using current ATM service categories and their corresponding traffic models, and (2) the mathematical and practical implications of the traffic models. It then presents a taxonomy of the cell scheduling algorithms available to implement the service categories that can provide performance guarantees in the ATM layer. Through this examination, the gap between what is usually assumed in research and what the actual ATM network will provide will be made clear. It next shows how real-time communication can be mapped onto ATM service categories, and demonstrates the limitations of ATM services. Schemes which can be employed to overcome the limitations and some current research issues will be discussed. Finally, issues in supporting the IETF QoS guarantee standards RSVP and Integrated Services over ATM will be briefly presented. A comparison between the Internet style QoS guarantee and the QoS guarantee required by distributed hard real-time systems will be drawn. Tutorial II: Performance Engineering Real-Time Systems Prof. Jay K. Strosnider, Department of Electrical and Computer Engineering Carnegie Mellon University It is not uncommon to have serious performance problems when developing complex real-time/multimedia systems. Part of the problem is the lack of a simple, scaleable technique for accurately modeling the performance properties of large, complex systems. Discrete event simulation techniques, which are commonly used, scale poorly with system size and complexity. In this tutorial we outline a performance engineering strategy based upon simple, yet accurate analytic models. Our performance engineering approach which will enable practitioners with little training to establish and maintain performance baselines for complex real-time/multimedia systems. The approach has four key components: a unified engineering framework for reasoning about timing correctness on shared system resources (OS/CPUs, buses, networks and disks), a systems integration framework (Distributed Pipelining) which supports the composition of arbitrarily large systems with fully predictable timing properties, a Performance Engineering toolset that hides the complexity while exposing the power and utility of our approach, and a Performance Engineering process that integrates the methodology into the systems development process. We will summarize each of these key components and then go through a set of design and evaluation exercises using the SEW tool set. The methodology has been and is being applied at IBM, Loral, IBM, Texas Instruments and Siemens for desktop DSP subsystems, accoustic suites for submarines, air traffic control systems, and patient monitoring systems. The SEW toolset has runs on a laptop which combines with an LCD plate supports interactive system design and evaluation exercises. Tutorial III: Real-Time Object-Oriented Modeling (ROOM) Bran Selic, Vice President of Research & Technology, ObjecTime Limited The intricacy of most real-time software systems is simply a reflection of the bewildering complexity of the real-world environments in which they are embedded. This complexity, combined with strict constraints on response time and performance, requires special modeling capabilities not found in general-purpose software development methods. Real-Time Object-Oriented Modeling (ROOM) is a practical method (used on more than 100 projects) that blends the advantages of the object paradigm with advanced modeling concepts expressly designed for developing real-time software. It places special emphasis on the higher "architectural" levels that are key to constructing reliable, comprehensible, and evolvable software. ROOM is also characterized by its capacity to exploit computer-based automation (through executable models, component reuse, and automatic code generation techniques) in order to improve product quality and team productivity. The objective of the tutorial is to familiarize students with how the object paradigm can be successfully exploited in the development of real-time software. ================== 2. Conference Organizers ================== General Chair Wei Zhao Texas A&M University Program Chair Kevin Jeffay University of North Carolina at Chapel Hill Treasurer Jianer Chen Texas A&M University Publicity Chair Douglas Niehaus Univ. of Kansas Local Arrangements Chair Peter Krupp Mitre Corporation Industrial Chair Arkady Kanevsky Mitre Corporation Ex-Officio: (RTS-TC Chair) Al Mok University of Texas at Austin Program Committee Ted Baker, Florida State Univ. Alan Burns, University of York, U.K. Rebecca Callison , Oregon State Univ. David Garlan, CMU Richard Gerber , Univ. of Maryland Connie Heitmeyer, Naval Research Lab. Michelle M. Hugue, Opsimath Research Farnam Jahanian, Univ. of Michigan Michael B. Jones, Microsoft Research Dilip Kandlur, IBM T. J. Watson Arkady Kanevsky, Mitre Corporation Tei-Wei Kuo, Chung Cheng U., ROC Jane Liu, University of Illinois Doug Locke, Loral Federal Systems Sias Mostert, Univ. of Stellenbosch Douglas Niehaus, Univ. of Kansas Raj Rajkumar, SEI/CMU Kang G. Shin, Univ. of Michigan Jack Stankovic, Univ. of Massachusetts Jay Strosnider , CMU Sandra R. Thuel, AT&T Bell Lab Farn Wang , Academia Sinica, ROC ================= 5. Conference Registration ================== Mail to: Prof. Wei Zhao RTAS'96 Dept of Computer Science Texas A&M University College Station, TX 77843-3112 Phone: 409 845-5098 Fax: 409 847 8578 Email: realtime@cs.tamu.edu. Name: __________________________________ Affiliation _______________________________ Address: ________________________________ Address: ________________________________ Phone: ____________ Fax: ________________ Email: ____________________________________ IEEE Membership No: _____________________ Fees: Before May 20 After May 20 IEEE Members $335 $410 Non-Members $425 $510 Full-time Students $160 $200 Registration can be done through email. The email address is realtime@cs.tamu.edu. Conference registration includes all the events of the symposium. To receive student rate, students are required to have advisor's name and signature at the time of registration. Advisor Name/Signature _______________________ Written request for refunds, subject to a processing fee, must be made no later than May 20, 1996. Payment can be made by check, money order, or credit card. Please make checks or money orders payable, in US currency, to RTAS'96. Credit Card: [] Visa [] Mastercard [] American Express Credit Card Number: _______________________ Cardholder Name: ________________________ Credit Card Expiration Date:_______________ Total Charges Authorized:__________________ Signature: _______________________________ ================== 6. Hotel Reservation Form ================== Mail to: Holiday Inn 1200 Beacon Street Brookline, MA 02146 Phone: 617 277-1200 Fax: 617 734-6991. For the special conference rate, please book before May 20, 1996 and mention RTAS'96. Name: __________________________________ Affiliation______________________________ Address: _______________________________ Phone: _____________ Fax: _______________ Arrival Date: __________________________ Departure Date: _______________________ Accommodation desired: [ ] Single $106 [ ] Double $106 Parking, sales and occupancy taxes are extra. Check-in is after 2:00pm, check-out is before 12:00noon One night's deposit is required with each reservation. A valid major credit card guarantee is acceptable in lieu of cash deposit. Please check form of payment. [] Visa [] Mastercard [] American Express Credit Card Number: ____________________ Cardholder Name: _____________________ Credit Card Expiration Date:____________ Total Charges Authorized: _____________ Signature: ____________________________ =================== 7. Local Information ====================== Directions to the conference site: Holiday Inn Boston-Brookline * From the east by car: Mass Turnpike 90 to exit 18. Follow Cambridge signs. Take right onto Storrow Drive. Take Kenmore Square exit. First right Beacon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles on the right hand side. * From the south by car: Take 93 south to Storrow Drive. Follow Storrow Drive to Kenmore Square exit. Exit on left, bear right when exiting to Kenmore Square. At first light take a right on Beacon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles down on the right. * From the north by car: Take 95 North to split in highway and follow signs for 93/95 North to Boston. Follow 93 North to Storrow Drive exit. Follow Storrow Drive to Kenmore Square exit. Exit on left, bear right when exiting to Kenmore Square. At first light take a right on Beacon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles down on the right. * From Logan Airport by car: Take Summer Tunnel to route 93 North. Follow 93 North to Storrow Drive exit. Follow Storrow Drive to Kenmore Square exit. Exit on left, bear right when exiting to Kenmore Square. At first light take a right on Beacon Street. Follow Beacon Street through Kenmore Square. Holiday Inn is 3/4 miles down on the right. * From Logan Airport by train ("T") Take Shuttle Bus to "T" station. Take the Blue Line to Government Center stop. Go upstairs and transfer to the Green Line on a "C" (Cleveland Circle) Train out of Boston. The Holiday Inn is the 4th stop above the ground (the Saint Paul Street stop). About Boston City For events, maps, and other information about Boston city please visit http://www.ll.mit.edu/Links/metroboston.html ****** See you in Boston ****** ------------------------------------------------------------------------------ Message 3; Postmarked Thu Apr 25 03:53:51 1996 From: andy@minster.cs.york.ac.uk Subject: CFP: 8th International Real-Time Ada Workshop Content-Length: 2952 The web page address of the call for participation in the 8th International Real-Time Ada Workshop can be found at http://dcpu1.cs.york.ac.uk:6666/real-time/rtaw8/IRTAW8.html ------------------------------------------------------------------------------ 8th International Real-Time Ada Workshop IRTAW 8 http://dcpu1.cs.york.ac.uk:6666/real-time/rtaw8/IRTAW8.html 8-11 April 1997, Ravenscar, North Yorkshire, England CALL FOR PARTICIPATION Over the last decade, the International Real-Time Ada Workshops have provided a focus for identifying problems with Ada 83, proposing solutions for those problems and evaluating proposed language changes. Ada 95 is now an ISO standard and validated compilers are beginning to emerge. The availability of both commercial and free compilers means that Ada 95 is now capable of reaching a wide selection of the real-time community. The goals of the 8th IRTAW are to: o examine and develop paradigms for using Ada 95 for real-time single processor, multiprocess and distri- buted systems (including issues of hard and flexible scheduling). o consider reports on experiences with using Ada 95 on actual real-time projects. o identify the benefits and impacts of using object- oriented programming in multi tasking (potentially dis- tributed) real-time systems. o explore the use of Ada 95 in developing multi-tasking components which are resilient to software design errors and hardware failures. o develop criteria for the use of Ada 95 in safety criti- cal systems. o understand the important aspects of implementing Ada 95 run-time support systems for the Safety Critical Sys- tems, Systems Programming, Real-Time and Distributed Systems Annexes. Participation at the Workshop is by invitation following the submission of a Position Paper addressing one or more of the above topics. Position papers should be between five and ten pages. All accepted papers will appear in the Workshop Proceedings which will be published as a special edition of Ada Letters. Five copies of Position Papers should be sent to: Dr A.J. Wellings Department of Computer Science University of York Heslington York, YO1 5DD U.K. Alternatively, email a postscript version of the paper to Andy Wellings (andy@minster.york.ac.uk). Workshop Committee: Ted Baker, John Barnes, Alan Burns, Jorge Diaz Herrera, Anthony Gargaro, Mike Kamrad, Doug Locke, Offer Pazy, Juan de la Puente, Tullio Vardanega, Dick Volz, Andy Wellings. Important Dates Receipt of Position Paper 1 September 1996 Notification of Acceptance 1 December 1996 Final Copy of Position Paper 1 February 1997 Workshop Date 8-11 April 1997 ------------------------------------------------------------------------------ Message 4; Postmarked Wed May 8 01:58:22 1996 From: Stefan Poledna Subject: New book "Fault-tolerant real-time systems: The problem of replica determinism" Content-Length: 2657 New book Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism by Stefan Poledna Technische Universitat Wien, Austria THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE VOLUME 345 Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue their function despite faults. Fault- tolerance and real-time requirements thus constitute a kind of natural combination in process control applications. Systematic fault-tolerance is based on redundancy, which is used to mask failures of individual components. The problem of replica determinism is thereby to ensure that replicated components show consistent behavior in the absence of faults. It might seem trivial that, given an identical sequence of inputs, repli- cated computer systems will produce consistent outputs. Unfortunately, this is not the case. The problem of replica non-determinism and the presentation of its possible solutions is the subject of Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism. The field of automotive electronics is an important application area of fault-tolerant real-time systems. Systems like anti-lock braking, engine control, active suspension or vehicle dynamics control have demanding real- time and fault-tolerance requirements. These requirements have to be met even in the presence of very limited resources since cost is extremely important. Because of its interesting properties Fault-Tolerant Real-Time Systems gives an introduction to the application area of automotive electronics. The requirements of automotive electronics are a topic of discussion in the remainder of this work and are used as a benchmark to evaluate solutions to the problem of replica determinism. Kluwer Academic Publishers, Boston 168pp Hardbound / ISBN: 0-7923-9657-X NLG: 155.00 USD: 82.50 GBP: 58.75 For customers in Mexico, USA, Canada Rest of the world: and Latin America: Kluwer Academic Publishers Kluwer Academic Publishers Group Order Department Order Department P.O. Box 358 P.O. Box 322 Accord Station 3300 AH Dordrecht Hingham, MA 02018-0358 The Netherlands U.S.A. Tel : 617 871 6600 Tel : +31 78 6392392 Fax : 617 871 6528 Fax : +31 78 6546474 Email : kluwer@wkap.com Email : services@wkap.nl ------------------------------------------------------------------------------ Message 5; Postmarked Wed May 8 14:03:43 1996 From: kang@saul.cis.upenn.edu (Inhye Kang) Subject: Third International Workshop on Real-Time Computing Systems and Applications Content-Length: 6291 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. For more information check the 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 6; Postmarked Thu May 16 06:54:47 1996 Return-Path: Received: from sunbeam.cs.biu.ac.il by cs.bu.edu (8.6.10/Spike-2.1) id GAA09109; Thu, 16 May 1996 06:53:53 -0400 Received: from sunlight (sunlight [132.70.1.25]) by sunbeam.cs.biu.ac.il (8.7.5/8.6.12) with ESMTP id NAA10890 for ; Thu, 16 May 1996 13:53:59 +0300 (IDT) From: Koren Gilad Received: (koren@localhost) by sunlight (8.6.12/8.6.12) id NAA21625 for IEEE-RTTC@cs.bu.edu; Thu, 16 May 1996 13:53:15 +0300 Message-Id: <199605161053.NAA21625@sunlight> Subject: Bar-Ilan Workshop on RT and FT Systems To: IEEE-RTTC@cs.bu.edu Date: Thu, 16 May 1996 13:53:15 +0300 (IDT) Precedence: koren In-Reply-To: <199604191924.PAA22335@sphinx.bu.edu> from "Azer Bestavros, TC-RTS maintainer" at Apr 19, 96 03:24:57 pm X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Bar-Ilan Workshop on Real-Time and Fault-Tolerant Systems Bar-Ilan University Sunday, June 16, 1996 In modern life real-time and safety-critical systems are becoming increasingly widespread. One can find them in applications ranging from multimedia and telecommunications to and aircraft control to plant control. The STUDY and PRACTICE of real-time and fault-tolerant systems involves many fields of computer science: formal methods, algorithms (for scheduling and more), operating systems, programming languages , fault-tolerance, performance modeling etc. The Computer Science Institute of Bar-Ilan University is organizing a a one-day meeting for RESEARCHERS and PRACTITIONERS in the areas of Real-Time and Fault-Tolerant Systems. The main goal of the workshop is to create an opportunity for the real-time folks both from academia and from industry to present their current work and/or general views, as well as meeting other researchers and practitioners. At this stage the program is still not final. We take this opportunity to solicit both for your participation and possible presentation. Invited Speakers: Doug Jensen, Technical Director, Embedded and Real-Time Systems Digital Equipment Corp. US. Title: TBA Hans Hanson, Uppsala University, Sweden. Guaranteeing Real-Time Traffic Through an ATM Network Guy Juanole, LAAS-CNRS, University of Toulouse, France. On the Interest of Stochastic Timed Petri Nets for Modeling and Analyzing Critical Time Distributed Systems Neeraj Suri, Allied Signal Research - USA and Technion. Software Integration for Dependable System Design Yair Yauda, Technion and Rephael. Hard Real Time in The Age of Java For further information contact workshop chair: Dr. Gilad Koren Department of Math. and Computer Science Bar-Ilan University, Ramat-Gan, Israel Tel: +972-3-531-8194 E-mail: koren@bimacs.cs.biu.ac.il Or steering committee member: Ron Goldring, Faculty of Industry and Management, Technion Tel: 03-934-9577 or 3973 E-mail: rong@ccsg.tau.ac.il Or check the workshop home page: http://www.cs.biu.ac.il:8080/~koren/cswork.html =========================================================================== Registration will start at 9:30, lectures at 10 AM. The event will take place at the Economics Bldg. Auditorium in Bar-Ilan's campus. Bar-Ilan University is easily reachable from Tel Aviv by taxi or local public transportation (20 minutes) and from Jerusalem (50 minutes by bus Number 400 from the Jerusalem central bus station.). Please acknowledge your participation by email to Dr. Gilad Koren koren@bimacs.cs.biu.ac.il or to the Department Secretaries Telephone: +972-3-531-8407 Fax: +972-3-535-3325 ------------------------------------------------------------------------------ <<<<<<<<<<<<<<<<<<<* 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 ------------------------------------------------------------------------------