Newsgroups: comp.parallel From: Wolfgang Hohl Subject: DCCA-6 Program and Registration Information Organization: Regionales Rechenzentrum Erlangen, Germany Date: 6 Jan 1997 20:24:14 GMT Message-ID: <5arn1e$rqu@server1.ctc.com> DCCA-6 Program and Registration Information ******************************************************************** ###### ##### ##### # ##### # # # # # # # # # # # # # # # # # # # # # # # ##### ###### # # # # ####### # # # # # # # # # # # # ###### ##### ##### # # ##### ******************************************************************** Sixth IFIP International Working Conference on Dependable Computing for Critical Applications Can We Rely on Computers? March 5-7, 1997 Eibsee-Hotel, Grainau, Germany (nearby Garmisch-Partenkirchen) ******************************************************************** see also: http://www3.informatik.uni-erlangen.de:1200/Misc/DCCA97.htm Organized by: - IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance In cooperation with: - IFIP Technical Committee 11 on Security and Protection in Information Processing Systems - IEEE Computer Society Technical Committee on Fault-Tolerant Computing - EWICS Technical Committee 7 on Systems Reliability, Safety and Security - Friedrich-Alexander-Universita"t Erlangen-Nu"rnberg, IMMD III General Chair: Mario Dal Cin, University of Erlangen-Nu"rnberg, Germany Program co-Chairs: Cathy Meadows, Naval Research Laboratory, USA William H. Sanders, University of Illinois, USA Organization Chair: Wolfgang Hohl, University of Erlangen-Nurnberg, Germany Program Committee: Jacob A. Abraham, U. of Texas at Austin, USA Algirdas A. Avizienis, UCLA, USA Pietro Carlo Cacciabue, EU Joint Research Ctr, Italy Alain Costes, LAAS-CNRS, France Flaviu Cristian, UCSD, USA Joanne Bechta Dugan, U. of Virginia, USA Klaus Echtle, U. of Essen, Germany Bernhard Eschermann, ABB, Switzerland W. Kent Fuchs, Purdue U., USA Virgil D. Gligor, U. of Maryland, USA Li Gong, SRI International, USA Dick Hamlet, Portland State U., USA Erik Hollnagel, OECD Halden Reactor Proj., Norway Ravi Iyer, U. of Illinois, USA Karama Kanoun, LAAS-CNRS, France Carl E. Landwehr, Naval Res. Lab., USA Jean-Claude Laprie, LAAS-CNRS, France Bev Littlewood, City U. London, Great Britain Teresa Lunt, DARPA, USA Henrique Madeira, U. of Coimbra, Portugal John McLean, Naval Res. Lab., USA John F. Meyer, U. of Michigan, USA Michele Morganti, ITALTEL, Italy Brian Randell, U. of Newcastle, Great Britain John Rushby, SRI International, USA Rick Schlichting, U. of Arizona, USA Ernst Schmitter, Siemens AG, Germany Yoshi Tohma, Tokyo Denki U., Japan Kishor S. Trivedi, Duke U., USA Y.C. Bob Yeh, Boeing, USA Ex Officio: Hermann Kopetz, TU Vienna, Austria IFIP WG 10.4 Chair About the Conference: Computer systems are used to perform many critical tasks, including guiding aircraft, scheduling railroads, assisting in surgery, controlling nuclear reactors, performing financial transactions, military command and control, and a host of other applications. Properties that such a system must have can include availability, reliability, safety, and security. Although the study of these properties evolved as separate disciplines, they have in common the fact that a user must have a high degree of confidence in the service that the system delivers. The notion of dependability captures these concerns within a single conceptual framework, making it possible to approach the different requirements of a critical system in a unified way. The sixth IFIP Working Conference on Dependable Computing for Critical Applications aims at bringing together researchers and developers from academia, industry, and government who are advancing the state-of-the-art in dependable computing. The program contains an excellent selection of papers that address many issues concerning the dependability of computers used in critical applications, including papers investigating fault-detection mechanisms, dependability and security evaluation, real-time and distributed systems, verification, and case studies. In addition, there will be two panels on topics that are of current interest. The first, entitled "Extending QoS to include Performance, Dependability, and Security," addresses issues in developing a unified framework for system properties. The second, entitled "Survivability in the Face of Malicious Attack," addresses current work in the survivability area. There will also be a special session on "Integrated Modular Avionics" that addresses the particular challenges in building integrated electronics for avionics. PROGRAM Wednesday, March 5, 1997 08:30 Registration 09:00 Opening Session 09:15 Session 1: Fault Detection Mechanisms "Experimental Evaluation of Assigned Signature Checking With Return Address Hashing on Different Platforms" Uwe Wildner, Max-Planck-Society, Potsdam. "Transient Fault Detection in Cache Memories by Employing Small Shadow Cache" Arun K. Somani and Seongwoo Kim, University of Washington. 10:45 Coffee Break 11:15 Session 2: Dependability Evaluation "Frequentist and Bayesian Coverage Estimations With Stratified Fault-Injection" Michel Cukier, Jean Arlat, and David Powell, LAAS-CNRS. "Comparing Different Fault Models using VERIFY" Volkmar Sieh, Oliver Tscha"che, and Frank Balbach, Universita"t Erlangen-Nu"rnberg. 12:45 Lunch 14:00 Session 3: Real-Time and Distributed Systems "A Highly Available Local Leader Election Service" Christof Fetzer and Flaviu Cristian, University of California, San Diego. "Deterministic Operation of Dissimilar Replicated Task Sets in Fault-Tolerant Distributed Real-Time Systems" Stefan Poledna, Technical University of Vienna. "Fault-Tolerant Rate-Monotonic Scheduling" Sunondo Ghosh, Rami Melhem, and Daniel Mosse', University of Pittsburgh. 16:00 Coffee Break 16:30 Panel 1: Extending QoS to include Performance, Dependability, and Security Chair: David E. Bakken, BBN Systems and Technologies Panelists to include: J. P. LeBlanc, Canadian Land Forces, Chris Sluman, Open IT, John McLean, Naval Research Laboratory, Gregor Kiczales, Xerox PARC (Palo Alto Research Center). 19:00 Dinner --------------------- Thursday, March 6, 1997 09:00 Special Session: Integrated Modular Avionics Session Moderator: John Rushby, SRI International, Menlo Park. Speakers: Gordon Belcher, GEC Marconi; Kevin Driscoll, Honeywell. 10:30 Coffee Break 11:00 Session 4: Verification "Verifying the Specification-to-Code Correspondence for Abstract Data Types" Daniel Schweizer and Christoph Denzler, ETH Zurich. "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms" John Rushby, SRI International, Menlo Park. 12:30 Lunch 14:00 Session 5: Case Studies "Validating the Fail-Silence Assumption of the MARS Architecture" Emmerich Fuchs, Technical University of Vienna. "Influence of On-line Spare Disks and Duplicated Controllers on RAID Dependability" Vicente Santonja, Javier Molero, Marina Alonso, Juan J. Serrano, and Pedro Gil, Universitat Polite`cnica de Vale`ncia. "Software Dependability Simulation: Case Study of a Commercial High-Speed Network" Greg Ries and Ravishankar K. Iyer, University of Illinois. 16:00 Coffee Break 19:00 Banquet -------------------- Friday, March 7, 1997 09:00 Session 6: Dependability and Security Evaluation "Formalising Engineering Judgement on Software Dependability via Belief Networks" Kemal A. Delic and Franco Mazzanti (both of IEI-CNR); Lorenzo Strigini, City University, London. "Experimenting Quantitative Evaluation Tools for Monitoring Operational Security" Rodolphe Ortalo, Yves Deswarte, Mohamed Kaa^niche, LAAS-CNRS & INRIA, Toulouse. 10:30 Coffee Break 11:00 Panel 2: Survivability in the Face of Malicious Attack Chair: Teresa Lunt, DARPA, Arlington Panelists to include: Yves Deswarte, LAAS-CNRS, Keith Marzullo, UCSD, Calton Pu, Oregon Graduate Institute. 12:30 Adjourn 12:45 Lunch LOCATION: DCCA-6 will be held at the Eibsee-Hotel in Grainau-Eibsee (nearby Garmisch- Partenkirchen), Germany. The hotel is located only 300 m from the cogwheel train or cable car to the Zugspitze, Germany's highest mountain (over 9,000 feet). The Olympic town Garmisch-Partenkirchen is a winter sports capital and favored destination for excursions and trips in Upper Bavaria. At the hotel a swimming pool, sauna, and jacuzzi are offered. For winter sports a ski school and rental of ski equipment (no clothing) as well as free ski lifts for children and beginners are available. HOTEL RESERVATION: Delegates should make their own arrangements for accommodation. It is recommended that hotel reservations be made in the same hotel in which the conference will take place: Eibsee-Hotel D-82491 Grainau-Eibsee, Germany Phone: +49 8821 / 8081, FAX: +49 8821 / 82585 The room rate is DM 135,-- (single room) or DM 185,-- (double room) per night. The prices include breakfast and VAT. No show-fees are DM 100.-- for a single room and DM 150.-- for a double room. A block booking is to be held until Jan 20, 1997. A limited number of hotel rooms are available at the special conference rate. We suggest you make your reservation early to obtain the conference rate. Please refer to the "DCCA-6" conference when making the reservation. PLEASE DIRECTLY RESERVE YOUR ROOM (BY FAX) BEFORE JAN 20, 1997. TRANSPORTATION: The nearest international airport is Munich, MUC. - From there to Munich railway station by train (S-Bahn). - From there to Garmisch-Partenkirchen by train, every hour, travel time: 1h20min (the fare is about DM 20,--). - From there to Eibsee-Hotel by - bus (Eibsee-Bus, white/blue colored, fare: DM 6,--) travel time: 30 min or - train (Bayerische Zugspitzbahn, fare: DM 6,--) travel time: 30 min or - taxi (about DM 35,--). CONFERENCE FEES: DM 630,-- (DM 450,-- for students) before January 20, 1997 DM 770,-- (DM 550,-- for students) thereafter. Registration fees include admission to all sessions, one copy of proceedings, coffee breaks, lunches, one dinner and the banquet for one person. The student fee does not include the banquet. To register for the conference, complete the enclosed registration form and send it to: Wolfgang Hohl / DCCA-6 Dept. of Computer Science III FAU Erlangen-Nurnberg Martensstrasse 3 D-91058 Erlangen, Germany FAX: +49 9131 857239 email: hohl@informatik.uni-erlangen.de ---------------------------------------------------------------------- -------------------- CONFERENCE REGISTRATION FORM -------------------- ---------------------- DCCA-6 Mar 5-7, 1997 --------------------- ---------------------------------------------------------------------- __________________________________________________ Last Name First Name __________________________________________________ Company/Organization __________________________________________________ Mailing Address __________________________________________________ City/State/Country/Postal Code ________________________ _________________________ Phone FAX _____________________________ Speaker [ ]Yes [ ]No Email ----------------------------- Special needs Registration fee is payable only in German Marks (DM). Please tick the appropriate items. Advance Late or On-site (Before Jan 20) (After Jan 20) ---------------------------------- Regular 630 DM 770 DM Student 450 DM 550 DM (A proof of student status must be provided) You may purchase additional tickets as follows: Number additional lunch tickets (30 DM each): __________ Number additional dinner tickets (40 DM each): _________ Number additional banquet tickets (80 DM each): ________ Amount of payment _________________________ DM METHOD OF PAYMENT: (Check one) [ ] Bank Transfer Bank Name: Sparkasse Erlangen (Germany) Bank Code: 763 500 00 Acct. No. : 14-104 143 Acct. Name: W. Hohl / DCCA-6 [ ] Certified cheque (Personal cheques cannot be accepted); Please enclose cheque with the registration form. Make cheque payable to "W. Hohl, DCCA-6". The delegate's name and address should be marked on the cheque. [ ] Credit Card (Eurocard/Mastercard Only) _________________________________ ________________ Credit Card Number Expiration Date __________________________________________________ Card Holder Name __________________________________________________ Signature Note: Personal checks will not be accepted. Registration forms not accompanied by appropriate payments as outlined above will not be honored until full payment is received. Currency exchange charges or bank collection fees are the responsibility of the registrant. Please make sure that all payments are indicated with "DCCA-6 Conference Registration", together with your name and organization. ---------------------- HOTEL REGISTRATION FORM ------------------------- (Eibsee-Hotel) DCCA-6 PLEASE NOTE: Hotel rooms are limited at the special conference rate. We suggest you make your reservation early (see below) to insure room availability. Please mention the "DCCA-6" conference when making the reservation. FAX to: Eibsee-Hotel D-82491 Grainau-Eibsee, Germany Phone: +49 8821 / 8081 FAX: +49 8821 / 82585 __________________________________________________ Name(Last/First) _________________________________________________ Title __________________________________________________ Affiliation __________________________________________________ Mailing Address __________________________________________________ City/State/Country/Postal Code ________________________ _________________________ Phone (office) (Home) ________________________ FAX ________________________ _________________________ Arrival Date Departure Date Room Type:_____Single _____Double The room rate is 135 DM (single room) or 185 DM (double room) per night. The prices include breakfast and VAT. No-show fees are DM 100.-- for a single room and DM 150.-- for a double room. A block booking is to be held until Jan 20, 1997. Rooms may be available after that date but can not be guaranteed. PLEASE DIRECTLY RESERVE YOUR ROOM BY FAX BEFORE JAN 20, 1997 -- Articles to parallel@ctc.com (Administrative: bigrigg@ctc.com) Archive: http://www.hensa.ac.uk/parallel/internet/usenet/comp.parallel