Path: utzoo!utgpu!jarvis.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!ssbell!mcmi!denny From: laprie@laas.laas.fr (Jean-Claude Laprie) Newsgroups: news.announce.conferences Subject: DCCA Conf. Program Message-ID: <1106@mcmi.UUCP> Date: 6 Jun 89 00:00:17 GMT Expires: 22 Jul 89 23:00:00 GMT Sender: denny@mcmi.UUCP Lines: 286 Approved: denny@mcmi Provisional Program INTERNATIONAL WORKING CONFERENCE ON DEPENDABLE COMPUTING FOR CRITICAL APPLICATIONS "Can we rely on computers?" University of California, Santa Barbara, California, USA August 23-25, 1989 ****************************************************** General Chair A. Avizienis, UCLA, USA Vice-General Chair A. Costes, LAAS-CNRS, France Program Chair J.C. Laprie, LAAS-CNRS, France Local Organization Chair J.P.J. Kelly, UCSB, USA Organized by IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance In cooperation with Technical Committee on Fault Tolerant Computing of the IEEE Computer Society Technical Committee 7 on Systems Reliability, Safety and Security of EWICS As a Working Conference, the programme has been designed in order to promote the exchange of ideas by extensive discussions. All the paper sessions will end with a 30 minutes discussion on the topics dealt with in the session. In addition to the paper sessions, three panel sessions have been organized. The first panel, extending over two sessions, will concern the Successes and Limitations of Experimental Methods in Gaining Evidence on Dependability of computing systems intended for critical applications; in one session it will be people who have major responsibility for such systems as speakers, and researchers as discussants, in the other their roles will be reversed. The second panel will address the Societal Issues involved in the utilization of Computers in Critical Applications, such as the balancing of the risks incurred against the benefits to be gained, raised by the expanding deployment of computing systems in transport, energy production, military applications, etc. Attendance is limited both by the intended nature of the event as a Working Conference and by restrictions on accomodation. Pre- registration is required. No on-site registration. The Working Conference is being held in conjunction with the 11th IFIP World Computer Congress (San Francisco, August 28 - September 1). TUESDAY, AUGUST 22 >From 1:00 pm Check-in 7:00-10:00 pm Fiesta Reception WEDNESDAY, AUGUST 23 8:30-8:45 am Opening 8:45-10:15 am Validation "Dependable Computing in the UK", M. Barnes, UK Atomic Energy Authority, Warrington, UK "Software Validation by means of Statistical Testing: Retrospect and Future Direction", P. Thevenod-Fosse, LAAS - CNRS, Toulouse, France 10:15-10:45 am Break 10:45-12:15 am Design Diversity Assessment "Failure Masking: a Source of Failure Dependency in Multi-Version Programs", P.G. Bishop, F.D. Pullen, Central Electricity Research Laboratories, Leatherhead, UK "Recovery Block Reliability Analysis with Failure Clustering", A. Csenki, The City University, London, UK 12:15-1:45 pm Lunch 1:45-3:45 pm Application-Oriented Systems "Safety and Fault-Tolerance in Computer-Controlled Railway Signalling System", K. Akita, H. Nakamura, Railway Technical Research Lab., Tokyo, Japan "Dependability of Digital Computers On Board Airplanes", P. Traverse, Aerospatiale, Toulouse, France "Longlife Dependable Computers for Spacecrafts"; T. Takano, T. Yamada, H. Kato, H. Ihara, N. Kanekawa, H. Maejima, Hitachi Ltd., Yokohama, Japan 3:45-4:15 pm Break 4:15-5:45 pm Panel "Gaining Evidence on Dependability of Critical Functions: Successes and Limitations of the Experimental Methods", part 1 Moderators: A. Avizienis, UCLA, Los Angeles, California, USA R.K. Iyer, University of Illinois, Urbana-Champain, Illinois, USA The Panel will include: G. Hagelin, Ericsson Signal Systems, Stockholm, Sweden E. Pilaud, Merlin-Gerin, Grenoble, France Evening: Santa Barbara Try-Tip Barbecue THURSDAY, AUGUST 24 8:45-10:15 pm Experimental Evaluation "A Fault Behavior Model for an Avionic Microprocessor: a Case-Study", G.S. Choi, R.K. Iyer, V. Carreno, University of Illinois, Urbana, Illinois, USA "Experimental Evaluation of Computing System Dependability by using Heavy-Ion Radiation from Californium-252", J. Karlsson, U. Gunneflo, J. Torin, Chalmers University of Technology, Goteborg, Sweden 10:15-10:45 am Break 10:45-12:15 pm Modeling and Evaluation "A Unified Approach for Specifying Measures of Performance, Dependability and Performability"; W.E. Sanders, University of Arizona, Tucson, Arizona, USA, J.F. Meyer, University of Michigan, Ann Arbor, Michigan, USA "Successive Operational Periods: New Measures of Dependability", G. Rubino, B. Sericola, IRISA, Rennes, France 12:15-1:45 pm Lunch 1:45-3:45 pm Architecture "A Data-Driven Dependability Assurance Scheme with Applications to Data and Design Diversity", B. Parhami, University of California, Santa Barbara, California, USA "Implementing Distributed Capabilities Without a Trusted Kernel", M.P. Herlihy, J.D. Tygar, Carnegie Mellon University, Pittsburg, Pennsylvania, USA "Resynchronization Interfaces: Sources of Metastability Errors in Computing Systems", D. Del Corso, F. Maddaleno, M. Minichino, E. Pasero, Politecnico di Torino, Torino, Italy 3:45-4:15 pm Break 4:15-5:45 pm Panel "Gaining Evidence on Dependability of Critical Functions: Successes and Limitations of the Experimental Methods", part 2 Moderators: A. Avizienis, UCLA, Los Angeles, California, USA) R.K. Iyer, University of Illinois, Urbana-Champain, Illinois, USA Panelists: T. Anderson, University of Newcastle upon Tyne, Newcastle upon Tyne, UK K.H. Kim, UCI, Irvine, California, USA J.C. Laprie, LAAS-CNRS, Toulouse, France FRIDAY, AUGUST 25 8:30-10:00 am Design for Security "The Design of a Guardian System for UNIX", G.I. Davida, B. J. Matt, University of Wisconsin-Milwaukee, Milwaukee, Wisconsin, USA "Fragmented Data Processing: an Approach to Secure and Reliable Processing in Distributed Computing Systems", J.M. Fray, J.C. Fabre, LAAS - CNRS, Toulouse, France 10:00-10:30 am Break 10:30-12:15 am Panel "Computers in Critical Applications: Societal Issues" Moderators: J. Goldberg, SRI Int., Palo Alto, California, USA B. Randell, University of Newcastle upon Tyne, Newcastle upon Tyne, UK The Panel will include: M. Thomas, PRAXIS, Bath, UK 12:15-1:45 pm Lunch 1:45-3:15 pm Security and Fault Tolerance "Integration Problems in Fault Tolerant, Secure Computer Design", M. K. Joseph, Los Angeles, California, USA "Concurrent Error Detection using Signature Monitoring and Encryption", K. Wilken, J.P. Shen, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA 3:15-3:45 pm Break 3:45-5:15 pm Fault-Tolerant Distributed Systems "A Linguistic Approach to Failure-Handling in Distributed Systems", R.D. Schlichting, University of Arizona, Tucson, Arizona, USA, F. Cristian, IBM Almaden Research Center, San Jose, California, USA, T.D.M. Purdin, Colorado State University, Ft. Collins, Colorado, USA "Fault-Tolerant Membership Service in a Synchronous Distributed Real- Time System", H. Kopetz, G. Grunsteidl, J. Reisinger, Institut fr Technische Informatik, Wien, Austria 5:15-5:45 pm Conclusions Santa Barbara and the UCSB Campus Santa Barbara is situated on the coastline, between the Santa Ynez Mountains and the Pacific Ocean. The geographic location and the ideal weather of Santa Barbara, with its lovely beaches, parks and hiking trails, make it suitable for a variety of outdoor activities. The Channel Islands, 27 miles offshore, provide an additional resource for fishing, camping and university research. The Spanish heritage can be seen in the city's architecture and historic landmarks like the Santa Barbara mission and County Courthouse. The Santa Barbara campus of the University of California (UCSB) is located in Goleta, ten miles north of downtown Santa Barbara. The 815- acre campus accomodates approximately 10000 students. As a research-oriented university, UCSB has extensive laboratory facilities and an exceptional 1.5 million volume library. The high standards of scholarship, attention to the individual student, and a tradition of informality combine to make this campus a unique blend of academic excellence and individual enrichment. Registration Attendance is limited both by the intended nature of the event as a Working Conference and by restriction on the accomodation. Pre- registration is required. No on-site registration. Advance registration fee, to be received by July 7, is 200 US $. Regular registration fee, to be received by July 20, is 240 US $. The registration fee includes: - Attendance to the Working Conference, including coffee breaks - One copy of the Preprints, available at the Working Conference, and one copy of the Proceedings, to be published after the Working Conference as a volume of the Springer-Verlag series "Dependable Computing and Fault-Tolerant Systems" -The Fiesta Reception on Tuesday evening, August 22, and the Santa Barbara Try-Tip Barbecue on Wedenesday evening, on the beach at sunset) Accomodation Accomodation for the Working Conference is University Residence Hall housing. The prices for three days accomodation (arrival on Tuesday afternoon, departure on Friday) are as follows, which include two meals (breakfast and lunch) on Wednesday, August 23, and on Friday, August 25, and three meals on Thursday, August 24: -Single occupancy: US $ 165 per person -Double occupancy: US $ 129 per person Further information may be obtained from: Prof. John P.J. Kelly Electrical and Computer Engineering UCSB Santa Barbara, CA 93106 USA Tel: +(1) 805 961 4168 Fax: +(1) 805 961 3262 E-mail: kelly@faulty.ucsb.edu Airport Transportation UCSB is located ten miles from the Santa Barbara airport. A UCSB bus shuttle service is available. **************************************** Obtaining a copy of the programme: ask to Jean-Claude Laprie: laprie@laas.laas.fr ****************************************